• Geotechnical Engineering
• /
• v.11 no.3
• /
• pp.81-90
• /
• 1995

Based on the close investigation of Lade elasto -plastic model, this study proposes a new elasto -plastic constitutive model for foundation composed of granular soils. The new model contains 1st stress invariant in plastic potential function as well as yield function, which is different from Lade original model. Both these functions called a correction function include a correction term. To validate the new analytical model, it was compered with some previous models. Comparison between the test results and numerical results using Lade and new model was carried out concerning Sacramento River sand, U.S.A and Backma River sand. The conclusion was obtained that more refined model well be deft.eloped throughout this research.

• Journal of KIISE:Software and Applications
• /
• v.37 no.2
• /
• pp.148-154
• /
• 2010

In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.69-76
• /
• 2011

As a smallest unit of the game story, quest needs to be analyzed in terms of structure in order to study quest storytelling. This thesis introduces structuralist theory of narrative function of folk-tale by Propp to determine the structure of the quest. Propp proposed immutable elements of the characters as 31 kinds of Folk-tale functions. I analyzed assigning quests in MMORPG. As a result, 13 essential functions of the Quest, and 5 add-ons were drawn and the order among functions was figured out. Most quests in MMORPG followed the order of the essential functions and optional add-ons and showed a repeating pattern. The essential and optional functions and its order can be utilized to arrange appropriate element for quest storytelling and to strengthen and lead the various ways of the quest storytelling.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• Journal of the Society of Naval Architects of Korea
• /
• v.31 no.2
• /
• pp.65-77
• /
• 1994

This paper presents a derailed application procedure of the linear quadratic(LQ) theory for a SWATH heave and pitch control. A time domain model of coupled, linear time-invariant second order differential equations is derived from the frequency response model with the frequency dependent added mass and damping approximated as constant values at the heave natural frequency. Wave exciting forces are modeled as a sum of sinusoids. A systematic selection procedure of state and control weighting matrices is presented to obtain good transient behavior and acceptable fin movement. The validity of this controller design process is throughly investigated by simulations both in time domain and frequency domain and singular value plots of transfer function matrices. The finally designed control system shows good overall performances revealing that the applicability of the present study is proved successful.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.31 no.4
• /
• pp.393-401
• /
• 1995

In this paper, vector analysis on the novel quick torque control of Induction Motors(I.M) based on voltage-controlled type is conducted. It was very difficult to get a step response of torque when the primary voltage was selected as control input of induction motors in conventional quick torque control methods. To solve this problem, the new control method was developed using a new concept of pulse addition which can realize the stepwise torque response of a specified settling time of $\Delta$. The new method was successfully confirmed through DSP(Digital Signal Processor) system-based experiments. However, it was a little difficult to understand the control mechanism intutionally. The purpose of this paper is to provide more understanding about the quick torque control mechanism using the vector analysis.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.26 no.5
• /
• pp.492-498
• /
• 2015

As the integration of circuit components increases steadily, various EMS(Electromagnetic Susceptibility) problems have emerged from integrated circuits and electrical systems. The electromagnetic susceptibility of VCOs(Voltage Controlled Oscillator) is especially critical in RF systems. Therefore, in this paper, through the phase noise theory that models electrical oscillators as linear time variant systems, the EMS characteristics of representative VCO -ring VCO and LC VCO- with 1.2 GHz of reference oscillating frequency are analyzed under the existence of the electromagnetic noise coupled in power supply. An simulation algorithm is developed to extract impulse response function based on the phase noise theory. When there is no supply noise, the magnitude of the jitter of two oscillators were similar to around 2.1 ps, but in presence of supply noise, the jitter was significantly lower in LC VCOs than ring VCOs.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.4 no.2
• /
• pp.55-64
• /
• 1984

Presented is a nonlinear constitutive model for progressive tensile fracturing of concrete. The model is incremental, path-dependent, and tensorialy invariant. The total strain tensor is assumed to be a sum of a purely elastic component and an inelastic component. The material is considered to contain weak planes of all directions which characterize the planes of the microcracks. A one-to-one functional dependence is assumed between the normal stress and the normal strain across each of the weak planes. The tangential stiffness of concrete is then derived form the principle of virtual work. The present theory can be applied to loading histories which are nonproportional or during which the principal directions rotate. Good agreement with the available direct tensile test data which cover strain-softening is demonstrated.

• Nuclear Engineering and Technology
• /
• v.11 no.4
• /
• pp.295-301
• /
• 1979

For thermal-neutron-induced fission of $U^{235}$, nuclear charge distribution in the light part of the primary products has been calculated by using several postulates of charge distribution in the fission fragments. By comparing these values with the experimental results, it is revealed that those models are not appropriate for predicting the nuclear charge distribution in the fission fragments. The variation in the most probable charge, $Z_{P}$, of the isobaric distribution for the fission fragments and the charge for a mass given by unchanged charge density, $Z_{UCD}$, is turned out to be small as a function of mass. The parameter, $Z_{P}$ $-Z_{UCD}$, varies from 0.45 to 0.5 in charge units. The nuclear charge dispersion, $\sigma$, shows about 0.5 charge units for the fission fragments. Neutron odd-even effect in fission products could not be revealed clearly without considering the odd-even effect of prompt neutron emission.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.14 no.4
• /
• pp.284-291
• /
• 2021

In this paper, we study the consensus problem for multi-agent systems with input saturations. The goal of consensus is to achieve a swarming behavior of multi-agent systems by reaching the agreement through information exchange. This paper considers agents modeled by first-order dynamics with input saturations. In order to guarantee the global convergence of the agents, it is assumed that the agents are stable. Moreover, considering the disturbances, we propose the PI based duplex control method to achieve the consensus. The proposed P controller and I controller are composed of different information network. Then, we investigate the conditions of the information networks and the control gains of P, I controllers to achieve the consensus applying the Lyapunov stability theorem and the Lasalle's Invariance Principle. Finally, we conduct the simulations to validate the theoretical results.