• 한국공작기계학회논문집
• /
• 제16권2호
• /
• pp.44-49
• /
• 2007

An agent is an abstract unit for problem solving in the field of distributed artificial intelligence, and an agent-based system is designed and implemented based on the definition of agent as its central concept. Agent modeling is advantageous to abstraction, disintegration and structuring for describing complex system, so its application is increased in various areas including air traffic control, power transmission, e-commerce and medicine. There is no agreed definition of agent but agents have common points as follows: autonomy, reactivity, pro-activeness and cooperation. An agent-oriented modeling is an approach of a concept different form existing object-oriented modeling. This study proposed the agent application for E-Beam manufacturing system. To evaluate the performance of the proposed process design, we used the JADE library. The JADE toolkit provides a FIPA-compliant agent platform and a package to develp Java agents. It provides a basic set of functionalities that are regarded as essential for an autonomous agent architecture.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권1호
• /
• pp.14-25
• /
• 2001

XML은 다양하게 응용할 수가 있어 여러 분야에서 널리 사용되고 있다. 그러나 이러한 응용들에 대해서 통합적으로 관리해 주는 시스템은 제안된 바 없어, 각각의 응용에 대해 별개의 언어로 사용되고 있다. 따라서, 본 논문은 XML의 다양한 응용 중에 웹을 기반으로 하는 대표적인 응용인 SMIL, RDF, WIDL에 대해, 이들의 DTD와 문서 인스턴스를 통합하여 객체 모델링을 하고자 한다. 각 XML 응용에 대해 객체 모델링 규칙과 알고리즘을 통합할 수 있는 시스템을 제안한다. 이를 통해 XML 종류에 상관없이 웹 기반 XML 응용의 구조를 쉽게 파악할 수 있으므로 문서 생성을 용이하게 하며, 객체지향 스키마를 쉽게 생성할 수 있으므로 객체지향 데이터베이스 문서관리의 기반이 될 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제5권2호
• /
• pp.37-42
• /
• 2000

CORBA에서 객체 기술은 분산 및 이기종 기계에 분산되어 있는 소프트웨어 컴포넌트의 통합된 구현을 용이하게 한다. CORBA와 유사한 객체 통합 기술들은 표준화된 컴포넌트 통합 및 상호 동작 모델을 정하고 호환 불가능한 컴포넌트 구현을 캡슐 화하기 위한 객체지향 원리를 발전시켰다 본 논문에서는 Java Bean에 기반을 둔 분산 시스템 환경에서 객체와 객체간에 관련성을 모델링하기 위해 컴포넌트, 연결자 및 컴포넌트 스키마로 구성된 구조화된 모델을 제시하고 구현한다. 특히 Java Bean 환경에서 객체간의 관련성을 모델링하기 위한 연결자의 구성에 중점을 둔다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1996년도 봄 학술발표회 논문집
• /
• pp.70-77
• /
• 1996

Recently many efforts have been made to improve the efficiency of design and production of the structures using the automation system. But, this work has been progressed as independent or partial system. And, the study on the integrated system is not sufficient in application for practical problems yet. This paper deals with the fundamental concept of modeling system and application method on structural modeling. At first, the core of the integrated system is a shape modeling system that can represent the geometric and topological information. This system must be designed as an open system to be combined with each independent automation system. The appropriate concept to realize this system on structural modeling is object oriented modeling and this enables to integrate each automation system successfully, This concept was applied to automatic mesh generation. For shape modeling system, half-edge data structure that is being used in solid modeling was modified to handle the plate structure in the plane. And, to generate the triangular meshes, direct node connection method was used. And, as a result, the integrated system that generate the meshes of two dimensional structure automatically was realized. And, programmed by C++, these systems can be combined with other systems easily and have good reusability.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2004년도 춘계종합학술대회
• /
• pp.354-357
• /
• 2004

데이터 웨어하우스는 주제 지향적이고, 통합적이며, 비 유동적인 데이터로써 의사결정에 필요한 정보들을 추출하여 OLAP(On-Line Analytical Processing)분석에 이용된다. 현재 OLAP 연산자와 스타 스키마 사이의 다차원 모델링에 관한 연구는 많이 진행되어 왔다. 본 논문에서는 drill-across 연산자를 통해 객체 지향 개념적 관계와 스타 스키마보다 한층 더 확장된 스노우 플레이크(snowflake) 스키마를 이용하여 관계를 설계하고자 한다. 설계를 통해 star schema에 적용되지 않았던 객체 지향 관계가 개선되었음을 알 수 있었다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제2권1호
• /
• pp.61-67
• /
• 1996

