• 제목/요약/키워드: The Constraint Programming

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

지오데식 돔의 구조최적화에 대한 연구 (A Study on the Structural Optimization for Geodesic Dome)

  • 이상진;배정은
    • 한국공간구조학회논문집
    • /
    • 제8권4호
    • /
    • pp.47-55
    • /
    • 2008
  • 이 논문은 지오데식 돔 구조물의 구조최적화에 대한 연구내용과 관련이론 그리고 수치해석결과를 기술하고 있다. 지오데식 돔의 공간 효율성을 알아보기 위해 돔의 기저인 정이십면체의 외피면적과 내부공간의 비율을 계산하고 건축구조물에서 나타나는 다른 입방체의 값과 정량적으로 비교하였다. 지오데식 돔을 형성하기 위한 절차를 세부적으로 정리하고 이를 프로그래밍하여 설계최적화프로그램 ISADO-OPT에 연동하였다. 본 연구에서는 반구 형태의 지오데식 돔이 집중하중에 효율적으로 저항할 수 있는 최적의 부재크기 패턴을 조사하기 위하여 수학적 프로그래밍 기법을 도입하였다. 이때 최소화해야하는 돔 전체 부재의 중량을 목적함수로 이용하고 하중이 가해지는 절점에서 발생하는 변위 값과 각 부재에서 발생하는 응력 값을 허용치 이하로 제한하는 제약조건으로 사용하였다. 목적함수와 주어진 제약조건을 만족하는 최적 설계변수값을 검색하기 위해 설계변수에 대한 목적함수의 민감도 값을 유한차분법을 이용하여 계산하였다. 본 연구에서 기술한 지오데식돔을 위한 설계최적화 기본이론을 바탕으로 도출한 최적 부재패턴은 향후 돔의 최적설계에 기본 벤치마크테스트결과로 유용하게 사용될 것으로 판단된다.

  • PDF

동기식 256-bit OTP 메모리 설계 (Design of Synchronous 256-bit OTP Memory)

  • 이용진;김태훈;심외용;박무훈;하판봉;김영희
    • 한국정보통신학회논문지
    • /
    • 제12권7호
    • /
    • pp.1227-1234
    • /
    • 2008
  • 본 논문에서는 자동차 전장용 Power IC, 디스플레이 구동 칩, CMOS 이미지 센서 등의 응용분야에서 필요로 하는 동기식 256-bit OTP(one-time programmable) 메모리를 설계하였다. 동기식 256-bit OTP 메모리의 셀은 고전압 차단 트랜지스터 없이 안티퓨즈인 NMOS 커패시터와 액세스 트랜지스터로 구성되어 있다. 기존의 3종류의 전원 전압을 사용하는 대신 로직 전원 전압인 VDD(=1.5V)와 외부 프로그램 전압인 VPPE(=5.5V)를 사용하므로 부가적인 차단 트랜지스터의 게이트 바이어스 전압 회로를 제거하였다. 그리고 프로그램시 전류 제한 없이 전압 구동을 하는 경우 안티퓨즈의 ON 저항 값과 공정 변동에 따라 프로그램 할 셀의 부하 전류가 증가한다. 그러므로 프로그램 전압은 VPP 전원 선에서의 저항성 전압 감소로 인해 상대적으로 증가하는 문제가 있다. 그래서 본 논문에서는 전압 구동 대신 전류 구동방식을 사용하여 OTP 셀을 프로그램 할 때 일정한 부하전류가 흐르게 한다. 그래서 웨이퍼 측정 결과 VPPE 전압은 5.9V에서 5.5V로 0.4V 정도 낮출 수 있도록 하였다. 또한 기존의 전류 감지 증폭기 대신 Clocked 인버터를 사용한 감지 증폭기를 사용하여 회로를 단순화시켰다. 동기식 256-bit OTP IP는 매그나칩 반도체 $0.13{\mu}m$ 공정을 이용하여 설계하였으며, 레이아웃 면적은 $298.4{\times}3.14{\mu}m2$이다.

