• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.126-131
• /
• 2007

Design for automatic coupler system of Korean Tilting Train eXpress is described. In order to carry out validation & verification activities for system design, test condition is taken into account at collision speed of 10km/h, which is required in Safety Notice for rolling stock vehicle. The study aims at safety validation between a coupler and car body including design verification for a coupler through the identifying of system design and the evaluating of test results.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 하계종합학술대회 논문집(2)
• /
• pp.585-588
• /
• 2004

This paper describes design and verification of the motion estimation and compensation unit using full search algorithm. Video processor is the key device of video communication systems. Motion estimation is the key module of video processor. The technologies of motion estimation and compensation unit are the core technologies for wireless video telecommunications system, portable multimedia systems. In this design, Verilog simulator and logic synthesis tools are used for hardware design and verification. In this paper, motion estimation and compensation unit are designed using FPGA, coded in Verilog HDL, and simulated and verified using Xilinx FPGA.

• 한국군사과학기술학회지
• /
• 제21권5호
• /
• pp.675-683
• /
• 2018

In this paper, we have proposed a design and verification methods of electrical system and power loads for unmaned aeriel vehicles(UAVs) through electrical load analysis. In order to meet a UAV system requirement and electrical system specifications, we have designed an electrical power system for efficient power supply and distribution and have theoretically analyzed the power loads according to the power consumption and power bus design of UAV. Using electrical system rig, the designed electrical power system has been experimentally verified. Also, we have performed several flight tests to verify the UAV electrical system and power loads. It is concluded that the proposed design and verification method of electrical system for UAV system.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 1998년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Spring 1998
• /
• pp.103-112
• /
• 1998

The earthquake resistant design for roadway bridges introduced in 1992 is conducted according to the "Standard Specification for Roadway Bridges", Division V, Seismic Design and the first revision of the Standard was done in 1996. However, dur to different concepts of the earthquake resistant design from those of the other designs, the provisions given in the Standard are still not applied appropriately. In this paper the verification of the earthquake resistant capacity of a bridge with typical configurations, 5-span steel box girder bridge, is carried out based on the application rules of the present Standard in order to provide clear understandings about the earthquake resistant verification and the earthquake resistant design as well.n as well.

• 대한전자공학회논문지SD
• /
• 제43권7호
• /
• pp.38-49
• /
• 2006

본 논문에서는 SoC를 검증 및 테스트하기 위한 새로운 개념의 칩을 제안하고 이를 SwToC(System with Test on a Chip)라 명명한다. SwToC는 SoC의 임베디드 프로세서에 재구성 가능한 로직을 추가하여 칩의 물리적인 결함을 테스트할 수 있을 뿐만 아니라 기존의 기법으로는 수행이 어려웠던 테스트 단계에서의 디자인 검증이 가능하도록 한 칩을 말한다. 제안한 개념의 칩은 고속 검증이 가능하며 테스트를 위해 많은 비용이 소모되는 ATE 가 불필요한 장점을 갖고 있다. 제안한 칩의 디자인 검증 및 테스트 기능을 평가하기 위하여 임베디드 프로세서가 내장된 상용 FPGA를 이용하여 SwToC를 구현하였으며, 구현 결과 제안한 칩의 실현 가능성을 확인하였고 적은 비용의 단말기를 통한 테스트가 가능함은 물론 기존의 검증기법에 비해 고속 검증이 가능함을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제56권4호
• /
• pp.1330-1338
• /
• 2024

Information on isotopic composition and geometric structure is necessary for identifying a true warhead. Nevertheless, such classified information should be protected physically or electronically. With a novel Hash encryption algorithm, this paper presents a Monte Carlo-based design of a neutron activation analysis verification module. The verification module employs a thermal neutron source, a non-uniform mask (physically encrypting information about isotopic composition and geometric structure), a gamma detector array, and a Hash encryption algorithm (for electronic encryption). In the physical field, a non-uniform mask is designed to distort the characteristic gamma rays emitted by the inspected item. Furthermore, as part of the Hash algorithm, a key is introduced to encrypt the data and improve the system resolution through electronic design. In order to quantify the difference between items, Hamming distance is used, which allows data encryption and analysis simultaneously. Simulated inspections of simple objects are used to quantify system performance. It is demonstrated that the method retains superior resolution even with 1% noise level. And the performances of anti-statistical attack and anti-brute force cracking are evaluated and found to be very excellent. The verification method lays a solid foundation for nuclear disarmament verification in the upcoming era.

• 토지주택연구
• /
• 제8권1호
• /
• pp.23-29
• /
• 2017

