• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.2981-2988
• /
• 1999

연역데이터베이스는 외연적 데이터베이스인 사실들의 집합과 내포적 데이터베이스인 규칙들의 집합으로 구성된다. 이 규칙들을 계산하기 어렵기 때문에 규칙을 병렬로 계산하기 위한 많은 알고리즘들을 연구해 왔으나 만족스런 결과를 얻지 못하 였다 이 논문에서는 이행적 종속성을 가지는 선형적 재귀 규칙의 증명-이론적 의미를 비공유 병렬구조를 이용하여 효율적 으로 계산하는 새로운 방법을 제안한다 먼저 선형적 재귀규칙을 위한 둥가의 표현식이 존재함을 증명하고, 이 표현식을 근 거하여 선형적 재귀규칙을 계산하기 위한 알고리즘을 고안하며, 마지막으로 제안된 알고리즘의 성능을 분석한다

• 인터넷정보학회논문지
• /
• 제5권4호
• /
• pp.115-124
• /
• 2004

본 논문에서는 가중 퍼지 페트리네트에 기반을 둔 규칙기반시스템을 위한 가중 퍼지 후진추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 가중 퍼지 페트리네트로 모형화된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 진리값과 규칙의 확신도는 퍼지 숫자로 표현한다. 그리고 규칙에 나타나는 퍼지 명제의 가중값도 퍼지 숫자로 표현하다. 제안한 가중 퍼지 후진추론 알고리즘은 목표노드에서 초기노드까지 후진추론 통로를 생성한 후 목표노드의 확신도를 계산한다. 우리가 제안한 알고리즘은 규칙기반시스템이 더 유연하고 사람과 같은 방법으로 가중 퍼지 후진추론을 하는 것을 가능하게 한다.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2072-2087
• /
• 1999

소프트웨어의 대형화와 사용자 요구사항의 복잡화에 따라, 소프트웨어 개발 초기 단계에서의 산출물의 정확성과 일관성은 중요해지고 있다. 하지만, 객체지향 방법을 기반으로 한 설계 문서에 대한 오류 검출 및 일관성 점검을 위한 기법은 만족할 만한 수준에 이르지 못하고 있다. 본 논문은 UML(Unified Modeling Language)의 다이어그램들에 대한 메타모델을 작성하고, 메타모델의 각 요소들에 대하여 적용할 일반화된 메타규칙을 도출하고, 메타규칙들을 각 다이어그램에 적용한 세부규칙 도출에 활용하였다. 이 방법은 오류 검출과 일관성 점검에 활용할 세부규칙들을 체계적으로 도출하므로, 규칙의 완전성을 도모하고 규칙적용의 자동화를 가능하게 하였다. 또한, 도출된 세부규칙을 적용한 사례를 통하여 그 효용성을 확인하였다.

• 한국지능시스템학회논문지
• /
• 제10권3호
• /
• pp.232-241
• /
• 2000

본 연구는 대량의 데이터에서 효율적으로 최적 규칙을 발견하기 위해 개념 계층과 정보 이득 및 라프셋 이론에 딕반한 통합 방법을 제시하고,이를 최적 규칙 발견 시스템으로 구현한다. 본 방법은 데이터베이스에 있는 데이터에서 일반화된 지식을 추출하기 위한 속성중심의 개념 상승 기법과 불필요한 속성 및 속성값을 제거하기 위한 지식 감축 기법을 적용하며, 최적 규칙의 도출을 위해 속성의 중요도를 사용한다. 본 시스템은 먼저, 속성값 개념의 일반화에 의해 종복 튜플을 제거함으로써 데이터 베이스의 크기를 줄이고, 결정속성에 뎡향을 주지않는 조건속성을 제거하여 간략화된 최적 규칙을 유도한다.그리고 실제 데이터에 적용하여 결정 규칙을 유도하고 그 규칙을 새로운 데이터에 테스트햐 봄으로써 새로운 데이터에도 잘 적용됨을 보인다.

• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.741-746
• /
• 2004

전자상거래가 활성화됨에 따라 고객 개인의 관심에 부합하는 개인화된 정보나 상품 서비스를 제공하기 위하여 시간에 따라 분할하여 연산하는 시간 연관 규칙이 최근에 등장하고 있다. 본 논문은 일반적으로 정의된 연관 규칙에 대해 시간의 변화를 고려하기 위하여 최신 데이터에 가중치를 높여 주는 지수 평활법을 적용한 연관 규칙을 정의하고 이로 탐사하는 알고리즘을 제안한다. 시뮬레이션과 적용사례를 통하여 시간에 따라 분할하여 지수 평활법을 적용한 시간 연관 규칙이 기존의 것보다 실행시간은 다소 많지만 시간을 고려한 정확한 탐색률을 갖으므로 전자 상점 현장 응용에 효과적임을 확인하였다.

• 한국게임학회 논문지
• /
• 제14권2호
• /
• pp.7-18
• /
• 2014

