• Research in Mathematical Education
• /
• v.8 no.1
• /
• pp.19-30
• /
• 2004

This research applies the discursive approach to investigate the social transformation of students' conceptual model of differential equations. The analysis focuses on the students' use of metaphor in class in order to find kinds of metaphor used, their characteristics, and a pattern in the use of metaphor. Based on the analysis, it is concluded that the students' conceptual model of differential equations gradually becomes transformed with respect to the historical and cultural structure of the communal practice of mathematics. The findings suggest that through participating in the daily practice of mathematics as a historical and cultural product, a learner becomes socially transformed to a certain kind of a cultural being with historicity. This implies that mathematics education is concerned with the formation of historical and cultural identity at a fundamental level.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.581-582
• /
• 2008

This paper describes novel bootstrapped CMOS differential logic family operating at near-Vth supply voltage. The proposed logic family provides improved switching speed by utilizing voltage bootstrapping for the supply voltage approaching device thresholds. The circuit is configured as differential structure having single bootstrapping capacitor, minimizing area overhead and providing complete logic composition capability. A 64-bit adder designed using the proposed technique in a 0.18um CMOS process provides up to 79% improvement in terms of power-delay product as compared to the conventional adder designed with DCVS.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.2
• /
• pp.204-213
• /
• 2016

A differential game theory based approach is used to develop an automated maneuver generation algorithm for Within Visual Range (WVR) air-to-air combat of unmanned combat aerial vehicles (UCAVs). The algorithm follows hierarchical decisionmaking structure and performs scoring function matrix calculation based on differential game theory to find the optimal maneuvers against dynamic and challenging combat situation. The score, implying how much air superiority the UCAV has, is computed from the predicted relative geometry, relative distance and velocity of two aircrafts. Security strategy is applied at the decision-making step. Additionally, a barrier function is implemented to keep the airplanes above the altitude lower bound. To shorten the simulation time to make the algorithm more real-time, a moving horizon method is implemented. An F-16 pseudo 6-DOF model is used for realistic simulation. The combat maneuver generation algorithm is verified through three dimensional simulations.

• Journal of the Optical Society of Korea
• /
• v.9 no.1
• /
• pp.22-25
• /
• 2005

The differential heterodyne interferometer (DHI) is suitable for precise measurement of step height and line width, since its differential configuration can significantly reduce disturbances from the environment [1,2]. Like most phase measuring interferometers, however, the DHI is limited, in that it can obtain only the phase from 0 to 2π, because of the sinusoidal nature of the optical interference involved. Thus, the measurable step height is limited to one quarter of the wavelength of the light source. This study describes a confocal differential heterodyne interferometer (CDHI) for measuring step heights of several micrometers, with a high resolution and line width with high repeatability. The CDHI has a simple structure and rapid measurement speed.

• ETRI Journal
• /
• v.28 no.2
• /
• pp.175-181
• /
• 2006

A new CMOS voltage-controlled fully-differential transconductor is presented. The basic structure of the proposed transconductor is based on a four-MOS transistor cell operating in the triode or saturation region. It achieves a high linearity range of ${\pm}\;1\;V$ at a 1.5 V supply voltage. The proposed transconductor is used to realize a new fully-differential Gm-C low-pass filter with a minimum number of transconductors and grounded capacitors. PSpice simulation results for the transconductor circuit and its filter application indicating the linearity range and verifying the analytical results using $0.35\;{\mu}m$ technology are also given.

• Smart Structures and Systems
• /
• v.21 no.2
• /
• pp.235-248
• /
• 2018

An efficient method utilizing the multi-stage improved differential evolution algorithm (MSIDEA) as an optimization solver is presented here to detect the multiple-damage of structural systems. Natural frequency changes of a structure are considered as a criterion for damage occurrence. The structural damage detection problem is first transmuted into a standard optimization problem dealing with continuous variables, and then the MSIDEA is utilized to solve the optimization problem for finding the site and severity of structural damage. In order to assess the performance of the proposed method for damage identification, an experimental study and two numerical examples with considering measurement noise are considered. All the results demonstrate the effectiveness of the proposed method for accurately determining the site and severity of multiple-damage. Also, the performance of the MSIDEA for damage detection compared to the standard differential evolution algorithm (DEA) is confirmed by test examples.