로트크기에 비례하는 리드타임과 공간 제약을 고려한 재고관리 정책 (An Inventory Problem with Lead Time Proportional to Lot Size and Space Constraint)

  • 이동주
    • 산업경영시스템학회지
    • /
    • 제38권4호
    • /
    • pp.109-116
    • /
    • 2015
  • This paper is concerned with the single vendor single buyer integrated production inventory problem. To make this problem more practical, space restriction and lead time proportional to lot size are considered. Since the space for the inventory is limited in most practical inventory system, the space restriction for the inventory of a vendor and a buyer is considered. As product's quantity to be manufactured by the vendor is increased, the lead time for the order is usually increased. Therefore, lead time for the product is proportional to the order quantity by the buyer. Demand is assumed to be stochastic and the continuous review inventory policy is used by the buyer. If the buyer places an order, then the vendor will start to manufacture products and the products will be transferred to the buyer with equal shipments many times. The mathematical formulation with space restriction for the inventory of a vendor and a buyer is suggested in this paper. This problem is constrained nonlinear integer programming problem. Order quantity, reorder points for the buyer, and the number of shipments are required to be determined. A Lagrangian relaxation approach, a popular solution method for constrained problem, is developed to find lower bound of this problem. Since a Lagrangian relaxation approach cannot guarantee the feasible solution, the solution method based on the Lagrangian relaxation approach is proposed to provide with a good feasible solution. Total costs by the proposed method are pretty close to those by the Lagrangian relaxation approach. Sensitivity analysis for space restriction for the vendor and the buyer is done to figure out the relationships between parameters.

판매자와 구매자의 재고상한이 존재하는 VMI (VMI with Upper Limit of Inventory for Vendor and Retailer)

  • 이동주
    • 산업경영시스템학회지
    • /
    • 제40권4호
    • /
    • pp.105-111
    • /
    • 2017
  • Vendor Managed Inventory is a well-known vendor-retailer coordination approach in supply chain management where the vendor manages inventory of the retailer and determines the order interval and order quantity for the retailer. To consider practical situation, the upper limit of inventory for the retailer is set. If the inventory level for the retailer exceeds the upper limit, then the penalty cost is charged to the retailer. Furthermore, maximum allowable inventory level is set for the vendor to prevent the vendor from keeping much inventory. Single-vendor multi-retailer supply chain model with upper limit of inventory for vendor and retailers is studied. All the retailers' are assumed to have the common cycle time, and a vendor manages retailers' inventory and replenishes products. The mathematical formulation is introduced to minimize the total cost including the penalty cost violating the upper limit of inventory for retailers with the constraint of maximum allowable inventory level. The solution procedure based on Karush-Kuhn-Tucker (KKT) conditions is derived. KKT conditions are often applied to find an optimal solution of nonlinear programming problem with constraints. An illustrative example is used to show the application of the proposed solution procedure. Furthermore, sensitivity analysis is done to find out the relationship between maximum allowable inventory level and other values such as order quantity, the number of shipment, vendor's cost, retailer's cost, and total cost. As maximum allowable inventory level decreases, the number of shipment decreases but total cost increases. Order quantity has the trend of decline and is affected by the number of shipment.

빔 혹은 멤버레인 구조를 가지는 써모파일 센서의 다목적 최적설계 (The Multi-objective Optimal Design of Thermopile Sensor Having Beam or Membrane Structure)

  • 이준배;김태윤
    • 센서학회지
    • /
    • 제6권1호
    • /
    • pp.6-15
    • /
    • 1997
  • 이 논문은 빔의 구조를 갖거나 멤브레인의 구조를 갖는 써모파일 센서의 다목적 최적설계에 관한 연구이다. 연구대상의 써모파일 센서는 $Si_{3}N_{4}/SiO_{2}$ 박막위에 알루미늄과 다결정 실리콘을 사용하여 열전쌍을 형성하고, 박막중심부에 $RuO_{2}$를 사용하여 적외선 흡수부를 만들어 중심부와 실리콘림부 사이의 온도차이에 따른 Seebeck 효과에 의한 유기전압을 감지하는 센서를 대상으로 하였다. 최적설계의 목적함수는 센서의 감도, 검출능 (detectivity) 및 열시정수를 대상으로 하였다. 패키지를 고려하여 모델링을 하였으며, 기존의 식의 고찰에 의한 단순 설계방법이 아닌 수학적 계획법을 사용한 다목적 최적화 방법을 이용하여 최적해를 구하였다. 최종적인 최적설계 수식화에는 퍼지계획법에서 사용되는 소속함수를 정의하여 설계자가 우선적으로 신뢰할 수 있는 해를 구 할 수 있도록 하였다. 또한, 제한조건으로서 주위 온도변화에 따른 센서의 출력전압변화를 포함시켜 실제 사용되는 환경을 고려하였다.

  • PDF

