• Bulletin of the Korean Chemical Society
• /
• v.21 no.5
• /
• pp.493-496
• /
• 2000

By use of the rotational distribution expression previously derived based on the collisional time correlation function formalism, the rotational distributions of $CO_2$ vibrational ground state (00°0) after collisions with hot H, D, or Cl atom have been constructed. Energy and rotational quantum number parameters which can characterize the rotational distributions are also calculated and compared with those deduced from the experimental distribution. The results from this work would be very useful in predicting the rotational distributions in the lower J region for which experimental data are not available due to the interference from the ambient $CO_2$.

• Bulletin of the Korean Chemical Society
• /
• v.4 no.5
• /
• pp.197-200
• /
• 1983

The Diels-Alder cycloaddition reactions between dienes and allenic ketones were studied theoretically using CNDO/2 method. It was found that the reaction is a neutral electron demand type with matrix element control and the reactivity, the regio- and stereo-selectivities can be correctly predicted based on interaction energies calculated with the 4-center FMO formalism.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.109-118
• /
• 2013

This paper adopts the system configuration to assess the reliability instead of making a fault tree (FT), which is a traditional method to analyze reliability of a certain system; this is the reliability block diagram (RBD) method. The RBD method is a graphical presentation of a system diagram connecting the subsystems of components according to their functions or reliability relationships. The equipment model for the reliability simulation is modeled based on the discrete event system specification (DEVS) formalism. In order to make various alternatives of target system, this paper also adopts the system entity structure (SES), an ontological framework that hierarchically represents the elements of a system and their relationships. To enhance the calculation time of reliability analysis, GPU-based accelerations are adopted to the reliability simulation.

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Journal of radiological science and technology
• /
• v.30 no.1
• /
• pp.33-38
• /
• 2007

The propose of this study is a verification of the correct calculation of the dose around source and the prescription dose of Ir-192 source in the plato treatment planning system. The source and orthogonal coordinates for lateral direction and those for the anterior posterior direction were drawn on a A4 paper and then input into the system. The prescription dose was prescribed to two points with radius 1 cm in the direction of polar angle $90^{\circ} and $270^{\circ} from the center of the source. The doses of prescription point and dose points acquired from the treatment planning system were compared with those from manual calculation using the geometry function formalism derived by Paul King et al. In this analysis, the doses of prescription point were exactly consistent with each other and those of dose points were obtained within the error point of 1.85%. And the system of accuracy was evaluated within 2% of tolerance error. Therefore, this manual dose calculation used for the geometry function formalism is considered to be useful in clinics due to its convenience and high quality assurance.

• The Journal of Society for e-Business Studies
• /
• v.11 no.2
• /
• pp.93-110
• /
• 2006

A Business Process Management System(BPMS) requires transaction management to guarantee reliability for transactions. Though several transaction protocols have been suggested for the transaction management, the difference of transaction protocols interrupts interoperability among transaction management systems. In this paper, a business process transaction based on semantics is suggested. It is defined based on the static semantics and the operational semantics. As the static semantics defines the ontologies for transaction states and transaction messages using Web Ontology Language(OWL), it solves the difference of expression for the concepts of transaction protocols. As the operational semantics defines state transitions of business process transactions using Abstract State Machine(ASM), it can guarantee formalism for transaction operations. The operational semantics refers to the state ontology and message ontology defined in the static semantics. This approach can enhance interoperability among various transaction protocols, increase the understandability for the transaction protocols, and support autonomous transaction execution and systematic transaction monitoring.

• Progress in Medical Physics
• /
• v.14 no.3
• /
• pp.175-183
• /
• 2003

Absorbed dose dosimetry protocols of high energy photon and electron beams, which are widely used and based on an air kerma (or exposure) calibration factors, have somewhat complex formalism and limitations for improving dosimetric accuracy due to the uncertainty of the physical parameters used. Recently, the IAEA and the AAPM published the absorbed dose to water-based dosimetry protocols(IAEA TRS-398 and AAPM TG-51). The dose calibration programs for these two protocols were developed. This program for high energy photon and electron beams was also developed for users to use in a window environment using the Visual C++ language. The formalism and physical parameters of these two protocols were strictly applied to the program. The tables and graphs of the physical data, and the information of ion chambers were numericalized for their incorporation into a database. This program can be useful in developing new dosimetry protocols in Korea.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.5
• /
• pp.721-728
• /
• 2004

OCSP (Online Certificate Status Protocol) server which checks the certificate status provides the real time status verification in the PKI (Public Key Infrastructure) system which is the essential system of certificate. However, OCSP server need the message authentication with the server and client, so it has some shortcomings that has slow response time for the demands of many clients concurrently and has complexity of the mathematical process in the public encryption system. In this research, simulation model of the certificate status vertification server is constructed of the DEVS (Discrete EVent system Specification) formalism. This sever model is constructed to practice the authentication with hash function when certificate is checked. Simulation results shows the results of increase of the certificate status verification speed and decrease of the response time to the client.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.440-443
• /
• 2001

As inter-network traffics grows rapidly, the router systems as a network component becomes to be capable of not only wire-speed packet processing but also plentiful programmability for quality services. A network processor technology is widely used to achieve such capabilities in the high-end router. Although providing two such capabilities, the network processor can't support a deep packet processing at nominal wire-speed. Considering QoS may result in performance degradation of processing packet. In order to achieve foster processing, one chipset of network processor is occasionally not enough. Using more than one urges to consider a problem that is, for instance, an out-of-order delivery of packets. This problem can be serious in some applications such as voice over IP and video services, which assume that packets arrive in order. It is required to develop an effective packet processing mechanism leer using more than one network processors in parallel in one linecard unit of the router system. Simulation analysis is also needed for verifying the mechanism. We propose the packet processing mechanism consisting of more than two NPs in parallel. In this mechanism, we use a load-balancing algorithm that distributes the packet traffic load evenly and keeps the sequence, and then verify the algorithm with simulation analysis. As a simulation tool, we use DEVSim++, which is a DEVS formalism-based hierarchical discrete-event simulation environment developed by KAIST. In this paper, we are going to show not only applicability of the DEVS formalism to hardware modeling and simulation but also predictability of performance of the load balancer when implemented with FPGA.

• The KIPS Transactions:PartA
• /
• v.19A no.2
• /
• pp.93-100
• /
• 2012

LLRP (Low-Level Reader Protocol) specifies an interface between RFID readers and RFID applications, also called LLRP servers and clients respectively. An LLRP server should concurrently execute various functions. This paper designs an LLRP server of a multi-threaded architecture. For that, (i) the operational procedure between LLRP servers and clients is investigated, (ii) the functional requirements of LLRP servers are presented, (iii) the operation of an LLRP server is decomposed into several threads to satisfy those functional requirements, and (iv) the operational procedure is further examined in thread-level. To validate the designed architecture, it is modeled and simulated by using the DEVS formalism which specifies discrete event systems in a hierarchical, modular manner. From the simulation result, we can conclude that the proposed architecture conforms the LLRP standard and satisfies all the given functional requirements.