• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.31-33
• /
• 2003

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

• 대한의용생체공학회:의공학회지
• /
• 제20권5호
• /
• pp.529-536
• /
• 1999

임상적인 응용을 목적으로 하는 전산화 신경 심리 검사 시스템을 개발하였다. 개발된 시스템은 국소적 뇌기능 장애 진단에 뛰어난 14개의 검사록 구성되어 있으며 집중력·언어능력, 공간 및 도형 인지 능력, 기억력, 운동 집중 능력 등을 진단하게 된다. 개발된 시스템은 멀티미디어 객체지향개념에 의거하여 설계 구현되었고, 마이크로소프트 Windows 에 기반을 둔 그래픽 인터페이스를 채용하여 운용이 용이하도록 하였다. 또한 마우스와 터치스크린을 이용하여 피검사자로부터 입력을 손쉽게 받아들 일수 있도록 하였으며, 색체 단어검사, 범주화검사, 언어기억검사들을 한글화하여 검사의 효용성을 향상시켰다. 개발된 시스템을 정상인 그룹과 환자에 적용한 결과 뇌기능 장애 진단에 유용하게 사용될 수 있음을 확인할수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.410-412
• /
• 2006

우주발사체 검사장비는 umbilical 신호를 기준으로 발사체 내부 analog input/output, discrete input/output, 외부 전원 공급 각 제어기의 RS-422 인터페이스 구현 및 제어를 통해 우주 발사체의 기능을 통합 검사하는 것을 주 목적으로 하며 우주 발사체에 탑재되는 전기/전자시스템의 개발시험 이후 시스템 레벨에서의 통합 기능시험을 수행하는 시스템이다. 본 논문에서는 우주발사체에 적용될 검사장비의 설계 및 적용 방안에 대해 기술할 것이다.

• 수면정신생리
• /
• 제6권2호
• /
• pp.149-157
• /
• 1999

정신과 임상에서 편리하게 사용할 수 있는 전산화 신경심리 검사 시스템을 개발하였다. 이 시스템은 뇌의 전반적인 인지 기능과 뇌의 기능적 국재화를 평가할 수 있는 14개의 신경심리 검사로 구성되어 있다. 개발된 시스템은 멀티미디어와 객체 지향 개념에 의해 설계, 구현되었고, 마이크로 소프트 Windows에 기반을 둔 그래픽 인터페이스를 채용하여 운용이 용이하도록 하였다. 또한 마우스와 터치 스크린을 이용하여 피검사자로부터 입력을 손쉽게 받아드릴 수 있도록 하였으며, 색채 단어 검사, 범주 검사, 그리고 언어 기억 검사, 언어 지각 검사 등은 한글화하여 검사의 효율성을 향상시켰다. 개발된 시스템을 뇌손상 환자와 정신과 환자에 적용한 결과 그 인지 장애와 뇌의 기능적 국재화를 평가하는데 유용하게 사용될 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 추계학술대회 논문집 전력기술부문
• /
• pp.190-192
• /
• 2007

PICOM (Piece of Information for COMmunication)은 논리노드 간에 교환되는 정보를 기술하기 위하여 정의되어 있다. 변전소의 기능은 여러 논리노드로 분할되어 서로 상호작용하며 동작한다. 변전소 자동화 시스템 검사는 단일 IED만의 기능 시험이 아니며 IED들간에 메시지를 교환을 통하여 변전소 기능을 정의된 성능을 만족하며 수행하는지 검사하는 것이다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제24권1호
• /
• pp.17-23
• /
• 2018

본 논문은 인지기능장애를 동반한 환자를 검사하고, 재활치료와 인지기능 평가를 하는데 사용될 수 있는 전자펜 기반의 시스템을 제안하고 있다. 제안된 시스템은 기존에 병원에서 널리 사용 중인 종이와 펜을 활용한 라인추종시험(Line tracing test; LTT)을 그대로 응용함으로써, 환자와 치료사가 거부감 없이 새로운 시스템을 적용할 수 있도록 하였다. 개발된 시스템의 정확성과 효과를 검증하기 위하여 성인 남녀 20명을 대상으로 시험한 결과, 전자펜을 활용한 측정치와 사람이 직접 측정한 측정치 간의 신뢰도가 0.90으로, 효과크기는 0.38로 평가되었으며 이는 전자펜을 활용한 검사 결과를 충분히 신뢰할 수 있음을 의미한다. 이와같이 신뢰성을 유지하는 반면, 검사 결과를 산출하는 시간에 있어서 사람이 직접 산출하는 경우 평균 48.2초가 소요되는데 반하여 전자펜을 기반으로 하는 방식의 경우 실시간으로 평가 결과가 기록되며 검사 종료 후 즉시(1초이내) 결과가 산출되기 때문에 시간 효율이 높음을 확인할 수 있다. 제안된 시스템은 파킨슨병, 심장마비 등으로 인한 뇌손상 환자의 인지기능장애 검사에 활용될 수 있다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 전력전자학술대회 논문집
• /
• pp.576-577
• /
• 2012

본 연구에서는 자동차 납축전지를 위한 지능형 배터리 센서(Intelligent Battery Sensor; IBS) 모듈 기능검사장비를 개발한다. 이를 위해 IBS 모듈에 대한 기능 및 특성평가를 위한 기능 검사 시스템을 구축하고 LABVIEW를 이용한 기능검사 프로그램을 개발한다. IBS를 이용한 감시 제어 시스템은 배터리의 상태를 모니터링하여 최적의 조건을 유지하고 문제 발생 시에 미리 조치할 수 있다. 배터리의 상태 파라미터로는 전압, 전류, 온도를 사용한다. 감시 제어 시스템은 PC를 이용하여 환경을 구축하였으며 LabView를 이용한 GUI(Graphic User Interface)를 구축하여 배터리 데이터를 모니터링하고 저장, 관리가 편리한 장점을 가진다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 한글 및 한국어 정보처리
• /
• pp.89-94
• /
• 2000

본 논문은 부산대 철자 검사/교정기의 기존 성능을 보완하고 기능을 추가하는데 중점을 두었다. 웹 문서, 신문 등을 통해서 사용자들이 자주 틀리는 오류 단어에 대해서 오류 유형을 분류했다. 이 결과를 철자 검사 및 교정 시스템에 적용하여 교정기법 개선을 통하여 띄어쓰기 교정 기능을 향상 시켰다. 이렇게 새로 구현한 시스템과 이전 시스템의 성능을 실험을 통해 비교 분석하였다. 본 연구를 진행하면서 발견한 문제점과 한계를 이후 더 발전 해야할 과제로 고찰하고 결론을 맺는다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 B
• /
• pp.660-662
• /
• 1998

실장 PCB에 대한 검사업무는 많은 인력과 시간비용을 요구 제품의 생산성을 저하시킴으로써 제품에 대한 경쟁력 확보에 큰 장애요인이 되고 있다. 따라서, 기업들은 검사 자동화를 추진하여 왔는데, 검사 생산성을 획기적으로 개선하기 위해서는 검사패턴을 자동 생성하고 아날로그 회로나 디지털 회로상의 전자 소자나 회로 기능을 선택적으로 검사함으로써 검사비용을 최소화할 수 있는 다기능 검사 기능이 요구된다. 따라서, 본 연구에서는 회로 보오드상의 부품 특성에 따라 최적의 검사패턴을 자동 작성하고 동시에 실행할 수 있는 지능형 검사 시스템을 개발하고자 한다.