• Korean Journal of English Language and Linguistics
• /
• v.1 no.2
• /
• pp.331-347
• /
• 2001

In this study I investigate two implicit arguments in English middles: discharged argument and event argument. I argue that in middle formation external argument is discharged and event argument is suppressed. The proposal can account for the problems with the previous studies (Williams 1981; Keyser and Reoper 1984: Roberts 1987: Fagan 1988, 1992: Chung 2000). When a middle derives from the corresponding transitive verb, the subject argument is discharged, being an implicit argument. Argument discharge is different from argument suppression in the passives and argument deletion in the ergatives. I also argue that event argument is suppressed in middle formation. Event argument suppression is supported by the following: (i) The transitive verbs are always eventive but the corresponding middles are stative, and (ii) the middles are underlyingly eventive, (iii) the middles are “adorned” by certain manner adverbials.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.731-737
• /
• 1998

차세대원자로의 붕산희석사고시 노심에 유입되는 저농도 붕산수 slug의 혼합현상에 대한 해석을 수행하였다. FLUENT V4.47을 이용하여 inherent event와 external event로 분류되는 SBLOCA시와 SIS 주입에 따른 급속붕산희석현상에 대해 인차원 축대칭을 가정하여 해석을 수행하였다. 각각의 경우에 대하여 사고시 노심에 추가되는 정반응도는 1.86 %$\Delta$$\rho$ 이하로 계산되었으며, 이 결과는 원자로정지여유도 6.5 %$\Delta$$\rho$다 작은 값을 가지므로 원자로의 안전성을 유지하기에 충분한 여유를 갖는 것으로 해석되었다.

• The Journal of the Korea Contents Association
• /
• v.15 no.11
• /
• pp.534-549
• /
• 2015

This study was conducted in 2014 with Osong International Bio Industry Expo volunteers as the subjects of the study. The study has analyzed whether their participation motivation, participation satisfaction, and educational training have moderating effects between their motivation and satisfaction. The purpose is to offer implications for successfully holding large events in the future. The findings are as follows. First, the internal reward, a sub-factor of participation motivation, had statistically significant effects on the six elements of volunteering satisfaction. Second, the external reward, a sub-factor of volunteering motivation, had statistically significant effects on the four elements of volunteering satisfaction: self-satisfaction about their abilities; satisfaction in pursuing changes; satisfaction in the event and satisfying interests. However, their satisfaction in self-growth and in interactions were excluded from the volunteering satisfaction elements that were critically affected by the external reward. Third, the training had moderating effects between their internal reward and satisfaction in the event. Forth, the training had moderating effects between their external reward and satisfaction in the event.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.591-603
• /
• 2018

Windows Event Log is a format that records system log in Windows operating system and methodically manages information about system operation. An event can be caused by system itself or by user's specific actions, and some event logs can be used for corporate security audits, malware detection and so on. In this paper, we choose actions related to corporate security audit and malware detection (External storage connection, Application install, Shared folder usage, Printer usage, Remote connection/disconnection, File/Registry manipulation, Process creation, DNS query, Windows service, PC startup/shutdown, Log on/off, Power saving mode, Network connection/disconnection, Event log deletion and System time change), which can be detected through event log analysis and classify event IDs that occur in each situation. Also, the existing event log tools only include functions related to the EVTX file parse and it is difficult to track user's behavior when used in a forensic investigation. So we implemented new analysis tool in this study which parses EVTX files and user behaviors.

• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.2
• /
• pp.248-257
• /
• 2010

In this study, a discrete event and dynamic-based discrete time combined simulation modeling architecture, which can be used to calculate equations of motions among discrete events, is developed. This is composed of a command model, which is in charge of discrete event simulation, a numerical integration model, which finds motions by numerically integrating equations of motions, and an external force and control force model, which calculates the force and transmits it to the equations. Using this architecture, we can develop dynamic-based simulation by simply connecting and combining models, and handle simultaneously discrete event and discrete time simulation. To verify the efficiency of the architecture, it is applied to the submarine diving and surfacing simulation.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.892-908
• /
• 2010

Services in SOA are typically perceived as black-box to service consumers, and can be dynamically evolved at runtime, and run on a number of unknown and heterogeneous environments. Because of these characteristics of the services, effective and efficient monitoring of various aspects on services is an essential functionality for autonomous management of service. But the problem with or limitation in conventional or existing approaches is, that they focus on services themselves, ignoring the effects by business processes. Consequently, there is a room for service monitoring which provides more useful information of business level by acquisition of only external monitoring data that depend on specific BPEL engine and middleware. Moreover, there is a strong demand to present effective methods to reduce monitoring overhead which can degrade quality of services. EDA can cope with such limitations in SOA by collecting and analyzing events efficiently. In this paper, we first describe EDA benefits in service monitoring, and classify monitorring target, and present an appropriate monitoring method for each monitoring target. Also to provide the applicability of our approach, an event meta-model is defined, and event processing model and architecture based on the meta-model are proposed. And, with the proposed architecture and method, we implement a prototype of an event-driven dynamic monitoring framework which can collect and process internal and external data at runtime. Finally, we present the result of a case study to demonstrate the effectiveness and applicability of the proposed approach.

• 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.

• International Journal of Computer Science & Network Security
• /
• v.21 no.11
• /
• pp.165-170
• /
• 2021

Discrete event systems interact with the external environment to decide which action plan is adequate. Some of these interactions are not predictable in the modelling phase and require consequently an adaptation of the system to the metamorphosed behavior of the environment. One of the challenging issues is to guarantee safety behavior when failures tend to derive the system from normal status. In this paper we propose a framework to combine diagnose technique with adaptive control to avoid unsafe sate an maintain the normal behavior as long as possible.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1204-1215
• /
• 1998

In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.

• Language and Information
• /
• v.2 no.1
• /
• pp.157-176
• /
• 1998

This paper claims that beneficiary adjuncts are best analyzed as involving external predication in a version of grammatical framework called Head-driven Phrase Structure Grammar. This paper also claims that verbal catefories need to include the attribute INDEX among their semantic components in order to account for the external predication proposed in this paper. This paper distinguishes between recipient and beneficiary reles and assumes that the former is a semantic argument of a verb-type relation and that the latter is an adjunct which makes a semantic contribution as a modifier. This approach achives a unified analysis of modification phenomena of nominal and verbal categories and it can also accomodate Parson's(1990) idea that a verbal category denotes a set of events, not just an event.