• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.354-357
• /
• 2007

하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 회로의 많은 부분이 게이트 레벨에서 구현된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 기존의 기능 검사는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 시간적 경제적인 부담감을 준다. 본 연구에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 기능 검사를 위해 모델 체킹을 동치성 검사에 적용하는 방법을 제안하고자 한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
• /
• pp.206-208
• /
• 2015

온라인을 통해 접하게 되는 잘못된 우리말 표현과 외국어 중심 교육 등으로 인하여 학생들의 한국어 능력, 특히 글쓰기 능력에 우려가 높아지고 있다. 본 논문에서는 잘 작성된 말뭉치에서 얻어진 데이터에 기반한 한국어 글쓰기 도우미 시스템을 제안한다. 시스템은 작성 중인 문맥에 맞은 단어를 추천하는 용언/체언 추천과 입력 문장의 주요 단어가 포함된 말뭉치의 문장을 제시하는 유사 문장 추천, 문서의 단어가 문서의 문맥 단어와 조화로운지를 확인하는 어휘 응집성 검사, 단어 중복도를 확인하기 위한 단어 빈도 검사 기능을 제공한다. 시스템에서는 사용자가 말뭉치를 추가하면 색인을 구축할 수 있어 원하는 분야에 맞는 추천과 검사 기능을 제공할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.1229-1232
• /
• 2001

코일에 고주파전압을 걸면 교류자계가 발생하며 이 자게 내의 금속재료에 와전류가 발생하는데 와전류는 재료의 재질, 결함, 이종금속, 형상변화 등에 의해 그 발생상태가 다르기 때문에 검출용 코일에서 얻어진 신호성분을 해석함으로써 재료의 비파괴검사가 가능하다. 원자력발전소에서는 증기발생기와 열교환기를 정기적으로 이 와전류 탐상검사를 수행하고 결함상태를 평가하여 그 결과를 대용량 Media에 저장한다. 본 논문에서는 평가결과 정보를 추출하고 변환 처리하여 RDBMS에 입력 관리하는 과정과 다양한 형태의 열교환기 Tubesheet를 편집하는 기능, 사용자의 검색조건 선택에 따라 데이터베이스를 Query하여 Tubesheet에 Mapping 처리하는 기능, 검사주기 및 기기별로 평가결과를 비교 분석할 수 있는 통계/보고서 기기사양정보 및 검사정보관리 등 제반 Application 시스템 구현 결과를 소개한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제45차 동계학술발표논문집 20권1호
• /
• pp.117-118
• /
• 2012

본 논문에서는 전자산업공정에서 발생하는 복합오염물질을 측정하고, 분석 관리하는 복합오염물질 분석 관리시스템을 설계하고 구현한다. 이 시스템은 측정기와 분석 및 관리 소프트웨어로 구성된다. 측정기는 복합오염물질을 검출하여 각 오염물질의 수치를 컴퓨터에 전송하는 기능을 제공한다. 분석 및 관리 소프트웨어는 검사, 데이터 관리, 뷰어 등의 모듈로 구성한다. 검사 모듈은 측정기에서 전송된 측정 데이터를 화면에 출력하고, 그 측정 데이터의 정상 기준치 초과 여부를 결정한다. 데이터 관리 모듈은 측정기에서 측정된 방대한 데이터를 데이터베이스에 저장하고 관리하는 기능을 제공한다. 뷰어 모듈은 데이터베이스에 저장된 측정데이터를 그래프 또는 차트 양식으로 출력하는 기능을 제공한다. 본 논문에서 구현한 복합오염물질 분석 관리 시스템은 실제 복합오염물질을 측정하는데 그치지 않고, 그 측정 데이터를 분석하고, 데이터베이스화하여 지속적으로 관리할 수 있는 장점이 있다.

• 한국통신학회논문지
• /
• 제34권6B호
• /
• pp.630-640
• /
• 2009

본 논문에서는 고성능 모바일 TFT LCD/OLED 모듈(이하, 모듈)을 위한 헨드헬드 검사장비를 제안한다. 기존 모듈 검사장비는 명멸현상을 구분하기 위해선 동영상 데이터를 모듈에 출력시켜 구분할 수 있으나, 저속 시스템으로는 불가능하다. 또한 기존 검사장치는 저속의 CPU와 FPGA 시스템에서 필요한 몇 가지의 기능을 IP로 설계하고 사용하기 때문에 시스템의 한계를 지니고 있다. 이에 제안한 시스템은 고성능 모바일 모듈을 위한 검사장비로 다양한 크기의 모듈을 H/W나 FPGA의 설계 변경 없이 검사 장비를 휴대하여 여러 가지 부가기능들을 동시에 확인할 수 있다. 시스템은 크게 헨드헬드 검사장비와 내장된 테스터 소프트웨어, 정밀 분석을 위한 PC기반의 소프트웨어로 구성되며, USB 인터페이스 하여 헨드헬드 검사장비의 모든 모듈 테스트 내용을 확인, 저장, 출력 할 수 있도록 설계되어 있다. 제안된 시스템의 유효성 검증은 현장에서 사용하는 9가지의 대표 항목으로 설정하여, 고성능 모바일 TFT LCD/OLED에서 중요한 명멸현상에 대한 풀 프레임 동영상 구동시 별도의 모듈 없이 확인이 가능하였고, 기타 스캔타임 설정, 감마설정, 레지스터 변경, 인터페이스 지원, 다 인치 모듈지원 등이 가능하였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
• /
• pp.29-38
• /
• 1992

