• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 제어로봇시스템학회논문지
• /
• 제13권4호
• /
• pp.352-357
• /
• 2007

This paper deals with modeling method and application of Fuzzy Discrete Event System(FDES). FDES have characteristics which Crisp Discrete Event System(CDES) can't deals with and is constituted with the events that is determined by vague and uncertain judgement like biomedical or traffic control. We proposed Real-time Fuzzy Temporal Logic Framework(RFTLF) to model Fuzzy Discrete Event System. It combines Temporal Logic Framework with Fuzzy Theory. We represented the model of traffic signal systems for intersection to have the property of Fuzzy Discrete Event System with Real-time Fuzzy Temporal Logic Framework and designed a traffic signal controller for smooth traffic flow. Moreover, we proposed the method to find the minimum-time route to reach the desired destination with information obtained in each intersection. In order to evaluate the performance of Real-time Fuzzy Temporal Logic Framework model proposed in this paper, we simulated unit-time extension traffic signal controller model of the latest signal control method on the same condition.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 B
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• 한국가스학회지
• /
• 제5권1호
• /
• pp.37-44
• /
• 2001

운전절차 활성 시스템은 운전절차 합성에 필요한 시간과 노력을 줄여주고 좀더 자세하게 운전절차를 분석해 줄 뿐 아니라 인적오류를 줄여주거나 제거해주는 역할을 수행한다. 또한 운전절차를 생성하는데 필요한 전문가들의 지식을 가지고 있어 새로운 상황에 사용할 수 있도록 한다. 그러나 기존의 시스템들은 많은 한계성을 가지고 있다. 따라서 본 연구에서는 이러한 문제를 해결하기 위해 시간논리와 표현논리로 공정의 특성지식과 시간적인 제약조건을 다루는 새로운 접근방법을 제안하여 보일러 공장에 적용하여 그 유효성을 입증하였다.

• 한국정보처리학회논문지
• /
• 제4권11호
• /
• pp.2679-2689
• /
• 1997

본 논문에서는 멀티미디어 타이틀 제작을 쉽고 효율적으로 할 수 있도록, 시공간 동기화 관리기를 이용한 멀티미디어 저작 시스템을 설계하고 구현하였다. 이를 위하여 타이틀 저작자의 설계 의도를 별도의 변화 과정을 거치지 않고 실제 타이틀 구성 로직으로 표현하는 흐름도 방식의 로직 생성기와 생성된 로직을 번역하여 실행하는 로직 인터프리터를 설계하였다. 아울러 멀티미디어 프리젠테이션에 필요한 미디어 데이타 간의 시${\cdot}$공간 동기화 정보를 관리하기 위한 동기화 관리기를 설계하였다. 특히 미디어 객체들 간의 시간적 관계를 동기화하기 위하여 시간 명세 모델과 그 모델의 형식 언어인 MRL를 설계하였다. MRL은 복잡한 시간 관계를 간결한 형태로 표현할 수 있는 좋은 표현력을 가지고 있으며 사용자의 의도에 따라 효과적으로 멀티미디어 프리젠테이션을 동기화시키는 것이 가능하다. 공간적 동기화를 위하여 표시 매체의 공간 상의 가시적인 크기와 접속점을 일치시키는 표시 화면 편집기를 구현하였다.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 대한원격탐사학회지
• /
• 제21권2호
• /
• pp.145-162
• /
• 2005

SAR 자료의 분류에서 토지 피복 구분 분류 정확도의 향상을 위해 이 논문은 다중 시기 SAR 자료를 이용한 분류에서의 특징 추출과 정보 융합 방법론을 제시하였다. 다중 시기 SAR 센서의 산란 특성을 고려하여 평균 후방 산란계수, 시간적 변이도와 긴밀도를 특징으로서 추출하였다. 이렇게 추출된 특징의 효율적인 응합을 위해 Dempster-Shafer theory of evidence(D-S 이론)와 퍼지 논리를 적용하였다. 특히 D-S 이론의 적용시 특징 기반 mass function 할당을 제안하였고, 퍼지 논리의 적용시 다양한 퍼지 결합 연산자의 결과를 비교하였다. 다중 시기 Radarsat-1 자료에의 적용 결과, 추출된 특징들은 서로 상호 보완적인 정보를 제공할 수 있으며 수계, 논과 도심지를 효율적으로 구분할 수 있었다. 그러나 산림과 밭은 구분이 애매한 경우가 나타났다. 정보 융합 방법론 측면에서, D-S 이론과 퍼지 Max와 Algebraic Sum 연산자를 제외한 다른 퍼지 연산자는 서로 유사한 분류 정확도를 나타내었다.