• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.41-51
• /
• 2010

500MW급 초임계압 표준 석탄 화력 발전소에의 실증 적용을 목표로 국산 분산제어시스템의 개발 연구가 진행되고 있다. 시뮬레이터는 원자력발전소의 디지털 제어시스템 업그레이드나 아날로그 제어 시스템의 디지털 제어시스템으로의 개체시 제어 시스템의 검증용으로 활용되고 있으며, 국내에서도 중용량 석탄 화력 보일러 제어 시스템 검증에 활용된 바 있다. 본 논문에서 는 500MW급 표준 석탄 화력 발전소에의 적용을 목적으로 개발 중인 제어 시스템을 검증하기 위해 제어 검증용 시뮬레이터를 개발하였다. 제어 검증을 위한 제어 모델을 개발하는데 있어서 현장 제어 시스템 데이터와 시뮬레이션 개발 환경에서 현장 데이터를 활용가능하게 하는 변환 프로그램, 제어 시스템 제작사 매뉴얼에 기반하여 제어 모델을 개발하였다. 개발한 시뮬레이터는 열평형상태시험, 부하변동 시험, 고장모사시험 등을 통하여 효용성을 확인하였으며, 개발 중인 제어 시스템을 검증하고, 기존 제어 시스템의 분석 및 개선에 유용하게 활용할 수 있을 것으로 기대한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.918-923
• /
• 1994

For the improvement of productivity, the reduction of cost and time for manufacturing is mandatory, especially in the field of electronic industry. The study is concemed with a practical means of systematic assistance to formability estimation and selection of reliable design specification for electronic sheet metal parts. The objective of this research work is to develop a simulation system which helps to analyze the target processes with the finite element method and to acquire available design data quickly and exactly and exactly. The simulation system developed in the study consists of design verification, selection of optimal combination of parameters, knowledge acquisition and graphical user interface(GUI). Design verification is automatically carried out by using the finite element method. A data base management system and nomograms are utilized for knowledge acquistion. The developed system has been applied to some major sheet metal forming operations such as flanging, embossing, bending and blanking. According to the simulated results, the validation of the target processes has been confirmed. Analysis data, estimation rules of formability and graphical representation of the analysis have been employed for the designer's understanfing and evaluation, thus providing a practical means of robot design and evaluation of formability for production electronic sheet metal parts.

• 한국정밀공학회지
• /
• 제13권5호
• /
• pp.104-114
• /
• 1996

For the improvement of productivity, the reduction of cost and time for manufacturing is mandatory, especially in the field of electromic industry. The study is concerned with a practical means of systematic assistance to formability estimation and selection of reliable design specification for electronic sheet metal parts. The objective of this research work is to develop a simulation system which hops to analyze the target processes with the finite element method and to acquire available design data quickly and exactly. The simulation system developed in the study consists of design verification, selection of optimal combination of parameters, knowledge acquisition and graphical user interface(GUI). Design verification is automatically carried out by using the finite element method. A data base management system and nomograms are utilized for knowledge acquisition. The developed system has been applied to some major sheet metal forming operations such as flanging, embossing, bending and blanking. According to the simulated results, the validation of the target processes has been confirmend. Analysis data, estimation rules of formability and graphical representation of the analysis have been employed for the designer's understanding and evaluation, thus providing a practical means of robust design and evaluation of forma- bility for producing electronic sheet metal parts.

• Nuclear Engineering and Technology
• /
• 제54권10호
• /
• pp.3897-3908
• /
• 2022

High-fidelity nuclear data libraries and neutronics simulation tools are essential for the development of fast reactors. The IAEA coordinated research project on "Neutronics Benchmark of CEFR Start-Up Tests" offers valuable data for the qualification of nuclear data libraries and neutronics codes. This paper focuses on the verification and validation of the CEFR start-up modelling using OpenMC Monte-Carlo code against the experimental measurements. The OpenMC simulation results agree well with the measurements in criticality, control rod worth, sodium void reactivity, temperature reactivity, subassembly swap reactivity, and reaction distribution. In feedback coefficient evaluations, an additional state method shows high consistency with lower uncertainty. Among 122 relative errors in the benchmark of the distribution of nuclear reaction, 104 errors are less than 10% and 84 errors are less than 5%. The results demonstrate the high reliability of OpenMC for its application in fast reactor simulations. In the companion paper, the influence of cross-section libraries is investigated using neutronics modelling in this paper.

• 한국인터넷방송통신학회논문지
• /
• 제19권4호
• /
• pp.105-111
• /
• 2019

