• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.31-33
• /
• 2003

기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

• Tribology and Lubricants
• /
• v.2 no.1
• /
• pp.18-29
• /
• 1986

한국철도에서는 현재 약 450냥에 가까운 Diesel 기관차를 보유하고 있으며 기관의 정밀검사를 위한 Enginer의 Overhaul은 2Y검사로 2년마다 실시하고 있다. 원래 Engine의 Overhaul 주기간격은 Liner Bore와 Piston Ring 등 동력장치 조립체의 구성부품의 체험적인 마모율을 감안하여 결정되며 가장 경제적이면서도 무장애운행을 가능케 하는 것은 마모율이 최저로 유지되고 있을 때이다. 따라서 기관의 마모를 최대로 억제하는 것이 바람직하다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.2C
• /
• pp.173-177
• /
• 2008

In this paper, we improve performance of Low Density Parity Check (LDPC) codes with adding a large number of short cycles. Short cycles, especially cycles of length 4, degrade performance of LDPC codes if the standard BP (Belief Propagation) decoding is used. Therefore current researches have focused on removing cycles of length 4 for designing good performance LDPC codes. We found that a large number of cycles of length 4 improve performance of LDPC codes if a modified BP decoding is used. We present the modified BP decoding algorithm for LDPC codes with a large number of short cycles. We show that the modified BP decoding performance of LDPC codes with a large number of short cycles is better than the standard BP decoding performance of LDPC codes designed by avoiding short cycles.

• Journal of the Korean Society for Precision Engineering
• /
• v.31 no.9
• /
• pp.777-782
• /
• 2014

Usually, railway axles are designed for infinite life based on endurance limit of the material and the axle is not fractured immediately when a surface crack initiated. The railway axles have been inspected regularly by NDT such as ultrasonic testing, magnetic testing and eddy current testing and so on. Because the axle failure is profoundly influenced by the probability of missing a fatigue crack during an NDT inspection, it is necessary to evaluate the Non Destructive Interval of railway axle. In the present paper, the Non Destructive Interval of railway axle based on fracture mechanics and finite element analysis was investigated. It was shown that the Non Destructive Interval of railway axle can be evaluated using fracture mechanics approach and extended using NDT which a crack can detect clearly.

• 한국지구과학회:학술대회논문집
• /
• 2004.02a
• /
• pp.1-1
• /
• 2004

• 열병합발전
• /
• s.12
• /
• pp.30-31
• /
• 1999

• Journal of the Korean Society for Nondestructive Testing
• /
• v.31 no.2
• /
• pp.127-133
• /
• 2011

A LabVIEW program has been developed together with simple infrared thermography(IRT) system to control the lock-in conditions of the system efficiently. The IR imaging software was designed to operate both of infrared camera and halogen lamp by synchronizing them with periodic sine signal based on thyristor(SCR) circuits. LabVIEW software was programmed to provide users with screen-menu functions by which it can change the period and energy of heat source, operate the camera to acquire image, and monitor the state of the system on the computer screen. In experiment, lock-in IR image for a specimen with artificial hole defects was obtained by the developed IRT system and compared with optical image.

• Progress in Medical Physics
• /
• v.14 no.3
• /
• pp.184-188
• /
• 2003

It is strongly recommended that periodic quality assurance should be carried out in the Gamma Knife that is used in radiosurgery since high radiation is delivered in one session. Since the protocols for Gamma Knife recommended by associations or agencies on quality assurance are absent in Korea, hospitals possessing the Gamma Knife have developed their own protocols. In order to develop a quality assurance protocol suitable for Korea, we reviewed the protocols of the Gamma Knife manufacturer, USA and Japan. we categorized the periodic items into three parts,: radiation dose, mechanical and safety part. The USA recommended and regulated more strict than the manufacturer. Japan recommended the items and frequency based on the USA. In conclusion, we tried to suggest a basic Gamma Knife quality assurance protocol suitable for Korea.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.139-141
• /
• 2000

검사점 및 복구 도구는 응용 프로그램의 상태를 주기적으로 안정된 저장소에 저장을 하고, 결함이 발생하였을 경우 가장 최근의 검사점으로부터 효율적으로 복구하게 하는 도구이다. 특히 검사점 및 복구 도구는 장시간 수행되는 프로세서에게는 아주 중요한 의미를 지니며, 결함으로 인해 장시간 수행되는 프로세스에 의해 생성된 중간 결과를 잃어버리지 않게 한다. 본 논문에서는 UnixWare 커널 수준의 검사점 및 복구 도구인 Kckpt의 설계 및 구현 내용을 제시하고, Kckpt의 성능을 사용자 수준에서 구현한 검사점 라이브러리와 비교한 결과를 제시한다. Kckpt를 사용함으로 해서 UnixWare는 소스 코드 수준에서 사용자가 초기화한 장소에서 검사점을 만들 수 있을 뿐만 아니라 실행 가능한 파일만을 가진 사용자에게도 완전한 투명성을 제공할 수 있다. 또한 Kckpt를 사용자 라이브러리 수준에서 구현한 검사점 도구와 성능을 비교한 결과 오버헤드가 훨씬 줄어들었음을 관찰할 수 있었다.

• Proceedings of the KIEE Conference
• /
• 2001.10a
• /
• pp.224-226
• /
• 2001

원자력발전소에서는 수많은 Tube로 구성된 증기발생기와 열교환기를 정기적으로 와전류를 이용하여 비파괴검사를 수행한다. 와전류는 재료의 재질, 결함, 이종금속, 형상변화 등에 의해 그 발생상태가 다르기 때문에 검출용 코일에서 얻어진 신호성분을 해석함으로써 재료의 비파괴검사가 가능하다. 본 논문에서는 비파괴검사정보를 추출하고 변환 처리하는 과정과 비파괴검사정보를 Tubesheet에 Mapping 처리하는 기능, 검사주기 및 기기별로 비파괴검사정보를 비교 분석할 수 있는 기능, 하나의 Tube에 대한 결함깊이별, 결함진폭별 결함성장률 현황 등 Tube의 건전성을 평가할 수 있는 추이분석 자료를 제공하는 시스템의 설계와 구현에 대한 개발 결과를 소개한다.