• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.68-70
• /
• 1998

본 논문에서는 클록들을 주기적으로 동기화하는 분산 실시간 시스템에서 주어진 태스크의 시간 제약(timing constraint)을 변환시는 구가지 기법을 제안한다. 전형적인 이산 클록 동기화(discrete clock synchronization)알고리즘은 클록의 값을 순간적으로 보정(correct)하여 클록의 시간이 불연속적으로 진행학 한다. 이러한 시간상의 불연속성은 태스크의 시작제한시간(release time)이나 종료시한(deadline)과 같은 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다. 클록 시간의 불연속성을 피하기 위해 일반적으로 연속 클록 동기화(continuous clock synchronization) 기법이제안되었지만 소프트웨어적으로 구현되기에는 많은 오버헤드를 유발시키는 문제점이 있다. 이에 따라 연속 클록 동기화는 PLL (Phase-Locked Loop)을 이용한 별도의 하드웨어를 사용하는 것이 보통이다. 본 논문에서는 연속 클록 동기화 기법을 사용하는 대신, 태스크의 시간 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였다. DCT는 소프트웨어 으로 구현이 가능하여 새로운 하드웨어를 필요로 하지 않으며, 이를 통해 기존의 이산적으로 동기화된 시스템에서 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있다. 또 다른 문제점으로서, 클록의 물리적인 특성으로 인해 동기화된 클록들이 상한된(bounded from the above)오차(skew)를 갖는다는 것이다. 이러한 오차는 지역 클록(local clock)에 대해 만족될 수 있는 임의의 실기간 제약 조건이 전역 클록(global clock)에 대해서는 만족되지 않을 수 있음을 의미한다. 본 논문에서는 이를 위해 먼저 두 가지의 스케줄링 가능성, 지역적 스케줄링 가능서(local schedulability)과 전역적 스케줄링 가능성(global schedulability)을 정의하고, 실시간 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation)기법을 제안하였다. SCT를 통해 지역적으로 스케줄링 가능한 태스크는 전역적으로 스케줄링이 가능하므로, 단지 지역적 스케줄링 가능성만을 검사하면서 스케줄링 문제를 해결할 수 있도록 하였다.

• Electronics and Telecommunications Trends
• /
• v.12 no.5 s.47
• /
• pp.73-83
• /
• 1997

최적화 컴파일러 및 병렬 컴파일러는 종속성 분석을 통하여 프로그램의 문장 사이, 동작들 간에 가해지는 실행 순서 상의 제약 조건을 추출한다. 이러한 제약 조건은 계산의 의미를 보존하기 위한 필요 조건들이며, 컴파일러의 성능을 향상시키기 위한 프로그램의 변환은 이 제약 조건을 만족하는 범위에서 수행되어야 한다. 본 고에서는 컴파일러에서 최적화 및 병렬화할 프로그램의 부분과 적용될 변형 기법 등을 결정하기 위해 필요한 종속성 분석에 대한 내용을 다룬다.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.2
• /
• pp.69-76
• /
• 2013

Reader-to-reader interference in RFID system is occurred due to the use of limited number of frequencies, and this is the main cause of read rate reduction in the passive RFID tags. Therefore, in order to maximize the read rate under the circumstances of limited frequency resources, it is necessary to minimize the frequency interference among RFID readers. This paper presents a hybrid FDM/TDM constraint satisfaction problem models for frequency interference minimization problems of the RFID readers, and assigns optimal channels to each readers using conventional backtracking search algorithms. A depth first search based on backtracking are accomplished to find solutions of constraint satisfaction problems. At this moment, a variable ordering algorithm is very important to find a solution quickly. Variable ordering algorithms applied in the experiment are known as efficient in the graph coloring. To justify the performance of the proposed constraint satisfaction problem model, optimal channels for each readers in the passive UHF RFID system are allocated by using computer simulation satisfying various interference constraints.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.278-280
• /
• 1999

실시간 GIS 응용 프로그램에서는 기존의 GIS 시스템과는 달리 동적인 공간데이터가 신뢰성을 위해 일정한 시간 내에 갱신되어야 유효성을 유지하며, 사용자가 요청하는 질의는 일정 시간 내에 처리되어야 하는 시간제약조건을 갖는다. 이러한 GIS응용프로그램을 지원하기 위한 실시간 공간데이터베이스 시스템에서는 기존의 실시간 데이터베이스 시스템에서 고려되지 않은 동적 실시간 공간데이터와 실시간 공간질의에 대한 처리가 필요하며 질의 처리 시 실시간 데이터와 실시간트랜잭션의 시간제약조건의 만족을 초대화하기 위한 고려가 필요하다. 본 논문에서는 실시간 공간질의 처리 시 예측성을 최대화 하기 위해 질의에서 빈번히 사용되는 데이터를 주기억상주 데이터베이스에 저장하였고, 실시간 공간데이터의 관리를 위하여 공간질의어를 확장하였다. 또한 실시간 공간질의 처리 시에 실시간 데이터와 실시간트랜잭션의 시간제약조건을 최대한 만족시키기 위해 공간질의 분석과 연산 순서의 재배치 기법을 사용하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.619-622
• /
• 2001