본 논문에서는 근접전계 시험을 수행하여 Ka 대역 밀리미터파 탐색기용 도파관 광벽 슬롯 배열 안테나의 성능 검증을 수행하였다. 슬롯 배열 안테나의 측정은 원전계, 근접전계 시험을 모두 수행하고 비교하여 밀리미터파 대역의 근접전계 시험의 유효성을 확인하였다. 검증을 수행한 슬롯 배열 안테나의 빔폭 및 부엽 준위를 포함한 빔 패턴 특성이 동일함을 확인하였다. 방위각, 고각 빔패턴의 부엽준위 차이는 1dB 이내로 검증되었다. 추가로 back-projection 기법을 활용하여 근접전계 데이터를 가공한 후 안테나 개구면의 분포를 새롭게 추출하여 배열 안테나 성능 분석을 수행하는 방법에 대하여 소개하였다.

• Mass Spectrometry Letters
• /
• 제1권1호
• /
• pp.21-24
• /
• 2010

The development of clinical biomarkers involves discovery, verification, and validation. Recently, multiple reaction monitoring (MRM) coupled with stable isotope dilution mass spectrometry (IDMS) has shown considerable promise for the direct quantification of proteins in clinical samples. In particular, multiple biomarkers have been tracked in a single experiment using MRM-based MS approaches combined with liquid chromatography. We report here a highly reproducible, quantitative, and dynamic MRM system for validating multi-biomarker proteins using Nanoflow HPLC-Microfluidics Chip/Triple-Quadrupole MS. In this system, transitions were acquired only during the retention window of each eluting peptide. Transitions with the highest MRM-MS intensities for the five target peptides from colon cancer biomarker candidates were automatically selected using Optimizer software. Relative to the corresponding non-dynamic system, the dynamic MRM provided significantly improved coefficients of variation in experiments with large numbers of transitions. Linear responses were obtained with concentrations ranging from fmol to pmol for five target peptides.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2010년도 추계학술발표회 자료집
• /
• pp.241-245
• /
• 2010

화재방호에 성능기반 개념을 도입함에 따라 화재모델링의 활용도는 점점 높아지고 있다. 본 연구의 목적은 FDS를 이용하여 원자력발전소 펌프실의 윤활유 화재 시 케이블의 손상여부를 평가하고, 확인분석을 통해 화재모델링의 적합성을 파악하는 데 있다. 화재는 펌프 주변의 누출된 윤활유에서 발생하며 화원의 면적은 $2.75m^2$이고 단위면적당 열방출율은 $1,794kW/m^2$로 가정하였다. 계산결과, 고온기체층의 온도는 $400^{\circ}C$를 상회하고 있으나 케이블 트레이의 온도는 $50^{\circ}C$ 아래로 예측되고 있어 본 화재시나리오에서 케이블의 건전성은 유지되고 있으며 밀폐된 격실에서의 대형화재는 환기지배형 화재가 된다는 것을 보여주고 있다. 또한 확인분석 결과, 화재 시나리오의 주요 변수인 열방출율, 격실크기 그리고 강제 환기 변수가 확인계산 범위 내에 있어 본 계산결과는 NUREG-1824의 확인요건을 만족하고 있다. 따라서 펌프실 윤활유 화재에 대한 모델링의 적합성을 확인하였다.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권6호
• /
• pp.2111-2131
• /
• 2015

Tiered wireless sensor network is a network model of flexibility and robustness, which consists of the traditional resource-limited sensor nodes and the resource-abundant storage nodes. In such architecture, collected data from the sensor nodes are periodically submitted to the nearby storage nodes for archive purpose. When a query is requested, storage nodes also process the query and return qualified data as the result to the base station. The role of the storage nodes leads to an attack prone situation and leaves them more vulnerable in a hostile environment. If any of them is compromised, fake data may be injected into and/or qualified data may be discarded. And the base station would receive incorrect answers incurring malfunction to applications. In this paper, an efficient verifiable top-k query processing scheme called EVTQ is proposed, which is capable of verifying the authentication and completeness of the results. Collected data items with the embedded information of ordering and adjacent relationship through a hashed message authentication coding function, which serves as a validation code, are submitted from the sensor nodes to the storage nodes. Any injected or incomplete data in the returned result from a corresponded storage node is detected by the validation code at the base station. For saving communication cost, two optimized solutions that fuse and compress validation codes are presented. Experiments on communication cost show the proposed method is more efficiency than previous works.

• 풍력에너지저널
• /
• 제15권1호
• /
• pp.50-59
• /
• 2024

Floating LiDAR systems provide significant savings in cost and time compared to the fixed meteorological mast measurement type, and have the advantage of being able to be deployed in various locations due to less restriction on the depth of the installation site. However, to use the wind data collected by a floating LiDAR system commercially, verification procedure is required to ensure that the collected data have sufficient availability. The Carbon Trust OWA roadmap presents guidelines in three stages for the reliability of the wind data collected using a floating LiDAR system. Companies developing wind farms are requesting at least Stage 2 (pre-commercial stage) presented by OWA, and many overseas companies are leading the domestic and overseas markets. In this paper, we introduce the case of OWA Stage 2 certification for the commercial operation of floating LiDAR systems.