• 지능정보연구
• /
• 제7권1호
• /
• pp.149-159
• /
• 2001

최근 전자상거래에는 일대일 마케팅이나 협력적 정보여과기법등을 이용한 다양한 추천서비스가 도입되고 있다. 이러한 추천 서비스의 형태는 다양한 제약 조건을 갖고 계산 복잡도가 높은 제품의 경우에는 고객을 만족시킬 만큼 적절한 추천서비스가 이루어지기 어려울 것으로 본다. 본 논문에서는 Clancey의 Classification Problem Solving 방법과 제약조건 기반 Configuration기술을 통합하여, 이러한 문제를 해결할 수 있는 방법을 제시하였다. 이 방법은 Clancey의 이론에 따라 구성 복잡도가 높은 제품의 해집합 도메인을 분할하여 문제의 복잡도를 줄일 수 있도록 하였으며, 여기에서 선택된 도메인을 제약조건 기반 Configuration기술에 적용시킴으로써, 구매자와 제품 컴포넌트 사이에 존재하는 제약조건을 처리할 수 있도록 하였다. 제약조건기반 Configuration기술은 구매자에게 적합한 제품을 구성하기 위해서 제막 조건 판촉 문제(Constraint Satisfaction Problem; CSP)해결 기법을 이용한다. 또한 Clancey이론은 구매자의 만족도를 고려하기 위해서 정보검색 분야의 벡터공간 모델링 방법을 변형하여 적용하였다. 마지막으로 본 모델의 평가를 위해 전체 시스템의 수행시간 및 구매자 만족도를 비교 분석하였다

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.571-578
• /
• 2012

본 논문에서는 크게 두 가지 사항에 대해서 제안하고자 한다. 첫 번째는 논리합성을 위한 제약조건 방법에 대한 것이고, 두 번째는 효율적인 논리합성방법에 대한 것이다. 논리 합성은 주어진 제약조건(constraint)을 최대한 만족 시키면서 논리 사상과 최적화 등을 통하여 RTL(register transfer level) 코드로부터 게이트-수준의 네트리스트를 얻는 과정이다. 논리합성의 결과는 주어진 제약조건과 합성 방법에 매우 종속적이다. 이들에 의해서 설계의 면적 및 타이밍이 크게 변화하므로 우리는 제약조건과 합성방법을 철저하게 고려하여야 한다. 본 논문에서는 논리합성을 하는 과정에서 실제로 고려해야하는 사항들에 대해서 경험적이고 실험적인 결과를 바탕으로 혼합방식의 논리합성 기법을 제안한다. 제안된 기법을 이용하여 약 65만 게이트의 하드웨어 자원량을 사용하는 회로에 적용시켜본 결과로 상향식 방법에 비해서 합성 시간이 약 47% 감소하였고, 하향식 방법에 비해서 타이밍 특성이 우수하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.276-281
• /
• 2009

장거리 용수공급 시스템에서 전력비용은 전체 운영비용의 큰 부분을 차지한다. 본 연구는 시간단위의 펌프와 배수지 시스템의 최적 운영계획을 수립하기 위해 동적계획기법에 기초한 방법론을 제시하고 있다. 해석방법은 가용 가능한 펌프의 효율적 운전과 전력요금체계, 시간대별 용수수요추이 그리고 배수지 특성과 송수관로의 제약조건 등을 고려하였다. 이를 위해 적용 가능한 시스템 운영목적과 제약조건이 제시되었고 개발된 방법은 수도권 광역상수도 양주계통의 2개 가압장과 5개 배수지를 대상으로 적용되었으며, 적용결과는 상당한 수준의 펌프운전비용을 절감할 수 있는 것으로 나타났다. 이와 같은 방법은 생애주기 비용 최소화 측면에서 실제 용수공급 시설 운영과 대규모 용수공급 체계의 설계 등에 적용이 가능하다.

• 한국통신학회논문지
• /
• 제25권12A호
• /
• pp.1861-1868
• /
• 2000

