Filters








81,107 Hits in 6.5 sec

Violation analysis on two-step method for interval linear programming

Xiuquan Wang, Guohe Huang
2014 Information Sciences  
Over the past decades, intensive research efforts have focused on interval linear programming (ILP) to tackle such uncertainties.  ...  As one of the most popular methods for solving ILP problems, Two-Step Method (TSM, proposed by Huang et al. in 1995) allows uncertain information to be directly communicated into the optimization process  ...  Among them, the Two-Step Method (TSM) proposed by Huang et al. [23] is the most popular one.  ... 
doi:10.1016/j.ins.2014.05.019 fatcat:rlfwwv5v6bdnjg4vlcukkohyu4

Applications of inexact programming methods to waste management under uncertainty: current status and future directions

Wei Sun, Chunjiang An, Gongchen Li, Ying Lv
2014 Environmental Systems Research  
The demanding areas for future research efforts would include: expansion of conventional concepts to quantify uncertainties, integration of single inexact programming method with other programming methods  ...  The results indicate that the majority of inexact programming methods can be categorized as two-stage stochastic programming, chance-constrained programming, fuzzy flexible programming, fuzzy robust programming  ...  Acknowledgement This research was supported by the Natural Sciences Foundation of China (71303017), the Program for Innovative Research Team (IRT1127), the MOE Key Project Program (311013), the Natural  ... 
doi:10.1186/s40068-014-0015-9 fatcat:3gpvi2pobrg4znwlag55wq52am

Interval Recourse Linear Programming for Resources and Environmental Systems Management under Uncertainty

G. H. Cheng
2015 Journal of Environmental Informatics  
Based on a review of interval linear programming (ILP) and its significances to REM, two linear programming sub-models are employed to initialize a decision space in IRLP.  ...  Interval recourse linear programming (IRLP) is proposed for mitigating constraint violation problems in resources and environmental systems management (REM) under interval uncertainties.  ...  Acknowledgments: This research was supported by the Program for Innovative Research Team in University (IRT1127), the 111 Project (B14008) and the Natural Science and Engineering Research Council of Canada  ... 
doi:10.3808/jei.201500312 fatcat:6jelft3i6vep7evqzbdkg3cssm

Optimal Coordination of Directional Overcurrent Relays Considering Different Network Topologies Using Interval Linear Programming

Abbas Saberi Noghabi, Habib Rajabi Mashhadi, Javad Sadeh
2010 IEEE Transactions on Power Delivery  
Index Terms-Different network topologies, interval analysis, interval linear programming (ILP), overcurrent relay coordination.  ...  In this paper, a new approach based on the interval analysis is introduced to solve the DOCRs coordination problem considering uncertainty in the network topology.  ...  In this paper, a new approach based on interval analysis is introduced to model this problem as interval linear programming.  ... 
doi:10.1109/tpwrd.2010.2041560 fatcat:pz77uccxcrfl3brvisb3ew3yjy

Page 3351 of Mathematical Reviews Vol. , Issue 97E [page]

1997 Mathematical Reviews  
Two mappings are considered which geometrically result in moves toward the most violated constraint or into some cone generated by the normals of all violated constraints, respectively.  ...  -ANL; Argonne, IL) A path-following interior-point algorithm for linear and quadratic problems. (English summary) Interior point methods in mathematical programming. Ann. Oper.  ... 

Application of an iterative method and an evolutionary algorithm in fuzzy optimization

Ricardo Coelho Silva, Luiza A.P. Cantão, Akebo Yamakami
2012 Pesquisa Operacional  
This work develops two approaches based on the fuzzy set theory to solve a class of fuzzy mathematical optimization problems with uncertainties in the objective function and in the set of constraints.  ...  The second one is a metaheuristic approach that adapts a standard genetic algorithm to use fuzzy numbers.  ...  CONCLUSION The first method described in this work transforms the fuzzy non-linear programming problem in a parametric non-linear programming problem.  ... 
doi:10.1590/s0101-74382012005000018 fatcat:sorfcc6plzbe3n6udmmurkx62q

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall [article]

Milan Hladík, Stefan Ratschan
2014 arXiv   pre-print
In this paper, we present an algorithm for solving a certain class of such problems based on interval techniques in combination with conservative linear programming approximation.  ...  previous linear programming approximations.  ...  to a linear system Az ≤ b using the method of Rohn and Kreslová [24, 12] , and solve this system using linear programming.  ... 
arXiv:1312.6155v3 fatcat:o52wuo6ibfcunk5lv2pd6j7q7u

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall

Milan Hladík, Stefan Ratschan
2014 Mathematics in Computer Science  
In this paper, we present an algorithm for solving a certain class of such problems based on interval techniques in combination with conservative linear programming approximation.  ...  linear programming approximations.  ...  to a linear system Az ≤ b using the method of Rohn and Kreslová [24, 12] , and solve this system using linear programming.  ... 
doi:10.1007/s11786-014-0195-8 fatcat:wezp7owtlbdlvb65uws5hln6vy

