• 제목/요약/키워드: Constraint satisfaction

검색결과 169건 처리시간 0.027초

A Conflict Detection Method Based on Constraint Satisfaction in Collaborative Design

  • Yang, Kangkang;Wu, Shijing;Zhao, Wenqiang;Zhou, Lu
    • Journal of Computing Science and Engineering
    • /
    • 제9권2호
    • /
    • pp.98-107
    • /
    • 2015
  • Hierarchical constraints and constraint satisfaction were analyzed in order to solve the problem of conflict detection in collaborative design. The constraints were divided into two sets: one set consisted of known constraints and the other of unknown constraints. The constraints of the two sets were detected with corresponding methods. The set of the known constraints was detected using an interval propagation algorithm, a back propagation (BP) neural network was proposed to detect the set with the unknown constraints. An immune algorithm (IA) was utilized to optimize the weights and the thresholds of the BP neural network, and the steps were designed for the optimization process. The results of the simulation indicated that the BP neural network that was optimized by IA has a better performance in terms of convergent speed and global searching ability than a genetic algorithm. The constraints were described using the eXtensible Markup Language (XML) for computers to be able to automatically recognize and establish the constraint network. The implementation of the conflict detection system was designed based on constraint satisfaction. A wind planetary gear train is taken as an example of collaborative design with a conflict detection system.

경제적 부담과 건강 문제를 겪는 노인들의 여가만족 요인에 관한 연구: 여가활동을 중심으로 (Factors Influencing Leisure Satisfaction Among Elderly with Economic Burden and Health Problems: Focusing on Leisure Activities)

  • 홍석호
    • 한국노년학
    • /
    • 제40권1호
    • /
    • pp.197-216
    • /
    • 2020
  • 본 연구는 노인들의 여가활동 제약요인들을 살피고, 특정 제약요인을 가진 노인들의 여가만족도를 높이기 위해서 실천적 측면에서 노인의 특성과 욕구에 기반 한 여가활동을 제안하고 정책적 지원 방안을 마련 할 목적으로 수행되었다. 노후보장패널 6차 부가조사자료를 활용하여 65세 이상 노인들 가운데 경제적 부담과 건강문제로 여가활동에 제약을 경험한다고 응답한 3167케이스를 분석하였다. 여가활동의 제약요인 집단별 여가만족도의 영향요인을 분석하기 위하여 인구사회적 특성(나이, 성별, 교육, 혼인상태, 독거여부, 지역, 적정생활비수준, 건강상태), 여가관련 변인(여가시간, 여가동기), 여가활동 변인(선호 활동, 비선호 활동)을 단계적으로 위계선형 회귀 모형에 입력하였다. 연구 결과는 다음과 같다. 첫째, 노인 여가활동의 주요한 제약원인으로는 경제적 부담과 건강 문제가 압도적으로 높았다. 둘째, 세 집단(재정취약집단, 건강취약집단, 재정+건강취약집단) 간의 여가관련 변인에서 차이가 나타났다. 여가활동 만족 수준은 재정취약집단이 가장 높게, 다음으로 건강취약집단, 재정+건강취약집단의 순서로 나타났다. 여가시간은 재정취약집단에서 가장 짧았으며, 여가동기에서는 재정취약집단에서 가족 및 주변 관계 때문이라는 응답은 높았으며, 건강유지라는 응답은 상대적으로 낮게 나타났다. 건강취약집단에서 휴식활동을, 재정취약집단에서는 오락취미 활동을, 그리고 재정+건강취약집단에서 사회활동을 선호 한다는 응답이 상대적으로 높게 나타났다. 셋째, 재정취약집단의 경우, 애완동물 돌보기 및 정원손질 같은 활동들을 선호 한다고 응답할수록 여가만족도가 높게 나타난 반면, 국내여행을 선호 한다고 대답할수록 여가만족도가 낮게 나타났다. 건강취약집단의 경우, TV 시청 및 라디오 듣기 등의 휴식활동을 선호 한다고 응답할수록 그리고, 비선호 한다고 응답할수록 모두의 경우에서 여가만족도가 낮게 나타났다. 이밖에도 종교활동 혹은 친목단체 활동과 같은 사회참여 활동을 선호 한다고 응답할수록 여가만족도가 높게 나타났다. 재정+건강취약집단의 경우, 집근처 산책 혹은 TV 시청, 국내여행 등의 활동을 여가활동으로 선호 한다고 응답한 노인일수록 여가만족도가 낮게 나타난 반면, 바둑, 장기, 체스 등의 오락 활동과 등산과 같은 취미활동, 그리고 친목단체 활동 등을 선호 한다고 응답한 노인일수록 여가만족도가 높게 나타났다. 본 연구는 노인 여가활동에 대한 전국단위의 데이터를 실증적으로 분석한 결과를 바탕으로 맞춤형 여가활동을 제안하고 정책적 지원 방안에 대한 논의를 포함하고 있다.

