• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집 특별세미나,특별/일반세션
• /
• pp.191-198
• /
• 2009

There are almost no studies on verification of requirements for high speed rolling stocks by means of RAM goals and on setting RAM goals by means of verification on practical reliability, availability and maintainability for high speed rolling stocks though they are covered in specification of an order that RAM goals asked of rolling stocks are shown for gaining high quality of them and availability when they are in operation. This study is for estimating number of high speed train-sets that would be supplementarily placed an order through verification of RAM goals of a project for the introduction of KTX-II 100 cars. It verify that optimized requirements for high speed rolling stocks by relatively comparison with between requirements for train-sets through setting RAM goals and requirements for train-sets through analysis of prospects for management balance with high speed rolling stocks.

• Nuclear Engineering and Technology
• /
• 제56권7호
• /
• pp.2704-2710
• /
• 2024

Nuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production. While it has typically focused on analyzing material in permanent reactor structures, spent fuel or high-level waste also hold information about the reactor operation. In this computational study, we explore a Bayesian inference framework for reconstructing the operational history from measurements of isotope ratios from a sample of nuclear waste. We investigate two different inference models. The first model discriminates between three potential reactors of origin (Magnox, PWR, and PHWR) while simultaneously reconstructing the fuel burnup, time since irradiation, initial enrichment, and average power density. The second model reconstructs the fuel burnup and time since irradiation of two batches of waste in a mixed sample. Each of the models is applied to a set of simulated test data, and the performance is evaluated by comparing the highest posterior density regions to the corresponding parameter values of the test dataset. Both models perform well on the simulated test cases, which highlights the potential of the Bayesian inference framework and opens up avenues for further investigation.

• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.209-217
• /
• 2022

함정 전투관리체계는 다양한 센서, 무장 장비들이 연동 노드를 통해 연결되며 체계내 노드간 효율적인 통신을 위해 DDS(Data Distribution Service) 통신을 활용한다. DDS를 사용하기 위해 체계내 응용소프트웨어 사이에는 DDS토픽을 기본으로 하는 PUB/SUB(Publication/Subscribe)방식으로 통신한다. 이 PUB/SUB방식으로 통신하는 DDS 메시지 구조가 일치하지 않으면 송수신 응용소프트웨어에서 잘못된 명령처리 및 정보전달 등 문제가 발생한다. 이를 개선하기 위해 본 논문에서는 해시트리를 활용한 DDS 메시지 구조 무결성 검증 방법을 제안한다. 제안하는 방법의 전투관리체계에 적용가능성을 확인하기 위해, 제안하는 방법의 메시지 구조 무결성 검증률을 측정하고 전투관리체계의 운용과 개발과정에 미치는 영향을 확인하기 위해 전투관리체계 초기화 시간 비교, 메시지 해시트리의 생성시간 측정을 하였다. 이 시험을 통해 본 논문에서 제안하는 체계 안정성을 위한 메시지 구조 검증 방법이 함정 전투관리체계에 적용 가능함을 확인하였다.

• 산업융합연구
• /
• 제21권5호
• /
• pp.133-142
• /
• 2023

최근 학력 위변조 문제는 단순히 교육기관에서 생성된 증명서 조작, 재학 중에 수료를 졸업으로 속여 기록하는 등 자동화된 관계 검증과 검증 자체를 신뢰하기 어려운 문제가 존재한다. 이는 대학 기관들의 학력 데이터베이스 공유 부재와 학력 추적이 어려운 독립된 시스템을 구축/운영하고 있기 때문이다. 본 연구는 대학 기관을 중심으로 학력 검증을 위한 E-AV 모델을 설계 및 구현한다. 기존 학력에 대한 연계 정보들을 요약하여 암호화된 데이터베이스로 저장하고, 기존 시스템의 호환성과 확장성을 고려하여 웹 표준 기술로 구현했다. 샘플 데이터 검증 결과 위변조에 안전성을 개선하고, 저장 공간과 실행성능의 준수한다는 것을 확인했다. 본 연구는 향후 국내 대학 교육기관 학력 관리 등 온라인 검증 서비스 개선에 이바지하고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.465-471
• /
• 2011

In order to make an feasibility analysis of such as rail and road transportation infrastructure, it is common to perform economic analysis. one of the most important thing is how to estimate the operation cost of freight rail because that is required during the analysis time period and sometimes that takes more cost than the construction cost. Therefore, this study is to perform the verification of freight rail operation cost which is applied to the economic analysis of railway investment analysis. for this, it is compared truck operation cost variation with freight rail operation cost, when freight volume is converted from road to railway. In conclusion the cost variation of railway part is bigger than road part so it is necessary to improve the operation cost of freight rail estimation process.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
• /
• pp.305-308
• /
• 2005