실시간 응용 프로그램은 미디어 데이터간에 만족되어야 할 동기화 제약조건(synchronization constraints)을 가지고 있다. 이러한 제약조건은 프리젠테이션 되어야 할 미디어 데이터간의 지연시간 및 서비스 품질을 나타낸다. 미디어 데이터간의 지연시간 및 서비스 품질을 효율적으로 표현하기 위해서는 이에 적합한 새로운 동기화 기법이 요구된다. 제안된 논문은 가변적 전송 지연 시간을 흡수하면서 미디어 데이터간의 동기화를 수행하는 동적 동기화이다. 즉, 최대 지연 지터 시간을 이용한 동기화 구간 조정과 지연시간의 변화에 따른 가변적 대기 시간을 융통성 있게 처리하여 미디어 데이터간의 동기화 요구를 만족시킬 수 있는 기법이다. 본 논문은 동기화 구간 조정을 처리하기 위해 지연 지터를 적용함으로써 트래픽 증가로 인한 미디어 데이터의 손실 시간 및 지연시간의 변화로 인한 데이터 손실을 감소시켰다. 그리고 스무딩 버퍼의 대기 시간을 가변으로 처리함으로써 지연시간의 변화로 인한 불연속을 감소시켰다. 제안된 논문은 고품질 서비스의 보장을 요구하는 시스템에 적합하며 재생율 증가와 손실율 감소 등 서비스 품질을 향상시켰다.

• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.115-122
• /
• 2011

It is very hard to obtain a general algorithm for solution of all the constraint satisfaction optimization problems. However, if the whole problem is separated into subproblems by characteristics of decision variables, we can assume that an algorithm to obtain solutions of these subproblems is easier. Under the assumption, we propose a problem classifying rule which subdivide the whole problem, and develop backtracking algorithms fit for these subproblems. One of the methods of finding a quick solution is efficiently arrange for any order of the search tree nodes. We choose the cluster head positioning problem in wireless sensor networks in which static characteristics is dominant and interference minimization problem of RFID readers that has hybrid mixture of static and dynamic characteristics. For these problems, we develop optimal variable ordering algorithms, and compare with the conventional methods. As a result of classifying the problem into subproblems, we can realize a backtracking framework for systematic search. We also have shown that developed backtracking algorithms have good performance in their quality.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.49
• /
• pp.183-189
• /
• 1999

재고관리 분야는 대부분 생산 제품에 대한 시장변화, 배달지연 등으로 인한 불확실성을 어느 정도 보편화 또는 요인을 제거하여 수리적 모형을 만들어 여러 가지 제약조건들을 변화 있게 가정하여 각 제품별로 최적 재고 관리 시스템을 만들어 왔다. 그러니 이러한 수학적 모형으로부터 나온 해결책을 실제로 적용될 때 자본 능력 한계, 저장 면적 한계 등을 고려하지 않는 것이기 때문에 실현 불가능할 수 있다. 따라서 이러한 문제점을 해결하고자 수요예측, 저장면적의 한계, 자본 한계 등 이러한 제약조건들을 동시에 최대한으로 만족시킬 수 있는 목적계획법(Goal Programming)을 이용하여 각 제품별 안전 재고를 산출하여 실질적으로 적용할 수 있는 재고 시스템을 구성하여, 여러 가지 제약조건 등을 동시에 만족시킬 수 있는 최적 안전재고를 산출하여 최적 재고 관리 시스템을 구축, 현실성을 높이고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.12A
• /
• pp.1861-1868
• /
• 2000

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

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.153-156
• /
• 2000

철도 승무원 교번표는 승무사업이 작성된 이후 순서규칙(sequencing rule), 운영규칙 등과 같은 제약조건을 만족하는 사업(duty)의 진행 내용을 나타내고 있는 표이다. 일반적으로 철도 승무원 교번표 작성은 승무원 사업표가 작성된 후 각 사업소 별로 승무원간 사업시간의 차이가 최소가 되도록 즉, 승무원이 균등한 사업시간을 갖도록 작성이 된다. 교번표의 작성은 각 나라마다 독특한 노동협약이나 운용규정 등과 같은 복잡한 제약조건들을 충분히 고려하여 작성되어야 하므로 그 동안 연구에 어려움이 많았다. 본 연구에서는 우리나라 철도청에서 현재 수행하고 있는 교번표 작성현황을 살펴보고 문제점을 파악하였다. 또한 교번표 작성 절차를 분석하여 모형화 하였으며 추후 연구방향을 제시하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.3
• /
• pp.125-133
• /
• 2001

본 논문은 파노라마 모자익의 접합 질을 판단하기 위해 접합 신뢰도라는 수량적 기준을 제시한다. 또한, 파노라마의 자동 생성과 따른 시각화를 위해 필요한 초점거리 측정에 접합 신뢰도가 유용함을 보인다. 이미지로부터 초점거리를 복원하는 기존 방법은 일반적인 파노라마 모자익에서 나타나는 잘못 접합된 부분을 초점거리 계산에 포함하기 때문에 부정확하다는 단점이 있다. 제안 방법은 높은 접합 신뢰도를 가진 일정 개수의 이미지를 선별할 수 있기 때문에 초점거리를 따르고 정확하게 자동 측정한다. 접합의 신뢰도를 계산하기 위해, 제안 방법은 카메라 회전 움직임 제약조건의 만족 여부를 판단할 수 있는 특징점을 정의하고, 이 특징점의 이상적인 위치와 실제 위치의 차이를 계산한다. 본 논문에서 제시한 제약조건은 카메라의 자유 회전 움직임에서 항상 만족하고, 이는 수학적으로 증명된다. 마지막으로, 실험을 통해 제안 방법이 기존 방법보다 초점거리의 편차가 작다는 것을 보이고, 파노라마 모자익의 접합 질을 높인다는 것을 보인다.