• Nuclear Engineering and Technology
• /
• 제36권4호
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.69-71
• /
• 2023

본 논문은 YOLO 기반 모델의 철도 시스템 내 선로 고정장치 탐지 성능을 비교하고 분석한다. 여기서 철도 시스템은 열차가 주행하기 위한 선로, 침목, 패스너 등의 구성요소를 포함한다. 침목은 지반과 직접적으로 연결되며, 선로를 지반 위에 안정적으로 지지하고 궤간을 정확하게 유지하는 역할을 한다. 또한, 패스너는 선로를 침목에 단단히 고정시키는 역할을 한다. 이러한 선로 고정장치의 부재는 인명 사고로 이어질 수 있어 지속적인 관리와 유지 보수가 필수적이다. 본 논문에서는 철도 시스템의 선로 고정장치 탐지를 위해 YOLO V5 및 V8 딥러닝 모델의 적용 가능성을 실험적으로 접근하며, 두 모델의 탐지 성능을 비교한다. 실험 결과, YOLO V8 및 V5 모델은 모두 뛰어난 성능을 보이는데, 특히 YOLO V8 모델이 더욱 우수한 성능을 보인다. 이로써 YOLO 알고리즘은 선로 고정장치 탐지에 적합하다는 것을 증명한다. 그러나 일부 False Positive Sample이 관측되었음을 확인하고, 이로부터 모델 성능의 개선이 필요하다는 결론을 도출하였다.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.473-480
• /
• 2021

차세대 공개키 암호 고속 연산을 위해서는 목표로 하는 컴퓨터 프로세서의 구조를 활용하여 암호화 기본 연산을 최적화 구현하는 것이 중요하다. 본 논문에서는 RISC-V 프로세서 상에서 차세대 공개키 암호 고속 연산을 위해 핵심 곱셈기 연산을 최적화 구현하는 기법을 제안한다. 특히 RISC-V 프로세서의 기본 연산자를 열 기반 곱셈기 연산알고리즘에 맞추어 최적 구현해봄으로서 이전 연구와 비교 시 256-비트 곱셈의 경우 약 19% 그리고 512-비트 곱셈의 경우 약 8%의 성능 향상을 RISC-V 프로세서 상에서 달성하였다. 마지막으로 RISC-V 프로세서에서 추가적으로 제공되면 곱셈 연산 성능 향상에 도움이 될 수 있는 확장 명령어 셋에 대해서도 확인해 보도록 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2024년도 제69차 동계학술대회논문집 32권1호
• /
• pp.291-292
• /
• 2024

국내의 산재 사고 사망 비율 중 대부분은 건설업이 차지하고 있으며 사망 원인 중 42.9%는 추락사가 차지하고 있다. 따라서 국내 사고 사망을 예방하기 위해서는 노동자의 생명을 지켜주는 안전 장비의 착용 여부가 중요하다. 본 논문에서는 객체 탐지에 사용되는 YOLO v4와 YOLO v4-TINY 알고리즘과 영상 처리에 사용되는 OpenCV를 이용하여 실시간 영상에서 안전모 미착용 인원을 감지하고 관리자에게 알려주는 시스템을 개발하였다. 이 시스템을 활용하여 건설 현장에서 현장 카메라로 안전모 미착용 인원을 실시간으로 검출하여 경고하므로써 작업자의 안전에 기여할 수 있다.

• Journal of Veterinary Science
• /
• 제22권1호
• /
• pp.12.1-12.11
• /
• 2021

