• Title/Summary/Keyword: 제약 만족 문제

Search Result 255, Processing Time 0.029 seconds

A Study on the Shape Analysis Method of Plane Truss Structures under the Prescribed Displacement (변위제약을 받는 평면트러스 구조물의 형태해석기법에 관한 연구)

  • 문창훈;한상을
    • Computational Structural Engineering
    • /
    • v.11 no.1
    • /
    • pp.217-226
    • /
    • 1998
  • The purpose of this study is to develop a technique for the shape analysis of plane truss structures under prescribed displacement modes. The shape analysis is performed based on the existence theorem of the solution and the Moore-Penrose generalized inverse matrix. In this paper, the homologous deformation of structures was proposed as prescribed displacement modes, the shape of the structure is determined from these various modes and applied loads. In general, the shape analysis is a kind of inverse problem different from stress analysis, and the governing equation becomes nonlinear. In this regard, Newton-Raphson method was used to solve the nonlinear equation. Three different shape models are investigated as numerical examples to show the accuracy and the effectiveness of the proposed method.

  • PDF

A case study on timing constraints verification for a safety-critical. real-time system (안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구)

  • Choi, Jin-Ho;Jee, Eun-Kyoung;Kim, Hyeon-Jeong;Bae, Doo-Hwan
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06a
    • /
    • pp.166-169
    • /
    • 2011
  • 안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

Hardware-Software partitioning by analysis of node's relative scheduling urgency (노드의 상대적 스케줄 긴박도 분석에 의한 하드웨어 소프트웨어 분할)

  • Oh, Ju-Young;Park, Do-Soon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2000.10b
    • /
    • pp.965-968
    • /
    • 2000
  • 통합설계에서 제약사항을 만족하는 최적의 시스템을 구현하기 위해 시스템을 기술하는 각 부분을 하드웨어부와 소프트웨어부로 나누어 매핑의 권역을 찾는 분할은 중요한 문제이다. 기존의 분할 알고리즘들[1]은 파티션과 스케줄링을 2단계로 분리하여 분할 단계의 결과를 스케줄링하는 과정에 의해 진행되었다. 이러한 작업과정은 스케줄링 결과 스케줄이 불가능한 경우 시스템을 재설계 해야하는 문제점을 가진다. 본 논문에서는 분할 단계에서 스케줄링을 함께 고려하는 낮은 복잡도의 알고리즘을 제안한다. FDS를 응용한 기존 논문[4]이 고려하지 못한 자원제약에 의한 힘값 변이를 고려할 수 있도록 하였고 알고리즘 복잡도를 개선하기 위하여 종속성 제약 조건에 의해 받는 다른 노드의 힘값 계산 방법을 수정하였다. 수정된 계산 방법에서는 특정 노드와 경쟁 노드들의 제어구간별 상대적 스케줄 요구값의 크기에 의해 분할 대상 노드를 선택하게 된다. 제안된 논문의 실험결과는 시스템 제약시간을 만족하면서 구현비용을 저하시키고 알고리즘 실행시간 측면에서 효과적임을 보인다.

  • PDF

A Study of Multicast Tree Problem with Multiple Constraints (다중 제약이 있는 멀티캐스트 트리 문제에 관한 연구)

  • Lee Sung-Ceun;Han Chi-Ceun
    • Journal of Internet Computing and Services
    • /
    • v.5 no.5
    • /
    • pp.129-138
    • /
    • 2004
  • In the telecommunications network, multicasting is widely used recently. Multicast tree problem is modeled as the NP-complete Steiner problem in the networks. In this paper, we study algorithms for finding efficient multicast trees with hop and node degree constraints. Multimedia service is an application of multicasting and it is required to transfer a large volume of multimedia data with QoS(Quality of Service). Though heuristics for solving the multicast tree problems with one constraint have been studied. however, there is no optimum algorithm that finds an optimum multicast tree with hop and node degree constraints up to now. In this paper, an approach for finding an efficient multicast tree that satisfies hop and node degree constraints is presented and the experimental results explain how the hop and node degree constraints affect to the total cost of a multicast tree.

  • PDF

Simple Solution for Multi-commodity Transportation Problem (복합상품 운송 문제의 간단한 해법)

  • Lee, Sang-Un;Choi, Myeong-Bok
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.13 no.5
    • /
    • pp.173-181
    • /
    • 2013
  • This paper proposes a heuristic optimal solution of multicommodity transportation problem. The proposed algorithm has 3 steps. First the proposed algorithm transforms multicommodity transshipment problem to a general transportation problem, but if the problem is a multicommodity transportation problem, it is not transformed. And the multicommodity is disassembled to a single commodity. Second if it is a multicommodity transportation problem, the algorithm selects the minimum cost according to commodity, on the other hand if it is a multicommodity transshipment problem, the algorithm directly selects the minimum cost based on demand area. And the algorithm assigns carloadings to be satisfied the supply and demand quantity. The algorithm repeats these processes until a given demand quantity is satisfied. Last if it has a condition that is able to reduce the transportation expense, the proposed algorithm controls the assignment quantity of the initial value that got from the step 2. The proposed algorithm was applied to two multicommodity transportation problem and three multicommodity transshipment problem and it got more good result than an existing linear programming method.

