• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.1015-1025
• /
• 2016

소프트웨어 테스트에 대한 중요도는 오늘날의 산업 전반적으로 커지고 있으며 효과적인 테스트를 지원하기 위한 많은 방법들이 연구되고 있다. 이에 테스트 설계를 위해 시스템의 요구사항을 정형화하는 방법으로 모델 기반 테스트가 주로 사용되고 있는데, 반복과 동시성 작업을 포함하는 복잡한 시스템의 경우 경로 폭발을 야기하기 쉬운 문제가 있다. 특히 동시성 작업의 경우 Thread가 추가될수록 기하급수적인 수의 테스트 시나리오가 발생하게 되는데, 기존의 방법으로는 이를 해결하기 어렵다는 문제가 있다. 본 논문에서는 동시성 경로가 가지는 작업적 특성에 주안점을 두고, 이를 탐색하는 새로운 기법으로 경로 폭발 문제를 회피하는 방법을 제안한다. 사례 연구에서는 동시성 작업을 포함하는 시스템을 액티비티 다이어그램으로 표현하고, 기존의 기법이 생성할 테스트 시나리오의 수와 비교하여 본 기법의 효과를 보인다. 본 방법은 적은 수의 테스트 시나리오를 통해 반복과 동시성 작업의 결함을 효과적으로 발견할 것임을 기대한다.

• Korean Journal of Acupuncture
• /
• 제29권1호
• /
• pp.47-55
• /
• 2012

Objectives : The aim of this study was to understand the meaning of meridian in "Woegwasimbeopyogyeol (WGS)" of "The Golden Mirror of Medicine (GMM)". Methods : We compared the meaning of meridian in WGS with in Jagusimbeopyogyeol (JGS) of GMM. Results : Objectivity and clearness is obtained by inserting the meridian and collateral diagram and the partially expanded diagram in WGS and JGS. The meridian song (a quatrain with seven) in WGS is placed at the beginning of the chapter, indicating its importance. Kihyeoldaso of 12 meridians is detailed in WGS, so as to reduce the harmful effect when doctors diagnose, treat and prognose. It is important to understand the meaning of meridian When doctors treat carbunculosis. The symptoms of a disease is classified by parts and shown in diagram, which can play an important role in diagnosis. Conclusions : The WGS follows the meanings of meridian and the complementary structure in JGS.

• 대한임베디드공학회논문지
• /
• 제9권2호
• /
• pp.117-125
• /
• 2014

The EtherCAT protocol has become a very promising alternative for real-time industrial application due to its ability to eliminate uncertainties in the Ethernet. However, the extended markup language (XML) for the EtherCAT network system, which is required in the design, lacks systematic development to take advantage of model transformation techniques. This paper focuses on the system development procedure of the EtherCAT-based encoder system using the CANopen over EtherCAT (CoE) protocol. UML modeling is being adapted to design for XML of EtherCAT-based encoder system. To this purpose, this paper analyzes the object dictionary (OD) of a commercial encoder and CANopen over EtherCAT. A UML diagram is then designed based on the analysis, and XML is generated through the designed UML diagram. Finally, an experimental test_bed for the EtherCAT-based encoder system is implemented and its performance is compared with a commercial encoder.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회B
• /
• pp.2851-2856
• /
• 2007

Flow patterns in the presence of two identical nearby circular cylinders at =100 were numerically studied. We considered all possible arrangements of the two circular cylinders in terms of the distance between the two cylinders and the inclination angle with respect to the direction of the main flow. Eight distinct flow patterns were identified based on vorticity contours and streamlines, which are Base-Bleed, Biased-Base-Bleed, Shear- Layer-Reattachment, Induced-Separation, Vortex-Impingement, Flip-Flopping, Modulated Periodic, and Synchronized-Vortex-Shedding. Collecting all the numerical results, we propose a general flow pattern diagram for flows past the two cylinders. The perfect geometrical symmetry implied in the flow configuration allows one to use this diagram to distinguish flow patterns in the presence of two identical circular cylinders arbitrarily positioned in physical space with respect to the main flow direction.

• 로봇학회논문지
• /
• 제3권3호
• /
• pp.226-236
• /
• 2008

In this paper, control software architecture is designed to enable a heterogeneous multiple humanoid robot demonstration executing tasks cooperating with each other. In the heterogeneous humanoid robot team, one large humanoid robot and two small humanoid robots are included. For the efficient and reliable information sharing between many software components for humanoid control, sensing and planning, CORBA based software framework is applied. The humanoid tasks are given in terms of finite state diagram based human-robot interface, which is interpreted into the XML based languages defining the details of the humanoid mission. A state transition is triggered based on the event which is described in terms of conditions on the sensor measurements such as robot locations and the external vision system. In the demonstration of the heterogeneous humanoid team, the task of multiple humanoid cleaning the table is given to the humanoid robots and successfully executed based on the given state diagram.

