• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1577-1580
• /
• 1987

This paper proposes a gate and functional level logic simulator which can be run on XENIX O.S. The simulator has hierarchical structure including Hardware Description Language compiler, Waveform Description Language compiler, and Simulation Command Language compiler. The Hardware Description Language compiler generates data structure composed of gate structure, wire structure, condition structure, and event structure. Simulation algorithm is composed of selective trace and event-driven methods. To improve simulation speed, Cross Referenced Linked List Structure ia defined in building the data structure of circuits.

• Proceedings of the Safety Management and Science Conference
• /
• 2000.05a
• /
• pp.339-349
• /
• 2000

Inchon Port is the second largest import-export port of Korea, and has the point at issue such as the excessive logistics cost because of the limits of handling capacity and the chronic demurrage. There are few research activities on the analysis and improvement of the whole port operation, because Inchon Port not only has the dual dock system and various facilities but also handles a various kind of cargo. The purpose of this paper is to develop the simulation program as a long-term strategic support tool, considering the dual dock system and the TU(Terminal Operation Company) system executed since March, 1997 in Inchon Port. The basic input parameters such as arrival intervals, cargo tons, service rates are analyzed and the probability density functions for these parameters are estimated. The main mechanism of simulation model is the discrete event-driven simulation and the next-event time advancing. The program is executed based on the knowledge base and database. From the simulation model, it is possible to estimate the demurrage status through analyzing various scenarios and to establish the long-term port strategic plan.

• International Journal of Aeronautical and Space Sciences
• /
• v.12 no.3
• /
• pp.211-224
• /
• 2011

This is a written version of an hour-long lecture delivered by the author on June 30, 2011, as Plasmadynamics and Lasers Award Lecture at the AIAA 2011 summer conference in Honolulu, Hawaii. The author proposes that two areas of planetary entry physics be pursued in the future: outer planet aero-capturing and study of aerodynamics of meteoroid entries, both for the purpose of advancing the understanding of the possible extraterrestrial seeding of building blocks of life. For outer planet aero-capturing, the author proposes to develop new shock tube facilities that will produce up to 30 km/s of shock speed without causing photo-ionization of the driven gas by the radiation from the hot driver gas. Regarding meteors, the author proposes to carry out laboratory testing of the Tunguska event and of the seeding of amino acid molecules using a ballistic range which shoots a snowball laden with amino acid molecules toward a water surface.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.9
• /
• pp.2415-2421
• /
• 1996

This paper describes implementation and performance evaluation of XTP(Xpress Transport Protocol) onthe Windows NT for multicasting in high-speed communication networks. We designed the protocol byan event-driven method and implemented it in form of network driver in a kernel for performace enhancement. Various applications program are used for its functional test and comparison with the TCP protocol.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.4
• /
• pp.292-297
• /
• 2004

This paper is demonstrated about VM that means a circumstance where a application is no dependence of hardware and GVM which is selected by SKT as flatform, thus we developted portris-mobile game based on GVM. this game was embodied(actualized or given to actualized form) by Mobile C and process procedure of Event Drivnen type game that is a characteristic of Mobile C is showed by flowchart.

• Journal of Korean Society of Transportation
• /
• v.12 no.3
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.12
• /
• pp.1229-1233
• /
• 2010

In event-driven wireless sensor networks, network congestion occurs when event data, which have higher transmission rates than periodic sensing data, arc forwarded to bottleneck links. As the congestion continues, congestion collapse is triggered, so most of packets from source nodes are failed to transmit to a sink node. Rate control schemes can be a solution for preventing the congestion collapse problem. In this paper, a rate control scheme that each node controls child node's data rate based on congestion patterns is proposed. Experiments show that the proposed scheme effectively controls network congestion and successfully transmits more event data packets to a sink node than existing rate control schemes.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.160-168
• /
• 2000

In this paper, we present a performance monitor to trace and evaluate the performance of programs running on networked computers. The performance monitor of the JaNeC is online/batch as well as event/time driven. Since it is implemented with the Java programming language, it provides us with high portability among heterogeneous computer systems, and friendly graphical user interface. This performance monitor consists of various views such as 'Task/Event Filter' and 'TimeLine', 'Task View', 'Task Hoistory', 'Message Passing View', 'Host Cpu View', which allow the user to easily analyze event and time during the program execution.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.49 no.1
• /
• pp.33-40
• /
• 2000

In this paper, an integrated method for the path planning and motion control of wheeled mobile robots using a hybrid system model and control is presented. The hybrid model including the continuous dynamics and discrete dynamics with the continuous and discrete state vector is derived for a two wheel driven mobile robot. The architecture of the hybrid control system for real time path planning and following is designed which has the 3-layered hierarchical structure : the discrete event system using the digital automata as the higher process, the continuous state system for the wheel velocity controls as the lower process, and the interface system as the interaction process between the continuous system as the low level and the discrete event system as the high level. The reference motion commands for autonomous navigation are generated by the abstracted motion in the discrete event system. The motion control tasks including the feasible path planning and autonomous motion control with various initial conditions are investigated as the applications by the simulation studies.

• Nuclear Engineering and Technology
• /
• v.49 no.2
• /
• pp.395-403
• /
• 2017

An efficient evaluation method for the probability of a tornado missile strike without using the Monte Carlo method is proposed in this paper. A major part of the proposed probability evaluation is based on numerical results computed using an in-house code, Tornado-borne missile analysis code, which enables us to evaluate the liftoff and flight behaviors of unconstrained objects on the ground driven by a tornado. Using the Tornado-borne missile analysis code, we can obtain a stochastic correlation between local wind speed and flight distance of each object, and this stochastic correlation is used to evaluate the conditional strike probability, $Q_V(r)$, of a missile located at position r, where the local wind speed is V. In contrast, the annual exceedance probability of local wind speed, which can be computed using a tornado hazard analysis code, is used to derive the probability density function, p(V). Then, we finally obtain the annual probability of tornado missile strike on a structure with the convolutional integration of product of $Q_V(r)$ and p(V) over V. The evaluation method is applied to a simple problem to qualitatively confirm the validity, and to quantitatively verify the results for two extreme cases in which an object is located just in the vicinity of or far away from the structure.