A Robust Two-Step Method for Solving Interval Linear Programming Problems within an Environmental Management Context

Y. R. Fan
2012 Journal of Environmental Informatics  
In this study, a robust two-step method (RTSM) is developed to solve the interval linear programming (ILP) problem.  ...  Compare with the modified interval linear programming (MILP) method proposed by Zhou et al., (2008) and the three-step method (ThSM) developed by Cao and Huang (2011) , RTSM can generate a relatively larger  ...  This research was supported by the Program for Innovative Research Team (IRT1127), the MOE Key Project Program (311013), the Natural Science and Engineering Research Council of Canada, and the Major Project  ... 
doi:10.3808/jei.201200203 fatcat:3n3cr3x7cjckbkoki5vcugnmru

Identification of Contamination Control Strategy for Fluid Power System Using an Inexact Chance-Constrained Integer Program

Y. Q. Huang, S. L. Nie, H. Ji
2014 Journal of Applied Mathematics  
The developed method is applied to a case of contamination control planning for one typical FPS. Interval solutions associated with risk levels of constraint violation are obtained.  ...  The ICIP is derived by incorporating chance-constrained programming (CCP) within an interval mixed integer linear programming (IMILP) framework, such that uncertainties presented in terms of probability  ...  The authors would like to thank the anonymous reviewers for their insightful comments and suggestions that were very helpful for improving the paper.  ... 
doi:10.1155/2014/146413 fatcat:ab5z73mxxng2jgachbhzzz6fhy

Bounded Model Checking of Software Using Interval Methods via Contractors [article]

Mohannad Aldughaim, Kaled Alshmrany, Mohamed Mustafa, Lucas Cordeiro, Alexandru Stancu
2021 arXiv   pre-print
Bounded model checking (BMC) is a vital technique to find property violations in programs.  ...  Here, we develop an innovative software verification approach that exploits interval methods via contractors to prune the state-space exploration of programs that contain loops.  ...  We advocate that contractors should have a similar effect for interval analysis applied to static analysis of programs.  ... 
arXiv:2012.11245v2 fatcat:rqqrdvwsbnd2jpis6pu5xiaoq4

Fast Decap Allocation Based on Algebraic Multigrid

Cheng Zhuo, Jiang Hu, Min Zhao, Kangsheng Chen
2006 Computer-Aided Design (ICCAD), IEEE International Conference on  
Decap (decoupling capacitor) is an effective technique for suppressing power supply noise. Nevertheless, over-usage of decap usually causes excessive power dissipation.  ...  Our method is flexible to use and can be easily integrated with other existing decap allocation works.  ...  The data shows that our method runs much faster than CG which cannot even complete for the largest two cases. Our method is also faster than iCG on large cases.  ... 
doi:10.1109/iccad.2006.320073 fatcat:kcocrebgpjh5rcg4ezwkuescoa

Fast decap allocation based on algebraic multigrid

Cheng Zhuo, Jiang Hu, Min Zhao, Kangsheng Chen
2006 Computer-Aided Design (ICCAD), IEEE International Conference on  
Decap (decoupling capacitor) is an effective technique for suppressing power supply noise. Nevertheless, over-usage of decap usually causes excessive power dissipation.  ...  Our method is flexible to use and can be easily integrated with other existing decap allocation works.  ...  The data shows that our method runs much faster than CG which cannot even complete for the largest two cases. Our method is also faster than iCG on large cases.  ... 
doi:10.1145/1233501.1233525 dblp:conf/iccad/ZhuoHZC06 fatcat:h45fwo33grbjncc74il4uuncyy

Analysis of Solution Methods for Interval Linear Programming

G. H. Huang
2011 Journal of Environmental Informatics  
In this paper, solution methods for ILP are studied. First of all, the principals and assumptions of two-step method (TSM) are analyzed.  ...  Thirdly, new solution method named three-step method (ThSM) is developed for solving ILP models. It is based on three proposed steps: TSM, feasibility test, and constricting method.  ...  This research was supported by the Major Science and Technology Program for Water Pollution Control and Treatment (2009ZX07104-004).  ... 
doi:10.3808/jei.201100187 fatcat:lmo6n6f6n5atfi2lnd6rndvhou

Page 201 of American Society of Civil Engineers. Collected Journals Vol. 128, Issue 2 [page]

2002 American Society of Civil Engineers. Collected Journals  
Implementation There are two major steps in computer implementation of the optimal design process: the analysis step and the optimization step.  ...  It uses a step-by-step implicit numerical integration procedure based on Newmark’s method to solve the resulting equations. Details of this program can be found in Mondkar and Powell (1975).  ... 
« Previous Showing results 1 — 15 out of 81,107 results