• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.15 no.10
• /
• pp.24-34
• /
• 1997

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.205-207
• /
• 2004

프로젝트의 경쟁력과 성공을 위해 통합 데이터베이스 관리가 중요해지고 있다. 본 논문에서는 통합 데이터베이스 관리가 스키마 설계에서부터 이루어지도록 지원하는 새로운 스키마 검사기의 설계와 구현 내용을 소개한다. 개발된 스키마 검사기는 데이터베이스 객체의 명명 규칙 검사, 적합한 단어 필터, 유사 객체 찾기. 사용자 지정 규칙 적용의 기능을 가지고 있다. 그리고 일반적인 컴파일러의 구문 분석 과정과 다른 방법을 적용해 작업 효율을 높인 구현 세부 사항에 대해서도 상세히 설명한다. 개발된 도구는 통합 데이터베이스 관리 업무에 중요하게 현재 활용되고 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.199-201
• /
• 2010

본 논문에서는 광케이블과 소형렌즈를 검사하기 위한 고해상력 투영검사기를 개발하였다. 개발된 고해상력 투영검사기는 30V/7A 전원장치에서 할로겐램프를 연결하여 원격장치로 램프의 밝기를 조절한다. 개발된 고해상력투영검사기는 관련기술을 확보하였고 수입대체효과를 가져올 수 있다.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.493-498
• /
• 1994

기존 철자 검사/교정기들은 한 어절을 구성하는 형태소들의 품사 정도만을 이용하고 있다. 때문에 철자 검사나 교정의 정확도 면에서 한계를 가진다. 본 논문에서는 한국어의 구문적 연관 관계 및 구문 내에 존재하는 단어들 간의 의미적 연관관계 등을 바탕으로 오류 유형을 추정하는 오류 유형 추정 함수를 제안하고, 이를 이용한 철자 교정기를 구현하였다. 본 논문에서 구현한 오류 유형 추정 함수를 이용한 철자 검사/교정기는 한 어절에 국한되었던 철자 검사/교정의 범위를 여러 어절로 확장하고자 하는 시도의 시발이라 할 수 있다. 따라서 구문 검사 및 의미 검사를 수행하는 문체 검사기의 원형으로서 그 의의를 가진다.

• Annual Conference on Human and Language Technology
• /
• 2002.10e
• /
• pp.147-154
• /
• 2002

이 논문은 한국어 문서 교정을 위해 부산대학교 인공지능 연구실에서 개발되고 있는 맞춤법 및 문법 검사기와 그 지식베이스 구축에 대해 알아본다. 비대칭 관계(asymmetric relation) 설정과 더불어 개발된 문법 검사기는 한 문장의 임의의 두 요소간의 비대칭 관계를 토대로 (1) 잠재적 지배관계 개념을 설정하고 (2) 부분 문장 분석 방법을 사용한다. 이런 요소들을 효율적으로 운영하는 시스템을 구현하기 위해서는 한국어에 대한 이해와 경험적 자료를 적절히 조화시킨 지식베이스 구축이 필수적이다. 이 논문은 그 선수(先手) 작업으로 한국어 문서의 오류들을 관찰하고, 그로부터 추출한 언어적이거나 언어 외적인 요소들로부터 일반적 패턴을 뽑아내어 사용자의 기대를 만족시키기 위한 적절한 규칙지식베이스를 구축하고 문법 검사기의 성능 향상을 위해 문장 분석 출발점과 분석방향 그리고 분석범위를 한정한다.

• Korean Journal of Cognitive Science
• /
• v.12 no.3
• /
• pp.1-18
• /
• 2001

