• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.470-481
• /
• 2016

Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an alternative platform to programmable logic controllers for digital instrumentation and control. The software aspect of FPGA development consists of several steps of synthesis and refinement, and also requires verification activities, such as simulations that are performed individually at each step. This study proposed an integrated software-testing framework for simulating all artifacts of the FPGA software development simultaneously and evaluating whether all artifacts work correctly using common oracle programs. This method also generates a massive number of meaningful simulation scenarios that reflect reactor shutdown logics. The experiment, which was performed on two FPGA software implementations, showed that it can dramatically save both time and costs.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2007년도 추계학술발표논문집
• /
• pp.78-80
• /
• 2007

According to the development of VLSI integration technology and getting bigger the circuit size, it is a significant problem to verify systemized circuit. The faster and more accurate verification has very significant meaning in the field of electronic industry because it can yield the product comparably faster and reduce the trial and errors. In spite of the presence of various kind of Integrated Circuits it's not always easy to get the right part. Besides, it is hard to find a vendor for a small quantity consumers like who develop prototype applications. In this study, we've tried to get the logical signals from the PC based device we've developed that correspondents with the real ICs. It can emulate decoder ICs, multiplexers, demultiplexers and basic logic gates.

• KEPCO Journal on Electric Power and Energy
• /
• 제5권3호
• /
• pp.165-171
• /
• 2019

The steam turbine used in nuclear power plant is modeled for the purpose of verification of control system rather than the operator education. The valves, reheater and generator are modeled also and integrated into the simulator. After that, the operation data and the designed data such as heat balance diagram are utilized to identify the model parameters. It was evident that model outputs of developed simulator are very close to the measured operating ones. The simulator within dynamic model was used to verify and validate the whole control system together with field instruments. And the target plant has been operating long time.

• 자동차안전학회지
• /
• 제15권1호
• /
• pp.16-26
• /
• 2023

Recently, the importance of simulation in a virtual driving environment as well as real road-based tests for autonomous vehicle testing is increasing. Real road tests are being actively conducted at K-City, an autonomous driving test bed located at the Korea Automobile Safety Test & Research Institute of the Transportation Safety Authority. In addition, the need to advance the K-City virtual driving environment and build a virtual environment similar to the autonomous driving system test environment in real road tests is increasing. In this study, for K-City of Korea Automobile Safety Test & Research Institute, using detailed drawings and actual field data, K-City virtual driving environment was advanced, and similarity verification was verified through comparative analysis with actual K-City.

• 복합신소재구조학회 논문집
• /
• 제1권1호
• /
• pp.34-45
• /
• 2010

This paper describes the design, manufacturing process, testing, application, and assessment of capacity-ratings of the first all advanced composites bridge on a public highway system. In order to verify the bridge design prior to the field application, a sub-scale bridge superstructure was built and tested in the laboratory. The field load test results were compared with those of the finite element analysis for the verification of validity. To investigate its in-service performance, field load testing and visual inspections were conducted under an actual service environment. The paper includes the presentation and discussion for advanced composites bridge capacity rating based on the stress modification coefficients obtained from the test results. The test result indicates that the advanced composites bridge has no structural problems and is structurally performing well in-service as expected. Since these composite materials are new to bridge applications, reliable data is not available for their in-service performance. The results may provide a baseline data for future field advanced composites bridge capacity rating assessments and also serve as part of a long-term performance of advanced composites bridge.

• 전자공학회논문지SC
• /
• 제43권6호
• /
• pp.68-75
• /
• 2006

