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

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

기호 운동방정식 생성과 병렬형 로봇 모델링 (Symbolic Generation of Dynamic Equations and Modeling of a Parallel Robot)

  • 송성재;조병관;이장무
    • 대한기계학회논문집A
    • /
    • 제20권1호
    • /
    • pp.35-43
    • /
    • 1996
  • A computer program for automatic deriving the symbolic equations of motion for robots using the programming language MATHEMATICA has been developed. The program, developed based on the Lagrange formalism, is applicable to the closed chain robots as well as the open chain robots. The closed chains are virtually cut open, and the kinematics and dynamics of the virtual open chain robot are analyzed. The constraints are applied to the virtually cut joints. As a result, the spatial closed chain robot can be considered as a tree structured open chain robot with kinematic constraints. The topology of tree structured open chain robot is described by a FATHER array. The FATHER array of a link indicates the link that is connected in the direction of base link. The constraints are represented by Lagrange multipliers. The parallel robot, DELTA, having three-dimensional closed chains is modeled and simulated to illustrate the approach.

A MULTIOBJECTIVE MODEL OF WHOLESALER-RETAILERS' PROBLEM VIA GENETIC ALGORITHM

  • MAHAPATRA NIRMAL KUMAR;BHUNIA ASOKE KUMAR;MAITI MANORANJAN
    • Journal of applied mathematics & informatics
    • /
    • 제19권1_2호
    • /
    • pp.397-414
    • /
    • 2005
  • In the existing literature, most of the purchasing models were developed only for retailers problem ignoring the constraint of storage capacity of retailers shop/showroom. In this paper, we have developed a deterministic model of wholesaler-retailers' problem of single product. The storage capacity of wholesaler's warehouse/showroom and retailers' showroom/shop are assumed to be finite. The items are transported from wholesaler's warehouse to retailers' Own Warehouse (OW) in a lot. The customer's demand is assumed to be displayed inventory level dependent. Demands are met from OW and that spaces of OW will immediately be filled by shifting the same amount from the Rented Warehouse (RW) till the RW is empty. The time duration between selling from OW and filling up its space by new ones from RW is negligible. According to relative size of the retailers' existing (own) warehouse capacity and the demand factors, different scenarios are identified. Our objectives are to optimize the cost functions of wholesaler and two retailers separately. To solve this problem, a real coded Genetic Algorithm (GA) with roulette wheel selection/reproduction, whole arithmetic crossover and non-uniform mutation is developed. Finally a numerical example is presented to illustrate the results for different scenarios. To compare the results of GA, Generalised Reduced Gradient Method has been used for the problem. Also, a sensitivity analysis has been performed to study the variations of the optimal average cost with respect to the different parameters.

성장-변형률법을 이용한 신뢰성 기반 형상 최적화 (Reliability-based Shape Optimization Using Growth Strain Method)

  • 오영규;박재용;임민규;박재용;한석영
    • 한국생산제조학회지
    • /
    • 제19권5호
    • /
    • pp.637-644
    • /
    • 2010
  • This paper presents a reliability-based shape optimization (RBSO) using the growth-strain method. An actual design involves uncertain conditions such as material property, operational load, Poisson's ratio and dimensional variation. The purpose of the RBSO is to consider the variations of probabilistic constraint and performances caused by uncertainties. In this study, the growth-strain method was applied to shape optimization of reliability analysis. Even though many papers for reliability-based shape optimization in mathematical programming method and ESO (Evolutionary Structural Optimization) were published, the paper for the reliability-based shape optimization using the growth-strain method has not been applied yet. Growth-strain method is applied to performance measure approach (PMA), which has probabilistic constraints that are formulated in terms of the reliability index, is adopted to evaluate the probabilistic constraints in the change of average mises stress. Numerical examples are presented to compare the DO with the RBSO. The results of design example show that the RBSO model is more reliable than deterministic optimization. It was verified that the reliability-based shape optimization using growth-strain method are very effective for general structure. The purpose of this study is to improve structure's safety considering probabilistic variable.

