• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1994년도 The Proceedings of the 1994 Kyoto Conference
• /
• pp.63-72
• /
• 1994

Dependency Grammar has been used by Iinguists as the basis of the syntactic components of their grammar formalisms. It has also been used in natural langauge parsing. In China, attempts have been made to use this grammar formalism to parse Chinese sentences using corpus based techniques. This paper reviews the properties of Dependency Grammar as embodied in four axioms for the well-formedness conditions for dependency structures. It is shown that allowing mul tiple governors as done by some followers of this formalism is unnecessary. The practice of augmenting Dependency Grammar with functional labels is discussed in the light of building functional structures when the sentence is parsed. This will also facilitate semantic interpretion.retion.

• 한국수학사학회지
• /
• 제24권4호
• /
• pp.33-43
• /
• 2011

이 글은 힐버트 프로그램 시기의 힐버트의 사상을 과연 도구주의로 볼 수 있는가 하는 문제를 다룬다. 이를 위해 먼저 힐버트를 도구주의자로 보는 논거들을 살펴보고, 이 견해에 대한 최근의 비판을 세 가지로 나누어 차례대로 검토한다. 이런 논의를 통해 힐버트를 도구주의자로 보는 견해는 여전히 유지될 수 있음을 보인다.

• 한국시뮬레이션학회논문지
• /
• 제4권1호
• /
• pp.13-24
• /
• 1995

In general, simulation and analytic method are used for real system analysis. However, or date, there has been only the theoretical works on each approach. Therefore it is required that we study on the relationship between each approaches to obtain more reliable and correct system analysis results. In this paper, using SPN(Stochasitc Petri Net) formalism, we propose the method of output prediction of the DEVS(Discrete Event system Specification) simulation. For this we suggest a transformation algorithm which transform SPN form DEVS formalism based on the event scheduling world view and a verification algorithm for it. We then show an example to apply it to the real system, such that the Grocery Store System.

• 한국시뮬레이션학회논문지
• /
• 제5권2호
• /
• pp.41-58
• /
• 1996

The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

• 한국분무공학회지
• /
• 제3권2호
• /
• pp.1-13
• /
• 1998

A theoretical and experimental study was carried out to predict the drop size distribution of the pressure swirl atomizer. Various analytical methods using the Kelvin-Helmholtz instability theory were tried to examine the wave growth on cylindrical liquid sheets. Cylinderical liquid sheets were extended to the case with the conical sheets. Perturbations due to tangential motion as well as longitudinal one were taken into account. And it was assumed that the breakup occurs when amplitude ratio exceeds exp(12), drop sizes were predicted only by theoretical approach. Drop size distribution was obtained by using maximum entropy formalism. Seven constraints in the form of the definition of mean diameter were used in this formulation in order to avoid the difficulties of estimating source terms. In this study $D_{10}$ only was introduced into the formulation as a constraint. The predicted drop size and drop size distribution agreed well with the measured data.

• 한국시뮬레이션학회논문지
• /
• 제9권1호
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• 천문학회보
• /
• 제43권1호
• /
• pp.56.3-56.3
• /
• 2018

The present study formulates the theory of spontaneously emitted electromagnetic fluctuations in magnetized plasmas containing particles with an anisotropic suparthermal (bi-Kappa) velocity distribution function. The formalism is general applying for an arbitrary wave vector orientation and wave polarization, and for any wave-frequency range. As specific applications, the high-frequency electromagnetic fluctuations emitted in the upper-hybrid and multiple harmonic electron cyclotron frequency range are evaluated. The fluctuations for low-frequency are also applied, which include the kinetic $Alfv\acute{e}n$, fast magnetosonic/whistler, kinetic slow mode, ion Bernstein cyclotron modes, and higher-order modes. The model predictions are confirmed by a comparison with particle-in-cell simulations. The study describes how energetic particles described by kappa velocity distribution functions influence the spectrum of high and low frequency fluctuations in magnetized plasmas. The new formalism provides quantitative analysis of naturally occurring electromagnetic fluctuations, and contribute to an understanding of the electromagnetic fluctuations observed in space plasmas, where kappa-distributed particles are ubiquitous.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제6권1호
• /
• pp.1-9
• /
• 2006

We introduce our in-house program, NANOCAD, for the modeling and simulation of carrier transport in nanoscale MOSFET devices including quantum-mechanical effects, which implements two kinds of modeling approaches: the top-down approach based on the macroscopic quantum correction model and the bottom-up approach based on the microscopic non-equilibrium Green’s function formalism. We briefly review these two approaches and show their applications to the nanoscale bulk MOSFET device and silicon nanowire transistor, respectively.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.59-59
• /
• 2000

In this paper, we present a framework for modeling and control of multiple mobile robots which cowork within a bounded workspace and limited resources. To achieve this goal, we adopt a formalism of discrete event system and supervisory control theory based on Petri nets. We can divide our whole story into two parts: first, we search the shortest path using the distance vector algorithm, and then we construct the control scheme from which a number of mobile robots can work within a bounded workspace without any collision. The use of Petri net modeling allows us In synthesize a controller which achieves a control specification for the desired closed-loop behavior efficiently. Finally, the usefulness of the proposed Petri net formalism is illustrated by a simulation study.

• 한국언어정보학회지:언어와정보
• /
• 제5권2호
• /
• pp.21-37
• /
• 2001

Pustejovsky (1995) rekindled debate on the dual problems of how to represent lexical meaning and on the information that is to be encoded in a lexicon. For natural language processing such as machine translation, these are important issues. When a lexical-conceptual mismatch occurs in translation of corresponding words from two different languages, the appropriate representation of their meanings is very important. This paper proposes a new formalism for representing lexical entries by first analysing observable mismatches in comparable pairs of nouns, verbs, and adjectives in English and Korean. Inherent mis-interpretations and mis-readings in each pair are identified. Then, concept theories such as those presented by Ganter and Wille (1996) and Priss (1998) are extended in order to reflect the cognitivist view that meaning resides in concept, and also to incorporate the propositions of the so-called ‘multiple inheritance’system. An alternative to the formalism of Pustejovsky (1995) and Pollard & Sag (1994) is then proposed. Finally, representative examples of lexical mismatches are analysed using the new model.