• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• 제어로봇시스템학회지
• /
• 제1권3호
• /
• pp.83-91
• /
• 1995

이 글에서는 신경회로망의 장점과 퍼지논리의 장점을 최대한 이용하며 각각의 단점을 보완하는 뉴로-퍼지 융합 기술과 현재 연구의 흐름을 간단히 살펴보았다. 비구조적인 정보 뿐만 아니라 구조적인 정보까지도 신경회로망의 영역 안에서 처리할 수 있는 새로운 뉴로-퍼지 회로망을 소개하였다. 소개한 뉴로-퍼지 회로망은 비퍼지화와 비퍼지화에 의해 발생하는 오차를 잘 보상할 수 있을 뿐만 아니라, 최적의 입출력 퍼지 소속 함수의 중심점과 모양을 찾을 수 있는 장점이 있다. 또한, 그 특성을 알지 못하는 임의의 비선형 동적 시스템에서 입출력 데이터만 얻을 수 있으며 시스템을 모델할 수 있는 퍼지 규칙을 언어적인 방법과 수치적인 방법으로 표현할 수 있으며 간단한 예제를 통한 시뮬레이션 결과를 보였다. 소개한 뉴로-퍼지 회로망을 이용하여 뉴로-퍼지 제어기를 구성할 수도 있으며, 또한 시스템의 역 퍼지 규칙을 찾는데 이용할 수도 있다. 향후 보다 우수한 일반화 성능을 가질 수 있는 뉴로-퍼지 회로망의 개발이 필요하며, 충분한 입출력 데이터를 얻는 방법의 연구도 필요하다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.691-692
• /
• 2008

저압기기는 사용자의 조작과 밀접한 연관이 있어서 항상 안전성에 중점을 두고 있다. 이에 따라 관련 제품규격에서도 안전에 관련된 시험 요구사항 개발이 최근 들어 늘어나고 있다. 특히 절연과 관련된 시험 요구사항 중 기본 절연거리에 대한 규정은 저압기기의 역사와 같이 해왔으며, 매우 중요한 요구조건이다. 그럼에도 불구하고 최근 저압기기의 소형화와 전자부품화에 따라 절연거리의 측정에 관련된 규칙이 매우 복잡하고 다양화되었다. 이에 본 논문에서는 차단기류 제품규격을 중심으로 하여 절연거리 측정과 관련된 시험규격 및 방법을 고찰해 보고, 실제 진행된 국제비교숙련도 시험의 개요도 간단히 소개하고자 한다. 정리된 규칙들은 연구원들이 대부분의 저압기기의 절연거리 측정에 공통적으로 적용하여 저압기기 개발 시 유용하게 활용할 것으로 기대한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 추계학술발표논문집
• /
• pp.125-128
• /
• 2000

인터넷 중심의 정보화 사회가 되면서 기존의 문서는 대부분 전자 문서로 대치되어 가고 있다. 전자 문서간의 호환과 표준화를 위하여 XML(eXtensible Markup Language)이 웹 문서의 표준으로 지정되었으나, 현재까지 사용되고 있는 문서들이 XML 형태의 문서가 아니므로 이를 수동으로 변환해야 하는 어려움이 있다. 본 논문에서는 규칙기반 분서 분류기(Rule-Based Document Classifier)를 설계하여 다양한 형태의 문서를 자동으로 분류하고 그룹화한다. 그룹화된 문서를 이용하여 자동으로 DTD(Document Type Definition)를 생성하고, 자동 생성된 DTD를 이용하여 XML 형태의 문서로 자동 변환할 수 있는 자동 XML 변환기를 제시한다. 이러한 방법은 문서들을 자동으로 분류하고, 문서의 행태에 변화가 있을 때에도 유사한 문서로 분류할수 있을 뿐만 아니라 문서를 재분류할 때 DTD의 중복 생성을 줄일 수 있는 등의 장점을 갖는다.

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

유비쿼터스 환경에서 사용자는 개인용 디바이스를 이용하여 보이지 않는 수많은 자원들과 서로 연결하여 원하는 서비스를 제공 받기를 원한다. 이러한 요구사항을 만족시키기 위하여 유비쿼터스 지능 공간에 존재하는 자원들 사이의 공유가 필요하며 이를 효율적으로 수행하기 위한 연구는 새로운 연구 주제이다. 그러나 동일한 환경이라 할 지라도 각 사용자들의 상황은 서로 다르며 개인적인 성향 역시 다양하다. 그러므로 동일한 공간에서 동일한 서비스를 원하는 사용자들이라 할 지라도 현재의 상황과 사용자 개개인의 개성에 따라 필요로 하는 자원이 다른 것이 현실이다. 그러므로 본 논문에서는 사용자의 상황을 인지하여 맞춤형 자원을 추천하는 시스템을 개발한다. 추천 시스템은 사용자의 상황을 인지하기 위한 방법으로 온톨로지 기반 추론을 수행하고, 개인화 추천 서비스를 제공하기 위하여 규칙들 이용한 규칙 기반 추론 방법을 수행한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.405-406
• /
• 2007