고 에너지 방사선을 이용하여 종양을 치료하는 과정 중 발생되는 오차를 확인하여 보다 정교한 치료를 수행함으로써 방사선치료 효율을 향상시킬 수 있다. 본 논문에서는 지금까지 주로 사용되어진 필름을 이용한 아날로그 방식대신 실 시간적으로 영상을 얻을 수 있는 디지털 방식의 비디오 기반 전자 포탈 영상 장치를 개발하였다. 시스템은 $Gd_2O_2S$ 인광판, $45^{\circ}$반사경 및 후레임 그래버를 이용 비디오 기반 전자 포탈 영상 장치를 제작하였으며 이를 방사선치료기의 QA장치로 활용하고자 하였다. 이 장치를 이용 치료기 자체의 정확도를 검증하기 위해 방사선 조사면 검증을 수행하였다. 방사선 조사면이 콜리메이터 회전오차에 의해 약 $0.6^{\circ}$틀어짐을 전자 포탈 영상 장치를 통해 획득된 영상의 윤곽선을 검출한 후 알 수 있어서 치료 위치 설정 중 발생할 수 있는 오차 확인을 위한 방사선 치료장치의 Q.A도구로 사용할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권1호
• /
• pp.82-91
• /
• 2009

수화 적출은 연속된 손 동작에서 의미 있는 수화 단어를 검출 및 인식하는 것을 말한다. 수화는 손의 움직임과 모양의 변화가 다양하기 때문에 수화 문장에서 수화를 적출하는 것은 쉬운 문제가 아니다. 특히, 자연스러운 수화 문장에는 의미 있는 수화, 수화가 아닌 손동작이 무작위로 발생한다. 본 논문에서는 CRF(Conditional Random Field)에 기반한 적응적 임계치 모델을 제안한다. 제한된 모델은 수화 어휘집에 정의된 수화 손동작과 수화가 아닌 손동작을 구별하기 위한 적응적 임계치 역할을 수행한다. 또한, 수화 적출 및 인식의 성능 향상을 위해 손 모양 기반 수화 인증기, 짧은 수화 적출기, 부사인(subsign) 추론기를 제안된 시스템에 적용하였다. 실험 결과, 제안된 방법은 연속된 수화 동작 데이타에서 88%의 적출률, 사전에 적출된 수화 동작 데이타에서 94%의 인식률을 보였으며, 적응적 임계치 모델, 짧은 수화 적출기, 손 모양 기반 수화 인증기, 부사인 추론기를 사용하지 않은 CRF 모델은 연속된 수화 동작 데이터에서 74%의 적출률, 사전에 적출된 수화 동작 데이타에서 90%의 인식률을 보였다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2000년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Spring
• /
• pp.427-434
• /
• 2000

This paper presents a computer program for a 2-D fluid-structure-soil interaction analysis. With this computer program the fluid can be modeled by a spurious free 4-node displacement-based fluid element which uses rotational penalty and mass projection technique in conjunction with the one point reduced integration scheme to remove the spurious zero energy modes. The structure and near field soil are discretized by the standard finite elements while the unbounded far field soil are discretized by the standard finite elements while the unbounded far field soil is represented by the frequency dependent dynamic infinite elements. Sine this method models directly the fluid-structure-soil system it can be applied to the dynamci analysis of 2-D liquid storage structure with complex geometry. For the purpose of verification dynamic analyses for tanks on a rigid foundation and on compliant embankment are carried out. Comparison of the present results with those by ANSYS program shows good agreement.

• 공학교육연구
• /
• 제19권6호
• /
• pp.32-37
• /
• 2016

The purpose of this study is to extract a skill level of human resource in the field of science and technology. To accomplish the goal of this study, precedent research was conducted and then, the draft of skill level for Human Resource in the field of Science and Technology (HRST) was created by wrap-up meeting. The skill level of the HRST was finalized after confirming verification of 20 SMEs (Subject Matter Experts) from January to February 2016 by two times. The conclusions are as follows; First, the skill level of the HRST consists five categories. Each of the level has educational background, work experience, certification, duty, major and so on. Second, the contents of the skill level were found to be mostly valid.

• 전기학회논문지
• /
• 제58권4호
• /
• pp.665-670
• /
• 2009

The second paper, Part 2, describes the field testing of IEEE type PSS2A EX2000 excitation in the Dangjin 612 MVA T/P #4. The final PSS gain, $K_s$, was determined by inputting 2%-step signals into AVR at a loading of 500MW and increasing $K_s$, from 0 to 15 in increments of 3. After the field testing, the measured data was also analyzed by Discrete Fourier Transformation(DFT) analysis, and the model parameters of generation system were verified by replicating the measured data with the transient stability program.