무인화된 대량생산 체제에서는 transfer line을 이용하게되며, cycle time의 단축을 위하여 측정 및 검사기능이 별도의 station으로 있어 가공후에 부품의 불량여부를 감지한다. 그러나 다품종소량생산체제에서는 FMC 또는 FMS가 적합하며, 이 시스템에 바람직한 감시기능으로서는 기내측정(inter-process)방식을 많이 이용한다. 여기서는 CNC선반과 머시닝센터에 접촉식 센서인 터치프로브(touch probe)를 설치하여 개발한 무인 FMC용 인터프로세스 3차원 측정 및 검사시스템을 소개한다.

• 전자공학회논문지SC
• /
• 제46권2호
• /
• pp.22-27
• /
• 2009

본 논문에서는 LCD 구동 모듈 PCB의 기능 검사를 위한 자동 검사 시스템인 EVT (Emulated Vision Tester)를 제안하고 구현하였다. 기존의 대표적인 자동검사 방법으로는 전기적 검사나 영상기반 검사방식이 있으나 전기적 검사만으로는 Timing이 주요한 변수가 되는 LCD 장비에서는 검출할 수 없는 구동불량이 존재하며 영상기반 검사는 영상획득에 일관성이 결여되거나 Gray Scale의 구분이 불명확하여 검출결과의 재현성이 떨어진다. EVT 시스템은 Pattern Generator에서 인가된 입력 패턴 신호와 구동 모듈을 통한 후 출력되는 디지털 신호를 직접 비교하여 패턴을 검사하고 아날로그 신호 (전압, 저항, 파형)의 이상 여부도 신속 정확하게 검사할 수 있는 하드웨어적인 자동 검사 방법이다. 제안된 EVT 검사기는 높은 검출 신뢰도와 빠른 처리 속도 그리고 간결한 시스템 구성으로 원가 절감 및 전공정 검사 자동화의 실현을 가능케 하는 등 많은 장점을 가진다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2705-2707
• /
• 2001

원전 운영에 핵심적인 기기중에 하나인 열교환기는 5,000여개에 달하는 세관들로 구성되어 있다. 이러한 세관은 건전성 유무를 판단키 위해 정기적으로 비파괴검사를 수행하고 있다. 본 논문에서는 비파괴검사 공정결과 생성되는 열교환기 세관 이력 및 상태자료를 데이터베이스화하여 유지 관리하고, 데이터베이스화된 내용을 바탕으로 세관 상태 변화추이를 파악하는 기능과 비 체계화된 모든 세관의 이력정보를 다양한 보고서 형태로 출력할 수 있는 기능 등을 제공하기 위한 "원전기기 검사정보관리시스템" 구현 결과를 소개한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2000년도 제12회 한글 및 한국어 정보처리 학술대회
• /
• pp.89-94
• /
• 2000

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

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권9호
• /
• pp.425-432
• /
• 2016

정보시스템 감리의 중요성이 커지면서 공공기관이나 기업에서 높은 품질의 시스템을 구축하기 위해 많은 비용을 투자하고 있으며 효율적인 감리 작업을 수행할 수 있는 도구에 관한 연구도 많이 진행되고 있다. 정보시스템의 핵심인 데이터베이스 관련 감리 작업에서 다양한 모니터링 도구를 활용해 많은 검사항목에 대해 감리할 수 있지만, 데이터베이스 성능에 많은 영향을 미칠 수 있는 SQL 감리에는 기능적으로 부족한 면이 존재한다. 대다수의 모니터링 도구들은 메타 정보 기반으로 검사하기 때문에 메타 정보가 없거나 정확하지 않으면 SQL 감리 작업을 수행하기가 어렵고 SQL 문장의 구체적인 문제점을 도출할 수도 없다. 따라서 본 연구에서는 ANTLR를 활용한 SQL 검사기를 설계하고 구현한다. 구현된 SQL 검사기를 통해 기존의 수작업으로 SQL을 검사하는 것보다 효율적으로 수행할 수 있다. 그리고 기능적인 측면에서 다른 모니터링 도구에 비해 더 많은 검사 규칙을 SQL 검사 작업에 적용할 수 있다. 본 연구에서 제시한 SQL 검사기는 개발 단계부터 운영단계까지 감리 작업을 수행하여 정보시스템의 안정성을 높일 수 있다고 기대한다.