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

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

BJRNAFold: Prediction of RNA Secondary Structure Base on Constraint Parameters

  • Li, Wuju;Ying, Xiaomin
    • 한국생물정보학회:학술대회논문집
    • /
    • 한국생물정보시스템생물학회 2005년도 BIOINFO 2005
    • /
    • pp.287-293
    • /
    • 2005
  • Predicting RNA secondary structure as accurately as possible is very important in functional analysis of RNA molecules. However, different prediction methods and related parameters including terminal GU pair of helices, minimum length of helices, and free energy systems often give different prediction results for the same RNA sequence. Then, which structure is more important than the others? i.e. which combinations of the methods and related parameters are the optimal? In order to investigate above problems, first, three prediction methods, namely, random stacking of helical regions (RS), helical regions distribution (HD), and Zuker's minimum free energy algorithm (ZMFE) were compared by taking 1139 tRNA sequences from Rfam database as the samples with different combinations of parameters. The optimal parameters are derived. Second, Zuker's dynamic programming method for prediction of RNA secondary structure was revised using the above optimal parameters and related software BJRNAFold was developed. Third, the effects of short-range interaction were studied. The results indicated that the prediction accuracy would be improved much if proper short-range factor were introduced. But the optimal short-range factor was difficult to determine. A user-adjustable parameter for short-range factor was introduced in BJRNAFold software.

  • PDF

구조물 최적화를 위한 선형화 기법 (Application of linearization method for large-scale structure optimizations)

  • 이희각
    • 전산구조공학
    • /
    • 제1권1호
    • /
    • pp.87-94
    • /
    • 1988
  • 반복 비선형 계획법의 하나인 선형화 기법을 절대수렴의 전제아래 합성 구조물의 최적 설계에 응용한다. 선형화 기법은 설계문제의 제약조건을 선형화된 등가 제약조건으로 변형시키며 active-set 정책을 구사한다. 결과, 매 설계단계에서 풀어야 할 상태 및 수반 방정식의 수를 줄임으로써 실질적인 계산의 절감을 기한다. 기둥으로 받쳐진 판-보 구조물은 최적화 기법의 능력을 시험키 위한 합성구조물의 좋은 예로서, 설계결과 선형화 기법은 만족할만한 수렴치로써 최적해를 산출함을 알 수 있고 나아가 이 방법은 모든 종류의 최적화 문제에 적용될 수 있을 것으로 보인다.

  • PDF

Reliability-Based Design Optimization using Semi-Numerical Strategies for Structural Engineering Applications

  • Kharmanda, G.;Sharabatey, S.;Ibrahim, H.;Makhloufi, A.;Elhami, A.
    • International Journal of CAD/CAM
    • /
    • 제9권1호
    • /
    • pp.1-16
    • /
    • 2010
  • When Deterministic Design Optimization (DDO) methods are used, deterministic optimum designs are frequently pushed to the design constraint boundary, leaving little or no room for tolerances (or uncertainties) in design, manufacture, and operating processes. In the Reliability-Based Design Optimization (RBDO) model for robust system design, the mean values of uncertain system variables are usually used as design variables, and the cost is optimized subject to prescribed probabilistic constraints as defined by a nonlinear mathematical programming problem. Therefore, a RBDO solution that reduces the structural weight in uncritical regions does not only provide an improved design but also a higher level of confidence in the design. In this work, we seek to improve the quality of RBDO processes using efficient optimization techniques with object of improving the resulting objective function and satisfying the required constraints. Our recent RBDO developments show its efficiency and applicability in this context. So we present some recent structural engineering applications demonstrate the efficiency of these developed RBDO methods.

