최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회논문지 = Journal of the Korea Information Science Society, v.21 no.9, 1994년, pp.1665 - 1674
황형수 , 주수종 , Dan lonescu
생산 계통, 조립 라인, 컴퓨터 및 통신 시스템이나 교통 시스템등과 같은 Discrete Event Dynamic Systems (DEDS)을 다루기 위해서 일련의 이산 사건들에 대한 적절한 모델링 방법이 요구된다. 따라서 본 논문에서는 모델링할 때, 이산 사건들의 수행 과정을 편리하게 모델링하기 위해 Temporal Logic Model(TML) 방법을 이용하였다. 이 모델 방법을 이용하여 DEDS의 콘트롤러를 모델링하고, 이를 구현하기 위한 합성 방법을 도달 특성에 근거하여 제시하고 예를 통하여 설명하였다.
A large class of process control activities is concerned with Discrete Event Dynamic Systems(DEDS) which are characterized by discrete processing activities. A major difficulty in developing analytical results for such systems is the lack of appropriate modeling techniques. In this paper, as a mor...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.