http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 황형수(Hwang Hyung-su) (검색결과 5 건)
- 무료
- 기관 내 무료
- 유료
-
이산사건 동적 시스템에서 시간 논리 모델을 이용한 콘트롤러 모델링
황형수(Hyung Soo Hwang),주수종(Su Chong Joo),Dan lonescu(Dan lonescu) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.9
생산 계통, 조립 라인, 컴퓨터 및 통신 시스템이나 교통 시스템등과 같은 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 more convenient modeling technique, we take advantage of a temporal logic model for designing controllers in DEDS. DEDS is formalized as a system driven by inputs and events that force a sequence of states in the system state space. We developed a composite method for building a controller, based on the reachability property. The following demonstrates the visibility of this approach.
-
주수종(Su Chong Joo),황형수(Hyung Soo Hwang),김영찬(Young Chan Kim) 한국정보과학회 1995 정보과학회논문지 Vol.22 No.8
본 연구는 분산 태스크의 동시 수행 모델링을 제시하고 모델의 성능을 분석한 연구이다. 연구의 목적은 분산 시스템에서 수행되는 태스크들의 신뢰도를 향상시킬 수 있는 방안을 얻으려 함이다. 연구 내용은 다음과 같다. 분산 태스크들이 분산 환경에서 실행되는 과정을 합성 Petri Net를 이용하여 모델링 한다. 모델의 편리한 분석을 위해 동시 수행 규칙을 적용하여 모델 내에서 수행되는 태스크들간의 동시 수행 상태들을 추출하고 이들의 수행 과정을 동시 수행 도달성 트리로 나타낸다. 마지막으로 이 트리를 이용하여 분산 태스크의 신뢰도, 민감도와 태스크의 데드라인 위반 확률을 분석하고 성능이 향상될 수 있는 방안을 보인다. We suggest the modeling of concurrent execution for a distributed task and analyze its performance. Our goal is to improve the reliability of tasks in distributed systems. In this study, we model the procedures of task execution using the Composite Petri Net. For convenient analyses of the model, we extract concurrent execution states among tasks by applying the rule of concurrent execution. These execution procedures are described as a Concurrent Execution Reachability Tree(CERT). We finally analyze the reliability, the sensitivity and the probability of deadline violation for distributed task using the CERT, and show a method with which the performance of this model can be improved.
-
-
Modeling and Controller Design for Discrete Event Dynamic Systems
HWang,Hyung-Soo,Joo,Su-Chong 圓光大學校 1995 論文集 Vol.29 No.2
이산 사건(Discrete event Dynamic System:DEDS)을 다루기 위해서 일련의 이산 사건들에 대한 적절한 모델링 방법이 요구된다. 따라서 본 논문에서는 모델링할 때, 이산 사건들의 수행과정을 편리하게 모델링하기 위해 Temporal Logic Model(TML)방법을 이용하였다. 이 모델 방법을 이용하여 DEDS의 제어기를 모델링하고 제어기를 설계하기 위한 방법을 제시하였으며 또한 최적 제어기를 설계하기 위한 방법에 대하여도 연구하였으며, 이들을 예를 통하여 설명하였다. A discrete event dynamic system(DEDS) is a system whose states change in response to the occurrence of events from a predefied event set. A major difficulty in developing analytical results for such systems is the lack of appropriate modeling techniques. In this paper, as a more convenient modeling technique, we take advantage of a temporal logic model for designing controller in DEDS. DEDS is formalized as a system driven by inputs and events that force a sequence of states in the system state space. We developed a composite method for building a controller, based on the reachability property and introduced to the optimal control problems of DEDS. The optimal controller synthesis procedure is guide by the heuristic search method. An example is shown to illustrate our results.
-
HWANG, HYUNG-SOO,OH, SUNG-KWUN,JOO, SU-CHONG 圓光大學校 1996 論文集 Vol.31 No.2
이산사건동적시스템을 모델링하는 가장 편리한 방법중의 하나가 시간논리 모델링방법을 이용하는 것이다. 시간논리 모델링 방법으로 이산사건동적시스템의 최적 제어기의 모델링 및 설계를 다룰때 A* 알고리즘을 이용한 경험적 탐색법을 이용하였으나 이방법은 해의 유일성, 계산의 복잡성 및 경험 함수의 선택의 문제점이 제기되었다. 본 논문에서는 이러한 문제들을 해결하기 위하여 A* 알고리즘 대신 Stochastic Ruler 알고리즘을 제시한다, 그리고 Stochastic Ruler 알고리즘을 적용하기 위하여 개선된 목적함수와 측정공간을 정의하였다. 시간논리 영역에서 Stochastic Ruler 알고리즘을 이용하여 제어기를 모델링하고 최적화할때 만족스런 결과를 얻었으며, 이를 예를 들어 설명하였다. In this paper, we consider the optimal control problem based on Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have stdudied for a convenient modeling technique. The TLF is enhanced with objective functions(event cost indices) and a measurement space is also defined. Our research goal is the design of the optimal controller for DEDSs. This procedure could be guided by the heuristic search methods. For the heuristic search, we suggested the Stochastic Ruler algorithm, instead of the A* algorithm with difficulties as following; the uniqueness of solutions, the computational complexity and how to select a heuristic function. This SR algorithm is used for solving the optimal problem. An example is shown to illustrate our results.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