상한 융합 변수를 갖는 단선형제약 오목함수 최소화 문제의 해법 (An Algorithm for the Singly Linearly Constrained Concave Minimization Problem with Upper Convergent Bounded Variables)

  • 오세호
    • 한국융합학회논문지
    • /
    • 제7권5호
    • /
    • pp.213-219
    • /
    • 2016
  • 본 논문에서는 한 개의 선형 제약식 하에서 의사결정변수가 상한 값을 갖는 오목 함수 최소화 문제를 다룬다. 제시된 분지 한계 해법은 단체를 분할 단위로 사용하였다. 오목함수를 가장 단단하게 하한추정하는 볼록덮개함수를 단체 상에서 유일하게 구할 수 있기 때문이다. 분지가 일어날 때마다 후보 단체로부터 1 차원 낮은 2 개의 하위 단체들이 생성된다. 이 때 후보 단체에 포함되어 있던 가능해 집합은 각각의 하위 단체로 분할된다. 한계 연산 절차는 선형인 볼록 덮개 함수를 목적 함수로 하는 선형계획법을 부문제로 정의하고 해를 구한다. 부문제의 최적 목적함수 값으로부터 최적 오목목적함수의 하한과 상한을 갱신하고, 원문제의 최적해를 포함하지 않는 단체들을 고려 대상에서 제외시킨다. 본 해법의 최대 장점은 하위 단체로 분할될수록 부문제들의 크기가 점점 작아진다는데 있다. 이것은 한계 연산의 계산량이 줄어든다는 것을 의미한다. 본 연구의 결과는 배낭 제약식 유형의 제약식 하에서의 오목 함수 최소화 문제의 해법을 개발하는데 응용될 수 있을 것이다.

비정규 분포에 대한 통계적 모멘트와 확률 제한조건의 민감도 해석 (Expansion of Sensitivity Analysis for Statistical Moments and Probability Constraints to Non-Normal Variables)

  • 허재성;곽병만
    • 대한기계학회논문집A
    • /
    • 제34권11호
    • /
    • pp.1691-1696
    • /
    • 2010
  • 설계단계에서 시스템의 불확실성을 반영하려는 노력이 다양하게 이루어지고 있으며, 강건 최적설계 혹은 신뢰도 기반 최적설계는 이에 대한 대표적인 설계 방법론이다. 이러한 최적화 수식에는 성능함수의 평균, 표준편차와 확률제한조건이 목적함수와 제한조건으로 주로 활용된다. 그러므로, 이러한 통계적 특성치를 효과적으로 계산하는 것은 필수적이며, 더 나아가 최적화 과정에서 비선형 계획법이 일반적으로 활용되므로 민감도가 반드시 필요하다. 본 연구에서는 통계적 모멘트와 확률제한조건에 대해 적분 형태로 정의되는 민감도 수식을 비정규 분포로 확장하고자 한다. 얻어진 민감도 해석 결과는 통계적 모멘트와 손상확률이 설계점에서 계산된 경우, 민감도를 얻기 위해 추가로 성능함수를 계산할 필요가 없음을 보여주므로 효율성 측면에서 우수하다. 그러나, 민감도 수식이 성능함수와 확률밀도함수의 미분과정에서 얻어지는 함수의 곱으로 정의되므로, 동일한 수치적분 방법이 적용되는 경우 민감도 해석 결과는 통계적 모멘트 결과의 정확도에 미치지 못할 가능성이 있다.

