• The Journal of Society for e-Business Studies
• /
• 제14권1호
• /
• pp.35-56
• /
• 2009

Many process modeling techniques, such as Petri-net, UML Activity Diagram, and EPC, are used to design process models. In this paper, we analyze ubiquitous process design based on workflow patterns. In particular, we focus on process design using active rules that have the form of Event-Condition-Action, and deal with the WS-ECA language, which was devised for ubiquitous web services coordination. We first check whether workflow patterns can be designed with ECA rules, and we then provide WS-ECA representations for ECA rules of the patterns. The contribution of this paper is that ECA rule-based process models were presented based on workflow patterns and they can be a guideline for ubiquitous process modeling.

• The Transactions of the Korea Information Processing Society
• /
• 제5권1호
• /
• pp.249-257
• /
• 1998

다층 인쇄회로기판에서 고속 신호를 정확하고 신속하게 배선 설계하려면, 물리적 설계 규칙과 신호 잡음을 고려한 전기적 설계 규칙을 정립하고, 적용할 신호 검증 도구를 사용하여 신호의 충실성을 검증하여야 한다. 본 논문은 현재 개발 제작되어 동작 중에 있는 HIPSS(High Performance Storage System)보드에 대한 전기적 설계 규칙과 고속 신호의 배선에 따른 일부 고속 신호의 신호 검증 방법을 설명한다. 또한 전기적 설계 규칙을 적용하여 인쇄회로기판을 설계하는 경우, 발생하는 신호 지연, 반사 그리고 누화 등의 신호 잡음을 검증 도구를 이용하여 시뮬레이션 하고, 분석한 결과를 보이며, 수정된 고속 신호의 배선 설계를 확인한다.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.1375-1376
• /
• 2015

본 논문은 퍼지 클러스터링을 이용한 규칙 성장 기반 퍼지 분류기의 설계에 대해서 소개한다. 본 논문의 목적은 퍼지 클러스터링을 통해 형성된 증가된 퍼지 규칙을 이용한 새로운 설계 방법론을 개발하는 것이다. 제안된 분류기는 네개의 기능적인 부분으로 구성된다. 퍼지 규칙의 전반부는 퍼지 클러스터링 알고리즘을 이용해 구성된 멤버쉽 함수를 나타낸다. 후반부는 지역 모델을 구성한다. 지역 모델의 파라미터는 가중 최소 자승법에 의해 추정된다. 추론부에서는, 각 퍼지 규칙의 에러 측정후, 가장 높은 에러를 갖는 하나의 퍼지 규칙이 선택된다. 규칙성장 부분에서는, 네트워크의 강화를 위해 규칙의 성장 과정이 이루어지며, 선택된 규칙은 제안된 분류기에서 더 나은 성능을 위해 두 개 또는 세 개의 세분화된 퍼지 규칙으로 나누어진다. 이러한 새로운 규칙은 context 기반 Fuzzy C-Means 클러스터링에 의해서 형성된다. 제안된 규칙 기반 분류기의 효용성을 토론하며, 머신 러닝 데이터를 이용하여 실험을 수행하였다.

• Journal of Korea Society of Industrial Information Systems
• /
• 제6권1호
• /
• pp.61-69
• /
• 2001

This study concerns designing effective fuzzy inference rules, which can be used to evaluate other experiment sets for sensory tests. The number of fuzzy inference rules might be determined by the fuzzy division of variables. For the more the number of fuzzy division does not mean the more effectiveness, the number of inference rules should be reduced to improve efficiency of inference engine of expert system. This study verified that its suggested method and inference rules are effective in comparison with the existing studies.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.202-204
• /
• 2000

능동데이터베이스(active database)는 일반 데이터베이스와 능동 규칙을 결합한 형태로서, 데이터베이스 스스로 상태 변화에 대응한 조치를 취할 수 있는 시스템을 말한다. 이러한 능동데이터베이스에서는 규칙의 설계가 데이터베이스 활용의 큰 비중을 차지한다. 이러한 규칙의 효율적인 설계를 위해서는 simulator의 도움이 필요하다. 이에 본 논문에서는 이러한 능동데이터베이스의 규칙을 효율적으로 설계하기 위한 도구의 설계에 대해서 연구한다.

• Journal of KIISE:Software and Applications
• /
• 제28권1호
• /
• pp.31-45
• /
• 2001

