• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.87-94
• /
• 2008

Message races should be detected for debugging effectively message-passing programs because they can cause non-deterministic executions of a program. Previous tools for detecting message races report that message races occur in every receive operation which is expected to receive any messages. However message races might not occur in the receive operation if each of messages is transmitted through a different logical communication channel so that their incorrect detection makes it a difficult task for programmers to debug programs. In this paper we suggest a tool, MPIRace-Check, which can exactly detect message races by checking the concurrency between send/receive operations, and by inspecting the logical communication channels of the messages. To detect message races, this tool uses the vector timestamp to check if send and receive operations are concurrent during an execution of a program and it also uses the message envelop to inspect if the logical communication channels of transmitted messages are the same. In our experiment, we show that our tool can exactly detect message races with efficiency using MPI_RTED and a benchmark program. By detecting message races exactly, therefore, our tool enables programmers to develop reliable parallel programs reducing the burden of debugging.

• Publications of The Korean Astronomical Society
• /
• v.19 no.1
• /
• pp.71-76
• /
• 2004

We have developed a tool for measuring optical aberrations of telescope. We adopt curvature sensing technique and use the least square method for finding the amplitudes of the Zernike polynomials. This tool runs under the PC Linux system and the PC windows system with Linux emulators such as Cygwin. The program for UNIX system is used for optical alignment of 1.8M optical telescope at the Bohyunsan Optical Astronomical Observatory (BOAO) and the PC based program is used for the Korea Astronomy Observatory (KAO) wide field telescope (named NEOPAT-3). Our tool is found to be efficient for precise measurement of the optical aberrations of telescopes.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.8 s.227
• /
• pp.1140-1151
• /
• 2004

This paper reports on the finite elements analysis for die compaction process of cemented carbide tool parts. Experimental data were obtained under die compaction and triaxial compression with various loading conditions. The elastoplastic constitutive equations based on the yield function of Shima and Oyane were implemented into an explicit finite element program (ABAQUS/Explicit) and implicit finite element program (PMsolver/Compaction-3D) to simulate compaction response of cemented carbide powder during die compaction. For simulation of die compaction, the material parameters for Shima and Oyane model were obtained by uniaxial die compaction test. Explicit finite element results were compared with implicit results for cemented carbide powder.

• Proceedings of the KSME Conference
• /
• 2000.11a
• /
• pp.535-540
• /
• 2000

This paper presents the development of a Parallel-Typed CNC Machining Tool. It is specially designed to machine a complex shaped workpiece by controlling the orientation of the tool. The inverse/direct kinematics of a parallel mechanism is derived and implemented in a PC based controller. With graphics icons, the GUI (Graphic User Interface) program is developed for the CNC programing. The calibration is accomplished by geometric constraint motion, which is a parallel motion of the platform with respect to a table. The calibration result is introduced and the future study is proposed.

• Journal of Engineering Education Research
• /
• v.15 no.6
• /
• pp.98-102
• /
• 2012

This paper diagnose subjects and measures the learning ability of students based on the goal of developing an assessment tool for education productivity based on multi-aspect evaluation conducted by ICEE at Honam University. Furthermore, develop an assessment tool for education productivity that provides a motive to bring detailed improvements in teaching methods through the diagnosis. In addition, a method for compensating the issues and improving the quality of subject is suggested to develop learning ability of students through applying the assessment tool. An integrated operated system of CQI is desired to be built along with quality improvement of education through measuring academic quality by studying the methods for enhancing academic and learning ability achievement from analysis of the curriculum provided in the "ABEEK program". Through this study the current state of education productivity is presented through analyzing the difference between students who participated in the "ABEEK program" and who did not participate, and operating a comparison between the student's comprehension on their majors and liberal arts by the multi-aspect evaluation that has been conducted for 2 years.

• Genomics & Informatics
• /
• v.7 no.1
• /
• pp.46-48
• /
• 2009

Finishing is the most time-consuming step in sequencing, and many genome projects are left unfinished due to complex repeat regions. Here, we have developed BACContigEditor, a prototype shotgun sequence finishing tool. It is essentially an editor that visualizes assemblies of shotgun sequence fragment reads as gapped multiple alignments. The program offers some flexibility that is needed to rapidly resolve complex regions within a working session. The sole purpose of the release is to promote collaborative creation of extensible software for fragment assembly editors, foster collaborative development, and reduce barriers to initial tool development effort. We describe our software architecture and identify current challenges. The program is available under an Open Source license.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.5 no.4
• /
• pp.82-89
• /
• 1996

In this study, to choose the drilling m/c with analysis model for dynamic design of machine tool strctures, are used substucture syntheis method for reduction to degrees of freedom of dynamic model and analysis evaluation of substructures The dynamic factors of substurctures are examined by substructure synthesis method. And that dynamic design of structures for energy balancing are performed. The computer program for calculated of the dynamic and energy distribution analysis was developed. Result of numerical analysis by developed program obtained to conclusion as following. The design of machine tool structures by dynamic avoid the resonances, and are known to considered based on the energy balancing. These methods can be used effectively for the performance evaluation, design modification and improvement of dynamic performance evaluation, design modification and improvement of dynamic performance of machine tools.

• Korean Institute of Interior Design Journal
• /
• no.9
• /
• pp.24-29
• /
• 1996

The objectives of this study is to create an environment which students could apply effectively through focused on the innovative methods of education and CAD course contents. The facts which were able to figure out from this study were as follows ; 1. After the analysis of the CAD course contents of the american universities, their common contents were in order of introduce to Computer Aided Drafting and design with Auto CAD/ provide fundamental knowledge of the application for use in design/ examine and how this effects 2 D image and model creation/ CAD as a design tool . Over all trend of CAD course contents of interior design program in american university is moving toward utilizing CAD as a design tool. 2. On the other hand, common contents of our local universities were simply introducing CAD. It means that our course contents are more methodological and theoreatical . And american university's program is focused on problem solving solution as a design tool.

• Journal of Positioning, Navigation, and Timing
• /
• v.12 no.4
• /
• pp.431-436
• /
• 2023

In order to provide continuous Korea Augmentation Satellite System (KASS) services, the operation organization should continuously and systematically perform operations, maintenance, and technical activities. All subsystems of KASS, all Line Replacement Units (LRUs), and Software Replacement Units (SWRUs) should be operated and maintained continuously. In order to effectively manage these activities, it is necessary to develop an Operation Management Tool (OMT). For this purpose, operation management, operation organization, and operation activities were defined. The defined requirements were divided into general, function, interface, and database for OMT development, and functions and decision-making procedures consisting of site/asset/trouble/work order/schedule management were designed. The OMT developed by reflecting the site and asset information as well as the design content met predefined requirements. The OMT will be actively used in actual KASS operation and will evolve by continuously reflecting the additional requirements of operators. Through this tool, KASS will support continuous service provision.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.