• 한국시스템다이내믹스연구
• /
• 제17권1호
• /
• pp.25-40
• /
• 2016

This research aims to identify important variables and their effects on diabetes prevention or progression from prediabetes to diabetic complication using system thinking. Based on the existing studies, we have constructed a causal loop diagram explaining dynamics of diabetes and have found 7 important reinforcing loops and 3 balancing loops in the causal loop diagram. The CLD displays an effect of increasing prediabetes early detection and awareness on diabetes prevention. The findings indicate that the projects in Korea for reducing incidence of diabetes and potential risk of complication have focused on variables which are related only on diabetes even though prediabetes has been a critical point on diabetes prevention and management. Thus, it also concludes that the effect of projects focusing only on diabetes have faced limitation to manage diabetes accordingly.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 춘계공동학술대회: 지식경영과 지식공학
• /
• pp.281-287
• /
• 1999

Decision class analysis (DCA) is viewed as a classification problem where a set of input data (situation-specific knowledge) and output data (a topological leveled influence diagram (ID)) is given. Situation-specific knowledge is usually given from a decision maker (DM) with the help of domain expert(s). But it is not easy for the DM to know the situation-specific knowledge of decision problem exactly. This paper presents a methodology fur sensitivity analysis of DCA under incomplete information. The purpose of sensitivity analysis in DCA is to identify the effects of incomplete situation-specific frames whose uncertainty affects the importance of each variable in the resulting model. For such a purpose, our suggested methodology consists of two procedures: generative procedure and adaptive procedure. An interactive procedure is also suggested based the sensitivity analysis to build a well-formed ID. These procedures are formally explained and illustrated with a raw material purchasing problem.

• Journal of Mechanical Science and Technology
• /
• 제15권5호
• /
• pp.544-554
• /
• 2001

A shop floor can be considered as an important level to develop Computer Integrated Manufacturing system (CIMs). However, a shop floor is a dynamic environment where unexpected events continuously occur, and impose changes to the planned activities. To deal with this problem, a shop floor should adopt an appropriate control system that is responsible for the coordination and control of the manufacturing physical flow and information flow. In this paper, a hybrid control system is described with a shop floor activity methodology called Multi-Layered Task Initiation Diagram (MTD). The architecture of the control model contains three levels: i.e., he shop floor controller (SFC), the intelligent agent controller (IAC) and the equipment controller (EC). The methodology behind the development of the control system is an intelligent multi-agent paradigm that enables the shop floor control system to be an independent, an autonomous, and distributed system, and to achieve an adaptability to change of the manufacturing environment.

• 대한기계학회논문집A
• /
• 제27권5호
• /
• pp.779-788
• /
• 2003

This study evaluates the approximation errors of the existing linearized equation for a servovalve nonlinear flowrate characteristic. At first, the errors are evaluated on flowrate/pressure characteristics diagrams. Subsequently, they are investigated with time response simulation results for several hydraulic control systems. To enable systematic evaluation of computational error, the authors propose three kinds of equations with restructured forms of the existing linearized equation. As results of the evaluations, it is ascertained that comparatively good computational accuracy can be achieved with the existing linearized equation when both an operating point for the linearized equation and operating range of the hydraulic system stay near the flowrate axis of the flowrate/pressure characteristics diagram. In addition, the results show that comparatively big computational error may occur when operating range of a hydraulic system stay apart from the flowrate axis of the flowrate/pressure characteristics diagram.

• 대한기계학회논문집B
• /
• 제31권8호
• /
• pp.724-732
• /
• 2007

Flow patterns in the presence of two identical nearby circular cylinders at Re=100 were numerically studied. We considered all possible arrangements of the two circular cylinders in terms of the distance between the two cylinders and the inclination angle with respect to the direction of the main flow. Eight distinct flow patterns were identified based on vorticity contours and streamlines, which are Base-Bleed, Biased-Base-Bleed, Shear-Layer-Reattachment, Induced-Separation, Vortex-Impingement, Flip-Flopping, Modulated Periodic, and Synchronized-Vortex-Shedding. Collecting all the numerical results, we propose a general flow pattern diagram for flows past two nearby cylinders. The perfect geometrical symmetry implied in the flow configuration allows one to use this diagram to distinguish flow patterns in the presence of two identical circular cylinders arbitrarily positioned in physical space with respect to the main flow direction.