• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.2-27
• /
• 2002

As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.

• Cross-Cultural Studies
• /
• v.39
• /
• pp.329-354
• /
• 2015

The major goals of this paper are to identify the degree into which the meanings of 'see' verb can be extended, focusing on the extended meanings shown in the expressions that denote our instinctive actions for survival, such as eating or drinking, etc., and to clarify the doubt on whether any syntactic pattern can be associated with the meaning in the process of meaning extension of 'see' verb. For doing this task, this paper picked out 2,000 examples randomly from COCA (Corpus of Contemporary American English), in which the verb 'see' is used. This paper classified the sentences into thirteen different sentence types, according to the syntactic patterns. This research showed that these thirteen syntactic types lead us to figure out the process of the meaning extension of the verb 'see'. With this result, this paper made an attempt to provide the four steps toward the meaning extension of verb 'see'. The verb 'see' in the first step denotes the meaning of purely seeing the visualized objects. This verb in the second step expresses the shifted function, under which the agent in the subject position takes the seeing action as a secondary task in order to carry out other main task. The verb in the third step denotes the extended meanings irrelevant to the seeing action, because the sentences on this step do not contain any visualized objects. In the last step this verb functions as conventional implicature whose meaning does not contribute to the whole meaning of a sentence. In addition, this paper identified that the syntactic properties are deeply associated with the process of meaning extension of the verb 'see', and tried to formalize this relationship between the syntax and semantics within the framework of Construction Grammar based on A. Goldberg.

• Proceedings of the CALSEC Conference
• /
• 1998.10a
• /
• pp.57-68
• /
• 1998

ㆍ STEP is an International Standard (ISO 10303) - that defines the methodology to create computer interpretable product data models. ㆍ STEP Implementation - allows exchange and sharing of product data while retaining semantics throughout the product life cycle. ' STEP is in deployment - PDM data exchange at Boeing and others - Geometry data exchange at GM and others ㆍ The STEP community overcomes obstacles - “They will never finish the standard” (done 1994) - “They will never be able to transfer solids” (done 1995) - “They will never make solids transfer reliable” (done 1997) - “They will never implement all those Application Protocols”(TBD)(omitted)

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.269-271
• /
• 2000

이동 컴퓨팅 환경은 분산 컴퓨팅 환경과는 달리 네트웍의 낮은 신뢰성과 제한된 대역폭을 가지고, 이동 호스트 또한 제한된 저장장치와 배터리만을 사용할 수 있으며 트랜잭션(transaction)은 장시간에 결쳐 수행되는 특성을 가진다. 이동 컴퓨팅 환경에서는 전통적인 트랜잭션의 동시성 제어 기법 대신, 트랜잭션의 시맨틱스(semantics)를 이용하여 동시성을 향상시킬 수 있다. 본 연구에서는 중첩된 트랜잭션의 구조를 단순화시킨 단계분할(step- decomposition) 기법을 사용하여, 서브트랜잭션(sub-transaction)의 시맨틱 타입(semantic type) 별로 인터리빙(interleaving)을 제어함으로써 트랜잭션의 동시성을 향상시키는 기법을 제안하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1342-1349
• /
• 2006

오늘날의 제품개발환경은 분산환경에 존재하는 다양한 역량을 가진 참여자들의 협업을 요구하고 있으며, 협업은 참여자들이 필요로 하는 제품개발관련 정보들의 실시간 교환을 지원할 수 있도록 제품정보 간 상호운용성 확보를 기반으로 한다. STEP으로 알려진 ISO 10303은 제품개발의 전체적인 라이프사이클에서 필요한 제품정보의 표현과 공유 및 교환을 위한 대표적인 표준이다. 하지만 STEP을 이용하기 위해서는 각 도메인이 표준인 STEP 모델에 기반하여 제품정보를 모델링 하여야 한다. 그러나 대부분의 도메인은 자신의 목적에 따라 특화된 모델을 정의하고 사용하기 때문에 도메인에 특화된 형태의 제품정보모델을 STEP 모델로 변환할 수 있는 추가적인 메커니즘이 필요하다. 즉, STEP은 참조모델보다는 모든 도메인에서 제품정보모델링을 위해 사용가능한 표준의 정의에 초점을 맞춘다. 그러므로 참조모델로서의 STEP을 기반으로 다양한 도메인 특화된 제품정보모델 간 상호운용성 확보를 지원하기 위하여 본 논문에서는 STEP 제품정보모델의 시맨틱스를 체계적으로 정의할 수 있도록 온톨로지 구축을 통한 컨셉추얼 모델링을 수행한다. 컨셉추얼 모델링은 STEP 모델에 정확하고 완전한 의미를 부여하여, 다양한 도메인 특화된 모델 사이의 상호운용성 확보를 지원하고 참조모델로서 STEP의 능력을 확장한다.

• Journal of Korean Port Research
• /
• v.14 no.1
• /
• pp.47-55
• /
• 2000

In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But previous simulation studies using simulation language have limitations in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, this paper addresses an object-oriented simulation of container terminal system using a DEVS formalism. The DEVS(Discrete Event System Specification) formalism, developed by Zeigler, supports specification of discrete event system in a hierarchical and modular manner. The formalism provides a mathematical basis for studying discrete event systems with better understood and sounder semantics. In a step of system modeling, a DEVS formalism aims at the exact system modeling that has a basis of semantics and utilizing the object-oriented manner can flexibly cope with the changes of system environment. In this study a model is developed and verified through the simulation of some alternatives.

• Korean Journal of Computational Design and Engineering
• /
• v.11 no.3
• /
• pp.211-222
• /
• 2006

In collaborative environment, it is necessary that the participants in collaboration should share the same understanding about the semantics of terms. For example, they should know that 'COMPONENT' and 'ITEM' are different word-expressions for the same meaning. In order to handle such problems in information sharing, an information system needs to automatically recognize that the terms have the same semantics. So we develop an algorithm mapping two terms based on their ontological definitions and their similarities. The proposed algorithm consists of four steps: the character matching, the inferencing, the definition comparing and the similarity checking. In the similarity checking step, we consider relation similarity and hierarchical similarity. The algorithm is very primitive, but it shows the possibility of semi-automatic mapping using ontology. In addition, we design a mapping procedure for a mapping system, called SOM (semantic ontology mapper).

• The Journal of Society for e-Business Studies
• /
• v.5 no.1
• /
• pp.1-18
• /
• 2000

As the networks (i.e., intranet and internet) proliferate all over the world, it is inevitable to move some (or all) of the enterprise activities into virtual spaces. Differently from business data, product data have complex semantics and thus are not properly exchanged among different application programs. Even though some neutral formats of product data have been developed by standard organizations, translating them among various application programs still needs the comprehensive understanding of the complex semantics. Recently, it is widely recognized that capturing more knowledge is the next step In overcome the current difficulties on sharing product data. In this paper, we present Web-based knowledge management that facilitates seamless sharing of product data among various application programs in virtual enterprises. Three types of knowledge are managed by the knowledge management system - metadata, ontology, and mapping. In this environment, we consider both business applications (e.g., ERP, SCM, and EDI System) and engineering applications (e.g., CAD and CAM system).