• 한국언어정보학회지:언어와정보
• /
• 제7권2호
• /
• pp.139-161
• /
• 2003

The progressive in English is taken to be an operator which takes a non-stative predicate and returns a predicate which denotes a process with a temporal frame around some definite time or event. When, it is combined with a predicate which has a culmination in the event, the sentence means that the culmination has not come yet. So the event denoted by the base predicate is not true at the current time. On the other hand, when it is combined with a predicate which has no culmination in the event, the event denoted by the base predicate is taken to be true. In this paper, this is explained by the semantics of the progressive based on the notion of contributiveness. I propose that a progressive sentence is verified by some subevents which are contributive to the current situation and the progress of the event beyond the threshold level of the event denoted by the base predicate. A sub-situation is contributive if the addition of it to the previous situation is more likely to lead to the whole situation than the previous situation.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.331-336
• /
• 2005

A lot of manufacturing knowledge and method have applied to increase manufacturing efficiency in industry field. DES(Discrete Event Simulation) is one of solution to deal with manufacturing problems in factory. Beginning of research, old maintenance system of KNR ( Korea National Railroad) and its technical problems are basically investigated. KNR has maintained railway vehicle with their own solution based on experience. Very advanced railway vehicles such as KTX (Korea Train Express) and TTX(Tilting Train Express) will be difficult to maintain with their old maintenance method. In order to apply knowledge of DES, maintenance field of railway must be considered. Imaginary maintenance machine are selected to variable of DES. Maintenance capability of each machine will be evaluated base on imaginary data from imaginary machine. The machine could be very expensive as well as difficult to replace. Target of research is minimization of number of machine in railway workshop. So basic knowledge of discrete event simulation is introduced. Then five essential stages of discrete event simulation are provided. Each maintenance case defined as event. Each event is discrete and simulated base on different case such as one maintenance line with one machine and one maintenance line with two machines in railway workshop. simple maintenance method, discrete event simulation, will be come out very powerful in complicate maintenance system and will be helpful to reduce maintenance cost as well as maintenance labor.

• 한국컴퓨터산업학회논문지
• /
• 제3권9호
• /
• pp.1189-1198
• /
• 2002

최근 분산시스템 환경에서 다양한 사용자의 요구에 부응하고 통신망의 효과적인 관리를 위해서는 네트워크 자원의 관리에 대한 정책기반 통신망관리시스템이 요구된다. 본 논문에서는 다양한 통신망의 효율적인 관리와 일관된 관리정책을 적용하기 위해 ECA(Event-Condition-Action) 규칙을 갖는 능동특성의 정책기반 관리객체정보를 모델링하였다. 본 논문에 기술된 정책에는 하나의 외부요인이 발생하였을 때 외부요인이 수행되기 위한 하나이상의 조건과 그 조건이 만족된 경우 수행되는 행위들로 구성된 규칙들을 기술한다. 그리고 실질적인 환경에서 적용되고 있는 ATM 관리객체 중 폭주제어 모델에 정책의 구성요소를 적용함으로써 관리객체의 동적 수행 기능이 체계적이고 정형적으로 기술되는 장점을 제시하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1995년도 종합학술발표회논문집
• /
• pp.115-125
• /
• 1995

본 논문에서는 컴퓨터 시스템에서 침입 감지 시스템을 설계함에 있어서 사용될 수 있는 새로운 방법인 Event Sequence Tracking 방법을 제안하였다. Event Sequence Tracking 방법에서는 컴퓨터 시스템의 공격방법을 크게 두가지로 분류한다. 첫번째는 일련의 시스템 명령어를 이용한 공격방법이고 두번째는 침입자 자신이 만들었거나 다른 사람으로부터 얻은 프로그램을 이용하는 방법이다. 첫번째 공격방법에 대한 감지방법은 시스템을 공격할 때 사용한 일련의 시스템 명령어들을 감사 데이타를 분석하여 찾아내고 이 결과를 기존에 알려진 공격 시나리오들과 비교하여 침입자를 찾아내는 방식이다. 두번째 공격방법에 대한 감지 방법은 보안 관리자가 정해놓은, 시스템에서 일반 사용자가 할 수 없는 행위에 관한 보안 정책에 따라 Key-Event 데이타 베이스를 만들고 여기에 해당하는 event의 집합을 감사 데이타에서 찾아내는 방법이다. Event Sequence Tracking 방법은 Rule-based Penetration Identification 방법의 일종으로서 시스템의 공격방법을 분류하여 컴퓨터 시스템에의 침입을 효과적으로 감지할 수 있다는 것과 rule-base의 생성과 갱신을 함에 있어서 보다 간단하게 할 수 있다는 장점을 갖는다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.1159-1160
• /
• 2008

