• Title/Summary/Keyword: Constraint Programming Model

Search Result 98, Processing Time 0.031 seconds

An MDA-Based Adaptive Context-Aware Service Using PARLAY X in Ubiquitous Computing Environments (유비쿼터스 컴퓨팅 환경에서 PARLAY X를 이용하는 MDA기반의 적응성 있는 문맥인식 서비스)

  • Hong Sung June
    • The KIPS Transactions:PartC
    • /
    • v.12C no.3 s.99
    • /
    • pp.457-464
    • /
    • 2005
  • This paper describes an Adaptive Context-aware Service (ACS) using Model Driven Architecture (MDA)-based Service Creation Environment (SCE) on PARLAY X based service delivery platform in ubiquitous computing environments. It can be expected that both the context-awareness and adaptation in ubiquitous computing environments will be deployed. But the existing context-aware middleware lacks in considering adaptation. Therefore, the object of this paper is to support the architecture and the Application Programming Interface (API) of the network service for both the context-awareness and adaptation in ubiquitous computing environment. ACS is to provide users with the adaptive network service to the changing context constraints as well as detecting the changing context. For instance, ACS can provide users with QoS in network according to the detected context, after detecting the context such as location and speed. The architecture of ACS is comprised of a Service Creation Environment (SCE), Adaptive Context Broker and PARLAY gateway. SCE is to use Context-based Constraint Language (CCL) for an expression of context-awareness and adaptation. Adaptive Context Broker is to make a role of the broker between SCE and PARLAY G/W. PARLAY G/W is to support API for PARLAY X-based service delivery platform.

A Two-Stage Heuristic for Capacitated Disassembly Scheduling (자원제약을 고려한 분해 일정계획 문제에 대한 2 단계 발견적 기법)

  • Jeon, Hyong-Bae;Kim, Jun-Gyu;Kim, Hwa-Joong;Lee, Dong-Ho
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2005.05a
    • /
    • pp.715-722
    • /
    • 2005
  • Disassembly scheduling is the problem of determining the quantity and timing of disassembling used products while satisfying the demand of their parts or components over a planning horizon. The case of single product type with assembly structure is considered for the objective of minimizing the sum of disassembly operation and inventory holding costs. In particular, the resource capacity constraint is explicitly considered. The problem is formulated as an integer programming model, and a two-stage heuristic with construction and improvement algorithms is suggested in this paper. To show the performance of the heuristic, computational experiments are done on a number of randomly generated problems, and the test results show that the algorithm can give near optimal solutions within a very short amount of computation time.

  • PDF

Tabu Search Algorithm for Frequency Reassignment Problem in Mobile Communication Networks (주파수 재할당 문제 해결을 위한 타부 서치 알고리듬 개발)

  • Han, Junghee
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.31 no.1
    • /
    • pp.1-9
    • /
    • 2005
  • This paper proposes the heuristic algorithm for the generalized GT problems to consider the restrictions which are given the number of machine cell and maximum number of machines in machine cell as well as minimum number of machines in machine cell. This approach is split into two phase. In the first phase, we use the similarity coefficient which proposes and calculates the similarity values about each pair of all machines and sort these values descending order. If we have a machine pair which has the largest similarity coefficient and adheres strictly to the constraint about birds of a different feather (BODF) in a machine cell, then we assign the machine to the machine cell. In the second phase, we assign parts into machine cell with the smallest number of exceptional elements. The results give a machine-part grouping. The proposed algorithm is compared to the Modified p-median model for machine-part grouping.

The Development of Optimal Power Flow Algorithm Considering Environmental Constants (환경제약을 고려한 최적조류계산 알고리즘의 개발에 관한 연구)

  • Kim, Yong-Ha;Lee, Buhm;Choi, Sang-Kyu;Moon, Hyuc-Ki;Jung, Hyun-Sung
    • The Transactions of the Korean Institute of Electrical Engineers A
    • /
    • v.51 no.11
    • /
    • pp.551-558
    • /
    • 2002
  • This paper describes an optimal power flow algorithm considering environmental constraints. In this algorithm, we use the costate method, concepts of fictitious generator, variable reduction and effective constraint for the effective linear programming application. Especially we consider environmental constraints. The proposed method is applied to IEEE RTS-30 model system, 24 and 96 Reliability Test Systems and the results shows the effectiveness of the method.

Trajectory Optimization of Flexible Manipulators (유연마니퓨레이터의 궤도최적화)

  • 이승재;최연선;야마카와히로시
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2001.05a
    • /
    • pp.979-983
    • /
    • 2001
  • We develop a new method of simultaneous optimization of trajectory and shape of redundant flexible manipulators for collision-free utilizing the B-spline function and a mathematical programming method We adopt an approximate flexible manipulator model which consists of rigid bar elements and spring elements. We use B-spline function for determining the approximate trajectory and the expressions of the outline of obstacles. The used total performance index consists of 2 performance indices. The first is the driving energy, and the second is the trajectory deviation which is caused by the approximate modeling for the flexible manipulator. We design optimal collision-free trajectory of flexible manipulators by searching optimum positions of the control points for B-spline approximation which minimize the performance index subject to constraint condition for collision-free. Some examinations through numerical examples show the effectiveness of the method

  • PDF

