• 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.

• 한국지구과학회:학술대회논문집
• /
• 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 Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.446-449
• /
• 2007

영상 학습은 컴퓨터를 이용한 자동 시각 검사에서 매우 중요하고 어려운 단계이다. 전자산업과 같이 신제품 개발 주기가 짧고 다양한 제품들을 검사하여야 하는 분야에서 어렵고 복잡한 학습 과정은 큰 문제가 되고 있다. 본 연구에서는 CAD 파일을 이용하여 PCB 자동 시각 시스템의 학습 과정을 손쉽게 할 수 있는 방안을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.190-192
• /
• 2000

MMDBMS(Main Memory Database Management System)에서 사용되는 갱신기법중 퍼지 검사점을 지원하는 직접갱신 기법은 많은 양의 로그를 필요로 하며 회복 과정이 복잡하다는 단점이 있다. 본 논문에서는 퍼지 검사점을 지원하면서 저장해야 할 로그의 양을 줄이고 회복 과정이 단순한 회복 기법을 제안한다. 제안하는 회복 기법은 로그의 양을 줄이고 위해 철회된 트랜잭션의 로그를 비휘발성 메모리에 저장하지 않는 시스템 구조와 많은 양의 메모리를 사용하지 않는 POLUG(Page Oritented Logical Undo loG)를 사용하여 퍼지 검사점을 지원할 수 있는 장점을 가진다.