• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2009년도 하계학술발표대회 논문집
• /
• pp.887-892
• /
• 2009

Biosafety research facilities require to verified about the facility and experimental environment, especially for level-3 and level-4 of biosafety research facilities verification is very important. In this paper, introduce verified procedures and present the methods and the results through a verified case of the biosafety level-3 research facilities.

• Nuclear Engineering and Technology
• /
• 제37권1호
• /
• pp.11-24
• /
• 2005

A very important feature in the development of nuclear technology has been and will continue to be the flow of information from nuclear data production to the various applications fields in nuclear technology. Both, nuclear data and this communications flow are defined in this paper. Nuclear data result from specific technical activities including their production, evaluation, processing, verification, validation and applications. These activities are described, focusing on nuclear reactor calculations. Mathematical definitions of different types of nuclear data are introduced, and international forums involved in nuclear data activities are listed. Electronic links to various sources of information available on the web are specified, whenever possible.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.1-9
• /
• 2015

원자력 분야에서 안전관련(safety-related) 소프트웨어의 활용이 점차 확대됨에 따라서, 그에 상응하는 소프트웨어 안전과 신뢰도 향상을 위한 방안 연구가 지난 10여년 전부터 활발히 진행되고 있다. 원전 계측제어시스템(MMIS)은 원자력 발전소의 두뇌와 신경망에 해당하는 기능을 수행하고 있고 첨단 디지털 장비들로 구성된다. 따라서 원전 계측제어시스템의 소프트웨어 오류는 원자력 발전소 운전에 지장을 초래할 수 있고, 오동작으로 인한 발전소 정지로 경제적 손실을 초래할 수 있다. 소프트웨어 확인 및 검증(verification and validation, V&V)은 소프트웨어 품질을 향상시킬 수 있는 소프트웨어 공학의 분야로 알려져 있고, 원자력 산업계에서는 소프트웨어 생명주기에 따른 철저한 V&V 활동을 이행하고 준수할 것을 법규로 규정하고 있다. V&V 활동은 소프트웨어 전 생명주기에 따라 분석과 시험 활동들의 조합으로 다른 품질관련 공학 업무를 보완하는 역할을 한다. 본 논문에서는 명세 평가, 요건 추적, 소스코드 리뷰, 및 소프트웨어 시험을 통한 최적화된 안전관련 소프트웨어 V&V 방법론에 기반한 소프트웨어 품질 향상 방안과 단계별로 적합한 도구를 활용하여 효율성을 확보할 수 있는 방안을 제시하고자 한다. 제안된 방법론은 실제 신한울 1,2호기 원자력발전소 MMIS 시스템에 적용되어 입증되었다.

• Geomechanics and Engineering
• /
• 제28권5호
• /
• pp.437-454
• /
• 2022

The hydro-mechanical (HM) two-way sequential coupling in the TOUGH2-FLAC3D linking algorithm is validated completely and successfully in both M to H and H to M directions, which are initiated by mechanical surface loading for geomechanical validation and hydrological groundwater pumping for hydrogeological validation, respectively. For such complete and successful validation, a TOUGH2-FLAC3D linked numerical model is developed first by adopting the TOUGH2-FLAC3D linking algorithm, which uses the two-way (fixed-stress split) sequential coupling scheme and the implicit backward time stepping method. Two geomechanical and two hydrogeological validation problems are then simulated using the linked numerical model together with basic validation strategies and prerequisites. The second geomechanical and second hydrogeological validation problems are also associated with the Mandel effect and the Noordbergum and Rhade effects, respectively, which are three phenomenally well-known but numerically challenging HM effects. Finally, sequentially coupled numerical solutions are compared with either analytical solutions (verification) or fully coupled numerical solutions (benchmarking). In all the four validation problems, they show almost perfect to extremely or very good agreement. In addition, the second geomechanical validation problem clearly displays the Mandel effect and suggests a proper or minimum geometrical ratio of the height to the width for the rectangular domain to maximize agreement between the numerical and analytical solutions. In the meantime, the second hydrogeological validation problem clearly displays the Noordbergum and Rhade effects and implies that the HM two-way sequential coupling scheme used in the linked numerical model is as rigorous as the HM two-way full coupling scheme used in a fully coupled numerical model.

• International Journal of Internet, Broadcasting and Communication
• /
• 제16권1호
• /
• pp.169-175
• /
• 2024

In this paper, we introduce a novel approach to enhance document security by integrating Computer Generated Hologram(CGH) encryption technology with a system for document encryption, printing, and subsequent verification using a smartphone application. The proposed system enables the encryption of documents using CGH technology and their printing on the edges of the document, simplifying document verification and validation through a smartphone application. Furthermore, the system leverages high-resolution smartphone cameras to perform online verification of the original document and supports offline document decryption, ensuring tamper detection even in environments without internet connectivity. This research contributes to the development of a comprehensive and versatile solution for document security and integrity, with applications in various domains.

• Journal of Information Processing Systems
• /
• 제14권2호
• /
• pp.346-376
• /
• 2018