실시간 응용 프로그램은 미디어 데이터간에 만족되어야 할 동기화 제약조건(synchronization constraints)을 가지고 있다. 이러한 제약조건을 프리젠테이션 되어야 할 미디어 데이터간의 지연시간 및 서비스 품질을 나타낸다. 미디어 데이터간의 지연시간 및 서비스 품질을 효율적으로 표현하기 위해서는 이에 적합한 새로운 동기화 기법이 요구된다. 동기화 기법은 미디어의 재생시 끊어짐이 없는 유연한 재생을 처리하는 기법이다. 제안된 기법은 사용자 측면에서 엄격한 재생을 위하여 프레임을 생략하는 것보다는 부드러운 영화를 볼 수 있도록 유연한 재생 처리를 한다. MMSM(MultiMedia Synchronization Model) 모델의 동기화 기법은 종 미디어 스트림을 부드럽게 재생하는 결과를 나타내었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (중)
• /
• pp.1651-1654
• /
• 2002

대부분의 멀티미디어 응용은 제한된 시간내에 작업이 수행되어야 하는 연성 실시간 특성을 가지고 있으며, 일반직으로 윈도우즈 또는 유닉스와 같은 범용 운영체제 상에서 수행되고 있다. 하지만, 범용 운영체제는 요구 페이징에 기반한 가상 메모리 시스템을 근간으로 하고 있으므로, 연성 실시간 태스크가 요구하는 제약조건을 처리하는데 문제점을 가지고 있다. 본 논문에서는 범용 운영체제가 연성 실시간 태스크를 원활히 지원할 수 있도록 가상 메모리 시스템을 개선시키는 방법을 제시하고 있다. 주요 아이디어는 실시간 태스크가 사용하는 메모리에 대해서 태스크의 우선순위에 기반한 고립화(isolation)를 제공하는 것이며, 이를 통해서 메모리 제약 조건하에서 연성 실시간 태스크가 제한 시간을 만족시키며 수행됨을 보이고 있다.

• 자연과학논문집
• /
• 제7권
• /
• pp.115-120
• /
• 1995

실 시간 처리 시스템에서의 시간제약 조건을 충족시키는 바람직한 수단으로 근사값 계산 방안이 제안되었지만, 이에 대한 근본적 이론연구는 깊이 고찰되어 있지 않은 형편이다. 이에 본 논문에서는 실제 응용그로그램에서의 근사값 계산 방안의 체택 당위성을 판단할 수 있는 이론적 결정 방법을 제시하였다. 이로써 실시간에서의 시스템 예측도와 대응능력을 높여, 효과적인 자원관리와 제약조건을 충족시킬 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.193-195
• /
• 2002

데이터 웨어하우스는 효과적인 질의와 분석을 위해 물리적으로 여러 사이트에 분산된 소스 데이터로부터 통합된 정보를 추출하여 저장한 데이터 저장소로써, 실체 뷰의 집합으로 구성된다. 따라서 데이터 소스에 변경 사항이 발생하면 데이터 웨어하우스와 일관성을 유지하기 위해 실체 뷰에도 변경 사항을 반영하는 뷰 관리가 필요하다. 동시에 변경되는 여러 데이터 소스와 뷰의 상태 사이에 일관성을 보장하기 위해서는 각 소스의 변경 사항을 순서대로 뷰에 반영해야 한다. 이때 각 소스의 변경 사항을 뷰 정의와 관련된 다른 소스들과 조인을 수행해야 하는 등 뷰 갱신을 위해 많은 비용이 소요된다. PSWEEP/RI 기법은 이러한 뷰 갱신 비용을 줄이는 방법으로 뷰의 일관성을 보장하기 위해 수행해야 하는 서브질의를 참조 무결성 제약조건의 특성을 이용하여 병렬로 처리하는 방법이다. 본 논문에서는 PSWEEP/RI기법의 성능을 평가하기 위하여 이 방법의 비용 모델을 분석적으로 제시하였으며, 이 모델을 기반으로 다른 기존의 방법(SWEEP)과 성능을 비교 분석하여, PSWEEP/RI 기법이 다른 기존의 방법(SWEEP)보다 여러 소스 릴레이션의 조인으로 구성된 실체 뷰를 갱신하는 시간을 크게 단축하여 효율적으로 뷰를 관리하며, 소스의 증가에 따른 뷰 갱신 시간의 증가를 줄일 수 있음을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1501-1502
• /
• 2010

