• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.1B
• /
• pp.1-7
• /
• 2010

In this paper, a high-performance fault-tolerant switching network using a deflection self-routing was proposed. From an abstract algebraic analysis of the topological properties of the Delta network, which is a baseline switching network, we derive the Multidimensional Ring-Delta network: a multipath switching network using a deflection self-routing algorithm. All of the links including already existing links of the Delta network are used to provide the alternate paths detouring faulty/congested links. We ran a simulation analysis under the traffic loads having the non-uniform address distributions that are usual in Internet. The throughput of $1024\;{\times}\;1024$ switching network proposed is better than that of the 2D ring-Banyan network by 13.3 %, when the input traffic load is 1.0 and the hot ratio is 0.9. The reliability of $64\;{\times}\;64$ switching network proposed is better than that of the 2D ring-Banyan network by 46.6%.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.3
• /
• pp.63-72
• /
• 2014

The exchangeable battery electric bus is an eco-friendly public transportation vehicle. Due to the technological limitation, however, it should repeatedly change batteries with charged ones. The unmanned battery exchangeable electric bus being studied in Korea can exchange batteries automatically by using a battery swapping system. In this paper, we propose an unmanned battery exchangeable electric bus management system. The proposed system provides two services: the bus information service and the battery change scheduling service. The bus information service is the existing traditional metropolitan area bus information systems, which inform bus passengers how long they should wait for the buses. Our second service assigns a low-battery bus, which needs to change the batteries, to the battery swapping system, which stores fully-charged batteries. To validate the proposed system, we model the system by using the DEVS formalism. The simulation result shows that the proposed system provides the services properly.

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

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.7 no.1
• /
• pp.21-27
• /
• 2013

Manual wheelchair propulsion can lead to pain and injuries of users due to mechanical inefficiency of wheelchair propulsion motion. The kinetic analysis of the upper limbs during manual wheelchair propulsion needs to be studied. A two dimensional inverse dynamic model of upper limbs was developed to compute the joint torque during manual wheelchair propulsion. The model was composed of three segments corresponding to upper arm, lower arm and hand. These segments connected in series by revolute joints constitute open chain mechanism in sagittal plane. The inverse dynamic method is based on Newton-Euler formalism. The model was applied to data collected in experiments. Kinematic data of upper limbs during wheelchair propulsion were obtained from three dimensional trajectories of markers collected by a motion capture system. Kinetic data as external forces applied on the hand were obtained from a dynamometer. The joint rotation angles and joint torques were computed using the inverse dynamic model. The developed model is for upper limbs biomechanics and can easily be extended to three dimensional dynamic model.

• Journal of the Society of Naval Architects of Korea
• /
• v.45 no.6
• /
• pp.656-668
• /
• 2008

When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

• Korean Journal of Optics and Photonics
• /
• v.8 no.3
• /
• pp.223-229
• /
• 1997

A source code is developed on the basis of Berreman's 4$\times$4 matrix formalism for the analysis of polarization transmission characteristics of twisted nematic liquid crystal display. By using the program, the polarization transmission characteristics of liquid crystal cells and polarizers are analyzed. For a normally white twisted nematic liquid crystal cell, we obtained a family of iso-contrast contours which helps to understand the viewing angle characteristics of the liquid crystal display device by using the cell. The program also help us to understand the variation of the degree of polarization as well as the deviation of the state of polarization of the light transmitted through the polarizer commonly used in the LCD according to the change in incidence angle. This result suggests the contrast of the images appearing on the LCD can be limited by the characteristics of the polarizer in addition to the liquid crystal cell.

• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.9-17
• /
• 2017

The problem of social phenomenon is getting more complicated than past decades, and the simulation engineers need more computation power to solve the problem. Therefore, the needs of the computational resources of the modeling and simulation environment are increasing. In the perspective of the simulation, it is necessary to allocate computational resources flexibly so that the simulation can be performed per the available budget range. As an alternative to the simulation environment to accommodate these requirements, cloud service has emerged as an environment in which computing resources can be used flexibly. This paper proposes a web-based simulation framework which consists of a front-end that reconstructs the simulation model using the web, and a back-end that executes the discrete event simulation. This paper also carried out a case study which shows web-based simulation framework has better overall runtime than standalone simulation framework.

• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.19-29
• /
• 2017

System Entity Structure/Model Base (SES/MB) enhances organizing model families and storing and reusing model components in the multifaceted system modeling. However, the real world can be described not only an individual system but also a collection of those systems, which is called system of systems (SoS). Because SES/MB has a limitation to simulate the SoS using HLA/RTI, an extended framework is required to simulate it. Therefore, this paper proposes System of Systems Entity Structure/Federate Base (SoSES/FB) for simulation in a distributed environment (HLA/RTI). The proposed method provides the library of federates (FB) and System of System Entity Structure (SoSES) formalism, which represents structural knowledge of a collection of simulators. It also provides a methodology for the development process of distributed simulation. The paper introduces the anti-missile defense simulation using the proposed SoSES/FB.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.1
• /
• pp.161-168
• /
• 2016

It has become the information medium that mediate between individuals of marketing with the new information media that use of the Internet in accordance with the progress of the IT industry- real estate marketing, real estate leasing, real estate auctions, etc. The real estate registration services should be disclosed to outside that include a schedule details the public book-register and problems caused by it should be reasonably resolved by handling a large amount of real estate registration work quickly, accurately handling to utilize Information Technology(IT) through the information system construction as the feature to process the information of register entries. Computerization of real estate registration will raise the efficiency of the registration as well as people can see the information related to real estate on the basis of published content without limitation the time and place and will pursue the ideal and reliability of the registration -web accessibility improving of the Internet Registry and permanent storage of preserving documents by electronic means. It is very large that impact on the real estate transaction if the accuracy of legal registration choosing formalism in the processing of real estate registration business through the Internet than written application is highly probable to occur incorrect registration. Also, It is necessary to manage it effectively -if you do not quickly and exactly respond to it, there is problems such as delays or poor registration service because real estate business activated and real estate registration services also increased sharply. In this paper, we will identify the problems of the real estate registration work and suggest improvements about it.