Digital forensics is a vital part of almost every criminal investigation given the amount of information available and the opportunities offered by electronic data to investigate and evidence a crime. However, in criminal justice proceedings, these electronic pieces of evidence are often considered with the utmost suspicion and uncertainty, although, on occasions are justifiable. Presently, the use of scientifically unproven forensic techniques are highly criticized in legal proceedings. Nevertheless, the exceedingly distinct and dynamic characteristics of electronic data, in addition to the current legislation and privacy laws remain as challenging aspects for systematically attesting evidence in a court of law. This article presents a comprehensive study to examine the issues that are considered essential to discuss and resolve, for the proper acceptance of evidence based on scientific grounds. Moreover, the article explains the state of forensics in emerging sub-fields of digital technology such as, cloud computing, social media, and the Internet of Things (IoT), and reviewing the challenges which may complicate the process of systematic validation of electronic evidence. The study further explores various solutions previously proposed, by researchers and academics, regarding their appropriateness based on their experimental evaluation. Additionally, this article suggests open research areas, highlighting many of the issues and problems associated with the empirical evaluation of these solutions for immediate attention by researchers and practitioners. Notably, academics must react to these challenges with appropriate emphasis on methodical verification. Therefore, for this purpose, the issues in the experiential validation of practices currently available are reviewed in this study. The review also discusses the struggle involved in demonstrating the reliability and validity of these approaches with contemporary evaluation methods. Furthermore, the development of best practices, reliable tools and the formulation of formal testing methods for digital forensic techniques are highlighted which could be extremely useful and of immense value to improve the trustworthiness of electronic evidence in legal proceedings.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권6호
• /
• pp.335-342
• /
• 2017

원자력발전소 안전-필수 소프트웨어를 개발하고 검증 및 확인을 수행하여 규제기관으로부터 인허가를 받기 위하여 단순하게 문서를 읽고 검토해서는 개발, 구현 및 검증활동에 대한 신뢰성과 안전성 확보에 대하여 정확하게 판단하기가 쉽지 않다. 따라서 이러한 활동, 특히 안전보증 활동이 소프트웨어 결함이 허용가능한 수준인지 판단하기 위한 체계적인 평가기술이 필요하다. 본 연구에서는 원전 디지털 원자로보호계통의 비교논리 프로세서와 동시논리 프로세서를 대상으로 제작자가 수행한 개발 및 검증 결과물의 수준과 깊이를 평가하기 위해 안전진술(Safety case) 방법론을 적용하고 그 결과를 분석한다. 안전진술 방법론 적용으로 기존의 안전입증 방법을 효과적으로 보완할 수 있음을 확인하였다.

• 수면정신생리
• /
• 제27권2호
• /
• pp.51-55
• /
• 2020

본 논문에서는 국내 수면산업의 발전을 위해 수면제품 실증의 국내외사례와 평가 방법들에 대해 리뷰해 보았다. 국외에는 실증을 위한 회사나 단체가 비교적 체계적으로 제품을 검증하려고 하고 있지만 기관에 따라 다소 다른 방법을 활용하고 있었고, 표준화된 실증가이드가 확립되지는 않고 있었다. 국내의 경우는 객관적인 실증을 포함하는 평가는 사실상 전무하였다. 수면제품 실증을 위한 수면-각성 평가의 평가는 제품 자체에 관한 전문가 평가 및 사용자의 효과성 평가가 필요할 것이며 사용자 대상 평가는 주관적, 객관적 수면-각성 평가 및 일주기 리듬 평가 방법이 활용될 수 있겠다. 보다 정확한 검증을 위해 무작위 배정법, 대조 용품 활용법, 교차실험설계 등의 디자인도 활용될 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제27권11호
• /
• pp.13-18
• /
• 2022

본 논문에서는 학습에 참여하는 각 디바이스의 모델들로부터 성능검증에 따라 가중치를 두어 글로벌 모델을 업데이트하는 VW-FedAVG(Validation based Weighted FedAVG)를 두 가지 방식으로 제안 한다. 첫 번째 방식은 서버 검증(Server side Validation) 구조로 글로벌 모델을 업데이트 하기 전에 각 로컬 클라이언트 모델을 하나의 전체 검증 데이터셋을 통해 검증하도록 설계 했다. 두 번째는 클라이언트 검증(Client side Validation) 구조로 검증 데이터셋을 각 클라이언트에 고르게 분배하여 검증을 한 후 글로벌 모델을 업데이트 하는 방식으로 설계 했다. 전체 실험에 적용한 데이터셋은 MNIST, CIFAR-10으로 이미지 분류에 대해 IID, Non-IID 분포에서 기존 연구 대비 더 높은 정확도를 얻을 수 있었다.

• 기록학연구
• /
• 제14호
• /
• pp.91-117
• /
• 2006

전자기록은 평가 시 가치 평가와 진본 여부 평가를 함께 수행해야 한다. 그간 기록의 가치 평가에 대해서는 여러 논의가 진행되어 왔지만 진본 평가에 대해서는 그러하지 못했다. 이 글에서는 진본 평가가 기록관리 각 과정의 어느 국면에서 필요하고 그 구체적인 방법은 무엇인가를 밝히고 있다. 대체로 입수단계에서는, 생산기관에서의 재생산 직후의 일치 검증, 수신된 전자기록의 품질 및 일치 검증, 입수기록패키지와 보존기록패키지의 일치 검증이 필요하다. 저장단계에서는 매체수록된 보존기록패키지의 일치 검증, 저장된 전자기록의 손상여부 검사와 복구가, 각종 처리의 단계에서는 관리기준값 변경 처리 후의 적절성 평가, 기록철 분류구조 변경 후의 평가, 마이그레이션 이후의 일치평가 및 기타 주기적 무결성 평가, 배부기록의 일치 평가 등이 요구된다. 이러한 진본 평가를 위해서는 일치검증평가, 내용적 동일성 확인 평가, 메타데이터 요소의 적절성 평가, 불법적 변경여부의 확인 평가, 물리적 상태평가 등의 방법이 적용되어야 한다.