Optimal Hourly Scheduling of Community-Aggregated Electricity Consumption

  • Khodaei, Amin;Shahidehpour, Mohammad;Choi, Jaeseok
    • Journal of Electrical Engineering and Technology
    • /
    • 제8권6호
    • /
    • pp.1251-1260
    • /
    • 2013
  • This paper presents the optimal scheduling of hourly consumption in a residential community (community, neighborhood, etc.) based on real-time electricity price. The residential community encompasses individual residential loads, communal (shared) loads, and local generation. Community-aggregated loads, which include residential and communal loads, are modeled as fixed, adjustable, shiftable, and storage loads. The objective of the optimal load scheduling problem is to minimize the community-aggregated electricity payment considering the convenience of individual residents and hourly community load characteristics. Limitations are included on the hourly utility load (defined as community-aggregated load minus the local generation) that is imported from the utility grid. Lagrangian relaxation (LR) is applied to decouple the utility constraint and provide tractable subproblems. The decomposed subproblems are formulated as mixed-integer programming (MIP) problems. The proposed model would be used by community master controllers to optimize the utility load schedule and minimize the community-aggregated electricity payment. Illustrative optimal load scheduling examples of a single resident as well as an aggregated community including 200 residents are presented to show the efficiency of the proposed method based on real-time electricity price.

Hop 제약조건이 고려된 최적화 웹정보검색 (Optimized Structures with Hop Constraints for Web Information Retrieval)

  • 이우기;김기백;이화기
    • 한국경영과학회지
    • /
    • 제33권4호
    • /
    • pp.63-82
    • /
    • 2008
  • The explosively growing attractiveness of the Web is commencing significant demands for a structuring analysis on various web objects. The larger the substantial number of web objects are available, the more difficult for the clients(i.e. common web users and web robots) and the servers(i.e. Web search engine) to retrieve what they really want. We have in mind focusing on the structure of web objects by introducing optimization models for more convenient and effective information retrieval. For this purpose, we represent web objects and hyperlinks as a directed graph from which the optimal structures are derived in terms of rooted directed spanning trees and Top-k trees. Computational experiments are executed for synthetic data as well as for real web sites' domains so that the Lagrangian Relaxation approaches have exploited the Top-k trees and Hop constraint resolutions. In the experiments, our methods outperformed the conventional approaches so that the complex web graph can successfully be converted into optimal-structured ones within a reasonable amount of computation time.

A Basic Study on Composite Power System Expansion Planning Considering Probabilistic Reliability Criteria

  • Choi, Jae-Seok;Tinh, TranTrung;Kim, Hyung-Chul;El-Keib, A.;Thomas, R.;Billinton, R.
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 추계학술대회 논문집 전력기술부문
    • /
    • pp.297-300
    • /
    • 2004
  • This paper proposes a method for choosing the best composite power system expansion plan considering probabilistic reliability criterion. The proposed method was modeled as the minimization of the investment budget (economics) for constructing new transmission lines subject to not only deterministic(demand constraint) but also probabilistic reliability criterion(LOLE) with considering the uncertainties of the system elements. This is achieved by modeling the power system expansion problem as an integer programming one. The method solves for the optimal strategy using a probabilistic theory based branch and bound method that utilizes a network flow approach and the maximum flow-minimum cut set theorem. Although the proposed method is applied to a simple sample study, the test results demonstrate a fact that the proposed method is suitable for solving the power system expansion planning problem subject to practical uncertainties for future.

  • PDF

Ontology for estimating excavation duration for smart construction of hard rock tunnel projects under resource constraint

  • Yang, Shuhan;Ren, Zhihao;Kim, Jung In
    • 국제학술발표논문집
    • /
    • The 9th International Conference on Construction Engineering and Project Management
    • /
    • pp.222-229
    • /
    • 2022
  • Although stochastic programming and feedback control approaches could efficiently mitigate the overdue risks caused by inherent uncertainties in ground conditions, the lack of formal representations of planners' rationales for resource allocation still prevents planners from applying these approaches due to the inability to consider comprehensive resource allocation policies for hard rock tunnel projects. To overcome the limitations, the authors developed an ontology that represents the project duration estimation rationales, considering the impacts of ground conditions, excavation methods, project states, resources (i.e., given equipment fleet), and resource allocation policies (RAPs). This ontology consists of 5 main classes with 22 subclasses. It enables planners to explicitly and comprehensively represent the necessary information to rapidly and consistently estimate the excavation durations during construction. 10 rule sets (i.e., policies) are considered and categorized into two types: non-progress-related and progress-related policies. In order to provide simplified information about the remaining durations of phases for progress-related policies, the ontology also represents encoding principles. The estimation of excavation schedules is carried out based on a hypothetical example considering two types of policies. The estimation results reveal the feasibility, potential for flexibility, and comprehensiveness of the developed ontology. Further research to improve the duration estimation methodology is warranted.

  • PDF

