• Fisheries and Aquatic Sciences
• /
• v.14 no.3
• /
• pp.218-225
• /
• 2011

Dual frequency identification sonar (DIDSON) is an imaging sonar that has been used for numerous fisheries investigations in a diverse range of freshwater and marine environments. The main purpose of DIDSON is fish counting, fish sizing, and fish behavioral studies. DIDSON records video-quality data, so processing power for handling the vast amount of data with high speed is a priority. Therefore, a semiautomated analysis of DIDSON data for fish counting, sizing, and fish behavior in Echoview (fisheries acoustic data analysis software) was accomplished using testing data collected on the Rakaia River, New Zealand. Using this data, the methods and algorithms for background noise subtraction, image smoothing, target (fish) detection, and conversion to single targets were precisely illustrated. Verification by visualization identified the resulting targets. As a result, not only fish counts but also fish sizing information such as length, thickness, perimeter, compactness, and orientation were obtained. The alpha-beta fish tracking algorithm was employed to extract the speed, change in depth, and the distributed depth relating to fish behavior. Tail-beat pattern was depicted using the maximum intensity of all beams. This methodology can be used as a template and applied to data from BlueView two-dimensional imaging sonar.

• Journal of Astronomy and Space Sciences
• /
• v.29 no.3
• /
• pp.269-274
• /
• 2012

Kinematic global positioning system precise point positioning (GPS PPP) technology is widely used to the several area such as monitoring of crustal movement and precise orbit determination (POD) using the dual-frequency GPS observations. In this study we developed a kinematic PPP technology and applied 3-pass (forward/backward/forward) filter for the stabilization of the initial state of the parameters to be estimated. For verification of results, we obtained GPS data sets from six international GPS reference stations (ALGO, AMC2, BJFS, GRAZ, IENG and TSKB) and processed in daily basis by using the developed software. As a result, the mean position errors by kinematic PPP showed 0.51 cm in the east-west direction, 0.31 cm in the north-south direction and 1.02 cm in the up-down direction. The root mean square values produced from them were 1.59 cm for the east-west component, 1.26 cm for the south-west component and 2.95 cm for the up-down component.

• Journal of Power Electronics
• /
• v.9 no.3
• /
• pp.507-515
• /
• 2009

This paper proposes an autonomous decentralized control for a parallel connected uninterruptible power supply (UPS) system based on a fast power detection method using a FPGA based hardware controller for a single phase system. Each UPS unit detects only its output voltage and current without communications signal exchange and a quasi dq transformation method is applied to detect the phase and amplitude of the output voltage and the output current for the single phase system. Fast power detection can be achieved based on a quasi dq transformation, which results in a realization of very fast transient response under rapid load change. In the proposed method, the entire control system is implemented in one FPGA chip. Complicated calculations are assigned to hardware calculation logic, and the parallel processing circuit makes it possible to realize minimized calculation time. Also, an Nios II CPU core is implemented in the same FPGA chip, and the software can be applied for non-time critical calculations. Applying this control system, an autonomous decentralized UPS system with very fast transient response is realized. Feasibility and stable operation are confirmed by means of an experimental setup with three UPSs connected in parallel. Also, rapid load change is applied and excellent performance of the system is confirmed in terms of transient response and stability.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.8
• /
• pp.808-812
• /
• 2008

In recent years, the software vulnerability becomes an important problem to the safety in operating system kernel. Many organizations endeavor to publish patches soon after discovery of vulnerability. In spite of the effort, end-system administrators hesitate to apply the patches to their system. The reasons of hesitation are the reboot disruption and the distrust of patches. To solve this problem we propose a dynamic update system for non-updatable kernel, named DUNK. The DUNK provides: 1) a dynamic update mechanism at function-level granularity to overcome the reboot disruption and 2) a safety verification mechanism to overcome the distrust problem, named MAFIA. In this paper, we describe the design of DUNK and detailed algorithm of MAFIA.

• Journal of KIISE:Software and Applications
• /
• v.36 no.4
• /
• pp.283-290
• /
• 2009

