• Proceedings of the Korean Society for Language and Information Conference
• /
• 1994.02a
• /
• 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.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.33-43
• /
• 2011

In this paper I discuss if we can regard Hilbert at the time of Hilbert's program as an instrumentalist. For this I first provide some textual evidences for the instrumentalist interpretation, then examine the three recent criticisms in turn. I argue that the reading Hilbert as an instrumentalist is still tenable in spite of these criticisms.

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

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

• Journal of ILASS-Korea
• /
• v.3 no.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.

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

• The Bulletin of The Korean Astronomical Society
• /
• v.43 no.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
• /
• v.6 no.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.10a
• /
• 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.

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