• 제목/요약/키워드: 제약조건식

검색결과 202건 처리시간 0.029초

제약 조건 만족과 불확실한 지식의 처리 (Constraint Satisfaction and Uncertain Knowledge)

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

  • PDF

상수도 관망개선의 최적설계 (Optimal Rehabilitation Model for Water Distribution Systems)

  • 김중훈
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 1993년도 수공학연구발표회논문집
    • /
    • pp.535-543
    • /
    • 1993
  • 이 논문의 목적은 기존의 상수도 관망을 개선하는데 있어 어느 관을 교체 또는 재생할 것인가와 펌프용량을 얼마나 늘릴 것인가를 결정함으로써 관망내 각 급수지점에서의 요구유량및 수압을 만족시킴은 물론 그에 드는 비용을 최소화시키는 모델을 개발하는데 있다. 이 논문은 관교체 비용, 세관 및 재생 비용, 관보수 비용, 펌핑 비용, 펌프시설 확충비용 등의 다섯가지 비용들을 비교 검토함으로써 의사결정을 하게 된다. 제약조건식으로는 급수 조건식, 에너지 방정식, 수리학적 방정식, 결정 조건식, 한계 조건식, 정수 조건식 등이 있다. 이 모델을 수식화하면 정수혼합 비선형계획법 (mixed-integer nonlinear programming, MINLP) 문제가 된다. 이 문제를 풀기 위해 비선형해법의 GRG (generalized reduced gradient) 방법과 분기와 한계 (banch and bound) 기법을 통한 implicit enumeration 기법을 접목시키는 방법을 제안하였다.

  • PDF

다단계분할법에 의한 철근콘크리트 뼈대구조의 최적화에 관한 연구 (Optimum of Reinforced Concrete Framed Structures by Multilevel Decomposition)

  • 변근주;최홍식
    • 콘크리트학회지
    • /
    • 제1권1호
    • /
    • pp.87-94
    • /
    • 1989
  • 철근콘크리트 뼈대구조와 같이 설계변수가 과다하고, 제약조건식이 복잡한 구조물의 최적화를 위하여는 구조물을 여러개의 부분구조물로 분할하여 최적해를 구하는 분할법이 많이 사용되고 있다. 그러나 기존의 분할법에 의한 최적화는 구조해석과정과 고정된 부재력에대한 단면설계변수의 부분최적화 과정만으로 이루어지기 때문에, 최적해를 구하려면 반복적인 재해석과정만을 수행하지 않으면 안된다. 따라서 본 연구에서는 다단계분할법에 의하여 철근콘크리트 뼈대구조의 최적화 문제를 3단계로 형성하고, 분할된 부분최적화문제의 최적화시 전체구조의 강성 및 부재력 변화가 반영되어 부분 구조물의 결합을 유지시킬 수 있는 최적화 알고리즘을 제안하였다. 최적화 문제에서 설계변수로는 단면의 크기, 철근량, 모멘트 재분배율등을 취하고,목적함수는 경비함수, 제약조건으로는 강도설계법에 의한 부재강도, 시방서의 요구사항등을 고려하여 문제를 형성하였다. 본 연구에서 개발한 다단계 최적화과정의 첫째 단계에서는 탄성해석에 의하여 재분배모멘트의 설계공간을 형성한다. 이 때 부재력변화량추정(forece approximation technique)에 의하여 단면치수의 변화에 따른 부재력의 변화를 제약조건식 내에 포함시킬 수 있도록 하였다. 둘째 단면에서는 첫째 단계에서 구한 부재력변화량추정이 포함된 제약조건식 내에서 무제약최소화기법에 의하여 단면치수를 최적화하도록 하였다. 셋째 단계에서는 재분배 모멘트를 최적화하였으며, 이 때 재분배모멘트의 변화에 따른 단면설계 변수의 변화는 둘째 단계에서 구한 설계민감도(design sensitivity)를 이용하여 반영시키도록 하였다. 제안된 알고리즘을 1층 2경간 및 2층 1경간 뼈대구조에 적용하여 알고리즘의 타당성과 효율성을 입증하였다. 따라서 본 연구의 알고리즘은 철근 콘크리트 뼈대구조의 최적설계에 안정성있게 적용할 수 있을 것으로 판단된다.

천부(약 10 m) 연약 지반 탐지를 위한 전기비저항 역산 해상도 향상 전략 (Strategy for Improving the Resolution of Electrical-resistivity Inversions for Detecting Soft Ground at Shallow Depths (~ 10 m))

  • 장한길로;송서영;김빛나래;남명진
    • 지질공학
    • /
    • 제28권3호
    • /
    • pp.367-377
    • /
    • 2018
  • 이 연구는 전기비저항 역산의 해상도를 높이기 위한 구조제약과 부등식 제약조건을 적용한 전기비저항역산법을 소개하고 적용한 결과를 보여준다. 이들 역산에서는 지하투과레이다와 표면파 탐사자료로부터 사전 해석된 층서구조를 전기비저항 참조모델로 도입하고 구조제약과 부등식 제약의 유용성을 합성모델을 이용한 역산실험으로 확인하였다. 연약지반 조건을 가정한 실험모델에 대한 구조제약과 부등식 제약 역산실험 모두 일반적인 전기비저항 역산보다 향상된 역산결과를 보여주었으나, 부등식제약 역산에서는 참조모델이 다소 부정확한 경우에도 배경층서구조를 정확히 재구성하는 동시에 천부(약 10 m 심도)의 전도성 이상체들도 정확히 나타내는 역산결과를 보여주었다.

