• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.448-462
• /
• 2000

Coordinate constructions in natural language pose a number of difficulties to natural language processing units, due to the increased complexity of syntactic analysis, the syntactic ambiguity of the involved lexical items, and the apparent deletion of predicates in various places. In this paper, we address the syntactic characteristics of the coordinate constructions in Korean from the viewpoint of constructing a competence grammar, and present a version of combinatory categorial grammar for the analysis of coordinate constructions in Korean. We also show how to utilize a unified lexicon in the proposed grammar formalism in deriving the sentential semantics and associated information structures as well, in order to capture the discourse functions of coordinate constructions in Korean. The presented analysis conforms to the common wisdom that coordinate constructions are utilized in language not simply to reduce multiple sentences to a single sentence, but also to convey the information of contrast. Finally, we provide an analysis of sample corpora for the frequency of coordinate constructions in Korean and discuss some problematic cases.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.595-610
• /
• 1999

This paper presents a visual simulation tool for verification and validation(V&V) of design implications of the Object Behavior Chart developed in accordance with the existing real-time object's behavior design method. This tool can simulates the dynamic interactions using the executable simulation machine, that is EFSM(Extended Finite State Machine) and can detect various logical and temporal errors in the visual object behavior charts before a concrete implementation is made. For this, a LOTOS prototype specification is automatically generated from the visual Object Behavior Chart, and is translated into an EFSM. This system is implemented in Visual C++ version 4.2 and currently runs on PC Windows 95 environment. For simulation purpose, LOTOS was chosen because of it's excellence in specifying communication protocols. Our research contributes to the support tools for seamlessly integrating methodology-based graphical models and formal-based simulation techniques, and also contributes to the automated V&V of the Visual Models.

• Journal of the Korean Magnetic Resonance Society
• /
• v.8 no.2
• /
• pp.77-85
• /
• 2004

$^1$H-detected $^{15}$N NMR was employed to investigated the effect of mutation (Y14F) on the dynamic properties of catalytic residues in ${\Delta}^5$-3- ketosteroid isomerase (KSI) from Conamonas testosteroni. In particular, the backbone dynamics of the catalytic residues have been studied in free enzyme and its complex with a steroid ligand, 19-nortestosterone hemisuccinate, by $^{15}$N relaxation measurements. The relaxation data were analyzed using the model-free formalism to extract the model-free parameters (S$^2$, ${\tau}_e$, and R$_{ex}$). The results show that the mutation causes a significant decrease in the order parameter (S$^2$) for the catalytic residues of free Y14F KSI, presumably due to breakdown of the hydrogen bond network by mutation. In addition, the order parameters of Phe-14 and Asp-99 increased slightly upon ligand binding, indicating a slight restriction of the high-frequency (pico- to nanosecond) internal motions of the residues in the complexed Y14F KSI, while the order parameter of Tyr-55 decreased significantly upon ligand binding.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.543-563
• /
• 1996

In this paper, we propose a Timed Fuzzy Petri Net(TFPN) model as a new model of real-time fuzzy control. The TFPN model, which is useful for fuzzy inference and fuzzy control is an integrated model of Timed PetriNet and Fuzzy Petri Net. Additionally, a Timed Fuzzy Control Language is defined as a textual specification model of fuzzy control rues, and proposed a TFPN modeling method. The TFPN model is a Petri Net formalism of fuzzy control systems. Execution rule is consisted of marking(i.e,fuzzyfication) and firing(i.e,inference and defuzzyfication) procedures. A simple case work by using TFPN model shows us computing time of inference and defuzzyfication is low and uncertainty and visibility of fuzzy control rule are modeled effectively.

• Language and Information
• /
• v.7 no.2
• /
• pp.31-58
• /
• 2003

The main goal of this paper is to describe and analyse intensifiers, especially non-head-bound-intensifiers (NHBIs), which can be included in the discussion and analysis of these elements as focus particles. In doing so, NHBIs such as Korean susulo, casin/cache, English x-self and German selbst are dealt with in a rather cross-linguistical perspective. The pure and strict comparison between Korean, English and German is not intended. This paper is mainly concerned with the semantic domain where the respective contributions of the expressions in question overlap, which offers the common base for the discussion regarding Korean, one of the non-European languages and English and German, two European languages. They share the semantic domain ‘intensification’ regarding relevant subject-NP. They introduce an ordering distinguishing center and periphery. In contrast to head-bound-intensifiers (HBIs), however, NHBIs add self-involvement (directness of involvement) of subject-NP to the meaning of the relevant sentence. I adopt the proposals of Konig (1991), Primus (1992) and Siemund (2000) in the treatment of intensifiers as focus particles. However, I reject Konig (1991) that just NHBIs talre scope over a whole clause, Primus (1992) that NHBIs focus VPs, not NPs, and Siemund (2000) that NHBIs can be further devided into two groups, viz. NHBIs with exclusive readings and NHBIs with inclusive readings. Evidence for my position is presented mainly in the course of describing and analysing some syntactic properties and the meaning and use of NHBIs. I come to the conclusion that both the common meaning of intensifiers as focus particles and the common meaning of NHBIs of three languages can be represented by a simple logical formalism.

• Cross-Cultural Studies
• /
• v.26
• /
• pp.405-444
• /
• 2012