DualCore 혹은 MultiCore 플랫폼의 보급에 따라 높은 시간복잡도를 갖는 응용들도 사용자의 컴퓨터나 단말에서 수행되어 다양한 서비스를 제공할 수 있게 되었다. 본 논문에서는 관광 스케줄을 효율적으로 결정하기 위한 다중목적지 방문 문제에 대해 이중 쓰레드에 기반한 서치 스페이스 탐색 알고리즘을 구현한다. 이는 Traveling Salesman Problem의 한 종류로서 O(n!) 시간 복잡도를 갖고 있으며 검색시의 독립성때문에 각 쓰레드는 병렬적으로 최적의 스케줄을 탐색할 수 있다. 또 현재까지 발견된 최적값을 기반으로 부분 경로의 비용이 이미 최적값을 넘는 경우는 하위 탐색을 제거하여 상당한 성능의 향상을 가져온다. 2.4 GHz Intel(R) Core DuoCPU와 3 GB 메모리로 구성된 플랫폼 상에서 구현된 서비스는 11개의 목적지에 대한 방문 스케줄을 생성함에 있어서 단일 쓰레드 버전은 14.196초, 이중 쓰레드 버전은 6.411초, 제약조건을 포함한 이중 쓰레드 버전은 0.14초에 최적의 스케줄을 찾아낼 수 있다.

• 정보처리학회논문지A
• /
• 제9A권1호
• /
• pp.61-74
• /
• 2002

본 논문에서는 시간 제한 조건을 가진 자유 선택 신호 전이 그래프로부터 비동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 방법에서는 자유 선택 신호 전이 그래프를 선택 행위가 없는 결정성 신호 전이 그래프에 대하여 타이밍 분석을 수행하여 임의의 두 신호 전이 사이의 시간 제약 병렬 관계와 시간 제약 인과 관계를 구한다. 다음에는 이 관계들을 이용하여 각 결정성 신호 전이 그래프에 대한 합성을 수행하고 그 결과를 합병함으로써 전체 회로를 합성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 공간이 큰 회로에 대하여 현저하게 합성시간을 단축시킬 수 있을 뿐 만 아니라 기존의 상태 그래프 기반 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

• 대한토목학회논문집
• /
• 제28권3D호
• /
• pp.317-323
• /
• 2008

국내는 정보통신(IT) 기술의 발달을 기반으로 BIS, BMS, CNS 등을 통해 교통정보가 실시간으로 제공되고 있으며, 향후 유비쿼터스 시대로 본격적으로 진입하게 되면 개개인의 입맛에 맞는 맞춤형 (대중)교통 정보 제공이 가능하리라 판단된다. 이러한 대중교통 통행정보 제공은 대중교통망에서의 경로탐색알고리즘을 구현함으로써 가능한데, 대중교통망은 일반가로망과는 달리 환승과 운행시간 특성을 포함하며, 통행자가 경로선택시 통행거리, 통행요금, 환승횟수 등과 같은 복수의 요소에 대한 고려가 필요하다. 이에 본 연구에서는 사용자에게 영향을 미칠 수 있는 요인들을 제약조건으로 구성하고 그들의 상한 값을 변수화 함으로써 사용자의 경로탐색조건을 보다 자의적으로 축소해 나가는 기법을 제안한다. 또한, 본 연구에서는 서비스시간제약조건을 고려한 K경로탐색알고리즘에 기반을 두어 환승횟수, 총통행시간, 좌석확보, 거리비례제의 요금제약, 환승시간을 제약조건으로 구축하고, 최적의 경로를 탐색하는 방법을 제안한 후 서울시 및 수도권 도시철도망에 대하여 적용함으로써 맞춤형 환승교통정보를 구현해 본다. 적용되는 K경로탐색알고리즘은 전체경로삭제(Entire Path Deletion Method)에 근거한 후, 시간종속적(Time-Dependent)인 개념으로 확장하여 향후 여행전(Pre-Trip), 여행중(In-Vehicle Route Guidance), 실시간적인 경로계획(Path Planning)에도 활용될 수 있는 기반을 구축하였다.