• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.89-95
• /
• 2007

본 논문에서는 연속적 충돌검사 방법과 제약 조건 기반의 강체 역학 모델링 기법을 이용하여 마커 기반의 트래킹 환경에서 현실의 객체와 가상의 객체가 물리적으로 현실적이고 안정적으로 상호작용하는 증강현실 방법을 제안한다. 본 논문에서 구현된 증강 현실 시스템은 증강 현실환경상의 현실 객체를 인식하고 트래킹 하는 부분과 증강현실에 등장하는 모든 종류의 객체들 간의 물리적인 상호작용을 시뮬레이션 하는 부분으로 크게 구성된다. 객체 트래킹에 사용되는 일반적인 카메라로는 적은 수의 불연속적인 프레임 밖에 얻을 수 없는 성능의 근본적인 한계에도 불구하고, 본 논문에서는 연속적 충돌검사 방법을 이용하여 객체간의 올바른 충돌 정보를 얻을 수 있었고, 이를 이용하여 제약 조건 기반의 강체 역학 시뮬레이션을 적용하여 안정적이고 현실적인 물리 반응을 생성할 수 있었다. 제안한 방법론은 이러한 트래킹 지연에도 불구하고 본 논문에서 사용된 다양한 벤치마킹 시나리오에서, 안정적으로 현실의 객체와 가상의 객체 사이에 물리적으로 실감나는 인터랙션 결과를 보여주었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.537-541
• /
• 2001

This study is to construct ODBC Database based Web, which has a structure of Web server and Database server connected with Database concerning server demand for the purpose of the efficient record, use and management of various document data. Each ASP OLE DB ran be saved and inferred by measuring CLC and ULC. That makes to record, use and management of document data more convenient. For the application of the suggested of the system this study is to put together into 6 categories and generalize the synthetic opinion column of high school student document.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.505-507
• /
• 2005

시맨틱 웹 서비스 검색시스템은 제공자가 기술한 웹 서비스 시맨틱 기술을 웹 서비스 사용자의 요청에 의해 검색하여 사용자에게 반환한다. 이러한 검색은 의미적 비교를 통해 이루어지며, 의미적 비교는 OWL-S[4]와 같은 표준을 통해 기술된 웹 서비스의 입력과 출력, 조건, 효과(Input, Output, Precondition, Effect) 즉, IOPE 와 사용자의 요청의 그것에 대해 수행된다. 하지만, 이러한 검색은 때때로 웹 서비스를 이용하여 이용자에게 서비스를 제공하는 지능형 에이전트에게 적합하지 않다. 지능형 에이전트는 웹 서비스의 실행을 위한 입력의 변환과 반환된 출력의 선택을 통해 서비스를 이용 가능하므로 IOPE의 형식에 대한 정확한 일치를 요구하지 않는다. 본 논문에서는 지능형 에이전트에 보다 융통성 있는 검색 서비스의 제공을 위한 제약조건을 기반으로 시맨틱 웹 서비스 검색시스템에 대하여 설명한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.05a
• /
• pp.131-135
• /
• 2001

본 논문에서는 작업 변수 또는 동작의 의도에 따라 다양한 형태의 궤적을 생성할 수 있는 동적 궤적 메모리(MTM)와 로봇 관절의 속도 및 가속도 제약조건을 만족하는 동작 시간을 계산하는 방법인 제약 조건을 고려한 표본화 간격 계산법(STICCON)이라는 두 가지 방법을 제시한다. 그리고 그 방법은 인간형 로봇의 동작 궤적 생성을 위한 구조적인 틀을 제안한다. 제안된 방법은 인간형 로봇의 궤적 생성 방법이 가져야 하는 두 가지 특성, 즉 복잡하고 다양한 동작의 궤적 표현 능력과 제약 조건에 따른 동적 궤적의 변형 과정을 모두 가지고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.148-150
• /
• 2003

본 논문에서는 인터넷 종단 호스트에서 공유 자원의 대역폭 제약조건과 종료시한 제악조건 모두를 만족시킬 수 있는 자원 할당 구조를 제안한다. 제안된 구조는 두 단계로 구성된다. 상위 단계에서는 비례 분배 스케줄러(proportional share scheduler)인 EFT-C/D (Earliest Finish Time Credit/Debit) 스케줄러가 수행된다. 이 스케줄러는 CPU와 같은 시분할 공유 자원을 하위 단계 스케줄러들에게 지정된 비율로 분배하는 역할을 한다. 그리고 하위 단계에서는 서로 다른 시간 제약조건이 부여된 태스크들을 스케줄링 하기위해 다양한 실시간 스케줄러가 수행된다. 본 연구의 주요 성과는 두 가지로 요약된다. 첫째, 이상적인 GPS (Generalized Processor Sharing) 서버와 거의 동등한 수준으로 자원을 공평하게 분배하는 EFT-C/D 알고리즘을 개발하였다. 둘째, 하위 단계에서 수행되는 EDF 스케줄러에 대해 이용율(utilization)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.4 no.1 s.6
• /
• pp.1-13
• /
• 2005

