• 한국컴퓨터정보학회논문지
• /
• 제15권5호
• /
• pp.39-47
• /
• 2010

제약 만족 최적화 문제는 복잡한 제약 조건을 포함하는 동시에 비용을 최소화하는 최적화 문제로 정의된다. 지역 탐색과 제약 프로그래밍은 각각 이와 같은 문제의 해결을 위한 도구로서 활용되어 왔다. 본 논문에서는 탐색 성능 향상을 위해 지역 탐색과 제약 프로그래밍을 결합하는 방안을 제시하고 있다. 기본적으로 대상 문제의 해결을 위해 지역 탐색을 사용한다. 그러나 지역 탐색만을 사용할 경우 제약 조건을 모두 만족하는 실행 가능한 이웃해를 생성하는 것이 매우 힘들어진다. 따라서 본 논문에서는 이웃해 생성을 위한 도구로 제약 프로그래밍을 도입하였다. 가중치가 부여된 N-Queens 문제를 대상으로 한 실험 결과, 본 논문에서 제시한 방법을 통해 탐색 성능을 획기적으로 향상시킬 수 있음을 확인할 수 있었다.

• Journal of Information Technology Applications and Management
• /
• 제23권2호
• /
• pp.61-80
• /
• 2016

The wireless mesh network (WMN) is a next-generation technology for data networking that has the advantage in cost and the flexibility in its construction because of not requiring the infra-structure such as the ethernet. This paper focuses on the optimal link scheduling problem under the wireless mesh network to effectuate real-time streaming by using the constraint programming. In particular, Under the limitation of half-duplex transmission in wireless nodes, this paper proposes a solution method to minimize the makespan in scheduling packet transmission from wireless nodes to the gateway in a WMN with no packet transmission conflicts due to the half-duplex transmission. It discusses the conflicts in packet transmission and deduces the condition of feasible schedules, which defines the model for the constraint programming. Finally it comparatively shows and discusses the results using two constraint programming solvers, Gecode and the IBM ILOG CP solver.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.301-311
• /
• 2000

For effective part modifications which is necessary in the design process frequently, variational geometric modeling with constraint management being used in a wide. Most variational geometric modeling methods, however, manage just the constraints about sketch elements used for generation of primitives. Thus, not only constraint propagation but also re-build of various modeling operations stored in the modeling history is necessary iota part geometry modifications. Especially, re-build of high-cost Boolean operations is apt to deteriorate overall modeling efficiency abruptly. Therefore, in this paper we proposed an algorithm that can handle all geometric entities of the part directly. For this purpose, we introduced eight type geometric constraints to the various geometric calculations about all geometric entities in sweepings and Boolean operations as well as the existing constraints of the sketch elements. The algorithm has a merit of rapid part geometric modifications through only constraint propagation without rebuild of modeling operations which are necessary in the existing variational geometric modeling method.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.410-417
• /
• 2002

We consider the constraint based explicit routing problem in MPLS based IP Network. In this problem, we are given a set of traffic demands and a network with different link capacities. The problem is to assign the demand commodities to the paths in the network while minimizing the maximum link load ratio. We formulate this problem as an integer programming problem and propose an efficient column generation technique. To strengthen the formulation, we consider some valid inequalities. We also incorporate the column generation technique with variable fixing scheme Computational results show that the algorithm gives high quality solutions in a short execution time.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.953-956
• /
• 2000

Application specific DSPs often employ irregular datapath structures with distributed registers. In the scheduling phase of retargetable compilation, resolution of register usage conflicts comes to be a new constraint for such datapaths. This paper presents a method of register constraint analysis which attempts to minimize the number of the spill codes required for resolving the register usage conflicts. It searches for a set of ordering restrictions among operations which sequentialize the lifetimes of the values residing in the same register as much as possible and thus minimize the number of the register conflict. Experimental results show that a combination of the proposed register constraint, analysis and list-based scheduling reduces the number of the register spills into 25%.

• 한국정보통신학회논문지
• /
• 제11권12호
• /
• pp.2306-2310
• /
• 2007

본 논문은 FPGA 기술 매핑을 위한 소모 전력을 고려한 재사용 모듈 생성 알고리즘을 제안한다. 제안한 알고리즘은 FPGA 기술 매핑을 위해 사용되는 재사용 모듈에 대해 소모 전력을 고려하여 RT 라이브러리를 생성하는 알고리즘이다. 소모 전력 계산을 위해 회로를 구현하고자 하는 FPGA를 선정한다. 선정된 FPGA를 구성하고 있는 LUT의 조건을 고려하여 전체 소모 전력이 최소가 되도록 기술 매핑을 수행한다. 이러한 정보를 이용하여 할당된 결과의 모듈들 중에서 주어진 소모 전력에 맞는 모듈을 선정하여 회로를 구현한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1998년도 한국우주과학회보 제7권1호
• /
• pp.53.2-53
• /
• 1998

No Abstract.See Full-text

• Journal of Electrical Engineering and Technology
• /
• 제10권3호
• /
• pp.1304-1310
• /
• 2015

In remote islands, due to expense of existing generation systems, installation of photovoltaic cells (PVs) and wind turbines has a chance of reducing generation costs. However, in island power systems, even short-term power fluctuations change the frequency of grids because of their small inertia constant. In order to compensate power fluctuations, the authors proposed the power consumption control of pumps which send water to tanks. The power control doesn’t affect water users’ convenience as long as tanks hold water. Based on experimental characteristics of a pump system, this paper shows methods to determine reference power consumption of the system with compensation for short-term PV fluctuations while satisfying water demand. One method uses a PI controller and the other method calculates reference power consumption from water flow reference. Simulations with a PV and a pump system are carried out to find optimum parameters and to compare the methods. Results show that both PI control method and water flow calculation method are useful for satisfying the water demand constraint. The water demand constraint has a little impact to suppression of the short-term power fluctuation in this condition.

• 제어로봇시스템학회논문지
• /
• 제17권10호
• /
• pp.1029-1036
• /
• 2011

An energy-efficient reference walking trajectory generation algorithm is suggested utilizing allowable ZMP (Zero-Moment-Point) region, which maxmizes the energy efficiency for cyclic gaits, based on three-dimensional LIPM (Linear Inverted Pendulum Model) for biped robots. As observed in natural human walking, variable ZMP manipulation is suggested, in which ZMP moves within the allowable region to reduce the joint stress (i.e., rapid acceleration and deceleration of body), and hence to reduce the consumed energy. In addition, opimization of footstep planning is conducted to decide the optimal step-length and body height for a given forward mean velocity to minimize a suitable energy performance - amount of energy required to carry a unit weight a unit distance. In this planning, in order to ensure physically realizable walking trajectory, we also considered geometrical constraints, ZMP stability condition, friction constraint, and yawing moment constraint. Simulations are performed with a 12-DOF 3D biped robot model to verify the effectiveness of the proposed method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 A
• /
• pp.341-343
• /
• 2000

Traditionally electric power system are operated in such a way that the total fuel cost is minimized regardless of accounting for tie-lines transmission constraint and emissions produced. But tie-lines transmission and emissions constraint are very important issues in the operation and planning of electric power system. This paper presents the Two-Phase Neural Network(TPNN) to solve the Economic Load Dispatch (ELD) problem with tie-lines transmission and emissions constraint considering transmission losses. The transmission losses are obtained from the B-coefficient which approximate the system losses as s quadratic function of the real power generation. By applying the proposed algorithm to the test system, the usefulness of this algorithm is verified.