• 항공우주기술
• /
• 제2권1호
• /
• pp.140-152
• /
• 2003

발사를 위해 로켓과 지상 장비를 작동시키고 제어하는 과정에서 시나리오는 운영 및 통제의 지침 역할을 한다. 따라서 시나리오를 작성하는 것은 로켓 발사 작업을 준비하는 첫 번째 작업으로서, 발사를 성공적으로 수행하기 위한 핵심적인 임무 중 하나이다. KSR-III 비행시험 시나리오는 발사를 준비하기 위해 로켓과 지상 장비를 작동시키는 순차적인 작업 명령의 시퀀스이다. 본 논문에서는 발사 시나리오 개발에 UML 객체 모델링 방법을 적용한다. 먼저, 발사 시스템의 각 서브시스템을 객체로 모델링하고 각 두 서브시스템 간의 인터페이스를 association link로 모델링한다. 이를 통해 얻어진 최종적인 KSR-III 발사 시스템 객체 다이어그램은 데이터와 명령의 흐름, 통제, 상호작용 등을 분석하는데 사용된다. 전체 시나리오는 사전 시나리오, 본 시나리오, 비상시 조치사항 등으로 구성된다.

• 한국지리정보학회지
• /
• 제4권2호
• /
• pp.1-16
• /
• 2001

지형정보 작업관리(워크플로) 연구는 중요한 관심이 되는 분야 중에 하나로 시간변화에 따라 발생하는 사건, 행위 그리고 프로세스들의 상호작용 및 변경 등을 처리할 수 있는 방법 및 모델이 요구된다. 기존의 많은 워크플로 프로세스 모델이 있지만, 육하원칙에 의거하여 행위자의 시간과 공간적 행위 또는 사건을 해석하려는 시도가 많지 않은 듯하다. 이 연구는 6가지의 조건을 조사하고 객체지향적인 헥사드 행위 모델을 제시하여 지형정보 프로세스 및 행위를 분석하고자 하였다. 행위자의 다양한 행위의 원인과 결과를 시공간 개념과 연계하면, 육하원칙의 자세한 분석은 공간의 변화나 공간정보 흐름을 파악하는데 상당한 도움이 된다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.662-670
• /
• 1998

심볼레벨에서 개발된 1세대 전문가시스템의 문제점을 해결하기 위하여 최근 지식레벨에서 2세대 전문가시스템을 개발하기 위한 여러 가지 방법들이 제안되었으나, 대개 개념적인 모델링 기법을 제시하는 수준에 머무르고 있다. 본 논문에서는 이러한 개념적인 모델링 기법이 실용 가능한 개발기법이 될 수 있도록 기존의 연구 내용을 수정, 보완한 태스크 객체 모델링(TOM) 기법을 제시하였다. 이 기법에서 태스크 객체(TO)는 자신의 목표와 수행 조건, 실행할 행위 지식 등을 포함하는 하나의 지식 단위로 정의하고, TO의 구조적, 동적, 기능적 측면을 쉽게 도식화할 수 있는 태스크 객체 다이어그램(TOD)을 정의하였다. 또한, 각 TO의 행위 지식을 표현하는 기본 단위로서 추론유형(Inference Type)들을 정의하였다. 본 논문에서 제안한 TOM 기법이 단순히 개념적인 모델링 기법이 아니라 실용적인 2세대 전문가시스템 개발기법으로 활용될 수 있도록 TOD 에디터와 TO 에디터를 개발하고, TO의 상태 변화에 기반을 둔 TO 처리 알고리즘을 개발하였다. 또한, 정의된 추론유형들이 대표적인 전문가시스템 개발도구인 IRE(Intelligent Rules element)의 메소드로 자동 변환 될 수 있도록, 각각의 추론유형과 IRE의 메소드를 1: 1로 대응시킨 추론 유형 라이브러리를 구축하였다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.651-658
• /
• 2002

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용되는 시나리오 작성지원 절차를 제시하고, 시나리오 작성지원 도구를 구현하였다. 이를 위해 기본적으로 요구사항 정의테이블, 프로세스 정의테이블, 프로그램 대 테이블 상관도를 사용한다. 추가로 앞의 3가지 테이블 기능을 요구분석, 설계, 테스트 단계별로 나누어 한곳에서 신속·정확하게 체크할 수 있는 요구사항 추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성지원 도구의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항의 누락을 방지하고, 해당 프로세스에 대한 테이블 정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다.

