• The Journal of Korean Medical History
• /
• v.30 no.1
• /
• pp.11-22
• /
• 2017

This paper is a study on the life and clinical reasoning of Kim Goo Young (1958-2014). Offering a new perspective through his interpretation of Donguibogam (東醫寶鑑), Kim introduced his unique theory of Korean medicine, 'The Theory of Byeongin (病因論)'. Kim recognized the confusing situation of communication between people studying Korean medicine and tried to make a new standard based on the principle that many people can share. 'The Theory of Byeongin' offers a newly constituted "Donguibogam" focusing on 'Byeongin' (病因, pathologic origin) which can be translated as the cause of a disease. In so doing Kim recognized 'Byeongin' as the most important factor in 'Byeonjeung' (辨證, classifying the origin), or the classification method of symptoms. In addition, Kim recognized how 'Byeongin' was considered to be a diseased lifestyle, and tried interpreting. The patient's lifestyle to treat diseases. As a result, 'The Theory of Byeongin' is a theory consisting of an intuitive structure, reducing notable elements like Yin Yang Five Movement theory. The theory's significant characteristic is its easy application in clinical settings due the established core principles which are based on Kim's insight and clinical experience. This study contributes to the understanding of the theoretical and clinical development of Korean medicine through deeper studies on 'The Theory of Byeongin' and Kim's medical theory.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• Journal of Information Technology Applications and Management
• /
• v.16 no.3
• /
• pp.73-86
• /
• 2009

To establish an effective security strategy, business enterprises need a security benchmarking tool. The strategy helps to lessen an impact and a damage in any threat. This study analyses many aspects of information security management and suggests a way to deal with security investments by considering important factors that affect security manager's decision. To address the different threats resulting from a major cause of accidents inside an enterprise, we investigate an approach that followed ISO17799. We unfold a criminology theory that has designated many measures against the threat as suggested by General Deterrence Theory. The study proposes a coherent model of the theory to improve the security measures especially in handling and protecting company assets and human lives as well.

• Structural Engineering and Mechanics
• /
• v.67 no.3
• /
• pp.291-300
• /
• 2018

In this work, a new trigonometry theory of shear deformation is developed for the static analysis of thick isotropic beams. The number of variables used in this theory is identical to that required in the theory of Euler-Bernoulli, sine function is used in the displacement field in terms of the coordinates of the thickness to represent the effects of shear deformation. The advantage of this theory is that shear stresses can be obtained directly from the relationships constitute, while respecting the boundary conditions at the free surface level of the beam. Therefore, this theory avoids the use of shear correction coefficients. The differential equilibrium equations are obtained using the principle of virtual works. A thick isotropic beam is considered, whose numerical study to show the effectiveness of this theory.

• Structural Engineering and Mechanics
• /
• v.62 no.3
• /
• pp.311-324
• /
• 2017

In this paper a new eight-unknown higher order shear deformation theory is proposed for functionally graded (FG) material plates. The theory based on full twelve-unknown higher order shear deformation theory, simultaneously satisfy zeros transverse stresses at top and bottom surface of FG plates. Equations of motion are derived from principle of virtual displacement. Exact closed-form solutions are obtained for simply supported rectangular FG plates under uniform loading. The accuracy of present numerical results has been verified by comparing it with generalized shear deformation theory. The effect of power law index of functionally graded material, side-to-thickness ratio, and aspect ratio on static behavior of FG plates is investigated.

• Geomechanics and Engineering
• /
• v.11 no.5
• /
• pp.671-690
• /
• 2016

This work presents a static flexure analysis of laminated composite plates by utilizing a higher order shear deformation theory in which the stretching effect is incorporated. The axial displacement field utilizes sinusoidal function in terms of thickness coordinate to consider the transverse shear deformation influence. The cosine function in thickness coordinate is employed in transverse displacement to introduce the influence of transverse normal strain. The highlight of the present method is that, in addition to incorporating the thickness stretching effect (${\varepsilon}_z{\neq}0$), the displacement field is constructed with only 5 unknowns, as against 6 or more in other higher order shear and normal deformation theory. Governing equations of the present theory are determined by employing the principle of virtual work. The closed-form solutions of simply supported cross-ply and angle-ply laminated composite plates have been obtained using Navier solution. The numerical results of present method are compared with those of the classical plate theory (CPT), first order shear deformation theory (FSDT), higher order shear deformation theory (HSDT) of Reddy, higher order shear and normal deformation theory (HSNDT) and exact three dimensional elasticity theory wherever applicable. The results predicted by present theory are in good agreement with those of higher order shear deformation theory and the elasticity theory. It can be concluded that the proposed method is accurate and simple in solving the static bending response of laminated composite plates.

• Steel and Composite Structures
• /
• v.17 no.3
• /
• pp.321-338
• /
• 2014

In the present study, a new simple first-order shear deformation theory is presented for laminated composite plates. Moreover, the number of unknowns of this theory is the least one comparing with the traditional first-order and the other higher-order shear deformation theories. Equations of motion and boundary conditions are derived from Hamilton's principle. Analytical solutions of simply supported antisymmetric cross-ply and angle-ply laminates are obtained and the results are compared with the exact three-dimensional (3D) solutions and those predicted by existing theories. It can be concluded that the proposed theory is accurate and simple in solving the static bending and free vibration behaviors of laminated composite plates.

• Steel and Composite Structures
• /
• v.25 no.3
• /
• pp.257-270
• /
• 2017

In this article, an efficient and simple refined theory is proposed for buckling analysis of functionally graded plates by using a new displacement field which includes undetermined integral variables. This theory contains only four unknowns, with is even less than the first shear deformation theory (FSDT). Governing equations are obtained from the principle of virtual works. The closed-form solutions of rectangular plates are determined. Comparison studies are carried out to check the validity of obtained results. The influences of loading conditions and variations of power of functionally graded material, modulus ratio, aspect ratio, and thickness ratio on the critical buckling load of functionally graded plates are examined and discussed.

• Korean Journal of Mathematics
• /
• v.22 no.3
• /
• pp.471-489
• /
• 2014

We investigate the number of the weak periodic solutions for the bifurcation problem of the Hamiltonian system with the superquadratic nonlinearity. We get one theorem which shows the existence of at least two weak periodic solutions for this system. We obtain this result by using variational method, critical point theory induced from the limit relative category theory.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.107-116
• /
• 2006

This article reviews the exciting developments in Morse theory by S.Smale, Freedmann and others, including a proof of the generalized Poincare' Conjecture in the handle body theory. We study its relations with handle body theory _and geodesic theory.