본 논문에서는 FCM 기반 퍼지 뉴럴네트워크 구조를 제안하고 진화 알고리즘을 이용한 FCM 기반 퍼지 뉴럴네트워크의 구조와 파라미터의 최적화 방법을 제시한다. 클러스터링 알고리즘은 퍼지 뉴럴 네트워크에서 멤버쉽함수의 중심점과 반경 등을 결정하는 학습에 일반적으로 사용된다. 제안된 FCM 기반 뉴럴 네트워크에서 멤버쉽함수는 가우시안, 삼각형 타입등의 정해진 형태를 사용하지 않고 데이터들 사이의 거리에 관계된 계산을 수행하는 FCM에 의해 결정된다. 후반부는 상수형, 선형, 2차식 등의 다양한 다항식 구조로 표현될 수 있으며 다항식의 계수는 LSE를 이용하여 결정한다. FCM 기반 퍼지 뉴럴 네트워크는 퍼지규칙의 수, 입력변수의 선택, 후반부 다항식의 차수, FCM의 퍼지화 계수의 결정은 성능에 많은 차이가 있으며 이러한 구조와 파라미터의 최적화가 요구된다. 본 논문에서는 유전자 알고리즘을 이용하여 FCM 기반 퍼지뉴럴네트워크의 구조에 관련된 입력변수의 수, 퍼지규칙의 수 그리고 후반부 다항식의 차수와 파라미터에 관련된 퍼지화 계수를 최적화 한다. 제안된 방법은 비선형 시스템의 모델링에 적용하여 성능을 분석하였다.

• 한국산학기술학회논문지
• /
• 제8권5호
• /
• pp.1092-1097
• /
• 2007

온톨로지의 구축은 상당한 시간과 비용을 소모하기 때문에 상업적인 시맨틱 웹의 구축은 매우 어려운 작업이다. 이러한 문제의 해결 방법은 온톨로지를 자동적으로 구축하는 것이다. 본 논문에서는 대부분의 중요한 정보를 포함하고 있는 웹 문서를 분석하여 온톨로지를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 한국어 문장을 분석하여 문서 내 모든 문장을 단문으로 재구성하는 단문화 과정과 변환 규칙을 이용한 온톨로지 자동 생성 과정의 두 단계로 구성된다. 이러한 시스템은 온라인 쇼핑몰처럼 비슷한 내용을 포함하는 문서가 대다수 존재하고, 문서의 갱신 및 추가가 빈번한 응용 분야에서 매우 유용하게 사용될 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.691-693
• /
• 2019

현실적으로 요구사항의 불명료성은 테스트 케이스 추출에 어려움을 초래한다. 명료한 요구사항 기반의 사용자 승인 테스트는 소프트웨어의 올바른 품질을 증가시키고, 유지보수 비용을 감소시킨다. 하지만 중소기업에서는 촉박한 개발 기간, 테스트 도구 구매 비용의 부담, 낮은 테스트 기술 레벨 등의 이유로 좋은 품질의 테스트를 수행하기가 힘들다. 이러한 문제점의 해결을 위해 말뭉치 정규화를 이용한 의미 규칙으로 불명료한 요구사항을 간결하고 명료한 요구사항으로 변경하기 위한 메커니즘을 제안한다. 또한 이를 원인-결과 그래프 자동 생성하는 방법을 제안한다. 이는 원인-결과 그래프를 통해 테스트케이스를 최대한 생성하는 기초가 될 수 있다.

• 한국문헌정보학회지
• /
• 제46권2호
• /
• pp.261-280
• /
• 2012

본 연구는 파리원칙을 대체하고, 기계가독형목록환경에서 제정된 국제목록원칙 2009의 분석을 통해 한국목록규칙의 방향을 모색하기 위한 것이다. 국제목록원칙 2009는 국가의 목록규칙 제정시 일관성을 유지하기 위한 최소한의 원칙으로 RDA, ISBD 2010 등의 목록규칙에 이미 반영되고 있다. 반면, 한국목록규칙은 2003년 제정된 이후 개정작업이 이루어지지 않았으며, 서지기술 부분만 있고 접근점의 선정과 형식은 전거에서 처리하도록 규정하고 있어 개정의 필요성이 대두되고 있다. 이에 본 연구는 국제목록원칙 2009를 분석하여 한국목록규칙에서 적용할 사항을 파악하고자 한다. 우선 파리원칙과 국제목록원칙 2009를 비교하여 국제목록원칙 2009의 특징을 살펴본 후, 이를 한국목록규칙과 비교하였다. 한국목록규칙과 비교항목은 국제목록원칙 2009의 범위, 원칙, 개체 속성 관계, 목록의 목적과 기능, 서지기술, 접근점, 탐색능력 기반이었다. 그 결과 한국목록규칙의 방향성은 첫째, 기술부분에서 ISBD 2010과 개념모델을 수용할 수 있어야 한다. 둘째, 국제목록원칙 2009에 근거하여 전거형 접근점의 선정과 형식이 규정되어야 한다. 셋째, 저작/표현형의 식별을 위한 필수 접근점을 서지레코드와 전거레코드에 기술해야 한다. 본 연구를 통해 국제목록원칙 2009의 측면에서 우리나라 목록규칙의 개정의 방향을 마련할 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.226-227
• /
• 2011

현재 국내의 음성도서 서비스는 수식을 정확하게 읽어주지 못하며, 수식을 읽기 위한 독음규칙의 부재로 수식의 음성 서비스에 혼란을 야기 시키고 있다. 이에 본 논문은 중학교 수학 교과서를 바탕으로 수식표현의 '한글 독음규칙'을 정의해보았으며, 수식의 국내 음성 서비스를 위해, 정의된 '한글 독음 규칙'을 매스 파스 트리(Math Parse tree)와 매핑 하여 최종적으로 음성서비스가 가능한 수식의 음성 변환 기법에 관해 연구하였다.