• 경영과학
• /
• 제12권2호
• /
• pp.43-62
• /
• 1995

For a complex scheduling system like time table construction, its optimal solution, if exists, is hard to obtain. In this paper, the scheduling environment is reasonably confined as where objects have their own events competing for better slots on boards, and objects have their own board slot preferences and belong to one or more classes of the society which globally constrains them. Here, two phase method is suggested, where the first phase is human-like preference driven and the second phase is for fine tuning by considering all the factors given. Designed and implemented in our system HI-SCHED are dynamic object switching, temporal-constraint-driven intelligent backtracking, case-based revisions, object-based approach, and so on. Some satisfaction degrees are also defined to measure the usefulness of our method. In addition, look-ahead dynamic object switching is considered, and additional global constraints are introduced and processed. A simple scheme is also used to verify the usefulness of the post processing scheme.

• Journal of the Korean Data and Information Science Society
• /
• 제8권1호
• /
• pp.1-7
• /
• 1997

전문가 시스템에서의 추론은 주로 IF-THEN 형태의 규칙을 기반으로 하는 지식베이스에 기초한다. 그러나, 한의 전문가 시스템의 지식은 불확실한 지식 특히 애매한 개념의 지식을 많이 포함하고 있으므로 이에 대한 처리가 요구된다. 본 논문에서는 한의 진단 과정을 추론에 기준하여 분석하고 한의 진단 과정에서 발생하는 불확실한 진단 지식을 제약 조건 논리 프로그래밍언어의 일종인 CLP( R ) 언어를 이용하여 표현하고 처리하는 방법을 제안하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.150.1-150
• /
• 2001

This paper introduces a real time inspecting and monitoring system by using wireless communication and image processing technique. The communication system is developed by using 80c196kc microprocessor and it has data acquisition function for several kinds of sensors such as pluviometer, temperature, tension meter, elinometer and so on. The image processing method adopts Lalacian of Gaussian operator and least square method to extract line features for the captured images and uses a relaxation matching algorithm based in global structure constraint satisfaction to distinguish the matching error for those features. When the algorithm is processed, motion parameters of displacement area and its direction are computed. Once movement is recognized ...

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.999-1004
• /
• 1989

This paper discusses a new method of recognizing patterns employing consistent labeling. A consistent labeling problem is a generalized expression of constraint satisfaction problems. When a pattern is recognized by pattern matching, the matching between a reference pattern and an acquired pattern resolves itself into finding correspondence between the pixels on the former and those on the latter. This can be expressed as a consistent labeling problem. Pattern association, a variation of pattern recognition, is also described employing consistent labeling. The proposed technique is supported by experimental results, yet further studies need to be done before its practical use.

• 전자공학회논문지A
• /
• 제32A권4호
• /
• pp.85-92
• /
• 1995

A new partitioning algorithm has been developed to implement a large circuit by using multiple field programmable gate array (FPGA) chips. While the conventional partitioning is to minimze the number of nets cut under size constraints, partitioning for multiple FPGAs has several additional constraints so that each partitioned subcircuit can be implemented in a FPGA chip. To obtain satisfactory results under the constraints, the partitioning is performed in two steps whhich are the intial partitioning for global optimization and the iterative partitioning improvements for constraint satisfaction. Experismental results using the MCNC benchmark examples show that our partition method produces better results thatn those of other recent approaches on the average.

• 산업경영시스템학회지
• /
• 제23권61호
• /
• pp.105-114
• /
• 2000

Job Shop Problem which consists of the m different machines and n jobs is a NP-hard problem of the combinatorial optimization. Each job consists of a chain of operations, each of which needs to be processed during an uninterrupted time period of a given length on a given machine. Each machine can process at most one operation at a time. The purpose of this paper is to develop the heuristic method to solve large scale scheduling problem using Constraint Satisfaction Problem method and Simulated Annealing. The proposed heuristic method consists of the search algorithm and optimization algorithm. The search algorithm is to find the solution in the solution space using CSP concept such as backtracking and domain reduction. The optimization algorithm is to search the optimal solution using SA. This method is applied to MT06, MT10 and MT20 Job Shop Problem, and compared with other heuristic method.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2010년도 춘계학술대회
• /
• pp.60-65
• /
• 2010