This paper is based on the view that film should be conceived as a form of cultural practice whose meaning is always in the process of being produced within diverse socio-cultural contexts and aims to examine the ways in which the meaning of Korean film is (re)mediated or received in diverse cultural contexts outside the country. In this paper, we employ two theoretical grounds. Firstly, it positions itself in line with the audience studies within the field of cultural studies where the audience is conceived as active agents who produce the meaning of a popular culture text. The recruitment of the theoretical propositions from the audience studies enables recognition of the significance of the reception in film practice which recently seems to be oriented on production and distribution. Secondly, we conceive transnationality of film as that which is being produced in the process of transaction between the film and the audience, that is to say, transnationality is a form of discourse that emerges upon cultural interaction. The empirical work involves examination of a set of reviews of four films--Chihwaseon, Oldboy, Thirt, Poety--that have been published in daily newspapers and some popular film magazines in the U. S., the U. K. and France. Through the analysis of the film reviews, we identify four interpretive schemes or rather discourses recruited via which the Korean films are approached and understood: auteurism, formalism, universal themes, emotional response. We propose that these four kinds of discourse provide a common ground for the audience from different cultural backgrounds to understand Korean film. Furthermore, we also suggest that transnationality of Korean cinema needs to be reconsidered in terms of the reception as the audience from different socio-cultural backgrounds should be understood as active agents who are capable of engaging in Korean cultural texts such as film in their own way producing various meanings and these are also constituent of the meaning of the cultural texts.

• Bulletin of the Korean Chemical Society
• /
• v.19 no.6
• /
• pp.661-666
• /
• 1998

Active reaction sites and electrochemical O2 reduction kinetics on La_{1-x}Sr_xMnO_{3+{\delta}} (x=0.1-0.4)/YSZ (yttria-stabilized zirconia) electrodes are investigated in the temperature range of 700-900 ℃ at $Po_2=10^{-3}$-0.21 atm. Results of the steady-state polarization measurements, which are formulated into the Butler-Volmer formalism to extract transfer coefficient values, lead us to conclude that the two-electron charge transfer step to atomically adsorbed oxygen is rate-limiting. The same conclusion is drawn from the $Po_2$-dependent ac impedance measurements, where the exponent m in the relationship of $I_o$ (exchange current density) ∝ $P_{o_{2}}^m$ is analyzed. Chemical analysis is performed on the quenched Mn perovskites to estimate their oxygen stoichiometry factors (δ) at the operating temperature (700-900 ℃). Here, the observed δ turns out to become smaller as both the Sr-doping contents (x) and the measured temperature increase. A comparison between the 8 values and cathodic activity of Mn perovskites reveals that the cathodic transfer coefficients $({\alpha}_c)$ for oxygen reduction reaction are inversely proportional to δ whereas the anodic ones $({\alpha}_a)$ show the opposite trend, reflecting that the surface oxygen vacancies on Mn perovskites actively participate in the $O_2$ reduction reaction. Among the samples of x= 0.1-0.4, the manganite with x=0.4 exhibits the smallest 8 value (even negative), and consistently this electrode shows the highest ${\alpha}_c$ and the best cathodic activity for the oxygen reduction reaction.

• Journal of the Korea Society for Simulation
• /
• v.28 no.3
• /
• pp.1-9
• /
• 2019

An agent-based simulation is a popular simulation tool to solve various problems, such as stock market, population prediction, disease prediction, and development of a traffic system. As the agents are developed and researched in different application fields, the agent has a rigid structure and may not acceptable in different domains. As a result, it is a challenging problem to define a structure for an agent structure to reflect the researcher's simulation objective. This research proposes an extendable form for an agent and its modeling environment. In order to propose a standard structure, this study adopts system entity structure and discrete event system specification formalism. Also, this research introduces the SESManager which supports the proposed specification method. The proposed environment can hierarchically define the agent structure and synthesize the agent so that it can perform the agent simulation according to the user's simulation purpose.

• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.127-135
• /
• 2016

Even thought modernized marine navigation devices help navigators, marine accidents has been often occurred and ship collision is one of the main types of the accidents. Various studies on the assessment method of collision risk have been reported, and studies using fuzzy theory are remarkable for the reason that reflect linguistic and ambiguous criteria for real situations. In these studies, collision risks were assessed on the assumption that the current state of navigation ship would be maintained. However, navigators ignore or turn off frequent alarms caused by the devices predicting collision risk, because they think that they can avoid the collisions in the most of situations. This paper proposes a model of predicting ship collision risk considering the general patterns of collision avoidance, and the approach is based on fuzzy inference and discrete event system specification (DEVS) formalism.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.91-99
• /
• 2018

Discrete event simulation environments often need to be modified because additional questions to systems may become apparent while observing the simulation results repeatedly. It leads to increasing development budget and depreciating the effectiveness of the environment. To avoid the modifications and to generate the altered results, this paper applies an Event Control Model (ECM) with control functions that modulate, delete and generate the events at the simulation time. In addition, this paper suggests an easier approach for domain-users, who do not want to program at source code level, by using ECM templates. The simulators with the ECMs can have better extensibility because it becomes more adaptable to possibly unanticipated changes. It prevents increasing development costs due to modifications or development of new models by M&S experts, and it provides a new alternative step to domain users. To support the effectiveness of this approach, this paper describes a relevant example, which is composed of an initial simulation model based on our empirical studies. It will show that there exist the uncountable benefits because the existing simulator is reused by domain users without new projects.