basic constraint
Recently Published Documents


TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

2018 ◽  
Vol 4 (21) ◽  
pp. 257-269
Author(s):  
Mikalai Miatselski ◽  
Bożena Staruch ◽  
Bogdan Staruch

An optimization model for the cost–revenue study at the stage of system analysis and preliminary designs of storage objects such as warehouses, containers, packs and similar objects are developed. Our assumptions motivated by warehouses design lead us to a nonlinear integer optimization problem with the only basic constraint. We present algorithmic methods for obtaining the exact solution to the general problem with emphasizing the special case when both the objective and the constraint functions are increasing. The results of the paper may be used in developing software tools intended for supporting designers.


2017 ◽  
Vol 5 (1) ◽  
pp. 92-115
Author(s):  
Siamak Layeghy ◽  
Farzaneh Pakzad ◽  
Marius Portmann

In this paper, we introduce SCOR (Software-defined Constrained Optimal Routing), a new Software Defined Networking (SDN) Northbound Interface for QoS routing and traffic engineering. SCOR is based on constraint-programming techniques and is implemented in the MiniZinc modelling language. It provides a powerful, high-level abstraction layer, consisting of 10 basic constraint-programming predicates. A key feature of SCOR is that it is declarative, where only the constraints and utility function of the routing problem need to be expressed, and the complexity of solving the problem is hidden from the user, and handled by a powerful generic solver. We show that the interface (set of predicates) of SCOR is sufficiently expressive to handle all the known and relevant QoS routing problems. We further demonstrate the practicality and scalability of the approach via a number of example scenarios, with varying network topologies, network sizes and number of flows.


Author(s):  
Siamak Layeghy ◽  
Farzaneh Pakzad ◽  
Marius Portmann

In this paper, we introduce SCOR (Software-defined Constrained Optimal Routing), a new Software Defined Networking (SDN) Northbound Interface for QoS routing and traffic engineering. SCOR is based on constraint-programming techniques and is implemented in the MiniZinc modelling language. It provides a powerful, high-level abstraction layer, consisting of 10 basic constraint-programming predicates. A key feature of SCOR is that it is declarative, where only the constraints and utility function of the routing problem need to be expressed, and the complexity of solving the problem is hidden from the user, and handled by a powerful generic solver. We show that the interface (set of predicates) of SCOR is sufficiently expressive to handle all the known and relevant QoS routing problems. We further demonstrate the practicality and scalability of the approach via a number of example scenarios, with varying network topologies, network sizes and number of flows.


2015 ◽  
Vol 30 (20) ◽  
pp. 1550098
Author(s):  
Esmaeil Ebrahimi

In this work, we consider higher-dimensional structures in [Formula: see text]-gravity in an expanding background. We assume a Ricci scalar constant background and use this assumption as the basic constraint to find solutions. Two classes of solutions are presented in which every one includes naked singularity and wormhole geometries. Both classes of solutions show inflationary phase of expansion favored by recent acceleration of the universe. Traversability of the wormhole solutions is discussed. The possibility of satisfying or violating the weak energy condition (WEC) for wormholes is explored. For one class of solutions, particular choices of constants result in wormholes which satisfy the WEC all over the spacetime.


Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman

2014 ◽  
Vol 915-916 ◽  
pp. 228-235
Author(s):  
Xue Song Qiu ◽  
Liang Wang ◽  
Lei Wang ◽  
Jia Qi Liu ◽  
Yu Lin Zhou

There is a serious security problem in the process of workpieces flipping, which restricts the increase of production capacity in manufacturing process of large workpieces applied in nuclear power equipment. The shapes and characteristics of flipping workpieces were analyzed; the general model of workpieces outer contour was established. The design goals of heavy castings and forgings cold-work turnover mechanism were formulated based on the requirements of turning process, then the basic constraint-face was build and the geometric constraint-model was uniformed. A novelty 3- DOF planar serial mechanism of heavy upender was proposed whose overall configuration consists of three movements, that is roll, mobile, folding turn, which can realize the double function of turning 90 ° and 180 ° of large workpiece as hollow cylindrical, conical and spherical crown three types. On this basis, the airbags-drived flipping worktable was designed; Topological optimization of flipping worktable was further conducted. Its key technology will provide useful ideas and references for the development of large heavy duty positioner and turnover machine with its other related equipment.


2011 ◽  
Vol 27 (04) ◽  
pp. 162-168
Author(s):  
Zhang Bao-ji ◽  
Ma Kun

The Niche Genetic Algorithms (NGAs) can overcome the deficiency of Genetic Algo-rithms (GAs), such as premature convergence and low ability of local search. The NGA can maintain the diversity of the individual in groups. Meanwhile, it has a high ability of globally searching and a rapid convergence rate. To get the hull form with minimum resistance, an optimization design of the hull form with NGA method, which is combined with CAD technology based on the Rankine source method, is proposed. The total resistance is taken as objective function in the optimization process, study on the optimization of the fore-body of hull is proposed, with the parameter of hull form modification function as design variables, with an appropriate displacement as the basic constraint. Initially, the Series60 hull was selected as the base for the optimized calculation. Comparison between the optimized results of the NGAs and GAs shows that the hull based on the optimized NGA are valid and effective.


Sign in / Sign up

Export Citation Format

Share Document