• Journal of the Korea Society for Simulation
• /
• v.18 no.1
• /
• pp.9-16
• /
• 2009

Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. About the deadlock detection analysis methods are may divide like as Siphon, DAPN and transitive matrix, but it's very difficult to evaluate the performance. Since DES (Discrete Event Systems) is NP-hard, and these detection and avoidance methods used various factors in each technique, it's made difficult to compare with each other's. In this paper, we are benchmarked these deadlock detection analyze methods based on the complexity, the detection time and the understanding after approached to one example.

• Proceedings of the KIPE Conference
• /
• 2016.07a
• /
• pp.245-246
• /
• 2016

본 논문에서는 지능형 반도체 변압기를 구성하는 양방향 DC-DC Dual Active Brldge(DAB) 컨버터의 소신호 모델과 전달함수의 분석을 통해 컨버터의 안정도와 동작 특성을 파악하고, 이를 통해 동 특성 및 정상상태의 안정성을 향상시킬 수 있는 제어기 설계 방안을 제안한다.

• Magazine of the Korea Concrete Institute
• /
• v.9 no.5
• /
• pp.137-148
• /
• 1997

지진이 발생하는 환경에서 철근콘크리트구조의 신뢰성을 수명주기비용에 근거하여 체계적으로 평가하는 방법을 제시하였다. 구조물의 기능성과 경제적인 효용성을 나타내기 위하여 각각 손상확률과 평균수명 주기비용의 개념을 사용하였다. 생애주기 동안 발생할 수 있는 지진에 의하여 구조물이 입게 될 손상을 보상하기 위하여 소요되는 평균손상비용을 평균수명주기비용의 주요 항목으로 고려하여 분석하였다. 구조물의 다양한 손상상태에서 손상비용을 나타내기 위해 요구되는 비용함수는 Park-Ang 손상지수의 중앙값을 독립변수로 하는 함수로 가정하였다. 지진에 의한 구조물의 손상해석은 UCI에서 개발된 SMART-DRAIN의 시뮬레이션기법을 사용하여 그 불확실성을 고려하였다. 제시된 방법을 현행 규준에 의하여 설계된 7층 사무실 건물에 적용하여 그 가능성을 살펴보았다.

• Journal of the Korean Society for Precision Engineering
• /
• v.9 no.2
• /
• pp.92-100
• /
• 1992

플렉시블한 관절을 가지고 있는 로보트에 대하여 계단(step) 혹은 경사(ramp) 함수로 기준입력이 주어졌을 때, 모델의 불확실성이나 외란 아래에서 추적오차가 없는 디지찰 제어기법을 제시하고 실제로 실험을 통하여 제어기를 MC 68000으로 구현함으로써 제안한 제어 알고리즘의 유용성을 보였다. 제어기 설계에 있 어서 고려한 사항들은 비선형 마찰력, 중력에 의한 외란, 구동기와 부하사이의 뒤틀림 스프링 효과, 구리고 측 정할 수 없는 상태변수들이다. 또한 미분불가능한 쿨롱마찰로 인하여 전체 시스템이 이산/연속 혼성 시스템이 되어 출력에서 나타나는 리미트 싸이클을 해석/추정하기 위하여 혼성 시스템에서의 기술함수(Describing Function) 법을 제시하였다.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.5 no.3
• /
• pp.197-208
• /
• 1995

An experiment study of the dendrite growth of ice crystals growing in quiescent pure subcooled water was made at small subcoolings of 0.035 K < ${\Delta}T$ < 1.000 K. It was observed that the growth kinetics and morphology are functions of not only subcooling but also thermal convection. When the subcooling is less than 0.35K, it was found that effect of thermal convection on growth kinetics of ice dendrites becomes important. Quantitiative measurements of growth velocity, $V_{G}$, and tip radii of the edge and basal planes, $R_{1}$ and $R_{2}$, were made simultaneously as a function of subcooling.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2003.02a
• /
• pp.360-365
• /
• 2003

