• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.1049-1055
• /
• 2023

The utilization of agricultural drones for pest control operations has been increasing due to its economic efficiency. However, variations in the effectiveness of these operations occur depending on the operator's proficiency. In this study, we applied a smart operating mode to overcome the limitations of manual flight mode and proposed a numerical model. Through comparative validation with prior research, we conducted experimental verification. As a result, we determined the spray time and calculation of spray area for each drone model. We selected a drone for pest control with a high similarity to the numerical model and verified it experimentally. Through this, we confirmed that the application of the smart operating mode is more effective in terms of calculation of spray area and operational efficiency compared to manual flight mode.

• Microbiology and Biotechnology Letters
• /
• v.46 no.3
• /
• pp.201-209
• /
• 2018

Streptococcus thermophilus, Lactobacillus delbrueckii, Lactobacillus fermentum and Lactobacillus casei were successfully isolated from indigenous Indonesian fresh milk based on the general morphological and biochemical classification as described in Bergey's manual. Verification was conducted by sequencing of 16S rRNA after selection using the classification method mentioned in the manual. All isolates exhibited antimicrobial activity against Escherichia coli and Staphylococcus aureus in the well diffusion test. The susceptibilities of the isolated S. thermophilus 24/S1 and L. delbrueckii 94/L4 against 22 different antibiotics were determined by the disc diffusion method and variable susceptibility patterns were observed. Both isolates were susceptible to amoxicillin, the most commonly prescribed antibiotic, and resistant to sulfonamide. The presence of a plasmid was not detected after extraction. S. thermophilus 24/S1 and L. delbrueckii 94/L4 starter cultures were prepared for yogurt production after 9.5 h of incubation and the yogurt was evaluated for its flavor and quality by 30 volunteers. A score of $4.93{\pm}0.45$ out of 7 was obtained as compared to the yogurt prepared using commercial starter cultures which yielded a score of $4.76{\pm}0.30$ out of 7.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.14 no.5
• /
• pp.8-14
• /
• 2015

Heat treatment for car body molds is mainly a manual process performed by a worker. The performance of this process is affected by workers' skill level, and has limitation in maintaining uniform product quality. In this study, we developed a diode laser heat treatment robot system that implements an OLP type simulator to overcome the limitation of manual process, and to improve and stabilize the quality level. In addition, we verified the efficiency of the robot system and mechanism stability from the early stage through design verification and simulated analysis in the development stage. In addition, we carried out a field test to study the way to establish optimized D/B for diode laser heat treatment criteria for car body molds, such as heat treatment speed, interval, etc. via site experiment.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2017.05a
• /
• pp.31-32
• /
• 2017

The Korea is conducted performance based on design according to fire fighting law in 2009, but it came out problems related to PBD consistently. Especially, there is no specific guideline or code related to evacuation safety verification. so it came out different results according to designer. This study is looking for each country criteria and suggest the basis data for Manual composition through comparison.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.7
• /
• pp.25-32
• /
• 2009

In this paper, we propose a new handwriting verification method using pattern analysis in off-line environments. The proposed method first segments character regions in a document and extracts effective features from the segmented regions. It then estimates the similarity between the extracted non-linear features and reference ones by using dynamic time warping and principal component analysis. Our handwriting verification method extracts handwriting features effectively and enables the verification of handwriting with various lengths of features as well as ones of short patterns. The experimental results show that our method outperforms others in terms as accuracy. We expect that the proposed method will automate the manual handwriting verification tasks and provide much objectivity on handwriting identification.

• Journal of Information Processing Systems
• /
• v.18 no.3
• /
• pp.311-318
• /
• 2022

Tobacco sales enterprises often need to summarize and verify the daily sales bills, which may consume substantial manpower, and manual verification is prone to occasional errors. The use of artificial intelligence technology to realize the automatic identification and verification of such bills offers important practical significance. This study presents a novel multi-branch residual network for tobacco sales bills to improve the efficiency and accuracy of tobacco sales. First, geometric correction and edge alignment were performed on the input sales bill image. Second, the multi-branch residual network recognition model is established and trained using the preprocessed data. The comparative experimental results demonstrated that the correct recognition rate of the proposed method reached 98.84% on the China Tobacco Bill Image dataset, which is superior to that of most existing recognition methods.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2219-2221
• /
• 2002

This paper describes QA methodologies for developed TBN control system that will be applied to nuclear power plants. The details are the development of QA Manual, QA Procedures, Equipment Qualification Procedure, Commercial Grade Items Dedication, and Software Verification & Validation Plan.

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.4
• /
• pp.115-123
• /
• 1993

This paper presents an alternative inspection method for counting items of a lot(or kit) in production lines or distribution centers. In this inspection, lots are weighed instead of counting all items of the lots in order to reduce the effort required for the 100% manual counting inspection. Inspection errors of this inspection procedure are analyzed and the impact of the variability of item weights on inspection errors are investigated. Two approaches, the cost assessment approach and the bicriterion decision making approach, are presented for the implementation of this inspection procedure.