• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.1-13
• /
• 2007

GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.186-200
• /
• 2006

Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.3
• /
• pp.232-239
• /
• 2009

The prediction of the separation trajectories of external stores carried by military aircraft is an important task in the area of aircraft design having the objective to define the operational, release envelopes. This paper presents the results obtained for safe store separation from a fighter aircraft by experimental methods in the subsonic wind tunnel. The problems associated with separation of external stores can be studied by the use of several wind-tunnel test techniques. Attention is given the two most useful techniques: 1) dynamically scaled drop-model testing, 2) grid testing. A description of each method is given and data obtained are shown to validate the similarity within acceptable limits.

• Korean Security Journal
• /
• no.27
• /
• pp.31-49
• /
• 2011

The subjects consisted of 60 healthy men who absence of cardiopulmonary diseases, orthopedic diseases, and metabolic diseases. The difference of physical fitness, body composition, cardiovascular risk factors, and psychological characteristics for security guards' working type were examined using one-way ANOVA through SPSS 12.0 version and was treated for the post hoc test when the difference appeared significantly. According to the result, first, there were higher level for the physical fitness according to the security guards' position and it increases body composition and cardiovascular risk factors from higher position. Second, physical fitness level is higher, body composition and cardiovascular risk factors is lower in the security guards for the field service than the security guards on inside duty according to the security guards' working type. Third, it decreases body composition and cardiovascular risk level when the physical fitness level is getting increase for the security guards. In conclusion, it needs to have a physical activity with aerobic system for the security guards of leading members and inside service to decrease the overweight or obesity and cardiovascular risk level.

• Journal of Biomedical Engineering Research
• /
• v.22 no.1
• /
• pp.69-80
• /
• 2001

본 연구에서는 환자의 골다공증 유무에 따른 내고정 장치 시술 직후 및 융합 후의 안정성을 평가하기 위해 다양한 하중 모드에서 C5-C6 운동분절의 생체역학적 거동을 분석하였다. 이러한 목적으로 먼저, C5-C6 경추부의 유한요소 모델을 구현하여 검증하였다. 모델의 결과는 기존 실험치와 유사하여 신뢰성이 부여되었다. 검증된 모델은 Smith-Robinson 방식으로 골이식물을 삽입한 후 전방 내고정 장치를 적용한 시술 상황을 재현하기 위해 수정되었다. 수정된 모델은 두 종류로 구현되었다. (1) 첫 번째 모델에서는, 시술 직후의 상황을 재현하기 위해 골이식물과 종판의 경계면에 접촉요소를 사용하였다. (2)두 번째 모델에서는 완전히 융합된 상황을 나타내기 위해 골이식물을 종판에 고정하였다. 골다공증의 효과를 예측하기 위하여 두 모델의 해면골에 대한 탄성계수를 변화시켰다(정상: 100MPa, 골다공증: 40MPa). 각 모델의 C5 주체의 상위면에 73.6N의 압축 하중을 가한 후에 108Nm의 굴곡/신전, 굽힘, 비틀림 하중을 가하였으며, C6 추체의 하단면은 모든 방향에 대하여 구속하였다. 전체적인 결과에 있어서 상대적 회전운동, 미끄럼운동, 골이식물 내에서의 von Mises 응력의 경우 정상 모델에 비해 골다공증 모델에서 증가함을 보였으며, 특히 시술 직후의 모델에서 비틀림 하중이 가해진 경우, 상대적 회전운동 및 미끄럼 운동이 가장 높게 예측되었다. 이는 골다공증환자에게 전방 내고정 장치를 시술한 경우 골이식물의 파단 및 유합의 실패가 비틀림 하중에서 발생할 수 있음을 나타낸다. 해면골의 von Mises 응력은 시술 직후에 골다공증 모델의 모든 하중 모드에서, 유합 후에는 굽힘 하중 외의 모든 하중에서 ultimate strength를 초과하는 것으로 나타나 골다공증 환자에게 screw의 해리가 발생할 가능성이 높은 것으로 예측되었다. 따라서 골다공증 환자에게 과도한 운동이 발생하지 않도록 하기 위해서 시술 후 세심한 주의와 halo 같은 견고한 정형술이 필요할 것으로 사료된다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.1
• /
• pp.79-84
• /
• 2020

Wireless power transfer is more convenient than wired power transfer, but has a shorter transfer distance and lower efficiency. In addition, it is difficult to charge multiple devices simultaneously. In this paper, we propose a method of magnetic beam forming by using multiple transmitters in order to increase transfer distance and improve efficiency of wireless power transfer. To do this, the relationship between the transmitter coil current and magnetic field at the center of receiver coil is modelled, and calculate the optimal transmitter coil current using the characteristics of the pseudoinverse. Finally, the validity of the proposed method is verified by simulation.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Korean Journal of Remote Sensing
• /
• v.30 no.1
• /
• pp.1-12
• /
• 2014

The purpose of this paper is to provide a compact overview of the state-of-art image mosaic algorithms in commercial softwares and to propose objective assessment method of that. Among them, several algorithms, widely used and high quality, result in the mosaic image by applying to seven different kinds of seasons of KOMPSAT-2 images and then consequently each result is analyzed visually. Moreover, quality index is suggested to assess the similarity with colors regarding adjacency images and then it is performed by comparing and analyzing the visual and quantitative results. Consequently, we found out the suggested quality index is feasible.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.6 no.1
• /
• pp.3-16
• /
• 2004

A finite element method is used for the force analysis of semicircular arch shaped corrugated steel plate lining. The assessment of stability and behavior for several conditions are executed from the analysis of soil-structure interaction in accordance with CHBDC (Canadian Highway Bridge Design Code, 2000). One fortieth scaled model tests were conducted on the semicircular arch lining to verify the FEM analysis results under the earth-load conditions.

• Journal of Korean Physical Therapy Science
• /
• v.7 no.2
• /
• pp.427-437
• /
• 2000

편마비 환자의 물리치료는 장애 결과를 완화시키는 것에 초점을 두고 있다. 본 연구는 신경생리학적 개념을 기초로 한 중재 접근 방법 중 편마비 환자에게 신경 발달 치료와 신경근 균형 접근 기법의 중재 효과를 비교 하였다. 연구 대상은 서울특별시와 전라북도에 소재한 종합병원 및 정형외과 의원에 입원 및 통원하고 있는 47-71세의 연령 범위에 있는 편마비 환자 30명 이다. 중재 집단의 기능적 능력 향상을 평가하기 위해 편마비 환자를 위한 운동 평가 척도와 수정된 바델 척도를 평가도구로 사용하였다. 편마비 환자의 기능적 능력 향성을 평가도구에 의해 측정된 결과를 분석한 바 운동평가 척도 항목중 바로누운 자세에서 옆으로 눕기와 앉아서 균형 취하기 영역에서, 수정된 바델 척도 항목 중 식사하기 영역에서 통계적으로 유의한 차이를 보였다(P<.05). 편마비 환자의 손상 부위, 손상 형태, 마비 부위 등의 손상의 본질에 따른 대상의 선정과 운동 조절 형태에 관한 지식 그리고 신경학적 결함 정도를 심도있게 다루어 기능적 능력 향상의 임상적 효과를 검증하는 것이 중요하다.