3차원 컴퓨터 그래픽스 응용 프로그램은 그래픽 객체(graphical object)들의 관리와 디스플레이(display), 그리고 객체들에 발생하는 이벤트(event)등을 처리해야만 한다. 하지만, 이들은 상당히 복잡한 일일뿐만 아니라 많은 그래픽스 응용 프로그램에 공통되는 내용들이기 때문에, 이런 응용 프로그램들에게 유연성을 제공하는 툴을 개발하려는 시도가 계속되어져 왔다. 본 논문에서는 사용하기 편리하고 쉽게 모델링과 렌더링을 할 수 있는 기능을 제공하며, 객체 지향 기법으로 설계되었기 때문에 확장이 용이한 그래픽스 툴킷의 설계 및 구현에 대해 설명한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.1022-1027
• /
• 1995

We present a framework of an intelligent design support system for embodiment design of machine tools which can support efficiently and systematically the machine design by utilizing design knowledge such as objects(part), know-how, public, evaluation, and procedures. The design knowledge of machining center has been accumulated through interview with design experts of machine tool companies. The processes of embodiment design of machining center are established. We also introduce a hybrid knowledge representation so that the systm can easily deal with various and complicated design knowledge. The intelligent design system is being developed on the basis of object-oriented programming, and all parts of a design object, machining center, are also classified by the object-oriented modeling. For the demonstration of effectiveness of the suggested system, a structural design system for machine tools is implemented.

• 한국국방경영분석학회지
• /
• 제23권1호
• /
• pp.47-62
• /
• 1997

This paper is aimed to investigate the applicability of SMG method to the development of an object-oriented simulation software in the MODSIM II environment. SMG method is an object-oriented simulation software development method proposed by System Modeling Group(SMG), National Defense University of Korea. Through this study, we concluded that SMG method can be a powerful method for the development of object-oriented simulation software in the MODSIM II environment. However, SMG method lacks in depicting some of messages in the MODSIM II, for example, ASK method, TELL method, WAITFOR method, interrupt. In the future, SMG method is expected to extend for incorporating those things presumably by referring to Professor Baileys pictures, OOSPICs.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권2호
• /
• pp.174-182
• /
• 2002

실시간 시스템이 복잡해짐에 따라 이를 개발하는 과정에서 객체 지향 설계 방법론과 이를 지원하는 CASE 도구들이 널리 사용되고 있다. 그러나 이런 객체 지향 CASE 도구를 사용할 경우, 설계자들은 별도의 과정으로 객체 중심으로 설계된 모델을 실제 수행되는 주체인 태스크로 변환시켜야 한다. 불행하게도 객체 모델과 태스크는 특성이 근본적으로 다르고, 스케줄 가능성을 분석하기가 어렵기 때문에 이러한 과정을 자동화하기는 매우 어렵다. 이 문제를 해결하기 위하여 많은 CASE 도구에서는 개발자가 직접 수동으로 객체를 태스크로 변환시키도록 요구하고 있다. 결과적으로 개발자들은 자신의 경험을 바탕으로 하여 임시 변통적인 방법에 의존하여 태스크를 유도하고 있다. 유도된 태스크 집합은 결과 시스템의 스케줄 가능성에 직접적으로 중요한 영향을 미친다. 본 논문에서는 실시간 객체 지향 설계 모델을 스케줄 가능성을 고려해 다중 스레드 구현으로 자동적으로 변환하는 방법을 제안한다. 본 논문에서 태스크는 다른 주기와 종료시한을 갖는 상호 배타적인 트랜잭션들로 이루어진다. 이러한 새로운 태스크 모델에 대하여 스케줄 가능성 분석 알고리즘을 제시한다. 또한 제안된 방법을 지원하기 위하여 런 타임 시스템과 코드 생성이 어떻게 지원되어야 하는지에 대하여 설명한다. 사례 연구는 단일 태스크 매핑의 부적절성을 보여줌과 함께, 다중 태스크를 수동으로 유도하는 것이 매우 어렵고, 제안된 방법이 실질적으로 유용하다는 것을 명백하게 보여준다.