• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.25-34
• /
• 2001

In this paper, we describe the generation method of interface logic which replace between IP & IP handshaking signal with asynchronous logic circuit. Especially, we suggest the new asynchronous sequential "Waveform to VHDL" code creation algorithm by flow chart conversion : Wave2VHDL - if only mixed asynchronous timing waveform is presented the level type input and pulse type input for handshaking, we convert waveform to flowchart and then replace with VHDL code according to converted flowchart. Also, we confirmed that asynchronous electronic circuits are created by applying extracted VHDL source code from suggest algorithm to conventional domestic/abroad CAD Tool, Finally, we assured the simulation result and the suggest timing diagram are identical.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권9호
• /
• pp.1105-1113
• /
• 1999

객체 지향 소프트웨어의 확장과 더불어 소프트웨어의 재사용성의 중요도가 부각되면서 소프트웨어를 콤포넌트 단위로 구현하는 추세이다. 따라서 콤포넌트 기반의 소프트웨어 개발에서의 통합 테스트가 중요한 이슈로 떠오르고 있다. 그러나 콤포넌트들의 통합 테스트에 대한 연구는 미흡한 상태이다. 본 논문에서는 UML을 기반으로 체계적인 통합 테스트 모형을 제안하고. 나아가 본 논문에서는 "멀티미디어 정보처리 시스템"의 사례를 본 논문의 콤포넌트 통합 테스트 모형에 적용한 결과를 분석하여 기술한다. 콤포넌트 통합 테스트 모형은 UML(Unified Modeling Language)의 순서도(sequence diagram)와 협력도(collaboration diagram)를 이용하여 전체 시스템에서 UML의 사건흐름을 구성하는 콤포넌트들 사이의 인터페이스 영역에 존재하는 오류들을 추출한다. 그리고 UML을 기반으로 통합 테스트를 수행함으로써, 테스트 준비 작업을 줄이고, 기존의 UML 지원 도구들과 연계하여 테스트 자동화 도구의 구현을 앞당길 수 있다. 또한 시스템의 순차적 흐름 뿐 아니라, 동시에 수행되는 흐름에 대한 정보까지 모두 수용하여 테스트함으로써, 콤포넌트 기반의 분산 환경의 특성에 적합하다. Abstract As the object-oriented approach to software development becomes more mature, software development from pre-existing, independently developed components becomes an important aim of software engineering. Therefore, integration testing becomes an important aspect of component-based software development. However, there has been little work done in the area of the component-based integration testing. In this paper, we propose the "component integration test model" which is based on UML. Furthermore, we describe a case study on "Multimedia Information Processing System" conducted to analyse the result from which our model is applied. Our model extracts the faults, which exist in interfaces of components, using sequence diagram and collaboration diagram of UML(Unified Modeling Language). As our model is based on UML, the preparation effort for testing is reduced and its test-tools can be implemented more easily through linking existing UML tool. And our model accepts the information of concurrent flow represented by collaboration diagram as well as sequential flow, so it is more suitable to component-based distributed environment.based distributed environment.

• 산업공학
• /
• 제6권1호
• /
• pp.47-54
• /
• 1993

Sequential Numbering System(SNS) is one of the production and inventory management system, which is more effective and practical to minor enterprises than Material Requirement Planning (MRP) system or Just-in-Time(JIT) system. The purpose of the paper is the structured analysis of SNS as the first phase of software development. Data Flow Diagram(DFD), Data Dictionary(DD), and Mini-Specs are used to analyze the system through the second level. The result can be exploited to SNS software design and programming.

• 지질공학
• /
• 제24권4호
• /
• pp.643-648
• /
• 2014