Weekly Operation Planning of Thermal Generators Considering Energy Constraints (에너지절약을 고려한 화력발전기의 주간운용계획)

  • Song, Kil-Yeong;Lee, Buhm;Kim, Yong-Ha
    • Journal of Energy Engineering
    • /
    • v.4 no.3
    • /
    • pp.344-353
    • /
    • 1995
  • 화력발전기의 주간운용계획을 수립함에 있어 여러 에너지사용에 관련된 제약조건의 지배를 받는 발전기를 효율적으로 고려할 수 있는 새로운 방법을 개발하였다. 우선 이를 위하여 에너지제약을 고려한 운용계획문제를 Lagrangian Relaxation법에 의해 모델링하였다. 또한 에너지제약을 만족하는 최적의 화력발전기의 기동정지계획 및 발전출력을 원문제 내에서 구할 수 있도록 하였으며, 쌍대문제를 효율적으로 풀 수 있는 알고리즘을 개발하여 보다 빠르고 정확한 해를 구할 수 있도록 하였다. 제안한 방법을 시험계통 및 대규모 실계통에 적용하여 유용성을 검증하였다.

  • PDF

Mathematical modeling approach for classroom assignment problem (수리적 모델링을 통한 강의실 배정문제 해법에 관한 연구)

  • Ahn, Namsu
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.10
    • /
    • pp.580-587
    • /
    • 2017
  • Recently, as the education population of Korea has been rapidly declining, many changes have been taking place in the university environment. Especially, community colleges linked to local communities have responded to these crises through various educational changes, such as three-year study transfers, work-parallelism, and employee commissioned education. However, such changes in the contents of education are causing a new type of classroom allocation problem, in which it is difficult to assign the limited number of classrooms to the major courses. In this paper, we classified the constraints involved in assigning classrooms into absolute constraints and relative constraints, mathematically modeled them, and allocated the classrooms optimally through optimization software. The results were satisfactory and enabled us to obtain superior results in terms of the various performance indices (classroom utilization rate, teacher satisfaction, etc.) than when assigning classrooms in the normal way.

Scheduling of Shipyard Block Assembly Process using Constraint Satisfaction Problem (제약만족기법을 이용한 조선 블록조립 공정의 일정계획에 관한 연구)

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

  • PDF

Scheduling System for Effective Assignment of Repair Warrant Job in Constraint Satisfaction Problems (효율적인 유지보수 작업배정을 위한 CSP기반의 스케줄링 시스템)

  • 심명수;조근식
    • Journal of Intelligence and Information Systems
    • /
    • v.6 no.2
    • /
    • pp.99-110
    • /
    • 2000
  • 오늘날의 기업은 상품을 판매하는 것 뿐만 아니라 기업의 신용과 이미지를 위해 그 상품에 대한 사후처리(After Service) 업무에 많은 투자를 하고 있다. 이러한 양질의 사후서비스를 고객에게 공급하기 위해서는 많은 인력을 합리적으로 관리해야 하며 요청되는 고장수리 서비스 업무의 신속한 해결을 위해 업무를 인력에게 합리적으로 배정을 해야 한다. 그러므로, 회사의 비용을 최소화하면서 정해진 시간에 요청된 작업을 처리하기 위해서는 인력들에게 작업을 배정하고 스케줄링하는 문제가 발생된다. 본 논문에서는 이러한 문제를 해결하기 위해서 화학계기의 A/S작업을 인력에게 합리적으로 배정 하는 스케줄링 시스템에 관한 연구이다. 먼저 스케줄링 모델을 HP사의 화학분석 및 시스템을 판매, 유지보수 해주는 Y사의 작업 스케줄을 분석하여 필요한 도메인과 고객서비스전략과 인력관리전략에서 제약조건을 추출하였고 여기에 스케줄링 문제를 해결하기 위한 방법으로 제약만족문제(CSP) 해결기법인 도메인 여과기법을 적용하였다. 도메인 여과기법은 제약조건에 의해 변수가 갖는 도메인의 불필요한 부분을 여과하는 것으로 제약조건과 관련되어 있는 변수의 도매인 크기가 축소되는 것이다. 또한, 스케줄링을 하는데에 있어서 비용적인 측면에서의 스케줄링방법과 고객만족도에서의 스케줄링 방법을 비교하여 가장 이상적인 해를 찾는데 트래이드오프(Trade-off)를 이용하여 최적의 해를 구했으며 실험을 통해 인력에게 더욱 효율적으로 작업들을 배정 할 수 있었고 또한, 정해진 시간에 많은 작업을 처리 할 수 있었으며 작업을 처리하는데 있어 소요되는 비용을 감소하는 결과를 얻을 수 있었다.

  • PDF

RFID 네트워크에서 제약만족을 이용한 리더의 타임슬롯 최적화를 위한 제약조건 모델링

  • Park, Seung-Bo;Yu, Yeong-Hun;Jo, Geun-Sik
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2007.05a
    • /
    • pp.239-245
    • /
    • 2007
  • 차세대 유비쿼터스 환경에서 중요한 기술적, 산업적 위치를 차지하는 RFID 네트워크에는 다수의 RFID 리더(Reader)와 수많은 RFID 태그(Tag)들이 통신을 하면서 존재하게 된다. 이러한 RFID 네트워크에서 리더와 태그간의 원활한 통신을 위해서는 주파수 충돌이 발생하지 않아야 한다. 주파수 충돌 현상은 리더와 다수의 태그들 간의 태그 충돌(Tag Collision)과 리더간 주파수 간섭으로 인한 리더간 충돌(Reader Collision)로 나뉘어 질 수 있다. 따라서 리더간 충돌 현상을 피하기 위해서는 근접한 리더들 간에 서로 다른 타임슬롯(Timeslot)을 사용하여 태그와 통신을 시도하여야 한다. 본 연구에서는 RFID 네트워크에서 다수의 리더간 충돌을 최소화하며 안전한 태그 인식을 할 수 있도록 타임 슬롯 할당 문제를 CSP(Constraint Satisfaction Problem)로 접근한다. 그리고 CSP를 풀기 위해 리더간 충돌 문제가 가지고 있는 제약조건을 찾아내고 해를 찾기 위한 목적함수를 모델링 한다.

  • PDF