A study on the crew roster scheduling (승무원 교번 작성에 관한 연구)

  • 김영훈;김지표
    • Proceedings of the KSR Conference
    • /
    • 2000.11a
    • /
    • pp.86-92
    • /
    • 2000
  • The crew operation scheduling problem is divided into duty generation and duty allocation. The railway crew roster scheduling(duty allocation) is developed monthly for each crew's office, considering the car types and crew's driving ability. However, it is very difficult to make schedules which assign monthly working hours to each crew evenly. The purpose of this thesis is to minimize the differences between each crew's total duty times and make a rostering table. To minimize the differences among monthly working hours of each crews are grouped according to car type and crew's driving ability and a rostering table which could be shared by the group members is developed. Our approach is to apply the techniques of Constraint Programming in order to solve such problems efficiently. This algorithm is suitable to solve optimization problems which involve many complicated constraints. And including the concept of cost, we suggested the model which enable to make the rostering table with a minimum personnel.

  • PDF

Optimizing Diversified Farming Systems by Digital Computer(II) -Optimal Design (디지틀 컴퓨터에 의한 복합영농(複合營農) 시스템의 최적화(最適化) 연구(硏究)(II) -최적설계(最適設計))

  • Chang, D.I.;Kim, K.C.;Lee, S.W.;Kim, M.S.
    • Journal of Biosystems Engineering
    • /
    • v.11 no.2
    • /
    • pp.77-87
    • /
    • 1986
  • This study was carried out to design the optimal systems of diversified farming by the mathematical model developed. In order to achieve this goal, a computer program named DFSDINGP was developed by the nonlinear goal programming(NGP), and for testing its effectiveness, the optimal systems of diversified farming were designed for three regions surveyed and compared them with those of the conventional. DFSDINGP was programmed with FORTRAN 77 and it could handle the NGP problem having 25 independent variables and 75 constraint functions. The study results showed that the developed models and DFSDINGP could design the optimal systems of diversified farming satisfying two goals which are maximum agricultural income and maximum power inputs of agricultural machinery. The agricultural incomes and power inputs of farm machinery of the optimal systems were more than those of the conventional as much as 29-62% and 9-134%, respectively.

  • PDF

Appraisal of Building Energy Systems considering Environment Constraint Conditions

  • Park, Tong-So
    • Architectural research
    • /
    • v.3 no.1
    • /
    • pp.37-44
    • /
    • 2001
  • This study aims to find out sector effects with the appraisal of building energy systems of urban ecosystem considering cost effects and environmental constraints condition such as climatic change factors including $CO_2$ gas which are not dealt in the institutional boundary as components standards and performance standards on energy performance of each part of a building applied on heavy energy spending buildings at present. The results of the appraisal of building energy systems shows that the existing building energy systems are not enough to fulfil the environmental condition under the environmental constraints supposing QELROs(Quantified Emission Limitation and Reduction Objectives) of carbon-dioxide exhaust. Henceforth, it is needed to fulfill the environmental criteria required by the Climatic Change Agreement for improving the adiabatic performance of each part of a building and active using of the solar energy.

  • PDF

Customer Satisfaction Strategy of the College Considering Capital Budgeting (자본투자를 고려한 전문대학의 고객만족전략)

  • Woo, Tae-Hee
    • Journal of the Korea Safety Management & Science
    • /
    • v.9 no.6
    • /
    • pp.113-122
    • /
    • 2007
  • Quality function deployment(QFD) is becoming a widely used customer oriented approach. The aim of this paper is to present an analytic method of quality function deployment that is to maximize customer satisfaction, using a customer satisfaction survey conducted in the college in Korea. Combining weights and satisfaction indices, "performance/important" diagrams are to develop and this grid can be used in order to identify priorities for decision making. Also, this paper shows a 0-1 integer programming model for maximizing customer satisfaction subject to a budget constraint in QFD planning process with case study.

Stochastic vibration suppression analysis of an optimal bounded controlled sandwich beam with MR visco-elastomer core

  • Ying, Z.G.;Ni, Y.Q.;Duan, Y.F.
    • Smart Structures and Systems
    • /
    • v.19 no.1
    • /
    • pp.21-31
    • /
    • 2017
  • To control the stochastic vibration of a vibration-sensitive instrument supported on a beam, the beam is designed as a sandwich structure with magneto-rheological visco-elastomer (MRVE) core. The MRVE has dynamic properties such as stiffness and damping adjustable by applied magnetic fields. To achieve better vibration control effectiveness, the optimal bounded parametric control for the MRVE sandwich beam with supported mass under stochastic and deterministic support motion excitations is proposed, and the stochastic and shock vibration suppression capability of the optimally controlled beam with multi-mode coupling is studied. The dynamic behavior of MRVE core is described by the visco-elastic Kelvin-Voigt model with a controllable parameter dependent on applied magnetic fields, and the parameter is considered as an active bounded control. The partial differential equations for horizontal and vertical coupling motions of the sandwich beam are obtained and converted into the multi-mode coupling vibration equations with the bounded nonlinear parametric control according to the Galerkin method. The vibration equations and corresponding performance index construct the optimal bounded parametric control problem. Then the dynamical programming equation for the control problem is derived based on the dynamical programming principle. The optimal bounded parametric control law is obtained by solving the programming equation with the bounded control constraint. The controlled vibration responses of the MRVE sandwich beam under stochastic and shock excitations are obtained by substituting the optimal bounded control into the vibration equations and solving them. The further remarkable vibration suppression capability of the optimal bounded control compared with the passive control and the influence of the control parameters on the stochastic vibration suppression effectiveness are illustrated with numerical results. The proposed optimal bounded parametric control strategy is applicable to smart visco-elastic composite structures under deterministic and stochastic excitations for improving vibration control effectiveness.