터널의 굴착과정에서 막장전반부에 분포하는 절리를 예측하여 그들로 인한 붕괴를 예방하기위해 보강계획을 수립하는 것은 매우 중요한 사안이다. 그러나 빠른 굴착공정에서 절리의 분포를 충분히 조사하고 예측하는 것은 쉽지 않은 일이다. 본 연구는 굴착면 선단부에 분포하는 절리를 예측할 수 있는 새로운 통계적 기법을 제시하고자 한다. 제시될 방법은 단일 절리군에 대한 절리간격의 누적분포도를 이용한 절리분포의 예측이다. 누적분포도는 수평축에 절리를 동일간격으로 순차적 배열을 한 후, 수직축에 누적간격을 기준으로 각 절리를 하나의 점으로 표기한다. 이 도표에서, 표기된 점들이 선형을 이루면 절리의 분포양상이 규칙적임을 의미하며, 직선의 기울기는 절리의 간격을 의미한다. 기울기가 낮으면 절리사이의 간격이 적은 것 이다. 점들의 분포가 군집형을 이루면 이는 절리의 분포양상이 군집형을 이룸을 의미한다. 현장에서 조사된 자료를 누적분포도에 점기하면 특정 절리군에 대한 분포양상이 분포도에 표기될 것이고, 이 분포양상을 연장하면 앞으로 굴착될 굴착면 전방의 절리분포를 예측할 수 있을 것이다. 실 터널현장에서 10 m 간격에서 측정된 특정 절리군에 대한 누적분포도 분석이 수행되었으며 이를 기반으로 3 m 전방의 미 굴착구간에 대한 절리분포가 예측되었다. 예측결과를 실제 현장자료와 비교한 결과 누적분포도는 전방절리를 적절히 예측하고 있었다. 분포도의 특성상 점기된 절리들의 선형과 등간격의 군집형태는 그 자체로 절리의 분포가 규칙적이며 누적분포도의 예측이 정확할 수 있음을 의미하는 것이다. 그러므로 본 연구는 향후 누적분포도의 분포양상에 대한 고찰과 그 결과의 넓은 공유가 있기를 바란다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.831-839
• /
• 2009

An interlocking equipment of railway signalling systems is manufactured with electrical devices and electrical interlocking equipment has been substituted for existing interlock equipment(relay sequential logic type). But interlock conditions are still generated from rail diagram and used to make Interlock Table manually. In order to make EIS(Electrical Interlock System) operate, we should write interlock data which is made from interlock table. But, as the station is larger and more complicated, handwork may becomes a very tediou work and makes more mistakes. Therefore the development of CAD system for Interlocking System is very significant, if CAD can reduce the mistakes from handwork and help the configuring the interlocking system. In this paper, we first arrange some rules which can be used to extract route information automatically from rail diagram and interlocking rules. And then we propose "Search-And-Rollback" algorithm to extract route information and individual interlocking rules. The proposed algorithm is implemented and tested through the signal design process of the Hyundai-Steel private railway to carry melted pig iron from the blast furnace to the steel-making workshop. some cases. It shows that CAD for Interlocking system is very helpful in time saving aspect and system reliability.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.82-87
• /
• 2001

본 논문에서는 IP(Intellectual Property)와 IP 간의 핸드쉐이킹 신호를 비동기 논리회로로 대체 하도록 할 수 있는 인터페이스 논리의 생성 방법에 대하여 기술한다. 특히 핸드쉐이킹 을 위하여 레벨형 입력과 펄스형 입력이 혼합된 비동기 타이밍 파형만 제시되었을 경우 이 파형을 흐름도로 변환시키고 변환된 흐름도에 의하여 VHDL 코드로 대체하는 새로운 \"파형 변환 알고리즘:Wave2VHDL\"을 제안한다. 또한 제안된 알고리즘으로부터 추출한 VHDL 원시 코드를 기존의 국내외 CAD 툴(Tool)에 적용함으로서 IP 인터페이스를 위한 비동기식 전자회로가 생성됨을 확인하고 시뮬레이션 결과와 제시된 타이밍도가 일치함을 증명한다.일치함을 증명한다.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1260-1268
• /
• 2005

