• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.1-23
• /
• 2007

Dunn investigated algebras and semantics for negations in non-classical logics. This paper extends his investigation to dual negations, more exactly to duals to the negations in Dunn [3, 5]. I first survey and systematize the algebras of dual negations, i.e., (self-dual) subminimal negation, dual Galois negations, dual minimal negation, wB (or dual intuitionistic) negation, (self-dual) De Morgan negation, and (self-dual) ortho negation, based on partially ordered sets. I next provide dual-perp semantics for these (dual) negations. I finally give representations for them by using dual-perp semantics.

• Honam Mathematical Journal
• /
• v.37 no.4
• /
• pp.559-567
• /
• 2015

This paper gives the expression of dual quaternions and provides differential operators in dual quaternions. The paper also represents the derivative of dual quaternion-valued functions by using a corresponding Cauchy-Riemann system in dual quaternions.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.7
• /
• pp.96-102
• /
• 2014

In this paper, we proposed new dual-rail data encoding that mixed 4-phase handshaking protocol and 2-phase handshaking protocol for asynchronous system design to reduce signal activities and power consumption. The dual-rail data encoding 4-phase handshaking protocol should leat to much signal activities and power consumption by return to space state. Ideally, the dual-rail data encoding 2-phase handshaking protocol should lead to faster circuits and lower power consumption than the dual-rail 4-phase handshaking protocol, but can not designed using standard library. We use a benchmark circuit that contains a multiplier block, an adder block, and latches to evaluate the proposed dual-rail data encoding. The benchmark circuit using the proposed dual-rail data encoding shows an over 35% reduction in power consumption with 4-phase dual-rail data encoding.

• Geomechanics and Engineering
• /
• v.28 no.1
• /
• pp.77-87
• /
• 2022

Many geotechnical analyses require the investigation of water flow within partially saturated soil zone to incorporate the effect of climatic conditions. It is widely understood that the hydraulic properties of the partially saturated soil should be included in the transient seepage analyses. However, the characteristics of dual porosity soils with dual-mode water retention curve are normally modelled using single-mode mathematical equation for simplification of the analysis. In reality, the rainwater flow can be affected significantly by the dual-mode hydraulic properties of the soil. This paper presents the variations of safety factor for dual porosity soil slope with dual-mode water retention curve and dual-mode unsaturated permeability. This paper includes the development of the new dual-mode unsaturated permeability to represent the characteristics of soil with the dual-mode water retention curve. The finite element analyses were conducted to examine the role of dual-mode water retention curve and dual-mode unsaturated permeability on the variations of safety factor under rainfall loading. The results indicate that the safety factor variations of dual porosity soil slope modelled using the dual-mode water retention curve and the unsaturated permeability equation are lower than those of dual porosity slope modelled using single-mode water retention curve and unsaturated permeability equations.

• The KIPS Transactions:PartC
• /
• v.10C no.2
• /
• pp.141-144
• /
• 2003

We present a new password system, called dual password system, with the user verification procedure. Dual password system is the first password system in the world preventing the exposure of secret information to imposter at the terminal. User of dual password system matches two alphabets at same location of first password and second password iteratively for inputting password. Therefore, the deriving method of first password and second password from the password is important in dual password system. Related to the deriving method of first password and second password from password, a new problem, called dual password derivation problem, is defined, and the evaluation factors for the solutions of the dual password derivation problem are presented.

• The Journal of Korean Physical Therapy
• /
• v.27 no.5
• /
• pp.364-368
• /
• 2015

Purpose: Walking in the dual-task condition is a critical skill for hemiplegic patients to live in real-life situations. The purpose of this study was to compare the effect of dual-task gait training and general gait training on gait parameters and cognitive function in patients with chronic stroke during dual-task walking. Methods: The study included 23 patients with chronic hemiparetic stroke who were randomly divided into experimental (dual-task gait training) and control (general walking training) groups. The 11 subjects in the experimental group and nine subjects in the control group received dual-task gait training (walking while handling a ball, crossing obstacles, picking up various objects, and problem solving simple cognitive tasks and general over-ground gait training, respectively, for 30 minutes per day 5 days per week for 4 weeks. Spatiotemporal parameters and cognitive tasks in the dual-task gait condition were measured. Statistical analysis of the changes between the pre- and post-intervention measurement variables was performed using ANCOVA. Results: In the gait condition under cognitive tasks, the changes pre- and post-intervention in gait velocity, stride length, double support limb, and step symmetry were significantly greater in the dual-task gait training group; however, the dual-task gait training group showed no significant improvement compared to the general gait training group in terms of the assessment of cognitive tasks. Conclusion: The findings suggest that dual-task gait training may be beneficial for walking ability in dual-task walking condition.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.771-778
• /
• 1999

In this paper, we obtain some geometric inequalities for mixed volumes of a convex body and its polar dual. We also develop a lower bound of the product of quermassintegral of a convex body and its polar dual and give a lower bound for the product of the dual quermassintegral of any index of centrally symmetric convex body and that of its polar dual.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.967-978
• /
• 2009

In this work, we give some characterizations of rectifying curves in dual Lorentzian space. Also, we show that rectifying dual Lorentzian curves can be stated by the aid of dual unit spherical curves.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.187-195
• /
• 2020

In this paper, we investigate the vectorial moments of Bäcklund transformations of a space curve in 𝔼³. Firstly, it is obtained the vectorial moments which named α𝓖 dual curve, β𝓖 dual curve, and γ𝓖 dual curve of Bäcklund transformations. Then we give the Euler elastic bending energies of these curves. Finally, we provide some examples of α𝓖 dual, β𝓖 dual, and γ𝓖 dual, and their Euler elastic bending energies.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.353-356
• /
• 2011

본 연구에서는 G/R 비의 실시간 결정을 목적으로 Dual Kalman Filter를 이용하였다. Dual Kalman Filter 는 이중추정(dual estimation)을 기반으로 하는 자료동화기법으로 기존 Kalman Filter와 상이한 상태-공간 모형으로 구성된다. 이에 Dual Kalman Filter와 기존 Kalman Filter의 적용성능을 비교 검토하였으며, 다양한 비교를 위하여 강우의 임계치와 누적시간의 고려여부에 따른 결과를 추가적으로 검토하였다. 두 기법의 적용성능 비교결과 Dual Kalman Filter가 우수한 것으로 나타났다. 이는 Dual Kalman Filter 기법이 G/R 비의 큰 변동성과 이상치를 효과적으로 필터링하고, 시계열 모형의 매개변수를 실시간으로 갱신하여 정확한 예측치를 추정하였기 때문인 것으로 판단된다.