감정은 사용자의 상호작용을 도와주는 게임요소 중 하나이다. 그동안 게임에서 캐릭터들의 성격이나 감정을 표현하는 방식은 그래픽과 특정행동에 대한 반응 정도로 고려되었다. 하지만 최근 감정연구에 대한 관심이 높아지면서 게임에서도 감정을 다양하게 활용하기 위한 구조화가 필요해졌다. 자율성 에이전트 분야에서는 감정의 활용가능성 연구를 통해 12가지 감정규칙을 정의했다. 본 논문에서는 감정규칙을 게임에 사용되는 용어로 정의하고 확장시켜 게임 감정규칙을 만들었다. 그리고 게임 감정규칙을 사용해 실제 게임 속 캐릭터의 감정을 분석했다. 그 결과 비슷한 장르의 게임에도 각자 다른 게임 감정규칙이 사용되는 것을 볼 수 있었다.

• 대한화학회지
• /
• 제40권1호
• /
• pp.20-27
• /
• 1996

분광학적 실험 자료들로부터 안정하고 정확한 위치에너지를 역으로 얻어내는 방법에 대하여 연구하였다. 이러한 역과정 방법은 비선형 역과정 문제에서 야기되는 불안정성을 위치에너지가 유연하게 연속적이라는 제한 조건을 사용하여 최적의 해를 얻어내는 Tikhonov의 규칙화에 기초를 두고 있다. 이 방법의 장점은 특정한 형태의 위치에너지 변수를 맞추는 보통의 방법과는 달리 위치에너지를 분자간 거리의 연속함수로 다루었다. 이 방법을 실험적으로 얻은 Ar-Ar계의 분광학적 자료에 적용하여 전 구간에서 정확한 위치에너지를 찾아가는 것을 보여주었고, Morse나 RKR 방법으로 얻은 위치에너지의 부정확한 먼거리 인력 부분을 보정할 수 있음을 보여주었다.

• 한국정보통신학회논문지
• /
• 제9권3호
• /
• pp.676-683
• /
• 2005

본 논문에서는 퍼지논리 제어방식에서 전문가로부터 소속함수의 관계조정과 제어규칙 베이스 선정 등의 제어지식을 획득해야 하는 문제점을 해결하기 위하여 유전자 알고리즘으로 최적의 소속함수의 양자화와 제어규칙 베이스를 구성하여 우수한 제어성능을 갖는 방법을 제안하였다. 제안한 방식은 유전자 알고리즘을 이용하여 퍼지 소속함수의 변수 값들과 퍼지제어 규칙을 최적화한 값으로 구하고, 이렇게 구한 값들을 초기 값으로 하여 퍼지 제어기를 오프라인으로 구성하고 실제 하드웨어 상에서 온라인으로 적용하는 방식이다. 제안한 방식의 유용성을 확인하기 위해서 DC 서보 모터의 위치제어에 대하여 시뮬레이션 하였고, 단일링크 매니플레이터를 이용한 위치제어 실험을 통하여 제어성능이 우수함을 확인하였다.

• 한국정보처리학회논문지
• /
• 제4권3호
• /
• pp.846-858
• /
• 1997

순수 함수형 프라그래밍 언어는 명확한 어의와 많은 특성에도 불구하고 상태의 표현이 어렵다는 문제점을 가지고 있다 이와 같은 문제로 인힝순수 함수형 언어에 상태를 표현 하기 위한 많은 연구가 진행되었으나 형시스템이나 감축규칙이 복잡하기 때문에 구현이 어렵다는 문제점이 발생된다. 따라서 효율적인 구현기 위해 감축규칙을 단순화시키고 상태를 효율적으로 관리할 수 있는 방안이 요구 된다. 본 논문에서는 순수 함수형 언어 의 성질을 침해함이 없이 상태를 표현할 수 있으며 감축규칙을 단순화 시킨 함수형 언어의 수행모델st-계산을 제안하고, 제안된 모델이 church-roser 정리를 만족함을 증명 하였다. 제안된 방법을 통해 구문구조의 표현력을 높일 수 있었으며, 감축규칙을 단순화 함으로써 구현이 용이할 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권6호
• /
• pp.519-529
• /
• 2007

본 논문에서는 효율적인 침입 탐지를 위해 퍼지 규칙을 이용하는 방법을 제안한다. 제안한 방법은 퍼지 의사결정 트리의 생성을 통해 침입 탐지를 위한 퍼지 규칙을 생성하고 진화 알고리즘을 사용하여 최적화한다. 진화 알고리즘의 효율적인 수행을 위해 지도 군집화를 사용하여 퍼지 규칙을 위한 초기 소속함수를 생성한다. 제안한 방법의 진화 알고리즘은 적합도 평가시 퍼지 규칙(퍼지 의사결정 트리)의 성능과 복잡성을 고려하여 평가한다. 또한 데이타 분할을 이용한 평가와 퍼지 의사결정 트리의 생성과 평가 시간을 줄이는 방법으로 소속정도 캐싱과 zero-pruning을 사용한다. 제안한 방법의 성능 평가를 위해 KDD'99 Cup의 침입 탐지 데이타로 실험하여 기존 방법보다 성능이 향상된 것을 확인하였다. 특히, KDD'99 Cup 우승자에 비해 정확도가 1.54% 향상되고 탐지 비용은 20.8% 절감되었다.