The BIM design is expected to expand to the domestic and overseas construction industries, depending on the effect of construction productivity and quality improvement. However, with the obligation of Public Procurement Service to design the BIM design, it includes a design error and the problem of utilization of 3D design by choosing a simple 2D to 3D remodelling method that can not be modelled in 3D modeling or use of the construction and maintenance phases. The results reviewed by BIM design results were largely underutilized and were not even performed with the verification of the error. In order to resolve this, one must develop the check system that secures the quality of BIM design and ensure that the reliability of BIM results are available. In this study, it is designed to develop a program that can automatically verify the design of the BIM design results such as violation of the rules of the BIM design, design flaws, and improve the usability of the BIM design. In particular, this programs were developed not only to identify programmes that were not commercially available, but also to validate drawings in low-light computer environments. The developed program(LH-BIM) store the information of attribute extracted from the Revit file(ArchiCAD, IFC file included) in the integrated DB. This provides the ability to freely lookup the features and properties of drawings delivered exclusively by the LH-BIM Program without using the Revit tools. By doing so, it was possible to resolve the difficulties of using traditional commercial programs and to ensure that they operate only with traditional PC performance. Further, the results of the various BIM software can be readily validated, which can be solved the conversion process error of IFC in the case of SMC. Additionally, the developed program has the ability to automatically check the error and design criteria of the drawings, as well as the ability to calculate the area estimation. These functions allow businesses to apply simple and easy tasks to operate tasks of BIM modelling. The developed system(LH-BIM) carried out a verification test by reviewing the review of the BIM Design model of the Korea Land & Housing Corporation. It is hoped that the verification system will not only be able to achieve the Quality of BIM design, but also contribute to the expansion of BIM and future construction BIM.

• 대한전자공학회논문지SD
• /
• 제41권6호
• /
• pp.71-80
• /
• 2004

본 논문은 8비트 마이크로 컨트롤러인 8051과의 호환성을 가진 16비트 마이크로 컨트롤러의 설계 및 검증 과정에 대해서 다루고 있다. 설계 디자인의 동작을 확인하기 위해 명령어별 검증과 명령어 조합에 의해 생성된 다양한 형태의 명령어 셋을 검증했다. 또한 다양한 형태의 명령어를 보다 효율적으로 검증하기 위한 방법을 제시한다. IMA-ADPCM, SOLA 등의 응용 프로그램의 검증을 통해서 설계 디자인의 동작을 확인하였다. 최종적으로 Xilinx FPGA(XCV1000-560C)를 이용한 보드 구현을 통해서 명령어 및 응용 프로그램 등의 동작을 검증했다. 타겟 컨트롤러인 8비트 마이크로 컨트롤러, 8051과의 호환성 및 성능비교를 통해서 널리 사용 중인 8051을 대체 할 수 있고 보다 나은 성능을 발휘할 수 있다는 것을 보인다.

• 한국BIM학회 논문집
• /
• 제11권3호
• /
• pp.1-11
• /
• 2021

BIM is one of the means of reducing the economic loss caused by design errors. These features of BIM have led to increased use of BIM. With the increasing use of BIM, several studies have been conducted to analyze the performance of BIM. As the importance of BIM staff is emphasized in the performance analysis of BIM, the human resource allocation of BIM staff can become an important research issue. However, there are few studies to measure the workforce effectiveness of BIM staff. Ham et al (2020) measured BIM workforce efficiency using FCFS queue model rules. Since design errors can have different effects on the project depending on the type, there are design errors that must be dealt with first. Therefore, in this study, a priority queue was used to solve design errors with high priority first. The performance of BIM-based design verification was analyzed by quantitatively analyzing the performance of BIM staff when the priority rule was applied to the design error processing sequence.

• Journal of Advanced Marine Engineering and Technology
• /
• 제38권2호
• /
• pp.123-132
• /
• 2014

The maritime sector is advancing with dedicated endeavor to reduce greenhouse gas in addressing issues with regards to global warming. Since 01 January 2013, the International Maritime Organization (IMO) regulation mandatory requirement for Energy Efficiency Design Index (EEDI) has been in place and should be satisfied by newly-built ships of more than 400 gross tonnage and the Ship Energy Efficiency Management Plan (SEEMP) for all ships type. Therefore, compliance to this necessitates planning during the design stage whereas verification can be carried-out through an acceptable method during sea trial. The MEPC-approved 2013 guidance, ISO 15016 and ISO 19019 on EEDI serves the purpose for calculation and verification of attained EEDI value. Individual ships EEDI value should be lower than the required value set by these regulations. The key factors for EEDI verification are power and speed assessment and their synchronization. The shaft power can be measured by telemeter system using strain gage during sea trial. However, calibration of shaft power onboard condition is complicated. Hence, it relies only on proficient technology that operates within the permitted ISO allowance. On the other hand, the ship speed can be measured and calibrated by differential ground positioning system (DGPS). An actual test on a newly-built vessel was carried out to assess the correlation of power and speed. The Energy-efficiency Design Index or Operational Indicator Monitoring System (EDiMS) software developed by the Dynamics Laboratory-Mokpo Maritime University (DL-MMU) and Green Marine Equipment RIS Center (GMERC) of Mokpo Maritime University was utilized for this investigation. In addition, the software can continuously monitor air emission and is a useful tool for inventory and ship energy management plan. This paper introduces the synchronization and identification method between shaft power and ship speed for EEDI verification in accordance with the ISO guidance.