Comprehensive Investigations on QUEST: a Novel QoS-Enhanced Stochastic Packet Scheduler for Intelligent LTE Routers

  • Paul, Suman;Pandit, Malay Kumar
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제12권2호
    • /
    • pp.579-603
    • /
    • 2018
  • In this paper we propose a QoS-enhanced intelligent stochastic optimal fair real-time packet scheduler, QUEST, for 4G LTE traffic in routers. The objective of this research is to maximize the system QoS subject to the constraint that the processor utilization is kept nearly at 100 percent. The QUEST has following unique advantages. First, it solves the challenging problem of starvation for low priority process - buffered streaming video and TCP based; second, it solves the major bottleneck of the scheduler Earliest Deadline First's failure at heavy loads. Finally, QUEST offers the benefit of arbitrarily pre-programming the process utilization ratio.Three classes of multimedia 4G LTE QCI traffic, conversational voice, live streaming video, buffered streaming video and TCP based applications have been considered. We analyse two most important QoS metrics, packet loss rate (PLR) and mean waiting time. All claims are supported by discrete event and Monte Carlo simulations. The simulation results show that the QUEST scheduler outperforms current state-of-the-art benchmark schedulers. The proposed scheduler offers 37 percent improvement in PLR and 23 percent improvement in mean waiting time over the best competing current scheduler Accuracy-aware EDF.

강건 최적설계에서 통계적 모멘트와 확률 제한조건에 대한 효율적인 민감도 해석 (The Efficient Sensitivity Analysis on Statistical Moments and Probability Constraints in Robust Optimal Design)

  • 허재성;곽병만
    • 대한기계학회논문집A
    • /
    • 제32권1호
    • /
    • pp.29-34
    • /
    • 2008
  • The efforts of reflecting the system's uncertainties in design step have been made and robust optimization or reliability-based design optimization are examples of the most famous methodologies. In their formulation, the mean and standard deviation of a performance function and constraints expressed by probability conditions are involved. Therefore, it is essential to effectively and accurately calculate them and, in addition, the sensitivity results are required to obtain when the nonlinear programming is utilized during optimization process. We aim to obtain the new and efficient sensitivity formulation, which is based on integral form, on statistical moments such as the mean and standard deviation, and probability constraints. It does not require the additional functional calculation when statistical moments and failure or satisfaction probabilities are already obtained at a design point. Moreover, some numerical examples have been calculated and compared with the exact solution or the results of Monte Carlo Simulation method. The results seem to be very satisfactory.

아웃소싱을 고려한 병렬기계 일정계획 연구 (A Parallel Machine Scheduling Problem with Outsourcing Options)

  • 이익선;윤상흠
    • 산업경영시스템학회지
    • /
    • 제31권3호
    • /
    • pp.101-109
    • /
    • 2008
  • This paper considers an integrated decision for scheduling and outsourcing(or, subcontracting) of a finite number of jobs(or, orders) in a time-sensitive make-to-order manufacturing environment. The jobs can be either processed in a parallel in-house facilities or outsourced to subcontractors. We should determine which jobs should be processed in-house and which jobs should be outsourced. And, we should determine the schedule for the jobs to be processed in-house. If a job is determined to be processed in-house, then the scheduling cost(the completion time of the Job) is imposed. Otherwise(if the job should be outsourced), then an additional outsourcing cost is imposed. The objective is to minimize the linear combination of scheduling and outsourcing costs under a budget constraint for the total available outsourcing cost. In the problem analysis, we first characterize some solution properties and then derive dynamic programming and branch-and- bound algorithms. An efficient heuristic is also developed. The performances of the proposed algorithms are evaluated through various numerical experiments.