• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.597-600
• /
• 2006

항공운항 스케줄링 문제는 여러 가지 제약조건이 많고 탐색공간이 방대하기 때문에 백트래킹 방법이나 단순 스케줄링을 통한 방법으로는 항공운항 스케줄링에서 매우 중요한 승무원(운항승무원, 객실승무원)들의 운항스케줄 만족도를 향상시키기 어렵다. 객체기반 항공운항 스케줄링 기법은 제약만족문제(CSP;Constraint Satisfaction Problem)와 객체지향개념을 운항관리 스케줄링 문제에 적용하여 승무원들에 대한 인력관리상의 문제점들을 해결하고자 하였다. 객체 지향 개념을 기반으로 승무원 객체들이 갖고 있는 사건들을 주어진 제약들에 만족하도록 목표인 운항스케줄 보드에 배정한다. 승무원들의 운항 스케줄 만족도를 높이기 위해서 승무원의 스케줄 우선순위에 따라서 자원(타임 슬롯)을 배정하고, 자원에 대한 승무원들의 선호도 차이를 가질 수 있게 하였다. 보드에 대한 정의와 모든 사건들에 대한 정보를 전역제약으로 사용하고, 승무원들이 가지는 보드의 타임 슬롯들에 대한 선호도를 지역 제약으로 사용하였다. 또한 실제로 항공운항 스케줄링을 모의실험해서 승무원들의 운항 스케줄 만족도를 살펴보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.6-8
• /
• 2000

결함허용 시스템은 다양한 형태의 중복을 사용하여 신뢰도를 향상시킬 수 있는 반면, 시스템의 비용을 크게 증가시킨다. 본 논문은 만족스러운 신뢰도를 갖추면서 추가 비용을 적게 요구하는 결함허용 컴퓨터 시스템의 구조를 결정하기 위한 설계 문제를 정의하고 탐색에 기반을 둔 해결법을 제안한다. 이 때, 탐색 기법이 방문하는 탐색 공간의 크기를 줄이기 위하여 사용되는 세 가지의 유용한 사실을 설명한다. 이를 바탕으로 삼중 모듈 중복(TMR: Triple-Modular-Redundancy), 백업 예비(backup sparing), 그리고 혼합 중복(hybride redundancy) 기법과 같은 결함허용 기법들이 시스템 구조에 적용되었을 때, 탐색 공간을 줄이는 용도로 사용될 수 있는 신뢰도 제약조건을 유도해낸다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.4
• /
• pp.475-481
• /
• 2013

The control system of a direct drive servo valve is a nonlinear system, and the flow force effect on the spool motion is significant and dependent on the load pressure. To satisfy the control system design requirements, the optimal parameters of the lead-lag controller and the derivative feedback controller are searched for using a genetic algorithm and a complex constrained direct search type method. The obtained controller parameters successfully perform their role to satisfy the control system design requirements.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.713-716
• /
• 2003

현재 국내 LBS 가 중요한 서비스로 널리 확산되기 위해서는 서비스간의 상호운용성이 제공되어야 한다. 본 논문에서는 LBS 서비스간 상호운용성을 제공하는 개방형 LBS 를 위한 경로탐색 서비스에 대한 설계 및 구현기법을 제시한다. 최단경로문제(Shortest Path Problem)는 통신망 및 교통망의 분석, 생산라인의 품질 관리 등의 다양한 분야 등의 네트워크 흐름 최적화 문제 중에서 가장 많이 연구되고 있는 문제다. 도로 교통망에서는 교차로상에서의 회전 제약 문제 등의 제한조건이 존재한다. 본 논문에서 경로탐색은 듀얼 그래프(dual graph)를 이용하여 회전제약조건을 만족하는 경로를 구할 수 있었고, 사용자 경로탐색 기준에 따른 탐색기법도 제시한다. 또한, 구현된 서비스는OpenLS의 표준화된 인터페이스를 구현하여 상호운용성(interoperability)을 지원하며, 자바를 이용한 웹서비스로 구현되어 이식성, 운영체제 및 프로그래밍 언어 독립성을 제공할 수 있는 장점이 있다.

• The Journal of Engineering Research
• /
• v.7 no.1
• /
• pp.17-28
• /
• 2005

A distributed constraint satisfaction problem (distributed CSP) is a constraint satisfaction problem (CSP) in which variables and constraints are distributed among multiple automated agents. A CSP 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 CPSs. 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-marking. 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.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.459-466
• /
• 2002

Modern embedded system employs a hybrid architecture which contains a general micro processor and reconfigurable devices such as FPGAS to retain flexibility and to meet timing constraints. It is a hard and important problem for embedded system designers to explore and find a right system configuration, which is known as design space exploration (DSE). With DES, it is possible to predict a final system configuration during the design phase before physical implementation. In this paper, we implement a timing analysis simulator for a DSE on a hybrid embedded system. The simulator, integrating exiting timing analysis tools for hardware and software, is designed by extending Y-chart approach, which allows quantitative performance analysis by varying design parameters. This timing analysis simulator is expected to reduce design time and costs and be used as a core module of a DSE for a hybrid embedded system.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.689-692
• /
• 2001

