• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.220-223
• /
• 2008

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키데 목적을 두고 있다. 또한 소프트웨어 설계 방법론인 MOA(Methodology for Object to Agents)를 기초로 하고 있으며, MOA는 보편적인 정보 모델로써 온톨로지 기반 모델인 OSSD( Ontology for Sortware Specification and Desigh)모델을 이용한다. 본 논문은 OSSD 모델, 뷰-간 비일관성 검사기법, 일관성 프레임워크의 온톨로지적 특성과 연관된 규칙의 조합을 이용하여 UML모델에서 OSSD 모델로의 변환과정에서 수행되는 새로운 형식의 오류 검출방법을 정의한다. OSSD 모델로의 변환과정은 OSSD 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.753-756
• /
• 2008

최근 인터넷의 생활화로 이를 기반으로 수익을 창출하는 새로운 형태의 거래가 확산되고 있다. 이러한 형태는 포털사이트를 기반으로 커뮤니티를 형성하고, 이를 통하여 확보된 회원들을 대상으로 광고수익이나 판매가 이루어지는 형태의 비즈니스 모델들이다. 하나 기존 오프라인 중심으로 정의된 인터넷 비즈니스 모델들을 적용하여 이러한 포털사이트 기반의 비즈니스들을 분류할 경우 여러 범주에 포함 되어서 이들을 분류하기 어려운 문제점이 있다. 이로 인하여 새로 생성되는 인터넷 비즈니스 모델들을 활용한 사업의 가능성과 이들이 기술적으로 실현이 가능한지 여부, 이들에게 요구되는 요소들에 대한 분석에 어려움이 많다. 본 논문에서는 이러한 문제점을 해결하기위하여 현재 가장 많이 사용되는 포털사이트들을 기존 인터넷 비즈니스 모델을 적용하여 비교 분석하고, 여기서 새로운 모델 정의에 필요한 요소들을 추출하여 이를 반영한 새로운 인터넷 비즈니스 모델들을 설계한다. 이를 통하여 변화하는 환경에 적응이 가능한 포털사이트 기반의 인터넷 비즈니스 모델의 정의와 분석이 가능하다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.575-578
• /
• 2001

사진으로부터 실물과 같은 3차원 모델을 추출하고 텍스처를 추출하는 영상 기반 모델링 및 렌더링에 대한 많은 연구가 진행 중에 있다. 본 논문에서는 다중 입력 영상으로부터 다면체 프리미티브를 이용하여 3차원 모델을 생성하고 각 모델 면의 텍스처를 입력 영상으로부터 획득하는 영상 기반 모델러를 설계 및 구현하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.178-182
• /
• 2000

다중영상으로부터 3D 모델을 생성하고 각 면의 texture를 렌더링하는 영상기반 modeler를 설계 및 구현하였다. 본 논문에서는 영상기반 modeler의 개발 과정에서의 기술적인 문제점과 해결책을 기술한다.

• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.217-225
• /
• 1999

협상은 상거래에 있어서 매우 중요한 요소 중 하나이다. 현재의 웹 기반 전자상거래 시스템은 이러한 중요한 협상 구조를 상거래에 잘 반영하지 못하는 문제점을 가지고 있다. 이러한 문제점중 기업과 소비자간의 미비한 협상 구조를 보안하기 위해 실세계 상거래에서 존재하는 점원을 전자상거래상의 가상점원으로 모델링하여 회사의 정책과 구매자의 특성을 반영하여 구매자와 전략적으로 자동 협상을 수행할 수 있는 에이전트의 구조를 설계하고 구현하였다. 협상은 매우 복잡한 구조를 가지고 있다. 이러한 협상 구조를 지원하기 위해서는 상호간의 제안을 표현하고, 그 제안에 대한 평가 내용과 결정사항을 전달할 수 있는 언어적인 조가 필요하며, 협상의 대상이 되는 사안들의 특성을 반영할 수 있는 표현 구조도 요구된다. 또한 이러한 협상에서 전략을 세우고 알맞은 제안을 제시하며 상대의 제안에 대하여 전략적으로 반응할 수 있는 의사결정 모델이 요구된다. 본 논문에서는 회사의 정책 모델과 구매자의 모델을 정의하고 이를 이용한 협상 모델을 설계 구현하였다. 협상 구조의 모델링을 위해 KQML(Knowledge Query Manipulation Language)을 기반으로 전자상거래 프로토콜로 설계하고, 논쟁 기반 협상 모델을 기초로 협상언어를 설계하였다. 또한 협상에서의 전략적인 의사결정을 위해 게임이론을 이용하고, 규칙 기반 시스템으로 이를 보충하였다. 마지막으로 가상점원 모델을 바탕으로 조립 컴퓨터 판매를 위한 가상점원을 구현하였고, 이에 대한 실험을 통하여 가상점원의 유용성을 보였다.

