• 전기전자학회논문지
• /
• 제13권1호
• /
• pp.71-76
• /
• 2009

As one of the most important requirements for wireless sensor networks, prolonging network lifetime can be realized by minimizing energy consumption in cluster heads as well as sensor nodes. While most of the previous researches have focused on the energy of sensor nodes, we devote our attention to cluster heads because they are most dominant source of power consumption in the cluster-based sensor networks. Therefore, we seek to minimize energy consumption by minimizing the maximum(MINMAX) energy dissipation at each cluster heads. This work requires energy-efficient clustering of the sensor nodes while satisfying given energy constraints. In this paper, we present a constraint satisfaction modeling of cluster-based routing in a heterogeneous sensor networks because mixed integer programming cannot provide solutions to this MINMAX problem. Computational experiments show that substantial energy savings can be obtained with the MINMAX algorithm in comparison with a minimum total energy(MTE) strategy.

• 대한전자공학회논문지
• /
• 제26권6호
• /
• pp.115-123
• /
• 1989

본 논문은 사용자가 정의한 stick도형으로부터 혼합된 정수 선형프로그래밍 문제를 공식화시키는 새로운 mask compaction 방법을 제시하였는데 이 혼합된 정수 프로그램을 풀므로써 밀집화되고 디자인 rule에 맞는 layout을 얻을 수 있다. 또한 constraint graph에서 최장경로 문제를 풀 수 있는 새로운 효율적인 알고리듬도 기술하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1362-1366
• /
• 2003

Workload programming is allocating suitable workloads of production process according to the needs of products, which would minimize the total cost of both work and stock under some constraint conditions. In this paper, a production process flow chart of discrete manufacturing is presented by a Petri net, and the optimization model of workload-stock is established. An approach of the optimal workloads is provided by means of the integer matrix theory. An example is given to verify this method.

• 한국국방경영분석학회지
• /
• 제25권1호
• /
• pp.133-140
• /
• 1999

Preprocessing for the -01 integer programming can reduce the size of problem instance as well as tighten its linear programming relaxations. In this research, the preprocessing techniques are classified into two categories. First, for the reduction of problem size, there are variable fixing and constraint elimination techniques. Second, for the reduction of feasible region, there are coefficient reduction and Euchidean reduction techniques. These methods are implemented and the effects are shown by experimental results.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.145-170
• /
• 2005

This paper presents scheduling models for dispatching vehicles to accomplish a sequence of container jobs at the container terminal, in which the starting times as well as the order of vehicles for carrying out these jobs need to be determined. To deal with this scheduling problem, three mixed 0-1 integer programming models, Model 1, Model 2 and Model 3 are provided. We present interesting techniques to reformulate the two mixed integer programming models, Model 1 and Model 2, as pure 0-1 integer programming problems with simple constraint sets and present a lower bound for the optimal value of Model 1. Model 3 is a complicated mixed integer programming model because it involves a set of non-smooth constraints, but it can be proved that its solutions may be obtained by the so-called greedy algorithm. We present numerical results showing that Model 3 is the best among these three models and the greedy algorithm is capable of solving large scale problems.

• 제어로봇시스템학회논문지
• /
• 제3권6호
• /
• pp.602-612
• /
• 1997

With GPS carrier phase measurements from more than two antenna which attached to the vehicle, precise attitude can be easily obtained if the integer ambiguity included in carrier phase measurement is resolved. Recently some special products which use dual frequencies or has one receiver engine with multiple antenna are announced. But there are still strong requirements for the conventional single frequency off-the-shelf receiver. To meet these requirements, an efficient integer ambiguity resolution technique is indispensable. In this paper, a new technique to resolve integer imbiguity with single frequency receivers is proposed. The proposed method utilize the known baseline length as a constraint of independent elements of integer ambiguities. With this constraints, the size of search volume can be greatly reduced. Thus the true integer ambiguity can be easily determined with less computational burden and number of measurements. The proposed method is applied to real data to show its effectiveness.

• Journal of Electrical Engineering and Technology
• /
• 제3권3호
• /
• pp.430-435
• /
• 2008

In the paper, an algorithm called a Constraint algorithm is proposed to solve the fan-in problem occurred in ADC encoding circuits. The Flash ADC architecture uses a double-base number system (DBNS). The DBNS has known to represent the multi-dimensional logarithmic number system (MDLNS) used for implementing the multiplier accumulator architecture of FIR filter in digital signal processing (DSP) applications. The authors use the DBNS with the base 2 and 3 to represent binary output of ADC. A symmetric map is analyzed first, and then asymmetric map is followed to provide addition read DBNS to DSP circuitry. The simulation results are shown for the Double-Base Integer Encoder (DBIE) of the 6-bit ADC to demonstrate an effectiveness of the Constraint algorithm, using $0.18{\mu}\;m$ CMOS technology. The DBIE’s processing speed of the ADC is fast compared to the FAT tree encoder circuit by 0.95 GHz.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.61.1-61
• /
• 2001

This paper describes an efficient ambiguity searching method using additional constraints in 3-dimentional attitude finding GPS receiver design. For determining the integer ambiguity, the baseline length constraint, the angle constraint, the velocity constraint and the attitude constraint can be used for reducing the searching space. This paper describes the searching space algebraically and graphically. It is confirmed that the described restrictions are reasonable and the speed and the probability of ambiguity fixing are improved when the restricted searching spaces are applied Moreover, it is possible to design receivers of better quality by applying the method proposed in this paper.

• 경영정보학연구
• /
• 제5권2호
• /
• pp.203-217
• /
• 2003

제약식 프로그래밍과 최적화 솔버는 공통된 문제를 풀기 위한 해법으로서 서로 다른 영역에서 발전되어왔다. 특히 제약식 확산법과 선형 계획법은 두 영역의 주된 기법으로서 조합 최적화 문제를 푸는데 함께 사용될 수 있는 통합가능한 보완 기법들이다. 지금까지 이를 통합하기 위한 시도는 주로 한 기법을 다른 기법의 모형 틀안에 포함시키는 것이었다. 본 논문은 둘의 통합을 통한 잇점들은 충분히 사용하기 위해서는 모형 역시 통합될 필요가 있음과 그 모형 통합의 틀을 보이고 그 틀 안에서 어떻게 두 기법의 솔버의 수준으로 통합되어 새로운 혼합 솔버를 구축할 수 있는지를 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제24권9호
• /
• pp.9-20
• /
• 2019

In this paper, we study the university timetabling problem, which consists of two subproblems, the university course timetabling problem and the examination timetabling problem. Given a set of classrooms, students, teachers, and lectures, the problem is to assign a number of courses (and examinations) to suitable timeslots and classrooms while satisfying the given set of constraints. We discuss the modeling and solution approaches to construct course and examination timetables for one of the largest Korean university. By using binary integer programming formulations, we describe these two complex real-world problems. Then, we propose a solution method, called NOGOOD, to solve the examination timetabling model. The computation results show that NOGOOD finds the optimal examination schedule for the given instance. Although we consider a specific instance of the university timetabling problem, the methods we use can be applicable to modeling and solving other timetabling problems.