An integer optimization model and algorithms to support the cost-revenue study and provisory designing warehouses or other storage objects

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.

A New QoS Routing Northbound Interface for SDN

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.

A New QoS Routing Northbound Interface for SDN

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.

(n+1)-dimensional spherically symmetric expanding structures in R2-gravity

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.

Development of a 90°/180° Upender for Large and Heavy Workpiece by Using Airbags-Drived Flipping Worktable

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.

Study on Hull Form Optimization for Minimum Resistance Based on Niche Genetic Algorithms

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.