PLC는 자동화 시스템의 발달에 따라 적용 범위가 확대되어왔으며 현재 PLC의 기본 언어 중 LD 언어가 가장 많이 사용되어 지고 있으나 제어 흐름을 나타내는 순차 제어 논리의 기술이나 조건이 많아질 경우 프로그램의 이해가 어려운 단점이 있다. SFC 그래픽 언어는 플로우 차트 형식을 기반으로 하여 순차 제어 논리의 기술에 적합한 언어이며 제어의 흐름을 이해하기 쉽고 유지보수가 용이하여 신뢰성이 향상된다. 본 논문에서는 SFC 언어를 이용하여 3층의 간이 엘리베이터를 동작시키는 제어회로를 설계하고 LD 언어와 비교하여 보았다. 엘리베이터의 운전 제어회로를 설계함에 있어 액션 제한자와 선택 분기문을 사용함으로써 LD언어를 사용할 때 보다 프로그램 메모리의 용량을 줄이고 처리시간을 단축시켰다.

• 한국산학기술학회논문지
• /
• 제11권1호
• /
• pp.107-112
• /
• 2010

PLC를 사용한 제어시스템에서 SFC 언어를 사용하면 전체 공정의 흐름을 이해하기 쉽고 유지보수가 용이하다. SFC 언어는 단일 시퀀스, 선택 시퀀스, 병렬 시퀀스로 나누어지고, 여러 조건에 맞게 처리하는 선택시퀀스로 프로그램 할 때 선택분기 스텝에 에러가 발생하면 전체 공정이 정지하게 된다. 이 에러스텝이 전체 공정에 크게 영향을 안주는 공정이라면 전체 공정을 정지시키지 않고 에러를 처리하면 손실은 줄어들게 된다. 본 논문에서는 선택시퀀스에서 리모트 콘트롤을 사용하여 선택시퀀스를 효율적으로 제어하는 방법을 제시하고 적용 예를 통해 그의 타당성을 확인하였다.

• 한국항공우주학회지
• /
• 제34권1호
• /
• pp.74-80
• /
• 2006

본 논문은 레이더와 같은 지상의 다수위협이 존재하는 상황에서 무인항공기의 비행경로 최적화에 관한 것이다. 레이더에 의한 피탐성, 즉 비행체에 의해 반사되는 레이더 신호강도를 최소화하면서 목적지까지의 비행시간을 최소화하는 관점에서 성능지수를 제안하였다. 1차의 시간지연 시스템으로 가정된 비행체의 경사각을 제어입력으로 고려하였으며, Sequential Quadratic Programming기법에 기반한 입력 파라미터 최적화 기법을 사용하여 궤적최적화를 수행하였다. 제안된 무인 항공기 경로계획 기법은 Voronoi 선도기법과 비교하였을 때, 생존성을 증대시키면서도 항공기의 역학적 특성을 고려한 비행경로를 제공한다.

• 한국산학기술학회논문지
• /
• 제14권10호
• /
• pp.5134-5139
• /
• 2013

복잡한 현대의 제어시스템 설계에 PLC를 사용하면 프로그램은 LD언어나 SFC언어를 사용한다. 대부분은 LD 언어를 사용하지만 최근에는 SFC 언어의 사용빈도수가 높아졌다. SFC 언어는 제어의 흐름을 이해하기가 쉽지만, 조합논리를 표현하는데는 단점을 가지고 있다. SFC언어에서 인터럽트를 처리할 때 인터럽트 요인이 발생하게 되면 메인프로그램을 중지하고 인터럽트 프로그램을 실행하여 프로그램이 종료된 후 메인프로그램으로 복귀하게 된다. 그러면 인터럽트 프로그램이 복잡할수록 메인프로그램 정지시간은 그만큼 길어지게 된다. 본 논문에서는 SFC언어에서 메인프로그램의 휴지시간이 없는 인터럽트 처리방법을 제안하고, 시뮬레이션을 통해 그의 타당성을 확인하였다.