시맨틱 웹 어플리케이션을 위한 제약 언어 SWCL의 응용

  • 정균범;김우주;이명진
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2007년도 추계학술대회
    • /
    • pp.468-474
    • /
    • 2007
  • 가상기업(virtual enterprise)은 21세기에 고객의 요구가 매우 다양해지고 기술은 점점 더 복잡해지는 상황에서 정보네트워크 기술의 발전을 이용한 새로운 기업간 협력을 통해 극복하려는 경쟁전략의 일환이다. 현재까지의 가상기업에서는 주로 EDI(Electronic Data Interchange)를 이용한 국한된 정보의 교류가 이루어졌다. 그러나 이러한 국한된 정보이외에도 실제 가상조직 내에서는 규칙 또는 제약식 형태의 정보의 교류 또한 필요한 실정이다. 이러한 정보의 교류에 시맨틱 웹 플랫폼을 이용하게 되면 더욱 쉽고 유연한 정보의 전달이 가능하다. 현재 웹 온톨로지 언어인 OWL과 시맨틱 웹 규칙언어인 SWRL을 통해서 사실 및 규칙의 포맷은 갖추어져 있는 상황이지만 제약식의 표현에 있어서는 뚜렷한 포맷이 정해져 있지 않아 가상조직 내에서의 구성원간의 제약조건의 교류에 문제가 있는 상황이다. 본 논문에서는 가상기업조직에 있어서 각각의 구성 기업들간의 제약식 공유가 이루어 질 수 있도록, 시맨틱 웹 표현의 대표적 언어인 OWL 기반으로 하는 제약식 표현언어(Semantic Web Constraint Language)를 응용한다. 또한 실제로 이러한 SWCL이 가상기업 문제에 얼마나 효율적으로 적용될 수 있는지 증명하기 위해 실례를 적용해 보고자 한다.

  • PDF

다단계 다목적함수 최적화를 이용한 구조물의 최적설계 (Multilevel Multiobjective Optimization for Structures)

  • 한상훈;최홍식
    • 전산구조공학
    • /
    • 제7권1호
    • /
    • pp.117-124
    • /
    • 1994
  • 본 논문에서는 다단계다목적함수 최적화(MLMO)를 통해 철근콘크리트 뼈대구조의 최적해를 일단계단일 목적함수 최적화(SLSO)에 의한 결과와 비교하였다. MLMO방법에 의해서 간단히 가중치(Weighting factor)를 도모함으로써 경비와 처짐의 두가지 목적함수를 만족시키는 것이 가능했으며, 단계별로 제약조건식의 수를 감소시키고, 문제형성의 비선형성을 감소시킴으로써 최적화의 과정을 효율적으로 수행할 수 있었다. 또한 각 부구조물간의 설계변수의 변화에 의한 부재력의 변화를 제약조건에 반영하기 위하여 부재력변화량 추정을 하였고 부구조물의 최적화시 부재감 결합(coupling)이 가능하도록 하였다. 부구조물의 최적화시 선형화된 구조시스템의 선형화된 목적함수와 제약조건식을 사용하여 재해석 과정을 효율적으로 감소시킬 수 있었다. 최적화 과정중 초기에는 설계변수에 대한 비교적 큰 이동한계의 사용이 가능하였으며 반복회수 4호 정도에 최적해로의 효율적인 수렴이 이루어졌다.

  • PDF