The COMS, Korea's first geostationary multipurpose satellite program will accommodate 3 kind of payloads; Ka-Band communication transponder, GOCI (Geostationary Ocean Color Imager), and MI (Meteorological Imager). MI raw data will be transferred to ground station via L-band link. The ground station will perform image data processing for raw data, generate them into the LRIT/HRIT format, the user dissemination data recommended by the CGMS. The LRIT/HRIT are disseminated via satellite to user stations. This paper shows the COMS LRIT data generation procedure based on COMS LRIT specification and its verification results using the LRIT user station.

• 대한기계학회논문집A
• /
• 제39권3호
• /
• pp.291-301
• /
• 2015

제품 규정에는 제조사가 준수해야 하는 제품에 관한 다양한 지침 및 규제사항이 담겨 있다. 이 연구에서는 KS 표준을 활용하여 압력용기의 설계 결과를 검증하는 시스템 프레임워크와 구성 요소들을 제안한다. 그리고 기간 시스템으로부터 설계 템플릿 데이터를 생성하는 방법과 규정 지식베이스를 구축하는 방법을 제시한다. 마지막으로 압력용기 설계 검증 시스템을 구현하고 테스트 데이터를 활용한 실험을 통해 시스템 프레임워크를 검증한 결과를 논의한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제2권2호
• /
• pp.132-140
• /
• 2002

This paper presents an ARM-based SOC bus transaction verification IP and the usage experiences in SOC designs. The verification IP is an AMBA AHB protocol checker, which captures legal AHB transactions in FSM-style signal sequence checking routines. This checker can be considered as a reusable verification IP since it does not change unless the bus protocol changes. Our AHB protocol checker is designed to be scalable to any number of AHB masters and reusable for various AMBA-based SOC designs. The keys to the scalability and the reusability are Object-Oriented Programming (OOP), virtual port, and bind operation. This paper describes how OOP, virtual port, and bind features are used to implement AHB protocol checker. Using the AHB protocol checker, an AHB simulation monitor is constructed. The monitor checks the legal bus arbitration and detects the first cycle of an AHB transaction. Then it calls AHB protocol checker to check the expected AHB signal sequences. We integrate the AHB bus monitor into Verilog simulation environment to replace time-consuming visual waveform inspection, and it allows us to find design bugs quickly. This paper also discusses AMBA AHB bus transaction coverage metrics and AHB transaction coverage analysis. Test programs for five AHB masters of an SOC, four channel DMAs and a host interface unit are executed and transaction coverage for DMA verification is collected during simulation. These coverage results can be used to determine the weak point of test programs in terms of the number of bus transactions occurred and guide to improve the quality of the test programs. Also, the coverage results can be used to obtain bus utilization statistics since the bus cycles occupied by each AHB master can be obtained.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.1015-1020
• /
• 2003

생체정보를 활용하여 개인정보를 보호하는 기술 가운데 화자증명은 다양한 사용편의성과 구현비용 면에서 이점을 갖고 있어 폭넓은 활용이 기대된다. 화자증명은 증명성능의 신뢰성, 음성문장 사용의 유연성, 증명시스템 복잡도의 효율성 면에서 높은 수준을 달성해야 한다. 지속음은 화자 구별력이 뛰어나며 구별되는 종류가 한정적이고, MLP(multilayer perceptron)는 높은 패턴인식률과 신속한 동작성능을 갖고 있어 화자증명 시스템이 이와 같은 특성을 달성하기 위한 유력한 수단을 제공한다. 본 논문에서는 지속음과 MLP를 적용한 시스템을 구현하고 한국어 음성 데이터베이스를 이용하여 이 시스템의 성능을 측정하고 분석한다. 실험의 결과는 지속음이 세 가지 특성에 대해 우수한 효과를 가지며 MLP가 높은 신뢰성과 효율성을 달성하는 데 실질적인 도움이 됨을 확인한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.177-178
• /
• 2006

The enhancement of system security is one of the most important objectives of UPFC operation. To describe the system security, the index related to line flows and bus voltages are used. For the enhancement of security, the operation point of UPFC is set to minimize the index. This paper proposes the minimization algorithm using the Marquardt method. Moreover, the coefficients minimizing iteration number will be derived. For verification of the proposed operation scheme, numerical simulations have been performed on power system in Kwanju area, Korea with a UPFC.