Tabu Search와 Constraint Satisfaction Technique를 이용한 Job Shop 일정계획 (Job Shop Scheduling by Tabu Search Combined with Constraint Satisfaction Technique)

  • 윤종준;이화기
    • 산업경영시스템학회지
    • /
    • 제25권2호
    • /
    • pp.92-101
    • /
    • 2002
  • The Job Shop Scheduling Problem(JSSP) is concerned with schedule of m different machines and n jobs where 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. The purpose of this paper is to develop the efficient heuristic method for solving the minimum makespan problem of the large scale job shop scheduling. The proposed heuristic method is based on a Tabu Search(TS) and on a Constraint Satisfaction Technique(CST). In this paper, ILOG libraries is used to embody the job shop model, and a CST is developed for this model to generate the increased solution. Then, TS is employed to overcome the increased search time of CST on the increased problem size md to refine the next-current solution. Also, this paper presents the new way of finding neighbourhood solution using TS. On applying TS, a new way of finding neighbourhood solution is presented. Computational experiments on well known sets of MT and LA problem instances show that, in several cases, our approach yields better results than the other heuristic procedures discussed In literature.

전자상거래에서의 벡터 공간 모델링을 통한 Configuration 시스템 (Configuration System through Vector Space Modeling In I-Commerce)

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

  • PDF

은퇴 노인의 부부관계 만족도와 삶 만족도의 관계에 대한 종단적 비교 (The associations between marital satisfaction and life satisfaction among retirees in later life: a longitudinal comparison)

  • 최봄이;전혜정;주수산나
    • 한국가족관계학회지
    • /
    • 제21권2호
    • /
    • pp.77-96
    • /
    • 2016
  • Objectives: The aims of this study are to examine the associations between marital satisfaction and life satisfaction among Korean retirees in later life and to test whether the degrees of associations increased over time. Method: Nationally representative Korean Longitudinal Study of Ageing data from wave 1 (in 2006) to wave 4 (in 2012) was utilized and retirees in later life (65-89 years old, N=402) were analyzed. Latent growth modeling (LGM) and model constraint were applied using Mplus 7.3. Age, sex, household income, subjective health, depressive symptoms and elapsed time after retirement were included as control variables. Results: Linear unconditional LGM fitted the data well and showed gradual decrease in life satisfaction. Conditional LGM revealed significant associations between marital satisfaction and life satisfaction from time 1 to time 4. According to model constraint test, the size of associations between marital satisfaction and life satisfaction did not change with time. Conclusions: To sum up these results, the associations between marital satisfaction and life satisfaction were significant and relatively stable over time among retirees in later life. This study suggests one's spouse is a fundamental component of social convoy among Korean retirees in later life. Therefore, intervention programs targeted toward enhancing marital relationships among retirees' couples will help them to live a better life.

Pedagogically-Driven Courseware Content Generation for Intelligent Tutoring Systems

  • Hadji, Hend Ben;Choi, Ho-Jin;Jemni, Mohamed
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제12권1호
    • /
    • pp.77-85
    • /
    • 2012
  • This paper describes a novel approach to adaptive courseware generation. This approach adopts its structure from existing intelligent tutoring systems and introduces a new component called pedagogical scenario model to support pedagogical flexibility in the adaptation process of courseware generation system. The adaptation is carried out using Dynamic Constraint Satisfaction Problem framework, which is a variant of classical Constraint Satisfaction Problem, to deliver courseware tailored to individual learner. Such a framework provides a high level of expressiveness to deal with the particular characteristics of courseware generation problem. Further, it automatically designs a sound courseware satisfying the design constraints imposed by the domain, the pedagogical scenario and learner models.

청소년의 여가활동 특성과 여가장애에 따른 여가만족도 차이 (The Leisure Activity Pattern and Effects of Leisure Constraints on Leisure Satisfaction of Adolescents)

  • 이은희;민현선
    • 대한가정학회지
    • /
    • 제42권12호
    • /
    • pp.231-251
    • /
    • 2004
  • The purpose of this study us to determine the adolescents' leisure activity pattern, leisure constraints and leisure satisfaction and to identify the relevant variables. The subjects were middle and high school students. The data was collected by using the questionnaire and the final 741 cases were analyzed by SPSS Win 10.0 program. The major findings were as follows: 1. The adolescents' leisure activity hours were 2.27hours/day(weekday), 4.20hours/day(Saturday) and 5.35hours/day(Sunday). On weekdays, female students spent more time for leisure activity than male students. The most frequent activities were watching TV and playing computer. 2. The adolescents' leisure constraints were social-economic, psychological and situational. The degree of the adolescents' situational constraint was the highest. 3. The adolescents' leisure satisfactions were leisure use, leisure condition and leisure meaning. The adolescents' degree of leisure meaning satisfaction was relatively high. 4. The major related variable influencing the leisure satisfaction were psychological constraint, situational constraint and gender.

