• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.12
• /
• pp.2061-2071
• /
• 2003

The macro-parametric approach, which is a method of CAD model exchange, has recently been proposed. CAD models can be exchanged in the form of a macro file, which is a sequence of modeling commands. As an event-driven commands set, the standard macro file can transfer design intents such as parameters, features and constraints. Moreover it is suitable for the network environment because the standard macro commands are open, explicit, and the data size is small. This paper introduces the concept of the macro-parametric method and proposes its representation using XML technology. Representing the macro-parametric data using XML allows managing vast amount of dynamic contents, Web-enabled distributed applications, and inherent characteristic of structure and validation.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.137-154
• /
• 1999

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.692-695
• /
• 2001

The EMFG(Extended Mark Flow Graph) is not only a powerful tool to. designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. We present a transitions-firing process and automatic changes of the number of marks in each box as a firing determination algorithm with the incident matrix and the state transition equation. The convenient analysis and design of a system as well as Computer Aided Design is possible because the operations of an EMFG ran be represented in the mathematical analysis with ease.

• Journal of Information Technology Applications and Management
• /
• v.10 no.1
• /
• pp.111-125
• /
• 2003

This paper proposes a product data model that can express and enforce integrity constraints on product structure during engineering changes (ECs). The model adopts and extends an active object-oriented database model in order to Integrate IC data and their integrity constraints. Tightly integrated with product structure, It will enable designers to maintain and exchange consistent EC data throughout the product life cycle. In order to properly support operations for ECs, the model provides the data, operations, and Event-Condition-Action rules for nested ECs and simultaneous EC applications to multiple options. in addition, the EC objects proposed In the model integrate the data and Integrity constraints into a unified repository. This repository enables designers to access all EC data and integrity constraints through the product structure and relationships between EC objects. This paper also describes a prototype product data management system based on the proposed model In order to demonstrate its effectiveness.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.13 no.21
• /
• pp.29-41
• /
• 1990

An assessment of risk in industrial and urban environments is essential in the prevention of accident and in the analysis of situations which are hazardous to public health and safety. The risk imposed by a particular hazard increases with the likelihood of occurence of the event, the exposure and the possible consequence of that event. In a traditional approach, the calculation of a quantitative value of risk is usually based on an assignment of numerical values of each of the risk factors. Then the product of the values of likelihood, exposure and consequences called risk score is derived. However vagueness and imprecision in mathematical quantification of risk are equated with fuzziness rather than randomness. In this paper, a fuzzy set theoretic approach to risk analysis is proposed as an alternative to the techniques currently used in the area of systems safety. Then the concept of risk evaluation using linguistic representation of the likelihood, exposure and consequences is introduced. A risk assessment model using approximate reasoning technique based on fuzzy logic is presented to drive fuzzy values of risk and numerical example for risk analysis is also presented to illustrate the results.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.179-180
• /
• 2015

에이전트 기반 마이크로 시뮬레이션에서 많이 사용하는 단순 전이확률(transition probability) 행렬이나 추정된 전이확률함수는 단순화하는 과정에서 정보 손실이 발생하고 복잡한 모델에서 사용할 수 없고 전이확률이 시간에 따라 변화하면 시간 변화를 따르는 별도의 추정이 필요로 한다. 본 연구는 이런 기존 방법의 한계를 해결하기 위하여, 다차원 전이확률표들을 이용해서 이벤트 발생을 결정함으로써 정보 손실을 줄이고 단순 행렬이나 함수로 표현하기 어려운 경우에도 이벤트 발생을 재현하고, 시간 독립적인 전이확률표를 이용해서 이벤트 발생을 결정함으로써 시간 변화를 별도로 추정하지 않고 이벤트 발생을 예측할 수 있는 방법을 제안하는데 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.361-364
• /
• 2013

이벤트란 객체 상태 변화에 따른 상황 변화를 의미한다. 이벤트를 표현할 때 어떤 요소들을 표현하느냐에 따라 유추할 수 있는 정보 내용이 각각 달라진다. 본 논문은 일반적인 이벤트 표현을 위해 필요한 구성요소들을 제안하고 이 구성요소들을 기반으로 기존에 제안된 이벤트 표현 방법들을 분석 비교한다. 본 논문에서 제안한 이벤트 표현 구성요소들은 표현력 측면에서 이벤트 표현 방법들을 분석하고 비교하는데 타당한 기준이 될 수 있고 향 후 이벤트를 표현하거나 추론하는 방법 혹은 언어를 개발하는데 필수적인 요소가 될 수 있다. 또한 논문에서 제시한 기존 이벤트 표현 방법 분석과 비교는 사용자가 이벤트 표현 방법을 선택하는데 있어 좋은 가이드라인이 될 수 있다.

• International journal of advanced smart convergence
• /
• v.6 no.4
• /
• pp.41-49
• /
• 2017

In this paper I applies Borer (1993)'s way of classifying English intransitive action verbs such as 'run', walk, among many others, to the corresponding Korean intransitive action verbs such as 'tali-ta' and 'keət-ta', and show how they are different from - or similar with - each other in terms of syntactic structures and verb classification. Unlike the English verb 'run' which can be classified into an unaccusative verb as well as an unergative verb in Borer's theory, the corresponding Korean verbs 'tali-ta' or 't'wi-ta' can behave not only as an unergative and unauucsative verb, but also it can behave as a transitive verb. Though Borer's perspective on classification of verb types may be thought of as somewhat radical mostly due to its heavy dependency on aspectual representation of a whole sentence which a verb is just part of, it is clearly suggesting a new and great insight into the controversial topic of classification of verb types. So it is worth adopting this insightful perspective for the analysis of corresponding Korean verbs and seeing if it also works for the Korean ones.

• Journal of the Korean Data and Information Science Society
• /
• v.17 no.4
• /
• pp.1067-1076
• /
• 2006

Although the proportional hazards model is the most common approach used for studying the relationship of event times and covariates, alternative models are needed for occasions when it does not fit data. In the two-sample case, proportional odds models are useful for fitting data whose hazard rates converge asymptotically. In this thesis, we propose a new estimator of the relative odds ratio of the proportional odds model when two independent random samples are observed under uncensorship. We prove the asymptotic normality and consistency of the estimator by using martingale-representation. The efficiency of the proposed is assessed through a simulation study.