미곡종합처리장은 개소 당 평균 30억이 투자되는 방대한 시설로 수확된 산물상태의 벼를 수집ㆍ건조ㆍ저장ㆍ가공 및 포장공정이 일괄적으로 처리되는 농업의 첨단기술이 결집된 시설이라 할 수 있다. 미곡처리장은 약 80개의 단위기계와 100여종의 부대시설로 구성되어 있다. 미곡종합처리장은 거의 모든 과정이 중앙제어기에 의해 제어 가능하다. 그러나 미곡종합 처리장의 상온통풍건조시설은 기상조건, 투입벼의 함수율 및 반입량에 따라서 송풍기와 히터의 운전방법을 달리해야 하며, 또한 투입벼의 함수율에 따라서 벼의 퇴적고를 달리해야 하는 등 시설의 운전에 세심한 주의가 필요하다. (중략)

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.81_82
• /
• 2009

본 논문은 한국형 에너지관리시스템에 적용되는 발전계획 응용프로그램 기능중 최적조류계산 기능을 실제 시스템에 적용하기 위한 준비과정을 설명하고 있다. 최적조류계산 기능은 운영자가 정의한 계통모델, 제어요소, 목적함수, 제약요소를 기반으로 운영자가 선택하는 전력계통 BaseCase를 해석하여 계통운영 한계값의 위반을 제거하거나 최소화하여 전력계통의 안정성을 향상시키며, 유효전력 손실 최소화, 연료 비용 최소화 등 목적함수를 최소화하는 해를 생성하고 계통운영상의 주요 제어 및 비용권고 사항 등 계통 해석상태를 제시하는 기능을 수행하는 응용프로그램으로 K-EMS Prototype 개발 기간에 개발되었다. 이에 본 논문에서는 언급한 OPF 기능을 실제 계통 데이터를 Interface하는 과정과 검증방법들에 대해서 설명하고자 한다.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.21 no.11
• /
• pp.1051-1058
• /
• 2011

The military communication equipment is required the high reliability for operating adequate functions under severe conditions. This reliability is the essential element for the quality of the product, for the uncontrolled factors, such as the clearance, damage of the material, the reduction of stiffness, which are the designer is unable to handle. In this paper, the uncertainty for the dimension was supposed to the probability model for the military communication equipment, and the average of the objective function was minimized for reducing design uncertainty. The reliability-based design optimization which was implemented the limit state function was formulated into the mathematical model, so the reliable optimized structure was implemented than the base-line design.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.523-526
• /
• 2011

This is concerned with the structural reliability analysis(RA) considering uncertainties in material properties. This method is performed by the stochastic process using Kriging with calculating the distribution of probability and equation of limit state for saving calculated and analyzed time. The proposed methodology is applied to the rocket motor case and compared with monte-calro simulation in efficiency and accuracy of this process.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.564-566
• /
• 1999

계측 시스템이나 시스템 식별을 수행할 때 정확히 모델링 되는 플랜트를 가정할 경우, 입출력 신호간 혹은 상태 변수들 사이의 비선형 함수 관계를 유도해 낼 수 있다. 그런데 특히 비선형 함수가 매우 복잡하여 해를 닫힌 형태로 구할 수 없을 경우 고려하는 변수들 양자간의 수학적 모델링을 기반으로 루프내 변수가 방정식의 해로 수렴하는 대수 루프를 구성할 수 있다. 이는 모델을 정확히 아는 시스템에 대하여 출력으로부터 입력을 추정하는 역시스템(inverse system)을 구성하는 것과 유사하다. 이러한 개념을 응용한 간단한 예로 용량형 센서의 입출력 비선형성을 제거해주는 역시스템을 대수 루프를 통하여 구현하였다. 또한 구현한 루프가 항상 유일한 해로 수렴할 수 있도록 하는 조건을 구하였다. 해석된 결과를 바탕으로 구현된 루프가 컴퓨터 시뮬레이션 및 아날로그 회로 실험에서도 잘 동작함을 검증하였다. 시뮬레이션 결과로 보인 잡음에 대한 강인성과 실제 회로 실험 결과는 대수 루프의 구현이 실제 용량형 센서 등에 용이하게 적용될 수 있음을 보여준다.