• Journal of Industrial Technology
• /
• v.20 no.B
• /
• pp.55-62
• /
• 2000

The purpose of this research is to find out how the inlet angle of secondary air affects the formation of recirculation zone inside a small incinerator. A commercial code, PHOENICS, is used to simulate the flow field of an incinerator. The computational grid system is constructed by Multi-Block technique. Numerical experiments are done with the five different angles of secondary air inlet. The formation of recirculation zone is evaluated by checking velocity fields. The computational results show that recirculation zone is clearly formed from 60 degree of inlet angle and the zone of recirculation is widen as angle of recirculation is increased to $75^{\circ}$.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.523-530
• /
• 2009

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from insufficient reliability and high testing cost for several reasons such as the high complexity of the kernel code. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework for detection of concurrency bugs in the kernel. MOKERT translates a given C program into a corresponding Promela model, and then tries to find a counter example with regard to a given requirement property, If found, MOKERT executes that counter example on the real kernel code to check whether the counter example is a false alarm or not, The MOKERT framework was applied to the Linux proc file system and confirmed that the bug reported in a ChangeLog actually caused a data race problem, In addition, a new data race bug in the Linux proc file system was found, which causes kernel panic.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.6
• /
• pp.1255-1260
• /
• 2011

In this paper, we study on the reliability of Very High-rate Power Line Communication (VH-PLC) for Smart Grid, so that the resultant data rate is over 400Mbps at a physical layer. Firstly, reviewing the research trend of the PLC, we discuss the required techniques for supporting the Smart Grid. Considering a pre-specification with the value of several parameters, we investigate a multi-carrier modulation technique to overcome limitations of higher rate transmission under power line channel environments. Then, we propose a system specification of the VH-PLC in the sense of enhancing two features. One is resolving the problem of the co-existence of the deployed high-speed PLC according to the published standardization of KS X 4600-1 in Korea. The other is getting better performance on the grid adopting the diverse element techniques, such as multi-carrier modulation, a subcarrier utilization mode, a variable rate LDPC (Low Density Parity Check) code, and a time and frequency diversity technique. Further, a simulation tool, composed of an Event-Driven simulator and a Time-Driven simulator, is developed for the purpose of verifying the system performance and continuously cross-checking the test bench signal of the proposed VH-PLC system.

• Korean Journal of Clinical Pharmacy
• /
• v.21 no.4
• /
• pp.347-352
• /
• 2011

Health insurance review & Assessment service (HIRA) has enforced cutting the drug costs when physicians prescribe split extended release drugs, starting from December, 2010. The objective of this study is to analyze extended release and enteric coated drugs on pharmaceutical reimbursement list in Korea, and to investigate the impact and barriers of the health insurance review on splitting extended-release formulation drugs. By using the ingredient code, extended release and enteric coated formulations make up 7.8% of all drugs in April, 2011. The most frequently used drugs are agent affecting circulatory and digestive system. From the extended release and enteric coated formulations (n=112), 34.8% (n=39) were not available in other dosage forms. According to questionnaire survey for 169 pharmacists (response rate: 73.8%), the rate of splitting and crushing of extended release and enteric coated drugs decreased. When pharmacists correct physician's prescription errors, the biggest problem was lack of other dosage forms. So it is necessary to develop variety of other dosage forms, and computerized checking system for splitting extended-release drugs. It is also important to inform physicians and patients in regard to the problems of split prescription of extended release and enteric coated drugs.

• The KIPS Transactions:PartA
• /
• v.11A no.5
• /
• pp.313-318
• /
• 2004

In this paper, we suggest a checkpoint and recovery facility for the fault-tolerable process which is expected to be executed for a long time. The basic concept of the suggested facility is to allow the process to be executed continuously, when the process was stopped due to a System fault, by storing the execution status of the process periodically and recovering the execution status prior to the fault was occurred. In the suggested facility, it does not need to modify the source code for the fault-tolerable process. It was designed for the user to specify directly the file name and the checkpoint frequency, and two system calls(save, recover) were added. finally, it was implemented on the Linux environment(kernel 2.4.18) for checking the feasibility.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.4
• /
• pp.706-714
• /
• 2008

In this paper, we suggest a practical and flexible system architecture for JTAG(Joint Test Action Group) protection of application processors. From the view point of security, the debugging function through JTAG port can be abused by malicious users, so the internal structures and important information of application processors, and the sensitive information of devices connected to an application processor can be leak. This paper suggests a system architecture that disables computing power of computers used to attack processors to reveal important information. For this, a user authentication method is used to improve security strength by checking the integrity of boot code that is stored at boot memory, on booting time. Moreover for user authorization, we share hard wired secret key cryptography modules designed for functional operation instead of hardwired public key cryptography modules designed for only JTAG protection; this methodology allows developers to design application processors in a cost and power effective way. Our experiment shows that the security strength can be improved up to $2^{160}{\times}0.6$second when using 160-bit secure hash algorithm.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.12
• /
• pp.2775-2782
• /
• 2010

In this paper, we propose a web-based programming class support system to help a lecturer to teach a programming language to students effectively. The proposed system is composed of a error analysis step and a verification step. The error analysis step checks whether there are compile time errors or run time errors in each student's submitted program. Given some errors, the system provides helpful feedback for the student to fix the errors. On the contrary, the system provides quick feedback after checking the source code style, comments, and plagiarism in the submitted program. As soon as the student submits the program, the student can see the check results. According to the result of utilizing the proposed system in a C programming language class, students tend to submit program assignments actively.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.9 no.5 s.45
• /
• pp.11-19
• /
• 2005

Seismic design of a building is usually performed by using the linear static procedure. However, the actual behavior of the building subjected to earthquake is inelastic and dynamic in nature. Therefore, inelastic dynamic analysis is required to evaluate the safety of the structure designed by the current design codes. For the validation, a RC special moment resisting frame building was chosen and designed by IBC 2003 representing new codes. Maximum plastic rotation and dissipated energy of some selected members were calculated for examining if the inelastic behavior of the building follows the intention of the code, and drift demand were calculated as well for checking if the building well satisfies the design drift limit. In addition, the effect of including internal moment resisting frames (non lateral resisting system) on analyses results was investigated. As a result of this study, the building designed by IBC 2003 showed the inelastic behavior intended in the code and satisfied the design drift limit. Furthermore, the internal moment resisting frames should be included in the analytical model as they affect the results of seismic analyses significantly.

• Korean Journal of Construction Engineering and Management
• /
• v.12 no.4
• /
• pp.106-116
• /
• 2011

It is very important to collect and manage labor information in the construction industry that is labor-intensive. Although research and cases that utilize RFID are increasing for more effective labor management, labor management is limited to the checking-in and -out information management at the entrance of a construction site due to high expense of an RFID reader. Labor and safety information is still managed based on the redundant process that is hand-written in a book and re-input of information by using a personnel-computer. Therefore, the objective of this paper is to develop more effective and efficient process for labor information record and management. This paper presents a prototype application that supports integrated labor information management by incorporating QR-code into RFID-based labor management system and verifies the application through a pilot test and comparison with the existing labor management syste.

• 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.