The goal of this paper is the pedagogical application of a Korean Spell/Grammar Checker to the web-based language learning system for Korean writing. To maximize the efficient instruction of our learning system \\`Urimal Baeumteo\\` we have to improve our Korean Spell/Grammar Checker. Today the NLP system\\`s performance defends on its semantic processing capability. In our Korean Spell/Grammar Checker. the tasks accomplished in the semantic level are: the detection and correction of misused derived and compound nouns in a Korean spell-checking device and the detection and correction of syntactic and semantic errors in a Korean grammars-checking device. We describe a common approach to the partial parsing using collocation rules based on the dependency grammar. To provide more detailed semantic rules. we classified nouns according to their concepts. and subcategorized verbs referring to their syntactic and semantic features. Improving a Korean Spell/Gl-Grammar Checker makes our learning system active and intelligent in a web-based environment. We acknowledge the flaws in our system: the classification of nouns based on their meanings and concepts is a time consuming task. the analytic unit of this study is principally limited to the phrases in a sentence therefore the accurate parsing of embedded sentences remains a difficult problem to solve. Concerning the web-based language learning system. it is critically important to consider its interface design and structure of its contents.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.13 no.4
• /
• pp.42-46
• /
• 1994

원자력발전소(原子力發電所)의 방진기의 역할은 운전중(運轉中) 지진(地震)이나 혹은 수격작용(水擊作用)등 순간적인 동적 하중의 발생으로부터 관련 배관(配管)과 기기(機器)를 보호하는 것이다. 1989년 이후 ASME Sec. XI에서 50kips 이상의 대형 방진기도 ASME/ANSI OM Part 4에 따라 육안검사(肉眼檢査) 및 성능시험(性能試驗)을 할 것을 추가 요구하고 있다. 따라서 본 보고서는 방진기(防震機) 기능, 미국 원전 방진기의 손상 사례, 검사(檢査) 기술기준(技術基準) 및 요구사항(要求事項)을 검토(檢討)하여 검사 및 성능시험을 적절한 제반 기술기준에 의거 수행토록 하며, 수행 결과 수반되는 손상 방진기에 대한 원인규명(原因糾明)과 까다로운 후속조치(後續措置)의 실시로 원전 40여년 수명기간동안 배관계통(配管系統) 및 기기(機器)의 건전성을 확보하는데 기여코자 한다.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.26 no.1
• /
• pp.12-17
• /
• 2006

A steam generator of nuclear power plant has thousands of thin tubes. These tubes play an important role in maintaining the pressure boundary between the primary and secondary side of nuclear power plant. The steam generator tube is easy to be damaged because of the severe operating conditions such as the high temperature and pressure. Therefore, tremendous efforts are made to assess the structural integrity of the steam generator tubes. The eddy current test is the most popular non-destructive test to assess the integrity of the tubes. However, the eddy current test has the limitation to size the flaw accurately because the eddy current signal behavior depends on the total volume of flaw. This paper shows the possibility that the ultrasonic test method can be applied to detect the flaws in the steam generator tubes and to measure them quantitatively. From the test results, it is expected that if the ultrasonic test is put to practical use in the steam generator tube inspection, the inspection results will be improved.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2005.11a
• /
• pp.369-372
• /
• 2005

산업체에서 사용되는 BLDC 모터 제어보드의 경우에는 대량 생산을 통하여 제작하며, 제작과정에서 발생한 불량 제어보드는 모터의 초기 기동실패와 고속회전시의 소음 및 화재 발생 등의 원인일뿐만이 아니라 이를 사용하여 응용제품을 생산하는 업체의 품질관리면에서 제어보드의 이상유무 확인이 반드시 필요하다. 일반적인 모터 제어보드의 이상 유무는 육안 및 소음에 의한 방법으로 모토의 기동실패나 고속 회전을 통한 소음등으로부터 경험에 의해 판단한다. 그러나 고속 회전시 발생되는 소음으로 모터 제어보드의 이상유무를 판단하게 되면 이상유무 판단에 필요한 시간이 길어져 대규모 생산과정에 적합하지 않을 뿐만아니라 작업자의 경험에 의존하게 됨으로써 생산성에 지장을 주게된다. 또한 검사시간을 줄이기 위하여, 저속 회전만으로 이상유무를 판단하고자 할 경우 소음정도가 약해 이상유무를 판단하기가 매우 어렵고 더욱더 숙련된 검사자를 필요로 하게 되므로 생산공정에 자동검사기의 도입이 필요하디. 본 논문은 BLDC 모터 제어기의 이상이 발생할 수 있는 경우를 고찰하고, 이러한 BLDC 모터 제어보드의 이상상태가 납땜불량 및 소자 파괴 의하여 입${\cdot}$출력이 비정상적으로 이루어 질 경우의 전류신호와 정상일 때의 전류신호를 비교분석한 후 이를 검출할 수 있는 아날로그 회로를 구현하고 실험을 통하여 검증을 하였다. 또한 이러한 BLDC모터 제어기의 검사기를 아날로그 회로로 구현할 경우의 주의점을 고찰한다.