선형계획법을 이용한 한강 수계 수력발전 댐 장기모형 구축 (Long-Term Operation Modeling for the Hydropower Reservoir in the Han River Basin Using Linear Programming)

  • 이은경;지정원;이재응
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2015년도 학술발표회
    • /
    • pp.156-156
    • /
    • 2015
  • 최근 화석연료의 사용으로 인한 지구온난화 등 환경파괴가 점점 증가하는 추세이며 이로 인해 신재생에너지 중 하나인 수력발전이 주목받고 있다. 수력발전은 물의 위치에너지를 기계에너지로 이를 다시 전기에너지로 변환하는 친환경적인 방식으로 운영된다. 수력발전량은 우리나라 전체 발전량의 1.5% 정도로 적은 양의 발전량을 생산하지만 가동시간이 짧아 전력수요가 급변하는 상황에 대비 가능하기 때문에 수력발전은 필수적이다. 기후변화의 영향으로 연평균강수량은 증가하는 양상을 보이나 연 강수일수는 줄어드는 등 수자원의 불확실성이 증가하고 있는 실정이다. 따라서 미래 불확실한 수자원 공급에 대비할 수 있는 수자원의 효율적 활용에 대한 연구가 필요하다. 본 연구에서는 하천의 유량이 계절에 따라 변동 폭이 크다는 점을 고려하며 월별 발전량을 최대화하기 위해 선형계획법을 적용하는 모형을 구축하였다. 선형계획법은 목적함수와 제약조건식 모두 1차식으로 비선형항을 포함할 수 없으나 초기 해가 불필요하고 최적해가 보장된다는 장점을 가진다. 일부 목적함수나 제약조건식에 비선형항이 포함되어 있을 경우 Successive Linear Programming(SLP), Piecewise Linear Programming(PLP), Taylor Expansion 등의 방법을 이용하여 선형화할 수 있다. 본 연구에서 비선형 제약조건은 Taylor Expansion을 이용하여 선형화하였으며 한강수계 9개 댐의 월간 발전량을 최대화시키는 장기 운영 모형을 구축하였다. 개발 환경은 Linux-CentOS이며 사용프로그램은 통계 분석에 많이 활용되는 R programming이다. R programming은 패키지를 이용한 개발이 용이하고 Windows 뿐만 아니라 Linux, Mac, Unix 등의 운영체제에서도 호환 가능하다는 장점이 있다.

  • PDF

최적해를 이루는 기저벡터가 변화를 초래하지 않는 목적함수계수의 변화 (Coefficient change of objective function not change to the basic vector make a optimum solution)

  • 송필준;김정숙
    • 한국산업정보학회논문지
    • /
    • 제7권1호
    • /
    • pp.58-65
    • /
    • 2002
  • 정수계획법모형에서 목적함수와 선형 제약조건식에 만족하는 최적해를 유도할 때, 선형 제약조건식으로 이루어지는 모든 가능해의 Convex set K에서 정수인 extreme point 또는 수정된 정수인 extreme point를 유도하여 목적함수Z의 최적해로 결정한다. 본 논문에서는 기저변수 벡터 $X_{B}$의 성분이 정수가 아닐 때 Branch & Bound 방법을 확장하여 $X_{B}$가 정수가 되도록 한다. 그리고 목적함수의 계수 $C_{j}$의 변동에 의하여 단계적으로 변하는 최적화를 유도함을 목적으로 한다. 한다.

  • PDF

제한조건식을 갖는 연립 4수 경계치 문제의 유한요소내해석

  • 서영태
    • 기계저널
    • /
    • 제26권2호
    • /
    • pp.114-118
    • /
    • 1986
  • 유한요소법은 경계치(boundary value)문제에 대한 근사해를 구하는 한 방법으로 공학문제 해결의 강력한 도구로서 그 적용분야가 확장되고 있으며, 아울러 유한요소법 자체의 제한점을 축소시 키기 위한 연구가 응용수학자나 공학자에 의해 활발히 진행되고 있다. 본 글에서는 일반적인 유한요소법의 개념을 자연스럽게 확장시켜 공학문제에서 자주 취급되는 제한조건식을 포함한 미분방정식의 처리와 연립미분방정식 및 4계 경계치 문제에 적용시키는 방법을 구체적으로 소 개하고자 한다. 이러한 문제는 최근 에너지 확보와 관련하여 연구가 활발히 진행되고 있는 해 저송유관 설계 및 부설, 시추선 상승관(riser)의 응력해석, 해저광물채집(ocean mining)등의 해 양공학분야에서 크게 대두되고 있다. 해저송유관의 수학적 모델을 통하여 제약조건식을 갖는 연립 4계 경계치 문제를 소개하고 유한요소법의 적용을 설명하고자 한다.

  • PDF

연속 및 이산화 최적알고리즘에 의한 단동온실구조의 최적설계 (Optimum Design of Greenhouse Structures Using Continuous and Discrete Optimum Algorithms)

  • 박춘욱;이종원;이현우;이석건
    • 한국공간구조학회논문집
    • /
    • 제5권4호
    • /
    • pp.61-70
    • /
    • 2005
  • 본 논문은 SUMT와 유전자알고리즘을 근거한 연속 및 이산최적설계 알고리즘에 의한 최적설계 프로그램을 개발하였다. 본 연구의 최적설계는 단동온실 구조물의 단면 연속 및 이산 최적설계가 각각 동시에 수행된다. 본 연구에서 목적함수는 구조물의 중량이고, 제약조건식은 한계상태설계기준에 대한 설계 제한식이다. 설계변수는 원형단면의 직경과 두께이다. 그리고 본 연구의 SUMT 및 유전자 알고리즘에 의한 연속 및 이산화 최적설계 프로그램의 적용을 위해 설계 예를 들었다.

  • PDF