2단계 최적화 방법을 이용한 비트할당 기법 (A Novel Bit Allocation Method Using Two-phase Optimization Technique)

  • 김욱중;김성대
    • 한국통신학회논문지
    • /
    • 제23권8호
    • /
    • pp.2032-2041
    • /
    • 1998
  • 비트할당 문제는 영상을 손실 부호화 하는데 있어서 가장 기본적인 것으로, 최대 허용 비트량을 초과하지 않으면서도 복원 영상의 발생 왜곡정도를 최소화 하는 것올 목적으로 하는 것이다. 이러한 비트할당 문제의 최적해를 구하는데 있어서 기존의 최적 비트할당 방법들은 동적 프로그래밍(dynamic programming) 방식에 근간하기 때문에 영상의 수가 증가하거나 움직임 보상을 이용하는 동영상 부호화의 정우에는 해를 구하기 위해서는, 그 방식이 요구하는 계산량과 메포리양이 너무 많아 최적해를 구하는데 있어서 그 한계가 있다. 본 논문에서는 기존의 최적 비트할당 방법들이 지니는 문제점들을 해결하기 위하여 '버트할당 문제의 분할' 과 '2단계 최적화 방법'을 이용하여 기존의 최적 비트할당 방법들에 비해 적은 계산량과 메모리를 요구하면서도 최적 비트할당 결과를 얻을 수 있는 방법 을 제안한다. 또한 제안한 방식을 효과적으로 근사화 할 수 있는 방법에 대해서도 제안한다. 최적 비트할당 결과는 영상 부호화 시스템의 분석, 복원화질의 최고치 파악, 효과적인 근사화 방법의 개발등에 효과적으로 이용될 수 있다. 따라서 본 논문에서 제안하는 방법은 비트할당에 관련된 분야에 효과적으로 이용될 수 있으리라 기대된다.

  • PDF

로드밸런싱을 위한 전기차 충전소 입지선정 문제 (A Problem of Locating Electric Vehicle Charging Stations for Load Balancing)

  • 권오성;양우석;김화중;손동훈
    • 산업경영시스템학회지
    • /
    • 제41권4호
    • /
    • pp.9-21
    • /
    • 2018
  • In South Korea, Jeju Island has a role as a test bed for electric vehicles (EVs). All conventional cars on the island are supposed to be replaced with EVs by 2030. Accordingly, how to effectively set up EV charging stations (EVCSs) that can charge EVs is an urgent research issue. In this paper, we present a case study on planning the locations of EVCS for Jeju Island, South Korea. The objective is to determine where EVCSs to be installed so as to balance the load of EVCSs while satisfying demands. For a public service with EVCSs by some government or non-profit organization, load balancing between EVCS locations may be one of major measures to evaluate or publicize the associated service network. Nevertheless, this measure has not been receiving much attention in the related literature. Thus, we consider the measure as a constraint and an objective in a mixed integer programming model. The model also considers the maximum allowed distance that drivers would detour to recharge their EV instead of using the shortest path to their destination. To solve the problem effectively, we develop a heuristic algorithm. With the proposed heuristic algorithm, a variety of numerical analysis is conducted to identify effects of the maximum allowed detour distance and the tightness of budget for installing EVCSs. From the analysis, we discuss the effects and draw practical implications.

민감도 해석을 이용한 전단벽-골조 구조시스템의 강성최적설계 (Stiffness-based Optimal Design of Shear Wall-Frame Structure System using Sensitivity Analysis)

  • 이한주;김호수
    • 한국전산구조공학회논문집
    • /
    • 제19권1호
    • /
    • pp.63-71
    • /
    • 2006
  • 본 연구에서는 민감도 해석을 이용하여 전단벽-골조 구조시스템의 횡변위를 정량적으로 제어할 수 있는 강성최적설계방안을 제시하고자 한다. 이를 위해 먼저 골조와 전단벽요소 사이의 변위자유도 적합성 문제를 해결하기 위한 요소강성행렬을 구성하며, 또한 수학적계획법의 일반성을 유지하면서도 큰 규모의 문제도 효율적으로 다를 수 있는 근사화 재념을 도입하여 횡변위 구속조건식을 설정한다. 아울러 전단벽 및 골조부재의 단면특성 관계식을 설정함으로써 설계변수의 수를 줄여주고, 이를 이용하여 강성행렬도함수의 산정을 용이하게 한다. 특히 골조의 경우 초기에 주어진 단면형상이 최적설계 과정동안 계속 유지된다는 가정을 이용하여 최적설계결과에서 구해진 단면특성에 따라 부재단면크기를 산출하고, 전단벽은 사용자의 의도에 따라 두께 또는 부재길이를 재산정하는 방안을 강구한다. 이와 같이 제시된 강성최적설계기법의 효용성을 검토하기 위해 두 가지 형태의 20층 전단벽-골조 구조물의 예제가 고려된다.