• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 문화기술의 융합
• /
• 제9권6호
• /
• pp.1049-1055
• /
• 2023

농업용 드론을 이용한 방제 작업의 경우 그 경제적 효율성으로 인해 활용도가 증가하고 있으나, 작업자의 숙련도에 따라 효과의 차이가 발생한다. 이에 본 연구에서는 스마트 운영 모드를 적용하여, 수동 비행 모드에서 제어의 단점을 보완하고 이에 대한 수치적 모델을 제안하고, 선행 연구와 비교 검증을 통해 실험적 검증을 수행하였다. 그 결과 농업용 방제 드론들의 분사 시간 및 방제면적을 도출하였고, 수치적 모델과 유사성이 높은 방제용 드론을 선정하여 실험적으로 검증하였다. 이를 통해 수동 비행 모드보다 스마트 운영 모드 적용 시 살포 면적 및 작업(살포 균일도 및 작업 효율)이 상대적으로 효과적인 것을 확인하였다.

• 한국미생물·생명공학회지
• /
• 제46권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.

• 한국기계가공학회지
• /
• 제14권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.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 춘계 학술논문 발표대회
• /
• 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
• /
• 제48권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.

• 한국컴퓨터정보학회논문지
• /
• 제14권7호
• /
• pp.25-32
• /
• 2009

논문에서는 오프라인 환경에서 패턴분석을 적용하여 두필적의 유사성을 자동으로 분석하여 필적을 검증하는 방법을 제안한다. 제안된 방법에서는 먼저 필적 문서에서 문자 영역만을 분할하고, 분할된 문자 영역에 대한 특징을 추출한다. 그리고 비선형적인 형태로 추출되는 특징으로부터 동적 타임 워핑(DTW)과 다변량 통계 분석법(PCA) 알고리즘을 이용하여 기준이 되는 특징과의 유사성을 구한다. 본 논문에서 제안된 필적 검증 방법은 효과적인 특징 추출 방법 및 기존의 짧은 패턴에서 효과적으로 수행하던 방법들을 다양한 길이를 가진 특징에 대해서도 효과적으로 필적 검증이 가능하도록 하였다. 본 논문은 실험 결과는 제안된 방법인 기존의 방법보다 우수함을 다양한 실험을 통해서 보여준다. 제안된 필적 검증 방법은 기존에 감정 전문가에 의해 수동적으로 수행되던 필적 검증 작업을 자동화하고, 기존 필적 검증 작업의 객관성을 배가할 수 있을 것으로 기대된다.

• Journal of Information Processing Systems
• /
• 제18권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• 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.

• 대한산업공학회지
• /
• 제19권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.