Cost optimization of reinforced high strength concrete T-sections in flexure

  • Tiliouine, B.;Fedghouche, F.
    • Structural Engineering and Mechanics
    • /
    • 제49권1호
    • /
    • pp.65-80
    • /
    • 2014
  • This paper reports on the development of a minimum cost design model and its application for obtaining economic designs for reinforced High Strength Concrete (HSC) T-sections in bending under ultimate limit state conditions. Cost objective functions, behavior constraint including material nonlinearities of steel and HSC, conditions on strain compatibility in steel and concrete and geometric design variable constraints are derived and implemented within the Conjugate Gradient optimization algorithm. Particular attention is paid to problem formulation, solution behavior and economic considerations. A typical example problem is considered to illustrate the applicability of the minimum cost design model and solution methodology. Results are confronted to design solutions derived from conventional design office methods to evaluate the performance of the cost model and its sensitivity to a wide range of unit cost ratios of construction materials and various classes of HSC described in Eurocode2. It is shown, among others that optimal solutions achieved using the present approach can lead to substantial savings in the amount of construction materials to be used. In addition, the proposed approach is practically simple, reliable and computationally effective compared to standard design procedures used in current engineering practice.

Joint Opportunistic Spectrum Access and Optimal Power Allocation Strategies for Full Duplex Single Secondary User MIMO Cognitive Radio Network

  • Yue, Wenjing;Ren, Yapeng;Yang, Zhen;Chen, Zhi;Meng, Qingmin
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제9권10호
    • /
    • pp.3887-3907
    • /
    • 2015
  • This paper introduces a full duplex single secondary user multiple-input multiple-output (FD-SSU-MIMO) cognitive radio network, where secondary user (SU) opportunistically accesses the authorized spectrum unoccupied by primary user (PU) and transmits data based on FD-MIMO mode. Then we study the network achievable average sum-rate maximization problem under sum transmit power budget constraint at SU communication nodes. In order to solve the trade-off problem between SU's sensing time and data transmission time based on opportunistic spectrum access (OSA) and the power allocation problem based on FD-MIMO transmit mode, we propose a simple trisection algorithm to obtain the optimal sensing time and apply an alternating optimization (AO) algorithm to tackle the FD-MIMO based network achievable sum-rate maximization problem. Simulation results show that our proposed sensing time optimization and AO-based optimal power allocation strategies obtain a higher achievable average sum-rate than sequential convex approximations for matrix-variable programming (SCAMP)-based power allocation for the FD transmission mode, as well as equal power allocation for the half duplex (HD) transmission mode.

자동차 클러치 다이어프램 스프링의 유한요소해석 및 최적설계 (Finite Element Analysis and Optimal Design of Automobile Clutch Diaphragm Spring)

  • 이춘열;채영석;권재도;남욱희;김태형
    • 대한기계학회논문집A
    • /
    • 제24권6호
    • /
    • pp.1616-1623
    • /
    • 2000
  • A diaphragm spring is an important component of a clutch assembly, characteristics of which depends largely on that of a diaphragm spring. A diaphragm spring is subject to high stress concentration in driving condition, which frequently causes cracks and fracture around finger area. In this paper, behavior of a diaphragm spring is analysed by finite element method to calculate sensitivity of design parameters, which is used to perform optimal design of diaphragm spring shape. As an object function, hoop stresses are taken and minimized to improve durability. Characteristics of the diaphragm is used as equality constraint to maintain the original design purpose and sequential linear programming(SLP) is utilized as an optimization tool. With optimized design, it is verified that concentrated stress is decreased maintaining release load characteristic.

비균일 수렴허용오차 방법을 이용한 분지한계법 개선에 관한 연구 (A Non-Uniform Convergence Tolerance Scheme for Enhancing the Branch-and-Bound Method)

  • 정상진;;최경현;최동훈
    • 대한기계학회논문집A
    • /
    • 제36권4호
    • /
    • pp.361-371
    • /
    • 2012
  • 혼합이산비선형계획법(mixed-discrete nonlinear programming) 문제의 최적화를 위한 대표적인 기법 중에 하나인 분지한계법(branch-and-bound method)은 다른 기법에 비해 강건하지만 분지한계법 내부의 각 노드마다 연속최적화를 수행해야 하기 때문에 많은 함수 계산이 요구되는 것으로 알려져 있다. 이러한 분지한계법의 단점을 극복하기 위하여 크게 두 가지 연구를 수행하였다. 먼저, 분지한계법의 각 노드마다 동일한 수렴허용오차를 설정해주던 기존의 방법을 대체할 수 있는 비균일 수렴허용오차 방법을 제안하였다. 또한 분지한계법에 적용할 수 있는 5 가지 분지순서 방법 중에서 분지한계법의 성능을 가장 극대화할 수 있는 분지순서 방법을 제시하였다. 수렴허용오차 방법과 분지순서 방법들을 각각 선택하여 분지한계법에 적용한 후 7 개의 수학예제와 4 개의 공학예제에 대하여 테스트를 수행한 결과, 제안된 비균일 수렴허용오차 방법과 5 가지 분지순서 방법 중 최소간 격차이법을 분지한계법에 함께 적용할 경우 분지한계법의 성능이 가장 극대화 됨을 확인할 수 있었다.

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