• Structural Engineering and Mechanics
• /
• v.41 no.6
• /
• pp.711-734
• /
• 2012

The foundation of a tall building frame resting on settable soil mass undergoes differential settlements which alter the forces in the structural members significantly. For tall buildings it is essential to consider seismic forces in analysis. The building frame, foundation and soil mass are considered to act as single integral compatible structural unit. The stress-strain characteristics of the supporting soil play a vital role in the interaction analysis. The resulting differential settlements of the soil mass are responsible for the redistribution of forces in the superstructure. In the present work, the nonlinear interaction analysis of a two-bay ten-storey plane building frame- layered soil system under seismic loading has been carried out using the coupled finite-infinite elements. The frame has been considered to act in linear elastic manner while the soil mass to act as nonlinear elastic manner. The subsoil in reality exists in layered formation and consists of various soil layers having different properties. Each individual soil layer in reality can be considered to behave in nonlinear manner. The nonlinear layered system as a whole will undergo differential settlements. Thus, it becomes essential to study the structural behaviour of a structure resting on such nonlinear composite layered soil system. The nonlinear constitutive hyperbolic soil model available in the literature is adopted to model the nonlinear behaviour of the soil mass. The structural behaviour of the interaction system is investigated as the shear forces and bending moments in superstructure get significantly altered due to differential settlements of the soil mass.

• BMB Reports
• /
• v.35 no.2
• /
• pp.155-164
• /
• 2002

The structural aspects of ervatamin B have been studied in different types of alcohol. This alcohol did not affect the structure or activity of ervatamin B under neutral conditions. At a low pH (3.0), different kinds of alcohol have different effects. Interestingly, at a certain concentration of non-fluorinated, aliphatic, monohydric alcohol, a conformational switch from the predominantly $\alpha$-helical to $\beta$-sheeted state is observed with a complete loss of tertiary structure and proteolytic activity. This is contrary to the observation that alcohol induces mostly the $\alpha$helical structure in proteins. The O-state of ervatamin B in 50% methanol at pH 3.0 has enhanced the stability towards GuHCl denaturation and shows a biphasic transition. This suggests the presence of two structural parts with different stabilities that unfold in steps. The thermal unfolding of ervatamin B in the O-state is also biphasic, which confirms the presence of two domains in the enzyme structure that unfold sequentially. The differential stabilization of the structural parts may also be a reflection of the differential stabilization of local conformations in methanol. Thermal unfolding of ervatamin B in the absence of alcohol is cooperative, both at neutral and low pH, and can be fitted to a two state model. However, at pH 2.0 the calorimetric profiles show two peaks, which indicates the presence of two structural domains in the enzyme with different thermal stabilities that are denatured more or less independently. With an increase in pH to 3.0 and 4.0, the shape of the DSC profiles change, and the two peaks converge to a predominant single peak. However, the ratio of van't Hoff enthalpy to calorimetric enthalpy is approximated to 2.0, indicating non-cooperativity in thermal unfolding.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1069-1076
• /
• 2015

In this paper, a two species competitive model with stage structure and harvesting is investigated. By using the differential inequality theory, some new sufficient conditions which ensure the permanence of the system are established. Our result supplements the main results of Song and Chen [Global asymptotic stability of a two species competitive system with stage structure and harvesting, Commun. Nonlinear Sci. Numer. Simul. 19 (2001), 81-87].

• Journal of the Korea Computer Industry Society
• /
• v.5 no.3
• /
• pp.405-414
• /
• 2004

In this paper, we designed a 128-bits block cipher, Circle-g, which has 18-rounds modified Feistel structure and analyzed its secureness by the differential cryptanalysis and linear cryptanalysis. We could have full diffusion effect from the two rounds of the Circle-g. Because of the strong diffusion effect of the F-function of the algorithm, we could get a 9-rounds DC characteristic with probability 2^{-144} and a 12-rounds LC characteristic with probability 2^{-144}. For the Circle-g with 128-bit key, there is no shortcut attack, which is more efficient than the exhaustive key search, for more than 12 rounds of the algorithm.