• Language and Information
• /
• v.7 no.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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• 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.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.9
• /
• pp.1189-1198
• /
• 2002

Policy base management system that can satisfy various user's request in distributed system environment recently and manage network resources efficiently is required. Described policy base management information consisted of ECA(Event-Condition-Action) rules so that efficient management of various communication network and consistent management policy may be available in this paper. Policy is consisted of Event, Condition and Actions to achieve when condition is satisfied. And we can present formality of dynamic function of management object as applying policy to ATM congestion control model been applying in real environment.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1995.11a
• /
• pp.115-125
• /
• 1995

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

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• 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.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.48-57
• /
• 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.

• Journal of Korean Society of Transportation
• /
• v.14 no.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.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.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.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.55 no.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.

• Journal of the Korea Society for Simulation
• /
• v.3 no.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.