중학생이 지각한 아버지의 애정-합리적 설명형 양육태도가 여가만족 및 여가제약에 미치는 영향 : 자기효능감의 매개효과를 중심으로 (The effects of perceived father's rearing attitude on leisure satisfaction and leisure constraint in middle school students: the mediating effects of self-efficacy)

  • 정인경;김정현
    • 한국가정과교육학회지
    • /
    • 제27권2호
    • /
    • pp.77-93
    • /
    • 2015
  • 본 연구는 청소년의 자기효능감과 자녀가 지각하는 아버지의 양육태도, 여가만족 및 여가제약과의 관계를 살펴보고, 지각된 아버지의 애정-합리적 설명형 양육태도와 여가만족 및 여가제약과의 관계에서 자기효능감의 매개효과를 검증하고자 실시되었다. 연구대상은 서울에 소재한 11개 중학교에 재학 중인 2학년, 448명의 남녀학생이며, 설문조사를 통해 자료를 수집한 후, SPSS 20.0 프로그램을 이용하여 분석하였다. 본 조사결과, 청소년들이 아버지의 양육태도를 애정-합리적 설명형으로 지각할수록 가족과 여가활동을 하고 있거나 하고 싶어 하는 것으로 나타났으며 여가활동으로는 야외활동을 많이 하는 것으로 나타났다. 또한 여가만족과 자기효능감은 지각된 아버지의 애정-합리적 설명형 양육태도와 정적 상관을 보였으며, 여가제약은 아버지의 양육태도와 부적 상관을 보였다. 지각된 아버지의 애정-합리적 설명형 양육태도와 여가만족과의 관계에서 자기효능감 중 자신감과 자기조절의 매개효과가 확인되었으며, 아버지의 양육태도와 여가제약과의 관계에서는 자기효능감 중 자신감이 매개효과가 있는 것으로 나타났다. 따라서 청소년들의 여가만족을 높이고, 여가제약을 낮춤으로써 여가활동을 늘리기 위해서는 아버지의 애정을 바탕으로 한 합리적인 양육방식과 함께 청소년들의 자기효능감을 높이기 위한 다각적인 노력이 모색되어야 할 것이다.

  • PDF

제약만족 탐색과 휴리스틱 교정기법을 이용한 최적 선석 및 크레인 일정계획 (Optimal Berth and Crane Scheduling Using Constraint Satisfaction Search and Heuristic Repair)

  • 류광렬;김갑환;백영수;황준하;박영만
    • 지능정보연구
    • /
    • 제6권2호
    • /
    • pp.1-14
    • /
    • 2000
  • 컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 선석을 배정하고 접안 시기와 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간까지 지정하는 전 과정을 포함한다. 이 문제는 본적으로 서로 시간적 공간적으로 복잡한 제약 관계에 있는 여러 선석들과 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 희망 입출항 시간을 최대한 존중하면서 터미널의 운영비용을 최소화할 수 있는 계획안을 도출해야 하는 최적화 문제이기도 하 다. 본 논문에서는 이 문제의 해결을 위해 제약만족 탐색기법을 동원하여 먼저 제약조건을 만족하는 해를 찾은 뒤, 제약조건을 만족하는 범위 내에서 보다 최적의 해를 유도해 내기 위해 휴리스틱 교정 기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하는 방안을 제시하고 있다. 실제 부산 신선대 컨테이너 터미널의 데이터를 이용한 실험 결과 현장 전문가가 만족할 만한 수준의 일정 계획을 신속하게 수립할 수 있음을 확인하였다.

  • PDF

냉연 일정계획 시스템의 개발과 적용 (Development and Application of Scheduling System in Cold Rolling Mills)

  • 김창현;박상혁
    • 산업공학
    • /
    • 제16권2호
    • /
    • pp.201-210
    • /
    • 2003
  • The purpose of this research is to develop a scheduling system for CAL (Continuous Annealing Line) in Cold Rolling Mill. Based on CSP (Constraint Satisfaction Problem) technique in artificial intelligence, appropriate algorithms to provide schedules satisfying all the constraints imposed on CAL are designed and developed. Performance tests show that the proposed scheduling system outperforms human operators in case of aggregating the same attributes and minimizing the thickness differences between two adjacent coils.