• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.301-304
• /
• 2017

시간정보추출 연구는 자연어 문장으로부터 대화의 문맥과 상황을 파악하고 사용자의 의도에 적합한 서비스를 제공하는데 중요한 역할을 하지만, 한국어의 고유한 언어적 특성으로 인해 한국어 텍스트에서는 개체간의 시간관계를 정확하게 인식하기 어려운 경향이 있다. 특히, 시간표현이나 사건에 대한 상대적인 시간관계는 시간 문맥을 체계적으로 파악하기 위해 중요한 개념이다. 본 논문에서는 한국어 자연어 문장에서 상대적인 시간표현과 사건 간의 관계를 추출하기 위한 LSTM(long short-term memory) 기반의 상대시간관계 추출 모델을 제안한다. 시간정보추출 연구에는 TIMEX3, EVENT, TLINK 추출의 세 가지 과정이 포함되지만, 본 논문에서는 특정 문장에 대해서 이미 추출된 TIMEX3 및 EVENT 개체를 제공하고 상대시간관계 TLINK를 추출하는 것만을 목표로 한다. 또한, 사람이 직접 태깅한 한국어 시간정보 주석 말뭉치를 대상으로 LSTM 기반 제안모델들의 상대적 시간관계 추출 성능을 비교한다.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.81-90
• /
• 2005

In this paper, we propose a novel approach which models multilingual story link detection by adapting the features such as timelines and multilingual spaces as weighting components to give distinctive weights to terms related to events. On timelines term significance is calculated by comparing term distribution of the documents on that day with that on the total document collection reported, and used to represent the document vectors on that day. Since two languages can provide more information than one language, term significance is measured on each language space and used to refer the other language space as a bridge on multilingual spaces. Evaluating the method on Korean and Japanese news articles, our method achieved $14.3{\%}\;and\;16.7{\%}$ improvement for mono- and multi-lingual story pairs, and for multilingual story pairs, respectively. By measuring the space density, the proposed weighting components are verified with a high density of the intra-event stories and a low density of the inter-events stories. This result indicates that the proposed method is helpful for multilingual story link detection.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.58-60
• /
• 2001

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

• The Journal of the Korea Contents Association
• /
• v.20 no.11
• /
• pp.472-491
• /
• 2020

The purpose of this research is to scrutinize what are characteristics of client-identified significant events and interactional process in Gestalt therapy using the therapeutic media. The subjects of the study were 4 participants. To this purpose, a audio-taped session and a intensive interview were conducted to examine. The collected data for this study were analyzed by Comprehensive Process Analysis. The audio-taped session and interview data were first transcribed and then analyzed for client-identified significant events. A total of 74 pairs of conversations were analyzed to derive the interactional process within the significant event case. In conclusion, it was found that the interactional process of significant events in the Gestalt therapy contributed to the change of the client by interacting with the therapeutic media. 5 major themes of interaction with the therapeutic madia appeared. The 5 major themes are allowance, identification, recognition, acceptance and prospective. Finally, the significance and limitations of the study were clarified and suggested for further study.

• Journal of Korea Multimedia Society
• /
• v.10 no.4
• /
• pp.483-491
• /
• 2007

This paper proposes a Situation Simulation Framework for implementing computer game and describes the possibility of analyzing game with unfolding situation. In last few years game systems have been evolving from the performance of physical engine, network traffic in the on line game to the representation of rendering physical phenomena. In computer game, a situation hierarchy structure which allows the designer for simulating high-level specifications of game structure. Logically simulated environment is created by defining situations and events based on hierarchy structure of the situation. We classify events into explicit event is occurred by user and implicit event is occurred by system. Our study defines the existence of objects is the most prevalent factor applied to any event in game world. The advantages of this approach are able to allow for providing the conceptual design for simulation game and analyzing the situation in the game world. And this method allows us to decrease the complexity of system design and abstraction modeling for the simulation game. Specially, the introduction of the definition of events allows us to approach game design in a structural manner rather than by their classification. The proposed method was implemented in the "Shooting BaDuk" among games.

• Digital Contents
• /
• no.2 s.129
• /
• pp.118-128
• /
• 2004

사이버스페이스에 음란물이 홍수처럼 밀려들면서 전통적인 법과 규제의 한계를 드러내고 있다. 인터넷을 통한 O양과 B양의 비디오 파문은 이를 단적으로 보여주는 사건이다. 사이버스페이스에서의 이러한 음란물은 법적으로 윤리적으로 보호할 가치가 없으므로 마땅히 규제의 대상이라는 주장과 이것 역시 보호돼야 하는 표현의 자유라는 일부의 주장을 어떻게 조화롭게 대처할 것인가는 21세기 사이버스페이스 시대가 해결해야 할 새로운 문제로 부각되고 있다. 자유와 책임이 동전의 양면관계로 대립하는 음란한 표현은 사이버스페이스에서도 선악의 한계로 서로 밀고 당기면서 오늘에 이르고 있다. 이런 음란의 문제를 관련 법과 판례를 중심으로 고찰하면서 새로운 사이버스페이스에서의 대책과 합리적 체계는 무엇인가를 살펴보자.

• Journal of Advanced Navigation Technology
• /
• v.14 no.2
• /
• pp.143-150
• /
• 2010

Ontologies, which are consist of entities and their relationships, have been used to implement various scenarios of information services. That is because an entity can be understood well when the surrounding entities and the relationships are known. In describing historical events. The spatio-temporal locations connote the historical context comprehensively. Therefore spatio-temporal locations are one of the most important carriers to connect the historical events. In this paper we analyzed the usage scenarios to access and retrieve historical information, and proposed the design of ontologies for historical information services for making historical stories based on spatio-temporal reference frame.

• Journal of Advanced Navigation Technology
• /
• v.17 no.3
• /
• pp.325-331
• /
• 2013

Social network services(SNS) has been used as a means of communication for user or express themselves user. Therefore, SNS has a variety of information. This information is useful to help the investigation can be used as evidence. In this paper, A study of mobile digital forensic procedure for crime investigation in social network service. Analysis of database file taken from the smartphone at social network service application for mobile digital forensic procedure. Therefore, we propose a procedure for the efficient investigation of social network service mobile digital forensic.