Context-awareness is one of the key features of ubiquitous paradigm. A methodology that is specifying the relationships between the contexts and services needs to be developed to intelligently and sensitively deal with dynamic environment. The existing models on context-aware modeling are difficult to verify the correctness of models with respect to timeliness. In this paper we propose an approach which includes timing constraint in the relations of the context model, and verify its effectiveness using colored Petri-Net. Moreover, a context-modeling toolkit including context-awareness engine and simulator is developed to support agent-based context-aware service. The effectiveness of the proposed methodology is demonstrated using an example of Usilvercare.

• International Journal of Highway Engineering
• /
• v.20 no.2
• /
• pp.97-107
• /
• 2018

PURPOSES : The effects on traffic accidents change with the changing environment. Accordingly, this study analyzes the characteristics of traffic accidents based on the personal characteristics (gender and age) of drivers, and those of 25 autonomous districts in Seoul, and suggests improvements. METHODS : Based on data pertaining to traffic accidents in Seoul, the analysis of accident characteristics was conducted by categorizing the types of traffic accidents according to the drivers' gender and age, and characteristics of 25 autonomous districts in Seoul. Further, for statistical verification, the SPSS software was used to derive influence variables through a multinomial logistic regression analysis, and a method for reducing traffic accidents was proposed. RESULTS : Analysis results show that males tend to be more involved in speed-related accidents and females in low-experience driving-related accidents such as those during parking and alleyway driving. In addition, variables such as age, automobile type, district, and day of the week are found to influence accident types. CONCLUSIONS : This study analyzed the accident characteristics based on personal and city characteristics to reflect the sociological characteristics that influence traffic accidents. The number of traffic accidents in Korea could be decreased drastically by implementing the results of this study in customized safety education and traffic maps.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.61-65
• /
• 2002

These days, in order to satisfy the complex and various demands of the customers, the telecommunication networks must provide rapid and flexible services, with the support of efficient service and network management systems. To satisfy these requirements, many objects for management have been released to manage network services and elements. But there are no efficient ways to manage these newly managed objects in object-oriented software. Therefore, we study several problems, when a subsystem using object-oriented technique is implemented. The first problem is that interface works between realized application programs using its technique. The second problem is that reusability of internal managed objects is difficult. In this paper, we will point out some problems and to solve these problems, we have proposed the Object Management System (OMS) architecture, which supports a transparent interface between object-oriented applications and the distributed data repositories. Also in order to manage efficient business objects stored in the different repositories, we suggest a method for integrating dynamic information resources in heterogeneous and distributed network environments. Finally, we applied OMS to TINA(Telecommunication Information Network Architecture) domain, implemented OMS, and verified it with SMV(Symbolic Model Verifier) which is model checking technology.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.1
• /
• pp.84-91
• /
• 2005

In this paper, we describe the real-time parallel processing simulator developed for the use of performance analysis of rolling missiles. The real-time parallel processing simulator developed here consists of seeker emulator generating infrared image signal on aircraft, real-time computer, host computer, system unit, and actual equipments such as auto-pilot processor and seeker processor. Software is developed from mathematic models, 6 degree-of-freedom module, aerodynamic module which are resided in real-time computer, and graphic user interface program resided in host computer. The real-time computer consists of six TIC-40 processors connected in parallel. The seeker emulator is designed by using analog circuits coupled with mechanical equipments. The system unit provides interface function to match impedance between the components and processes very small electrical signals. Also real launch unit of missiles is interfaced to simulator through system unit. In order to apply the real-time parallel processing simulator to performance analysis equipment of rolling missiles it is essential to perform the performance verification test of simulator.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.5
• /
• pp.315-322
• /
• 2011

The goal of total knee replacement (TKR) surgery is to replace patient's knee joint with artificial implants in order to restore normal knee joint functions. Since mismatched knee implants often cause a critical balancing problem and short durability, designing a well-fitted implant to a patient's knee joint is essential to improve surgical outcomes. We developed a software system that three-dimensionally (3D) simulates TKR surgery based upon 3D knee models reconstructed from computed tomography (CT) imaging. The main task of the system was to extract precise 3D anatomical parameters of a patient's knee that were directly used to determine a custom fit implant and to virtually perform TKR surgery. The virtual surgery was simulated by amputating a 3D knee model and positioning the determined implant components on the amputated knee. The test result shows that it is applicable to derive surgical parameters, determine individualized implant components, rehearse the whole surgical procedure, and train medical staff or students for actual TKR surgery. The feasibility and verification of the proposed system is described with examples.