• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 춘계학술대회 논문집
• /
• pp.589-594
• /
• 1997

We have already presented the constraint satisfaction algorithm which could solve the losed loop problem in constraint network by using local constraint propagation, variable elimination and constraint modularization. With this algorithm, we have implemented a knowledge-based system (intelligent CAD) for supporting machine design interactively. In this paper, we present newer constraint satisfaction algorithm which can solve inequalities or under-constrained problems in constraint network, interactively and efficiently. This algorithm is a hybrid type of using both declarative description (constraint represention) and optimization algorithm (Simulated Annealing), simultaneously. The under-constrained problems are represented by constraint networks and satisfied completely with this algorithm. The usefulness of our algorithm will be illustrated by the application to a gear design.

• 한국정밀공학회지
• /
• 제14권9호
• /
• pp.116-123
• /
• 1997

We have already presented the constraint satisfaction algorithm which could solve the closed loop porblem in constraint network by using local constraint propagation, variable elimination and constraint modularization. With this algorithm, we have implemented a knowledge-based system (intelligent CAD) for supporting machine design interactively. In this paper, we present newer constraint satisfaction algorithm which can solve inequalities or under-constrained problems in constraint network, interactively and effi- ciently. This algorithm is a hybrid type of using both declarative description (constraint representation) and optimization algorithm (Simulated Annealing), simultaneously. The under-constrained problems are represented by constraint networks and satisfied completely with this algorithm. The usefulness of our algorithm will be illustrated by the application to a gear design.

• 경영과정보연구
• /
• 제33권2호
• /
• pp.205-223
• /
• 2014

본 연구는 축제와 관련된 기존의 연구를 검토하고, 축제 참여자의 제약요인과 협상노력간의 관계를 살펴보고, 제약협상 노력에 따른 축제 참여 관람객의 체험인식과 만족의 관계를 검증하였다. 앞서 설명한 이론적 배경을 바탕으로 설정한 가설에 근거하여 실증적으로 검증하였으며, 연구결과를 요약하면 다음과 같다. 첫 번째, 축제참여 제약과 축제참여에 대한 협상노력 측면의 경우 축제참여의 제약요인(내재적 제약, 대인적 제약, 구조적 제약)과 협상노력간의 관계에서 대인적 제약과 구조적 제약의 경우 축제참여 제약협상 노력에 정(+)의 영향을 미치는 것으로 나타났으며, 내재적 제약 요인의 경우 기각되었다. 두 번째, 축제참여와 관람객의 축제체험인식과 만족의 연구결과를 살펴 보면 축제참여가 인지적 체험, 감정적 체험 그리고 만족에 모두 정(+)의 영향을 미치고 있음을 확인할 수 있었다.

• 대한가정학회지
• /
• 제43권4호
• /
• pp.203-223
• /
• 2005

This study investigated the leisure constraints and leisure life satisfaction of the institutional elderly. The respondents were 302 elderly people residing in 5 free institutionalized elderly homes in Seoul. The data were analyzed by frequency analysis, factor analysis, One-way ANOVA, Duncan's post hoc test and regression analysis using SPSS WIN 12.0 program. Exploratory factor analysis revealed that the 10 items in the proposed scale could be grouped into four factors of constraint on leisure:'physical constraint','psychological constraint','interpersonal constraint', and 'structural constraint 'There were differences in leisure constraints according to sex, age, education degree, interaction with facility colleagues, and interaction with facility staff. There were differences in leisure life satisfaction according to sex, age, having religion or not, interaction with facility colleagues, interaction with facility staff and leisure constraints. Regression analysis results indicated that the main effective factors of leisure life satisfaction were leisure constraints.

• Journal of the Korean Data and Information Science Society
• /
• 제6권2호
• /
• pp.17-27
• /
• 1995

제약 조건 만족의 관점에서 불확실한 지식을 표현하고 처리하는 방법을 제안하였다. 등식이나 부등식은 만족되어야 할 제약 조건들이며, 제약 조건들은 수리 논리식으로 표현될 수 있는데 이들은 주어진 수리 논리식들의 집합에 대한 만족성을 계산하는 제약 조건 해결 프로그램에 의해 답을 얻을 수 있다. 불확실성을 포함한 규칙 기반 시스템들은 확률론의 초보적인 내용을 응용하여 표현되는데, 이 경우 제약 조건 해결 프로그램으로 효율적인 결과를 얻을 수 있다.

• 한국콘텐츠학회논문지
• /
• 제10권4호
• /
• pp.359-366
• /
• 2010