• 한국정보통신학회논문지
• /
• 제24권7호
• /
• pp.857-865
• /
• 2020

본 논문에서는 시퀀스 다이어그램의 메시지 패턴에 기반하여 자바 코드를 생성하는 방법을 제시하고자 한다. 시퀀스 다이어그램에서 메시지는 몇 가지 유형이 전형적으로 나타낸다. 따라서 이들 유형을 분류하여 패턴으로 정의하고, 이들 각 패턴의 메시지에 대한 정보를 분석하여 코드 변환을 하기 위한 메타 정보를 구축한다. 시퀀스 다이어그램 메시지의 구조적 정보를 분석한 '메타 메시지' 정보를 MetaMessage 데이터스토어에 구축하고, 이들 메타 메시지 정보로부터 구성되는 '메타 메소드' 정보를 MetaMethod 데이터스토어에 구축한다. 이 과정에서 메타 클래스 정보와 메타 오브젝트 정보가 함께 구축되고 사용된다. 각 패턴의 메타 정보에 기반하여 타겟 프로그래밍 언어의 문법에 따라 메시지에 상응하는 코드를 생성하게 된다. 또한, 기존 연구에서는 통합적으로 잘 다루지 않았던 분기와 반복에 대한 복합 패턴을 제시함으로써 기본 패턴과 통합된 코드 생성을 가능하게 한다.

• 산업공학
• /
• 제21권4호
• /
• pp.354-364
• /
• 2008

This paper deals with a design problem of simulation for MIME (multi indenture and multi echelon) with lateral transshipment. Especially, we consider lateral transshipments in case that (S-1, S) ordering policy is used in multi echelon repair system. Some rules for ordering spare parts in lateral transshipments between the lowest-level units are studied and are implemented by an activity diagram in object-oriented method. By numerical examples, we compare regular (S-1, S) ordering policy and (S-1, S) policy with lateral transshipment.

• 한국멀티미디어학회논문지
• /
• 제2권2호
• /
• pp.200-216
• /
• 1999

본 연구에는 멀티미디어 타이틀의 저작과 동기화 문제를 효과적으로 명세하고 분석할 수 있으며, 타이틀의 재생을 직접 제어할 수 있는 통합모형인 BTPN모형과 패러다임들을 제시한다 타이틀내의 객체들간의 모든 관계들을 BTPN구조와 BTPN언어로 명세하는 방법과 잔여시간형 도달성그래프, 타이밍다이어그램 둥을 이용하여 BTPN을 분석하는 방법을 제시하였다. 특히, PERT/CPM방법으로부터 도입한 임계객체경로나 최 장경로 개념은 타이틀 저작 및 재생시의 불확실성을 모형화하며 재생시간의 조정도 가능하게 하고 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.575-579
• /
• 2005

In this paper, the development of an IMM(Injection Molding Machine) controller is discussed. Presently, the Mold Close and Open Control Method of a toggle-type IMM is open-loop control. Through the development, a PC based control system was built instead of an existing controller and a closed-loop control replaced the previous control method by using PC based PLC. To control the nonlinear system of toggle type clamping unit, a fuzzy PI control algorithm was selected and it was programmed by an IL(Instruction List) and a LD(Ladder Diagram) on a PC based PLC. The application of fuzzy algorithm as the control method was also considered to change a control object like a mold replacement or an additional apparatus. For the development of an IMM controller, PC based PLC of PCI card type, distributed I/O modules with CANopen and Industrial PC and HMI (Human Machine Interface) software were used.

• 대한전자공학회논문지
• /
• 제21권6호
• /
• pp.85-93
• /
• 1984

본 논문에서는 gate array LSI의 Layout 설계중 새로운 초기 배치 알고리즘을 제안하고 있다. 인간에 의해 작성된 게이트 레벨 논리설계도면상에 모듈의 상대적 위치를 정해진 칩의 셀에 최대한 반영하여 배치할 수 있는 목적함수를 설정하고 그 함수에 의해 초기 배치를 구하였다. 제안한 방법의 유용성을 보이기 위해 이미 사용되고 있는 cluster성장법과 program 실험을 통해 최대 cut 수 및 총배선장을 비교하였다.

• 한국공작기계학회논문집
• /
• 제11권1호
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.