• Language and Information
• /
• v.4 no.2
• /
• pp.55-68
• /
• 2000

The efficiency and stability of an NLP system depends crucially on how is lexicon is orga- nized . Then lexicon ought to encode linguistic generalizations and exceptions thereof. Nowadays many computational linguists tend to construct such lexical information in an inheritance hierarchy DATR is good for this purpose In this research I will construct a DATR-lexicon in order to parse sentences in Korean using QPATR is implemented on the basis of a unification based grammar developed in Dusseldorf. In this paper I want to show the interface between a syntactic parser(QPATR) and DTAR-formalism representing lexical information. The QPATR parse can extract the lexical information from the DATR lexicon which is organised hierarchically.

• Korean Management Science Review
• /
• v.11 no.2
• /
• pp.43-63
• /
• 1994

A new model management framework is proposed to accommodate wide-spreading algebraic modeling languages (AMLs), and to facilitate a full range of model manipulation functions. To incorporate different modeling conventions of the leading AMLs (AMPL, GAMS, and SML) homogeneously, generic model concepts are introduced as a conceptual basis and are embodied by the structural and operational constructs of an Object-Oriented Database Management System(ODBMS), enabling the framework to consolidate components of DSSs(database, modelbase, and associated solvers) in a single formalism effectively. Empowered by a database query language, the new model management framework can provide uniform model management commands to models represented in different AMLs, and effectively facilitate integration of the DSS components. A prototype system of the framework has been developed on a commercial ODBMS, ObjectStore, and a C++ programming language.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.7
• /
• pp.134-142
• /
• 2001

The integrals $J_k$(k=1,2) in the rectilinear anisotropis body in 2-D were determined using Lekhnitskii formalism. The relationship between $J_k$ and stress intensity factors are implified by the important equation between elastic compliance. The numerical evaluation of stress intensity factor for the single edge crack in mixed mode is determined by superposing known exact solutions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1279-1288
• /
• 1999

DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. The paper describes a methodology for performance modeling and analysis of an ATM-based network system within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are the length of queues located at connection of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.

• Transactions on Electrical and Electronic Materials
• /
• v.17 no.5
• /
• pp.270-274
• /
• 2016

This article investigates the use of the Gaussian-channel doping profile for the control of the short-channel effects in the double-gate MOSFET whereby a two-dimensional (2D) quantum simulation was used. The simulations were completed through a self-consistent solving of the 2D Poisson equation and the Schrodinger equation within the non-equilibrium Green’s function (NEGF) formalism. The impacts of the p-type-channel Gaussian-doping profile parameters such as the peak doping concentration and the straggle parameter were studied in terms of the drain current, on-current, off-current, sub-threshold swing (SS), and drain-induced barrier lowering (DIBL). The simulation results show that the short-channel effects were improved in correspondence with incremental changes of the straggle parameter and the peak doping concentration.

• Journal of Korea Multimedia Society
• /
• v.19 no.12
• /
• pp.2024-2035
• /
• 2016

Modern industry requires people with the ability to create and improve their knowledge. Most educational institutions have used mentoring activities which can train those people. Then each of the institutions has different directions because they work in their own fields. For that reason, many people which want to make new mentoring program have no choice but to go through many trials and errors. This paper deals with the design method of basic process model for mentoring based on DEVS in order that people plan a new mentoring business or make a new mentoring group easily. Our proposed model is expected to be used as a guide to establish procedures for mentoring systems.

• Journal of Korean Society for Quality Management
• /
• v.31 no.3
• /
• pp.114-125
• /
• 2003

In this paper, we deal with the problem of modeling of agent-based robot manufacturing cell. Its role is becoming increasingly important in automated manufacturing systems. For Object Oriented & Queueing Petri Nets (OO&QPNs), an extended formalism for the combined quantitative and qualitative analysis of different systems is used for structure and performance analysis of mobile robotic cell. In the case study, the OO&QPN model of a mobile robotic cell is represented and analyzed, considering multi-class parts, non-preemptive priority and alternative routing. Finally, the comparison of performance values between Shortest Process Time (SPT) rule and First Come First Serve (FCFS) rule is suggested. In general, SPT rule is most suitable for parts that have shorter processing time than others.

• 한국전산유체공학회:학술대회논문집
• /
• 2001.10a
• /
• pp.11-19
• /
• 2001

An adaptive nonlinear artificial dissipation model is presented for performing aeroacoustic computations by the high-order and high-resolution numerical schemes based on the central finite differences. An effective formalism of it is devised by combining a selective background smoothing term and a well-established nonlinear shock-capturing term which is for the temporal accuracy as well as the numerical stability. A conservative form of the selective background smoothing term is presented to keep accurate phase speeds of the propagating nonlinear waves. The nonlinear shock-capturing term that has been modeled by the second-order derivative term is combined with it to improve the resolution of discontinuities and stabilize the strong nonlinear waves. It is shown that the improved artificial dissipation model with an adaptive control constant which is independent of problem types reproduces the correct profiles and speeds of nonlinear waves, suppresses numerical oscillations near discontinuity and avoids unnecessary damping on the smooth linear acoustic waves. The feasibility and performance of the adaptive nonlinear artificial dissipation model are investigated by the applications to actual computational aeroacoustics problems.

• Journal of Biomedical Engineering Research
• /
• v.25 no.4
• /
• pp.301-307
• /
• 2004

An inverse dynamic model of lower limbs is presented to calculate joint moments during gait. The model is composed of 4 segments with 3 translational joints and 12 revolute joints. The inverse dynamic method is based on Newton-Euler formalism. Kinematic data are obtained from 3 dimensional trajectories of markers collected by a motion analysis system. External forces applied on the foot are measured synchronously using force plate. The use of developed model makes it possible to calculate joint moments for variation of parameters.