• 제목/요약/키워드: Programming complexity

검색결과 211건 처리시간 0.022초

SDP의 개관: 쌍대성, 계산복잡성 및 응용 (A Survey: SDP, its Duality, Complexity and Applications)

  • 류춘호;명영수;홍성필
    • 한국경영과학회지
    • /
    • 제26권2호
    • /
    • pp.13-46
    • /
    • 2001
  • SDP (Semidefinite Programming), as a sort of “cone-LP”, optimizes a linear function over the intersection of an affine space and a cone that has the origin as its apex. SDP, however, has been developed in the process of searching for better solution methods for NP-hard combinatorial optimization problems. We surveyed the basic theories necessary to understand SDP researches. First, We examined SDP duality, comparing it to LP duality, which is essential for the interior point method, Second, we showed that SDP can be optimized from an interior solution in polynomial time with a desired error limit. finally, we summarized several research papers that showed SDP can improve solution methods for some combinatorial optimization problems, and explained why SDP has become one of the most important research topics in optimization. We tried to integrate SDP theories. relatively diverse and complicated. to survey research papers with our own perspective, and thus to help researcher to pursue their SDP researches in depth.

  • PDF

최적화에 근거한 LAD의 패턴생성 기법 (Optimization-Based Pattern Generation for LAD)

  • 장인용;류홍서
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 2005년도 추계학술대회 및 정기총회
    • /
    • pp.409-413
    • /
    • 2005
  • The logical analysis of data(LAD) is an effective Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a new optimization-based pattern generation methodology and propose two mathematical programming medels, a mixed 0-1 integer and linear programming(MILP) formulation and a well-studied set covering problem(SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with much ease patterns of high complexity that cannot be generated with the conventional approach.

  • PDF

단일 실행 시뮬레이션 최적화를 위한 Reverse-Simulation 기법 (Reverse-Simulation Method for Single Run Simulation Optimization)

  • 이영해
    • 한국시뮬레이션학회논문지
    • /
    • 제5권2호
    • /
    • pp.85-93
    • /
    • 1996
  • Simulation is commonly used to find the best values of decision variables for problems which defy analytical solutions. This objective is similar to that of optimization problems and thus, mathematical programming techniques may be applied to simulation. However, the application of mathematical programming techniques, e.g., the gradient methods, to simulation is compounded by the random nature of simulation responses and by the complexity of the statistical issues involved. In this paper, therefore, we explain the Reverse-Simulation method to optimize a simulation model in a single simulation run. First, we point the problem of the previous Reverse-Simulation method. Secondly, we propose the new algorithm to solve the previous method and show the efficiency of the proposed algorithm.

  • PDF

직선 조합의 에너지 전파를 이용한 고속 물체인식 (Fast Object Recognition using Local Energy Propagation from Combination of Saline Line Groups)

  • 강동중
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2000년도 제15차 학술회의논문집
    • /
    • pp.311-311
    • /
    • 2000
  • We propose a DP-based formulation for matching line patterns by defining a robust and stable geometric representation that is based on the conceptual organizations. Usually, the endpoint proximity and collinearity of image lines, as two main conceptual organization groups, are useful cues to match the model shape in the scene. As the endpoint proximity, we detect junctions from image lines. We then search for junction groups by using geometric constraint between the junctions. A junction chain similar to the model chain is searched in the scene, based on a local comparison. A Dynamic Programming-based search algorithm reduces the time complexity for the search of the model chain in the scene. Our system can find a reasonable matching, although there exist severely distorted objects in the scene. We demonstrate the feasibility of the DP-based matching method using both synthetic and real images.

  • PDF

Energy Efficiency Resource Allocation for MIMO Cognitive Radio with Multiple Antenna Spectrum Sensing

  • Ning, Bing;Yang, Shouyi;Mu, Xiaomin;Lu, Yanhui;Hao, Wanming
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제9권11호
    • /
    • pp.4387-4404
    • /
    • 2015
  • The energy-efficient design of sensing-based spectrum sharing of a multi-input and multi-output (MIMO) cognitive radio (CR) system with imperfect multiple antenna spectrum sensing is investigated in this study. Optimal resource allocation strategies, including sensing time and power allocation schemes, are studied to maximize the energy efficiency (EE) of the secondary base station under the transmit power and interference power constraints. EE problem is formulated as a nonlinear stochastic fractional programming of a nonconvex optimal problem. The EE problem is transformed into its equivalent nonlinear parametric programming and solved by one-dimension search algorithm. To reduce searching complexity, the search range was founded by demonstration. Furthermore, simulation results confirms that an optimal sensing time exists to maximize EE, and shows that EE is affected by the spectrum detection factors and corresponding constraints.

Clustering Algorithm of Hierarchical Structures in Large-Scale Wireless Sensor and Actuator Networks

  • Quang, Pham Tran Anh;Kim, Dong-Seong
    • Journal of Communications and Networks
    • /
    • 제17권5호
    • /
    • pp.473-481
    • /
    • 2015
  • In this study, we propose a clustering algorithm to enhance the performance of wireless sensor and actuator networks (WSANs). In each cluster, a multi-level hierarchical structure can be applied to reduce energy consumption. In addition to the cluster head, some nodes can be selected as intermediate nodes (INs). Each IN manages a subcluster that includes its neighbors. INs aggregate data from members in its subcluster, then send them to the cluster head. The selection of intermediate nodes aiming to optimize energy consumption can be considered high computational complexity mixed-integer linear programming. Therefore, a heuristic lowest energy path searching algorithm is proposed to reduce computational time. Moreover, a channel assignment scheme for subclusters is proposed to minimize interference between neighboring subclusters, thereby increasing aggregated throughput. Simulation results confirm that the proposed scheme can prolong network lifetime in WSANs.

Integer Programming-based Maximum Likelihood Method for OFDM Parameter Estimation

  • Chitpinityon, Nudcharee;Chotikakamth, Nopporn
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 ITC-CSCC -3
    • /
    • pp.1780-1783
    • /
    • 2002
  • A problem of signal transmitted and received in OFDM systems is considered. In particular, an efficient solution to the problem of blind channel estimation based on Maximum Likelihood (ML) principle has been investigated. The paper proposes a new upper-bound cost, used in conjunction with a standard branch and bound integer programming technique for solving the ML problem. The tighter upper-bound cost exploits a finite-alphabet property of the transmitted signal. The proposed upper-bound cost was found to greatly speed up the ML algorithm, thus reducing computational complexity. Experimental results and discussion are included.

  • PDF

안전성이 요구되는 응용분야에 사용하는 프로그램 가능한 전자시스템 (A Programmable Electronic Systems Dedicated to Safety Related Applications)

  • 정순기
    • 한국정보처리학회논문지
    • /
    • 제1권4호
    • /
    • pp.438-451
    • /
    • 1994
  • 프로그램 가능한 논리제어기(PLC : Programmable Logic Controller)의 활용을 위 한 낮은 복잡성과 결함탐색 기능을 갖는 컴퓨터 구조를 설계하였다. PLC의 반복적인 운영모드와 명세단계, 응용분야에 따라 표준화한 소프트웨어 기능모듈들의 상호연결 을 기본으로 하는 그래픽 프로그래밍 패러다임(paradigm)이 구조적으로 지원된다. 그러므로 설계과정에서 프로그래밍 단계와 가장 단순하면서도 엄격한 Diverse Back Translation 방법에 의해 응용소프트웨어의 안전성 인증을 가능케하는 컴퓨터 실행 (machine execution) 단계 사이의 의미상 격차(semantic gap)가 제거된다.

  • PDF

Mean-Variance 수리 계획을 이용한 최적 포트폴리오 투자안 도출 (The Optimal Mean-Variance Portfolio Formulation by Mathematical Planning)

  • 김태영
    • 산업경영시스템학회지
    • /
    • 제32권4호
    • /
    • pp.63-71
    • /
    • 2009
  • The traditional portfolio optimization problem is to find an investment plan for securities with reasonable trade-off between the rate of return and the risk. The seminal work in this field is the mean-variance model by Markowitz, which is a quadratic programming problem. Since it is now computationally practical to solve the model, a number of alternative models to overcome this complexity have been proposed. In this paper, among the alternatives, we focus on the Mean Absolute Deviation (MAD) model. More specifically, we developed an algorithm to obtain an optimal portfolio from the MAD model. We showed mathematically that the algorithm can solve the problem to optimality. We tested it using the real data from the Korean Stock Market. The results coincide with our expectation that the method can solve a variety of problems in a reasonable computational time.

고정된 주문 작업순서를 갖는 소비자 주문 문제를 이한 병렬 기계의 일정계획 (Scheduling Parallel Machines for the Customer Order Problem with Fixed Batch Sequence)

  • 양재환
    • 대한산업공학회지
    • /
    • 제29권4호
    • /
    • pp.304-311
    • /
    • 2003
  • This paper considers a new variation of scheduling problems where jobs are dispatched in batches. The variation is the case where the batch sequence is fixed. The objective is to minimize the sum of the completion times of the batches. This simple environment has a variety of real world applications such as part kitting and customer order scheduling. We show that this problem is binary NP-complete when there exist two machines. For the same problem, we develop an optimal dynamic programming (DP) algorithm which runs in pseudo-polynomial time. We finally prove the optimality of the DP algorithm.