퍼지 시스템의 설계시, 퍼지 시스템의 성능 저하 없이 최적의 퍼지 규칙 선택과 퍼지 소속 함수의 단순한 정의는 매우 중요하다. 이러한 목적을 이루기 위해서, 본 논문에서는 입력 공간에 강한 영향을 보이는 퍼지 규칙만을 퍼지 규칙으로 선택함으로써 입력 공간의 증가에 유연하게 대처할 수 있는 퍼지 규칙 구조를 제안한다. 또한, 유전자 알고리즘의 진화 탐색을 통하여 퍼지 시스템의 최적화된 구조를 얻기 위해서 퍼지 시스템의 구조를 생성시키는 문법 규칙을 해개체로 코딩하는 문법 코딩을 이용한 유전적 퍼지 시스템을 제안한다. 문법 규칙은 퍼지 규칙의 복잡한 구조를 단순한 모듈 구조로 표현하므로 문법 규칙의 코딩은 유전자 알고리즘의 빠른 수렴과 효율적인 탐색을 보장한다. 아울러, 제안하는 방법을 많은 입력 공간을 갖는 아이리스 데이타(Iris data) 문제와 시간열 예측(time series prediction) 문제에 적용함으로써 제안하는 방법의 응용성을 보이고 성능을 분석한다. 실험 결과, 제안하는 방법이 직접 코딩을 사용한 다른 설계 방법보다 더 좋은 성능을 보여 주었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.504-506
• /
• 2000

본 논문에서는 UML로 작성한 설계요소들간의 관련성을 통해 설계내역을 정확하고 쉽게 분석하기 위한 방법을 제안한다. 이 방법은 1) 설계요소들이 갖는 관련성을 위한 표현 규칙을 정의하고, 2) 정의된 규칙에 따라 관련 있는 설계요소들에 관련성을 부여하며, 3) 이 관련된 설계요소들을 쉽게 검색하고 항해할 수 있는 수단을 제공한다. 제안된 방법을 통해, 보다 정확하고 체계적인 UML 설계요소들간의 분석이 가능하다.

• The Transactions of the Korea Information Processing Society
• /
• 제7권8S호
• /
• pp.2620-2630
• /
• 2000

본 논문에서는 규칙 기반 추론 기법을 이용하여 LAN 상의 지연 장애 검출 알고리즘과 장애를 유발시킨 호스트에 대한 위치 확인 알고리즘 및 장애 원인 분석 알고리즘을 제시하고자 한다. 이를 위해 지연 장애 검출 모델과 RBR 기반 장애 검출 규칙 모델을 제시하고 있다. 또한 충돌율 검출 규칙과 이용률 검출 규칙을 적용하여 지연 장애 검출 알고리즘을 설계하였고, 최대 패킷 출력 호스트 파악 규칙을 적용하여 장애 위치 탐색 알고리즘을 설계하였다. 그리고 패킷 유형 분석 규칙과 장애 원인 파악 규칙을 적용하여 장애 원인 분석 알고리즘을 설계하였다. 이를 통하여 LAN 상의 지연 장애를 검출하고 진단하는 기법을 제시하고자 한다. 이와 같이 제시한 지연 장애 검출 및 진단 기법을 실제 네트워크 환경에 직접 적용시켜 봄으로써 본 논문에서 제시한 장애 검출 및 진단 기법의 정확성과 적용성을 확인하였다. 이러한 기법은 네트워크 관리자가 LAN 상의 장애를 진단하고 원인을 해결하는데 큰 도움을 줄 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.85-88
• /
• 2001

이 논문은 시간 데이터베이스에 능동 규칙 시스템을 결합한 능동적 시간 데이터베이스의 능동 규칙 및 실행 모델을 제안하며 그 모델을 설계 구현한다. 기존의 시간 데이터베이스 능동 규칙 연구들이 시간 릴레이션에 대한 조건-조치 형태의 규칙 지원에 머물렀던데 비하여 제안하는 능동 규칙 모델은 유효시간 및 트랜잭션 시간을 지원하는 이원 시간 릴레이션에 대해 SQL3 트리거의 기능 모두를 시간 데이터베이스 상에서 지원한다. 즉, 전이 릴레이션 및 전이 변수, 조건-조치의 류플 및 문 단위 수항을 포함한다. 또한, 능동 규칙의 유효시간 정의 및 유효시간 사건 등의 새로운 개념을 제시하고 시스템 구조 및 설계 구현에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.57-59
• /
• 1998

소프트웨어의 고품질화를 추구하는 것은 필수적인 일이다. 좋은 품질의 소프트웨어를 획득 또는 개발하기 위해서는 S/W 품질평가에 대한 효율적인 방법이 요구되고 있다. S/W 품질평가는 객관적이고 정량적으로 평가되어야 하므로 본 논문에서는 S/W 품질평가에 대한 표준 및 기준, 방침과 전문가의 지식을 반영한 규칙기반 시스템을 이용하여 평가함으로써 정확하고 신뢰성을 보장하도록 설계하였다. 특히 쉽게 지식을 변경 또는 추가할 수 있도록 규칙기반 시스템으로 설계하였으며, 이러한 규칙기반 시스템을 이용하여 질의 응답을 통해 쉽고 효율적으로 S/W 품질을 평가할 수 있는 기반/기초기술을 제공하였다.