• Journal of Intelligence and Information Systems
• /
• v.5 no.2
• /
• pp.63-78
• /
• 1999

협상은 상거래에 있어서 매우 중요한 요소 중 하나이다. 현재의 웹 기반 전자상거래 시스템은 이러한 중요한 협상 구조를 상거래에 잘 반영하지 못하는 문제점을 가지고 있다. 이러한 문제점중 기업과 소비자간의 미비한 협상 구조를 보안하기 위해 실세계 상거래에서 존재하는 점원을 전자상거래상의 가상점원으로 모델링하여 회사의 정책과 구매자의 특성을 반영하여 구매자와 전략적으로 자동 협상을 수행할 수 있는 에이전트의 구조를 설계하고 구현하였다. 협상은 매우 복잡한 구조를 가지고 있다. 이러한 협상 구조를 지원하기 위해서는 상호간의 제안을 표현하고, 그 제안에 대한 평가 내용과 결정사항을 전달할 수 있는 언어적인 구조가 필요하며, 협상의 대상이 되는 사안들의 특성을 반영할 수 있는 표현 구조도 요구된다. 또한 이러한 협상에서 전략을 세우고 알맞은 제안을 제시하며 상대의 제안에 대하여 전략적으로 반응할 수 있는 의사결정 모델이 요구된다. 본 논문에서는 회사의 정책 모델과 구매자의 모델을 정의하고 이를 이용한 협상 모델을 설계 구현하였다. 협상 구조의 모델링을 위해 KQML(Knowledge Query Manipulation Language)을 기반으로 전자상거래 프로토콜로 설계하고, 논쟁 기반 협상 모델을 기초로 협상언로를 설계하였다. 또한 협상에서의 전략적인 의사결정을 위해 게임이론을 이용하고, 규칙 기반 시스템으로 이를 보충하였다. 마지막으로 가상점원 모델을 바탕으로 조립 컴퓨터 판매를 위한 가상점원을 구현하였고, 이에 대한 실험을 통하여 가상점원의 유용성을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.267-269
• /
• 1998

본 연구는 공동작업환경에서 워크플로우 개념을 도입한 문서 관리 모델을 제안하고 이를 시스템으로 설계하였다. 제안된 모델은 문서를 관계, 상태, 흐름의 세가지 측면에서 모델링 할 수 있으며, 오류를 자동 검출 할 수 있는 규칙들을 내장하고 있다. 이러한 모델을 기반으로 문서 관리 시스템을 설계하여, 모델이 구현 및 적용 가능함을 보였다. 제안한 모델과 시스템은 전자 결제 시스템이나 전자상거래 등의 문서의 절차적 처리가 필요한 응용들에서 사용될 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.785-794
• /
• 1998

국제 표준 전문 위원회에서는 PREMO(PResentation Environment for Multimedia Object)의 언어 바인딩에서 제기된 문제점을 해결하기 위하여 언어바인딩의 표준화를 취소하고 어떤 특정 언어에 의존하지 않는 바인딩 모델의 연구가 진행중이다. PREMO의 바인딩 모델에서 그래픽스 바인딩 모델을 제시하기 위하여 PREMO에서의 객체 함수들을 분석하고, ？체-Z 기능명세에 대한 함수 작용과 바인딩 모델에 관련된 데이터 사상을 보인다. 본 논문에서는 그래픽스 언어 바인딩 함수들을 기반으로 하는 그래픽스 바인딩 모델 설계를 제안한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.6
• /
• pp.667-672
• /
• 2003

In this paper, we propose a systematic method for intelligent digital redesign of a fuzzy-model-based controller for continuous-time nonlinear dynamical systems which may also contain uncertainties. The continuous-time uncertain TS fuzzy model is first constructed to represent the uncertain nonlinear systems. An extended parallel distributed compensation(EPDC) technique is then used to design a fuzzy-model-based controller for both stabilization and tracking. The designed continuous-time controller is then converted to an equivalent discrete-time controller by using an integrated intelligent digital redesign method. This new design technique provides a systematic and effective framework for integration of the fuzzy-model-based control theory and the advanced digital redesign technique for nonlinear dynamical systems with uncertainties. Finally, The single link flexible-joint robot arm is used as an illustrative example to show the effectiveness and the feasibility of the developed design method.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.231-231
• /
• 2004

공학해석기반의 설계/제조 시스템에서의 설계는 설계평가와 설계 trade-offs로 구성되어 진다. 설계평가는 설계의 유용성을 평가하거나 CAD모델을 공학해석 모델로 변환하여 구조해석을 통하여 평가하기 위해 사용되며 이러한 평가결과를 근거로 성능치를 정의하고 CAD모델에서의 치수가 trade-offs 해석을 위한 설계변수로 정의되어 진다. 설길 trade-offs는 개선된 설계를 얻기 위한 목적으로 수행되는 데 설계변경은 CAD와 공학해석 모델로 피드백하게 된다.(중략)