선형계획법을 이용한 H 아리수 정수 센터 최적 취수량 결정 (Determination of Optimal Hourly Water Intake Amount for H Arisu Purification Center using Linear Programming)

  • 이철수;이강원
    • 한국수자원학회논문집
    • /
    • 제48권12호
    • /
    • pp.1051-1064
    • /
    • 2015
  • 본 논문은 선형계획모형을 이용하여 H 아리수 정수 센터의 최적 취수량 결정 방법을 연구 하였다. 현재 H 아리수 센터에서는 관리자의 경험과 숙련도에 의지하여 취수량을 결정하고 있다. 그런데 매시 변하는 수요를 만족 시키면서 시간대별로 요금이 서로 다른 전력의 사용을 최소화 하는 취수량 결정은 근무자들의 경험과 숙련도를 넘어서는 간단한 문제가 아니다. 따라서 수리적 기법 중 하나인 선형계획모형을 이용해 취수량을 결정하고, 비용 절감을 시도하였다. 본 연구에서 제안한 선형계획 모형은 수요예측치를 기본 입력자료로 사용하고 있는데 예측오차가 발생할 경우 정수지 높이 제한을 위반하는 경우가 발생한다. 이를 해결하기 위해서는 정확한 수요예측이 선행되어야 한다. 그러나 아무리 좋은 예측 기법을 사용하더라도 실수요와 오차는 있게 마련이고 이는 여전히 높이 제한의 제약을 만족 시키지 못하는 결과를 불러일으킨다. 따라서 예측오차를 수용 할 수 있는 안전 마진 상수를 이용한 대안을 제안하였다. 본 연구에서 제안한 선형 계획 모형을 통한 취수량 결정은 수위 모니터링을 위해 항시 작업자가 근무 할 필요가 없기 때문에 인건비 면에서도 많은 절약이 예측되어 총 비용 감축은 훨씬 더 많으리라 기대된다.

기둥-보 휨강도비와 단위하중법을 이용한 철골모멘트골조의 강성설계기법 (Drift Design Method of Steel Moment Frames by using Column-Beam Strength Ratios and Unit-Load Method)

  • 오병관;박효선;최세운
    • 한국전산구조공학회논문집
    • /
    • 제29권6호
    • /
    • pp.563-569
    • /
    • 2016
  • 본 논문에서는 철골모멘트골조의 초기 강성과 연성을 동시에 조절하기 위해 기둥-보 휨강도비를 고려한 재분배 기법이 제시된다. 제시되는 기법은 총 구조물량과 기둥-보 휨강도비에 대한 제약조건을 만족시키면서 구조물의 최상층의 변위를 최소화한다. 고려된 설계변수는 구조부재의 단면적을 사용하며, 정식화된 문제로부터 최적의 결과를 얻기 위해 Sequential Quadratic Programming(SQP) 기법을 사용한다. 최상층의 횡변위에 대한 각 부재의 변위기여도를 단위하중법을 통해 구하고, 이를 최상층의 횡변위가 감소하도록 각 부재의 단면을 재설계한다. 각 부재의 변위기여도를 이용하여 부재의 단면을 재설계하는 과정은 구조물의 초기 강성을 향상시키는 효과를 가진다. 동시에, 제시된 기법은 기둥-보 휨강도비를 제약함으로써 구조물의 연성을 조절하도록 한다. 제시된 최적변위설계기법은 철골골조 예제에 적용하여 적용성을 검증한다. 적용한 결과 제시된 기법을 통해 구조물의 초기강성과 연성능력이 조절되는 것을 확인할 수 있었다.