이 연구의 목적은 민간경비원의 여가제약이 직무스트레스 및 생활만족에 미치는 영향을 규명하는데 있다. 이 연구는 2009년 서울소재 민간경비 회사에 재직하고 있는 민간경비원들을 연구대상으로 판단표집법을 이용하여 최종분석에 사용된 사례 수는 300명이다. 수집된 자료는 SPSSWIN 17.0을 이용하여 요인분석, 신뢰도분석, 회귀분석, 경로분석 등의 방법을 활용하였다. 설문지의 신뢰도는 Cronbach's $\alpha$값이 .600 이상으로 나타났다. 본 연구의 결론은 다음과 같다. 첫째, 민간경비원의 여가제약은 직무스트레스에 영향을 미친다. 즉, 주변 의식적 제약, 개인적 제약이 증가하면 직무스트레스는 높아지는 반면, 대인적 제약이 감소하면 직무스트레스는 낮아진다. 둘째, 민간경비원의 여가제약은 생활만족에 영향을 미친다. 즉, 개인적 제약이 감소하면 생활만족감은 높아진다. 셋째, 민간경비원의 직무스트레스는 생활만족에 영향을 미친다. 즉, 보상 및 경력개발이 증가하면 생활만족감은 높아지는 반면, 직무특성이 감소하면 생활만족감은 낮아진다. 넷째, 민간경비원의 여가제약은 직무스트레스 및 생활만족에 인과적 영향을 미친다. 즉, 직무스트레스는 여가제약과 생활만족의 관계를 매개하는 중요한 변수임을 알 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제15권5호
• /
• pp.39-47
• /
• 2010

제약 만족 최적화 문제는 복잡한 제약 조건을 포함하는 동시에 비용을 최소화하는 최적화 문제로 정의된다. 지역 탐색과 제약 프로그래밍은 각각 이와 같은 문제의 해결을 위한 도구로서 활용되어 왔다. 본 논문에서는 탐색 성능 향상을 위해 지역 탐색과 제약 프로그래밍을 결합하는 방안을 제시하고 있다. 기본적으로 대상 문제의 해결을 위해 지역 탐색을 사용한다. 그러나 지역 탐색만을 사용할 경우 제약 조건을 모두 만족하는 실행 가능한 이웃해를 생성하는 것이 매우 힘들어진다. 따라서 본 논문에서는 이웃해 생성을 위한 도구로 제약 프로그래밍을 도입하였다. 가중치가 부여된 N-Queens 문제를 대상으로 한 실험 결과, 본 논문에서 제시한 방법을 통해 탐색 성능을 획기적으로 향상시킬 수 있음을 확인할 수 있었다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집B
• /
• pp.706-711
• /
• 2001

This paper represents a relaxation matching algorithm based on global structure constraint satisfaction. Relaxation matching algorithm is a conventional approach to the matching problem. However, we confronted some problems such as null-matching and multi-matching problems by just using the relaxation matching technique. In order to solve the problems, in this paper, the matching problem is regarded as constraint satisfaction problem, and a relaxation matching algorithm is proposed based on global structure constraint satisfaction. The proposed algorithm is applied a landslide picture to show the effectiveness. When the algorithm is processed at landslide inspecting and monitoring system, motion parameters such as displacement area and its direction are computed. Once movement is recognized, displacements are estimated graphically with statistical amount in the image plane. Simulation has been done to prove the proposed algorithm by using time-sequence image of landslide inspection and monitoring system.

• 대한인간공학회:학술대회논문집
• /
• 대한인간공학회 1995년도 추계학술대회논문집
• /
• pp.172-181
• /
• 1995

A control panel layout system was developed to generate an ergrnomically sound panel design. A constraint satisfaction concept was introduced as a framework of incorporating diverse ergonomic design guidelines into the panel layout. An efficient search algorithm which can find a constraint satisfaction solution within a reasonable time was developed based on preprocess and look ahead procedures with the backjumping technique. The proto- type panel layaout system was developed on a SPARC workstation. The constraint satisfaction algorithm was programmed in C language with Motif as a GUI tool under the X-windows environment. The effectiveness of the prototype paned layout system was examined by a case study.

• 산업기술연구
• /
• 제19권
• /
• pp.91-99
• /
• 1999

The dock is the most important resource in shipbuilding yard. Among the shipbuilding schedules, the ship erection schedule in a dock is preferentially built. As results of it, the other schedules(machining in plants, block assembly, pre-painting, pre-rigging, painting and etc) are made. In this study, ship erection scheduling is formulated using ILOG Scheduler. This study is to develop a new problem solving method for ship erection to make an effective schedule based on Constraint Satisfaction Technique(CST).