For safety railway vehicle movement, analysis and recoding of railway vehicle speed and driving information has written by law. nowadays, base in europe, these system is spread of various advanced country. In this paper, We implement an event recorder which record the driving and breaking information of running railway vehicle. For the event recorder, We designed the data structures with data analysis tools and a protocol between Event recorder and data analysis tool. The verification of Analysis tool was tested by to made data by Event Recorder's emulator and information of real railway driving recording.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 춘계학술대회 논문집
• /
• pp.48-57
• /
• 2005

Discrete Event Simulation은 기존에 생산 분야에서 적용되어지는 이론중의 하나로 생산에서 발생되는 작업을 Event 기반으로 분류하고 각각의 경우를 기초로 Simulation하여 평가하는 기법이다. 철도차량의 중정비는 핵심부품의 정비를 단계별로 세분화하여 이루어지는데 틸팅차량을 포함하는 신형 철도차량의 경우 주요 정비부품이 많은 제어장치와 전자장치로 구성되어 있다 대차의 경우 많은 주요부품이 중복되어 이것을 체계적이며 효율적으로 유지 보수하는 것이 절실한 것이다. 이러한 부품의 상태를 점검하고 평가하는 것은 유지보수에 관련된 인력이 아닌 이와 관련된 분석기계일 것이고 틸팅차량의 경우 다량의 주요 부품에 대한 유지보수기계의 성능의 평가가 요구될 것이다. 본 논문은 이러한 필요성에 기초하여 작성되었다. 우선 Discrete Event Simulation의 개념을 간략히 소개하였고 Discrete Event Simulation의 5단계 알고리즘을 철도차량 유지보수기계 기반으로 수정하였다 그리고 유지보수 요구 조건에 기초하여 Simulation 알고리즘을 적용하였다. 본 논문은 Discrete Event Simulation의 이론을 이전에 적용된 사례가 없는 철도차량유지보수 분야에 소개하여 유지보수 효율의 극대화를 위한 기법을 적용하였으며 향후 철도차량 유지보수관련 기계의 성능 평가 및 적용에 있어 도움이 될 수 있는 참고 자료로 활용 가능할 것이다.

• 대한교통학회지
• /
• 제14권1호
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• 전기학회논문지
• /
• 제56권5호
• /
• pp.990-992
• /
• 2007

The purpose of this study is to develop a practical gait-event detection system which is necessary for the FES (functional electrical stimulation) control of locomotion in paralyzed patients. The system is comprised of a sensor board and an event recognition algorithm. We focused on the practicality improvement of the system through 1) using accelerometer to get the angle of shank and dispensing with the foot-switches having limitation in indoor or barefoot usage and 2) using a rule-base instead of threshold to determine the heel-off/heel-strike events corresponding the stimulation on/off timing. The sensor signals are transmitted through RF communication and gait-events was detected using the peaks in shank angle. The system could detect two critical gait-events in all five paralyzed patients. The standard deviation of the gait events time from the peaks were smaller when 1.5Hz cutoff frequency was used in the derivation of the shank angle from the acceleration signals.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권9호
• /
• pp.351-358
• /
• 2006

In this paper, DSPOCS(Digital Switchgear-Panel Operation and Control Solution) is designed, which is the intelligent inference based operation and control solution to obtain the safety and reliability of electric power supply in substation based on IED. DSPOCS is designed as a scheduled monitoring and control task and a real-time alarm inference task, and is interlinked with BRES(Bus Reconfiguration Expert System) in the required case. The intelligent alarm inference task consists of the alarm knowledge generation part and the real-time pattern matching part. The alarm knowledge generation part generates automatically alarm knowledge from DB saves it in alarm knowledge base. On the other hand, the pattern matching part inferences the real-time event by comparing the real-time event information furnished from IEDs of substation with the patterns of the saved alarm knowledge base.; Especially, alarm knowledge base includes the knowledge patterns related with fault alarm, the overload alarm and the diagnosis alarm. In order to design the database independently in substation structure, busbar is represented as a connectivity node which makes the more generalized graph theory possible. Finally, DSPOCS is implemented in MS Visual $C^{++}$, MFC, the effectiveness and accuracy of the design is verified by simulation study to the typical distribution substation.

• 한국시뮬레이션학회논문지
• /
• 제3권1호
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.