• 한국반도체및디스플레이장비학회:학술대회논문집
• /
• 한국반도체및디스플레이장비학회 2003년도 춘계학술대회 발표 논문집
• /
• pp.51-54
• /
• 2003

반도체 산업의 발전에 따라 생산과정에서의 반도체 소자의 특성을 검사하고, 오류를 검출하는 작업을 효율성 있게 하여 생산성을 향상시키는 것이 더욱 중요시 되고 있다. 이러한 흐름에 맞추어 반도체 test장비에 VFCS(voltage forcing current sensing)와 CFVS(current forcing voltage sensing)를 test 할 수 있게 개발하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.763-766
• /
• 2003

산업 분야에서 자동화 시스템은 제품의 자동설계, 생산 공정의 자동제어, 장애의 발견과 복구, 품질 검사 등 각종 생산과 관련되어 생산성을 향상시킨다. 자동화 시스템을 구성하는 제어 시스템에 사용되는 흐름 제어 언어에는 IL, ST, FBD, SFC, LD의 5종이 있다. 일반적인 소프트웨어에서 동시에 사용할 수 있는 흐름 제어 언어의 종류는 2종 이하로 제한되어 있다. 이에 본 논문에서는 그래픽 기반의 흐름 제어 언어인 FBD, LD, SFC의 3종을 통합하여 처리가 가능한 소프트웨어를 제시한다. 그래픽 기반의 흐름 제어 언어인 FBD, LD, SFC의 형식을 모두 포함하는 데이터 구조를 설계하고, 데이터 구조로부터 읽어 들인 데이터를 출력하는 그래픽 처리 방안을 제시한다. 소프트웨어에서 편집한 FBD LD, SFC는 파일 단위로 관리할 수 있고, 각 파일들은 프로젝트 파일로 통합하여 관리가 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.634-636
• /
• 2002

산업분야에서 자동화 시스템은 자동설계, 생산설비의 관리, 품질검사 등 각종 생산과 관련되어 모든 일을 자동으로 처리 할 수 있도록 하여 생산성을 향상시킨다. 일반적으로 자동화 시스템에서 사용되는 소프트웨어는 사용할 수 있는 흐름 제어 언어가 2종류 이하로 제한이 되어 있고, 동일한 시스템에서 언어의 혼용을 통한 시뮬레이션이 불가능하다. 이에 본 논문에서 혼용 사용이 가능한 흐름 제어 언어 통합 분석기를 제시한다. 고급언어 형태의 ST를 기초로 확장한 언어인 EST를 제시하고 통합 분석기를 위하여 그래픽언어를 EST로 변환하고 흐름제어 규칙 작성이 가능한 FBD 편집기, FBD 편집기에서 출력한 EST를 다시 변환하는 EST-IL 변환기를 설계 및 구현한다. EST를 기준으로 그래픽 언어를 통합하는 통합 분석기는 흐름 제어 언어의 통합 시뮬레이션이 가능하다.

• 대한임상검사과학회지
• /
• 제36권1호
• /
• pp.64-68
• /
• 2004

뇌 기능의 비가역적 중단을 뇌사라 정의한다. 뇌사를 진단하기 위해 선행되어야 할 조건은 종양, 뇌졸중, 사고 등에 의한 뇌 기능의 소실된 원인이 확실하여야 하고, 자발호흡의 비가역적 중단과 약물이나 급성 대사성 장애가 없어야 하고, 저 체온 상태가 아니어야 하며, 심장 쇼크 상태가 아니어야 한다. 뇌간 반사 작용이 없어야 한다. 뇌사를 진단하기 위한 검사로는 뇌파검사와 유발전위 검사에서 뇌로부터 나오는 파형이 없어야 하고, 뇌혈류와 angiography에서 혈류의 흐름이 없어야 한다. 이 논문은 뇌사를 진단하는 신경과 의사와 뇌신경 검사를 시행하는 임상병리사에게 도움이 될 것이다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2010년도 동계학술대회
• /
• pp.117-123
• /
• 2010

시대의 흐름에 따라 온라인 게임 중독 증상을 보이는 초등학생의 수가 증가하고 있다. 또한 온라인 게임 과몰입 청소년은 학교 및 일상생활에 많은 문제를 보이고 있으므로, 적절한 검사를 통해 가려내어 교육 및 치료를 꼭 해야 할 것이다. 이에 따라 본 연구에서는 본 논문에서는 정보 윤리학을 기반으로 온라인 게임 중독 초등학생을 유형별로 가려내기 위해, 보다 개선된 척도의 개발과 적용을 다루고 있다. 본 모형의 장점은 다음과 같다. 첫째, 기존 척도에 비해 검사 문항별 관련 도덕 항목을 구체적으로 제시하여 검사 후 교육에 도움을 줄 수 있다. 둘째, 기존 척도에 비해 항목을 보다 구체적으로 제시하여 정확한 검사가 이루어질 수 있도록 하였다. 개선된 검사도구로 실제로 측정해 본 결과, 서울 S초등학교 5학년 학생 중 고위험 사용자는 12%이며, 대부분의 학생들이 일반 또는 저위험 사용자에 속하는 결과를 알 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
• /
• pp.403-405
• /
• 2006

Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.854-857
• /
• 2012

차량용 Wire Harness 전기 장치가 안전과 편의를 위해 차량에 복잡하게 설치되며 자동차 내 외부에의 정보와 제어신호를 잘못 전달해서 발생하는 돌발 교통사고와 Harness의 가공 잘못으로 정격전류 흐름의 방해로 인한 사고로 부터의 안정성을 검토하는 검사시스템 단계의 최적화를 위함이다. 본 논문은 Wire Harness 검사단계 중 Harness Tester를 통해 전선 부분의 도통검사 및 커넥터 체결시 Harness Tester 에 대한 검사 방법 중 Harness Editor 사용하여 7 개의 파일로 변환하던 것을 XML 파일 시스템으로 바꾸어 검사 함으로써 검사단계에서의 손실을 줄일 수 있다. 또한 모바일 기기와 호환 가능하도록 하여 무선으로 Wire Harness를 Open, Short, Extra, add 테스트 하는 방법을 연구 하였다.

• 비파괴검사학회지
• /
• 제21권5호
• /
• pp.526-531
• /
• 2001

공통축 형태로 배치된 비자성체 이중관에 있어서 유한요소해석 상용 소프트웨어와 실험적인 방법을 각각 이용하여 원격장 와전류 에너지의 전달 경로를 연구하였다. 연구결과 이중관에 있어서 원격장 와전류 에너지는 두 관 사이의 공간을 따라 흐르는 것이 아니라, 단일 튜브의 경우와 마찬가지로 외측 튜브의 외면을 따라 흐름을 확인하였다. 이는 원격장 와전류 효과의 관벽투과 특성이 이중관에 있어서도 유효함을 보여주는 것이다. 따라서, 중수로형 핵연료 채널과 같은 이중관 형태를 대상으로 내관 및 외관의 내 외부 결함 탐상, gap 분포 및 지지대의 위치 확인 등에 원격장 와전류 방법의 관벽투과 특성이 응용될 수 있음을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.568-571
• /
• 2008

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

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

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