본 논문에서는 주어진 제약조건을 만족하며 저비용 고효율의 목적물 합성을 위하여 어느 부분을 하드웨어로 또는 소프트웨어로 구현할 것인지를 결정하는 분할 알고리즘을 제안한다. 논문[6]에서 제시한 시뮬레이티드 어닐링의 후보자 선택은 랜덤한 방식에 의해 노드의 이동이 이루어지기 때문에 중복된 후보자의 선택으로 인하여 시간이 오래 걸리는 단점이 있다. 이러한 단점을 극복하기 위해, 본 논문에서는 비용 함수를 구성하는 변수들 중에서 시스템 실행시간과 구현 비용에 영향을 미칠 수 있는 부분들을 고려해 후보자를 선택하도록 하여 최적해 탐색을 위한 분할 알고리즘의 실행 시간을 단축시켰다. 실험 결과는 대상 노드가 많아질수록 기존의 방법보다 빠른 시간에 최적의 해를 탐색한다.

• Proceedings of the KIEE Conference
• /
• 2000.07a
• /
• pp.382-384
• /
• 2000

산업의 발달에 따라 배전계통의 자동화가 서서히 자리 매김하고 있다. 이에 따라 배전계통에서 발생하는 사고를 계통의 상태와 신뢰도를 동시에 만족시키고, 빠른 시간 내에 복구하는 문제는 매우 중요한 문제로 대두되고 있다. 배전계통 사고복구 문제는 많은 개폐기들의 조합에 의해 구성되어 있고, 계통의 구성상태 와 연계선로의 예비력 등 많은 제약조건들로 인하여 사고복구에 많은 시간이 걸린다. 본 논문에서는 유전 알고리즘과 Tabu Search (TS) 기법을 이용하여 계통의 사고 후 선로손실과 신뢰도손실을 최소로하는 배전계통 사고복구 알고리즘을 제안하고자 한다. 전역 최적해 탐색 및 여러 해의 동시 탐색이 가능한 유전알고리즘과 전역적 탐색은 약하지만 빠른 시간 내의 국부적 탐색(local search)이 우수한 TS를 서로 연계한 알고리즘의 우수성을 계통의 모의실험을 통하여 증명하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.319-322
• /
• 2004

물류/택배업계의 공급사슬관리에서 차량에 의한 고객의 요구 서비스 시간대 만족은 고객의 재고수준을 낮추고 또한 서비스 수준의 향상에 매우 중요한 제약조건이다. 최근에 소개된 메타휴리스틱인 개미해법(Ant Colony Optimization: ACO)은 NP-hard 문제의 해공간 탐색에 있어서 상당한 장점을 가지고 있으나, 시간대 제약이 있는 차량경로문제(Vehicle Routing Problems with Time Windows: VRPTW)에 대한 적용은 아주 미비한 실정이다. 따라서, 본 연구에서는 ACO 를 VRPTW에 적용하여 최선의 차량경로 해를 구하기 위한 여러 변형을 제시하고, 이들의 영향을 다양한 실험문제를 이용하여 분석하고자 한다. 계산실험 결과, 기본 ACO 에 여러 설계 요소들을 추가함에 따라 계산시간이 다소 증가하지만 보다 우수한 차량경로 해를 구할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.375-379
• /
• 2007

고성능 VLSI 설계 시 배치 후를 포함한 전체적인 설계 과정이 완성되기 전까지는 물리적인 정확한 설계의 특성은 배치 단계에서는 알기 어렵다. 따라서 주어진 성능 (시간적 제약조건)을 만족하는, 즉, timing-driven placement (타이밍이 고려된 배치)는 1.0 미크론 이하의 초미세한 설계에서 중요하게 되었다. 타이밍을 고려한 배치는 초기 레이아웃 디자인 단계에서 타이밍 제약조건에 의해 디자인 반복을 줄인다. 하지만 대부분의 배치 단계의 디자인 모델은 배치단계에서 기하학적인 면을 고려하여 최대허용 지연시간 (Slack 이라고 부름)과 같은 물리적인 디자인 효과를 분석하기 어려운데 이것은 물리적으로 정확한 특성이 이 단계에서 알려지지 않기 때문에 당연한 결과이다. 본 논문에서는 기하적인 요소를 고려한 Slack의 재분배의 이점을 이용하여 허용 지연시간 처리의 혁신적인 방법을 제안한다. 제안된 접근법은 timing-closed 솔루션을 쉽게 찾는데 도움을 주고 이는 디자인을 반복하는 시간을 절약할 수 있게 한다.