• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.89-95
• /
• 2007

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

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

웹상에서 다양한 문서자료들의 효율적인 기록 및 이용관리를 위하여 본 논문에서는 서버의 요청에 따라 ODBC를 데이터베이스와 연동하여 웹서버와 데이터베이스 서버구조를 갖는 Web기반 데이터베이스를 구축한다. ASP의 OLE DB개체와 관련하여 확정제약조건과 불확정제약조건을 계량화하여 데이터베이스에 저장하여 추론할 수 있다 이렇게 함으로써 보다 편리하게 문서자료를 기록 및 이용 관리할 수 있는 장점이 있다. 제안 시스템의 적용을 위해 고교 생활기록부의 종합의견란을 6개 항목으로 종합하고 일반화하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.505-507
• /
• 2005

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 춘계학술대회 학술발표 논문집
• /
• pp.131-135
• /
• 2001

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• 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)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

• 한국ITS학회 논문지
• /
• 제4권1호
• /
• pp.1-13
• /
• 2005

다양한 대중교통수단이 함께 구축되어 있는 통합대중교통망(Integrated Transit Network)에 대하여, 최적통행시간 경로정보뿐만 아니라 다수의 최적통행시간 정보를 제공하는 방안에 대한 기초연구는 그 사례를 찾아보기 어렵다. 본 연구는 다수의 대중교통경로를 탐색하기 위하여, 버스와 지하철의 두 수단이 함께 존재하는 복합교통망에서 K개의 최소통행시간을 갖는 경로를 탐색하는 방안을 제안한다 제안된 방안은 통행정보에서 대중교통 사용자가 일반적으로 필요로 하는 다음의 3가지 제약조건 (1) 수단의 서비스시간제약, (2) 통합거리비례제 요금제약, 3) 환승회수제약을 고려한다. 사례연구를 통해 K개의 최소통행시간 경로정보뿐만 아니라 위의 제약조건을 조합적으로 반영하여 사용자에게 필요한 경로정보의 질적 향상 및 다양화에 대한 가능성을 제시한다.

• 공학논문집
• /
• 제6권2호
• /
• pp.11-22
• /
• 2004

분산제약조건만족문제(Distributed CSP)는 변수와 제약 조건들이 다수의 에이전트에 분산되어 있는 제약조건만족문제를 말한다. 이 개념은 인공지능 분야의 다양한 문제들에게 폭 넓게 적용 할 수 있으며 또한 이와 유사하게, 에이전트 행동들의 일치된 조합을 찾기 위한 멀티에이전트 시스템의 다양한 응용 문제들(분산 자원할당문제, 분산 스케줄링문제, 분산 번역업무 등)이 모두 분산 제약조건만족문제에 속한다고 할 수 있다. 분산제약조건만족문제는다수의 자율적으로 동작하는 에이전트들의 상호작용과 그들 간의 협조에 의해 모든 에이전트들이 갖고 있는 변수들의 값과 그들 간에 존재하는 제약 조건들이 일치(consistency)하는 값을 효율적으로 찾기 위한 양질의 알고리즘 개발에 관한 연구 분야로서 최근에 와서는 멀티에이전트 시스템을 이용하여 분산 제약조건만족문제를 해결하기 위한 효율적인 알고리즘 개발에 관한 연구가 활발하게 진행되고 있다. 이 논문에서는 비동기/병행적인 탐색 과정에서 모든 에이전트들이 그들의 시험적인 값들을 조건에 일치하는 값으로 변경하기 위해 각 에이전트의 우선순위를 동적으로 변경할 수 있게 함으로써 불 일치된 변수의 값을 탐색이 진행되는 동안에도 수정이 가능하도록 하여, 기존 비 동기 되돌림알고리즘의 개선 대상인 되돌림(backtracking)의 효율성을 크게 향상시킬 수 있는 멀티에이전트의 동적 우선순위탐색 알고리즘을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.21-23
• /
• 2000

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

• 에너지공학
• /
• 제4권1호
• /
• pp.13-22
• /
• 1995

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

• 한국관개배수논문집
• /
• 제3권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