For integrated transit networks operated with diverse transit modes, it is difficult to find related literatures on the provision of multiple travel time routes information. This study proposes a methodology on how to select K number of least time transit routes in the integrated transit network with two modes, bus and subway. In the Proposed method, three constraints usually (will be) encountered for decision by users-(1) service time constraints of travel modes, (2) maximum payment fare constraints under the integrated distance based fare system, and (3) maximum number of transfer constraints - are taken into consideration in the searched routes. The experimental studies shows that the proposed method properly provides K number of least time routes. In addition, it somehow proves that by combinatorially considering three constraints the proposed method can be evaluated as to enlarge the quality as well as the diversity of route information demanded by users.

• The Journal of Engineering Research
• /
• v.6 no.2
• /
• pp.11-22
• /
• 2004

A distributed constraint satisfaction problem (distributed CSP) is a constraint satisfaction problem(CSP) in which variables and constraints are distributed among multiple automated agents. ACSP is a problem to find a consistent assignment of values to variables. Even though the definition of a CSP is very simple, a surprisingly wide variety of AI problems can be formalized as CSPs. Similarly, various application problems in DAI (Distributed AI) that are concerned with finding a consistent combination of agent actions can be formalized as distributed CAPs. In recent years, many new backtracking algorithms for solving distributed CSPs have been proposed. But most of all, they have common drawbacks that the algorithm assumes the priority of agents is static. In this thesis, we establish a basic algorithm for solving distributed CSPs called dynamic priority search algorithm that is more efficient than common backtracking algorithms in which the priority order is static. In this algorithm, agents act asynchronously and concurrently based on their local knowledge without any global control, and have a flexible organization, in which the hierarchical order is changed dynamically, while the completeness of the algorithm is guaranteed. And we showed that the dynamic priority search algorithm can solve various problems, such as the distributed 200-queens problem, the distributed graph-coloring problem that common backtracking algorithm fails to solve within a reasonable amount of time. The experimental results on example problems show that this algorithm is by far more efficient than the backtracking algorithm, in which the priority order is static. The priority order represents a hierarchy of agent authority, i.e., the priority of decision-making. Therefore, these results imply that a flexible agent organization, in which the hierarchical order is changed dynamically, actually performs better than an organization in which the hierarchical order is static and rigid. Furthermore, we describe that the agent can be available to hold multiple variables in the searching scheme.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.21-23
• /
• 2000

본 논문에서는 통합설계에서 시간제약하의 최소비용 시스템 구현을 위한 분할의 최적해 탐색을 위한 ILP형식을 정의하고 실험에 의해 결과를 평가한다. 분할 문제는 각 노드의 하드웨어 소프트웨어 파티션 선택과 소프트웨어 실행을 위한 대상 노드의 스케쥴링 문제가 함께 고려되어야 한다. 본 논문에서는 분할 단계에서 스케쥴링을 함께 고려하는 ILP형 정의를 위해 ASAP과 ALAP 스케쥴에 의해 유도되는 모빌리티와 시간 제약 조건, 종속성 제약 조건을 형식화하고, 목적함수인 최소 시스템 설계 비용 탐색을 위한 형을 정의한다. 정의된 형에 의한 ILP 구현은 다양한 벤치마크 검증에 의해 최적의 해를 결과로 보인다.

• Journal of Energy Engineering
• /
• v.4 no.1
• /
• pp.13-22
• /
• 1995

공정산업에서 열교환망의 최적화를 통한 에너지 회수 및 절감 기술의 개발을 목적으로, 여러 개의 핀치를 갖거나 또는 안전 및 배열 등과 같은 제약조건들이 주어진 계를 대상으로, 계의 분리법(system separation method)을 적용하여 신뢰도가 높은 목표값(target)을 설정하는 연구의 일환이다. 본 연구에서는 그 목표값의 10% 이내에 도달할 수 있도록 실제적인 열교환망 합성을 수행하는 프로그램 개발에 중점을 두었으며, 조업 중인 기존 공정에 적용해 본 결과, 연간 총비용의 15% 정도를 절감할 수 있는 결과를 얻을 수가 있었다.

• KCID journal
• /
• v.3 no.1
• /
• pp.32-39
• /
• 1996

Analyses of flow rates and pressures in pipe networks are crucial in determining pipe diameters. In this study the nonlinear programming has been applied to compute pipe Hon in a looped pipe network. The required theoretical background is described to app