Language learning involves linguistic environments around the learner. So the variation in training input to which the learner is exposed has been linked to their language learning. We explore how linguistic experiences can cause differences in learning linguistic structural features, as investigate in a probabilistic graphical model. We manipulate the amounts of training input, composed of natural linguistic data from animation videos for children, from holistic (one-word expression) to compositional (two- to six-word one) gradually. The recognition and generation of sentences are a "probabilistic" constraint satisfaction process which is based on massively parallel DNA chemistry. Random sentence generation tasks succeed when networks begin with limited sentential lengths and vocabulary sizes and gradually expand with larger ones, like children's cognitive development in learning. This model supports the suggestion that variations in early linguistic environments with developmental steps may be useful for facilitating language acquisition.

• Journal of Advanced Marine Engineering and Technology
• /
• 제31권8호
• /
• pp.954-960
• /
• 2007

The purpose of this paper is to obtain design method of air-distribution system. Air-distribution system is composed of blower, duct, diffusers and measuring equipment. The air-flow rate from each diffuser is not equal. The air-flow rate is calculated with the combined equations which are Bernoulli's equation, continuity equation and minor loss equations. Inlet condition and outlet condition are adapted in each duct system. Then square difference between function of maximum air-flow rate and minimum air-flow rate is used as an object function. Area of diffuser and velocity are established as constraints. To minimize the object function, the optimization method is used. After optimization the design variables are selected under satisfaction of constraints. The air-distribution system is calculated again with the result of optimized design variable. It is shown that the air-distribution system has the equal air-flow rate from diffusers.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.318-320
• /
• 2012

증강현실 콘텐츠를 2D 이미지기반으로 저작할 때, 작성된 증강현실 콘텐츠를 카메라 시점과 일치시켜 합성하기 위해 호모그래피를 이용한다. 이때 증강현실 콘텐츠를 이질감 없이 합성하기위해 정확한 호모그래피 행렬을 추정해야 한다. 그러나 호모그래피 행렬 추정 시 사용되는 특징점들이 선형을 이루거나, 특정 영역에 군집을 이루는 경우 정확한 호모그래피 행렬을 추정하지 못하는 문제가 발생한다. 본 논문에서는 이러한 문제를 해결하기 위해 선형제약, 거리제약을 적용한 CSP 기반의 RANSAC 알고리즘을 제안한다. 실험결과 호모그래피 행렬 추정 시 CSP를 적용한 RANSAC 알고리즘이 기존의 랜덤샘플링 또는 삼각형의 넓이를 이용한 샘플링을 적용한 RANSAC 알고리즘보다 정확도가 향상됨을 보였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.697-703
• /
• 2002

본 연구에서는 선박 건조 공정 중 블록조립공정을 다룬다 블록과 정반(bay)의 정보가 주어져 있을 때, 각 블록의 조립작업을 하게 될 정반과 조립작업을 시작하는 시작시점을 결정해야 한다. 정반에서 중요하게 고려할 두 가지 자원은 바로 면적과 시수이다. 본 연구에서 다루는 문제의 목적식은 정반에 할당피지 못하거나 작업시점을 결정하지 못해 작업을 할 수 없게 된 실패 블록의 수를 죄소화시키는 것과 시수 부하의 부하평준화를 이루는 것이다. 이 문제를 풀기 위해 제약만족기법(CSP)에 기반을 두는 알고리듬을 제안한다. 그리고 이 알고리듬은 실제 데이터를 가지고 실험을 하게 되며 그 결과와 기존의 일정계획 결과와 비교 분석하게 될 것이다.