Background: Bats have been considered natural reservoirs for several pathogenic human coronaviruses (CoVs) in the last two decades. Recently, a bat CoV was detected in the Republic of Korea; its entire genome was sequenced and reported to be genetically similar to that of the severe acute respiratory syndrome CoV (SARS-CoV). Objectives: The objective of this study was to compare the genetic sequences of SARS-CoV, SARS-CoV-2, and the two Korean bat CoV strains 16BO133 and B15-21, to estimate the likelihood of an interaction between the Korean bat CoVs and the human angiotensin-converting enzyme 2 (ACE2) receptor. Methods: The phylogenetic analysis was conducted with the maximum-likelihood (ML) method using MEGA 7 software. The Korean bat CoVs receptor binding domain (RBD) of the spike protein was analyzed by comparative homology modeling using the SWISS-MODEL server. The binding energies of the complexes were calculated using PRODIGY and MM/GBGA. Results: Phylogenetic analyses of the entire RNA-dependent RNA polymerase, spike regions, and the complete genome revealed that the Korean CoVs, along with SARS-CoV and SARS-CoV-2, belong to the subgenus Sarbecovirus, within BetaCoVs. However, the two Korean CoVs were distinct from SARS-CoV-2. Specifically, the spike gene of the Korean CoVs, which is involved in host infection, differed from that of SARS-CoV-2, showing only 66.8%-67.0% nucleotide homology and presented deletions within the RBD, particularly within regions critical for cross-species transmission and that mediate interaction with ACE2. Binding free energy calculation revealed that the binding affinity of Korean bat CoV RBD to hACE2 was drastically lower than that of SARS-CoV and SARS-CoV-2. Conclusions: These results suggest that Korean bat CoVs are unlikely to bind to the human ACE2 receptor.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• Nuclear Engineering and Technology
• /
• 제47권2호
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제2권1호
• /
• pp.23-32
• /
• 2002

As the function of digital products gets diverse and complex, more than 30~40% job of software developing and testing group within its development cycle, concentrates on the software testing[1]. To cope with consumers'quickly changing needs, development cycle time gets short, and the number of model and test items increase steadily This is why automating software basic function and UI(User Interface) verification is needed [4][5][6]. This paper draws many strength and weakness defines Input/Output through integrating mobile phone, DVDP, PDA, and Black-Box (Intrusive (mobile) or Non-Intrusive(DVDP, PDA)) testing systematically, which brought above the 64% average of automation rate, and ensure 80% of test coverage [4][5][6].

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1472-1474
• /
• 2012

한국전력공사(KEPCO) 전력연구원(KEPRI) 소프트웨어센터에서는 연구과제에 포함되어 개발되는 R&D SW의 개발/품질관리 업무의 효율적 수행 및 품질확보를 위하여 "R&D SW 엔지니어링 플랫폼(KSEP : KEPRI Software Engineering Platform)"을 구축하여 현재 운영중에 있다. KSEP은 SW 개발 및 품질관리 업무의 체계적인 수행을 지원하기 위한 국제표준모델(CMMI-DEV) 기반의 프로세스지원 통합 시스템으로서 워크플로우관리, 일정관리, 요구사항관리, 검증 및 확인(V&V) 등의 기능 및 도구를 제공한다.

• 방송공학회논문지
• /
• 제22권5호
• /
• pp.589-599
• /
• 2017

본 논문은 후각실험에 사용되는 향기에 대한 신뢰성을 검증하기 위한 연구로 MPEG-V(ISO/IEC 23005) 표준을 활용한 후각효과 재현 시스템을 소개한다. 구현된 시스템을 활용하여 실험 참여자들에게 두부장착교시장치(Head Mounted Display: HMD)를 착용시킨 상태에서 향기와 향기객체 이미지의 일대일 매칭, 향기와 다수의 향기객체 이미지 매칭, 그리고 발향장치와 피험자와의 거리별 선호도 분석을 실시하였다. 실험 결과 분석을 통해 후각도구로 커피, 코코아, 바나나, 복숭아 향기를 실험에 적합한 향기로 선정하였다. 매칭 정확도가 높았던 커피 향기의 경우 발향장치와 참여자 사이의 거리가 10~20cm인 경우가 30cm보다 이미지 매칭에 더 효과적이었다. 향후 본 연구를 통해서 선정된 향기를 사용하여, 가상현실 콘텐츠의 몰입감 및 현장감 향상을 위한 후각 연구를 진행할 것이다.