Search results for "Integer"

showing 10 items of 250 documents

On form-factor expansions for the XXZ chain in the massive regime

2014

We study the large-volume-$L$ limit of form factors of the longitudinal spin operators for the XXZ spin-$1/2$ chain in the massive regime. We find that the individual form factors decay as $L^{-n}$, $n$ being an even integer counting the number of physical excitations -- the holes -- that constitute the excited state. Our expression allows us to derive the form-factor expansion of two-point spin-spin correlation functions in the thermodynamic limit $L\rightarrow +\infty$. The staggered magnetisation appears naturally as the first term in this expansion. We show that all other contributions to the two-point correlation function are exponentially small in the large-distance regime.

Statistics and ProbabilityPhysicsStatistical Mechanics (cond-mat.stat-mech)Nonlinear Sciences - Exactly Solvable and Integrable SystemsForm factor (quantum field theory)FOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)IntegerChain (algebraic topology)Correlation functionExcited stateThermodynamic limitCondensed Matter::Strongly Correlated ElectronsLimit (mathematics)Exactly Solvable and Integrable Systems (nlin.SI)Statistics Probability and UncertaintyCondensed Matter - Statistical MechanicsMathematical PhysicsMathematical physicsSpin-½
researchProduct

Data for: Decorous Combinatorial Lower Bounds for Row Layout Problems

2021

Files of the new randomly generated instancesnlengths of the departmentsmatrix with the transport weights THIS DATASET IS ARCHIVED AT DANS/EASY, BUT NOT ACCESSIBLE HERE. TO VIEW A LIST OF FILES AND ACCESS THE FILES IN THIS DATASET CLICK ON THE DOI-LINK ABOVE

Statistics::Other StatisticsInterdisciplinary sciencesOtherComputer Science::Operating SystemsFacility LayoutInteger Programming
researchProduct

A Branch-and-Cut Algorithm for the Single Truck and Trailer Routing Problem with Satellite Depots

2016

International audience; In the single truck and trailer routing problem with satellite depots (STTRPSD), a truck with a detachable trailer based at a main depot must serve the demand of a set of customers accessible only by truck. Therefore, before serving the customers, it is necessary to detach the trailer in an appropriate parking place (called either a satellite depot or a trailer point) and transfer goods between the truck and the trailer. This problem has applications in milk collection for farms that cannot be reached using large vehicles. In this work we present an integer programming formulation of the STTRPSD. This formulation is tightened with several families of valid inequaliti…

Truck050210 logistics & transportationEngineering021103 operations researchHeuristic (computer science)business.industry05 social sciencesTrailer0211 other engineering and technologiesTransportation[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]02 engineering and technologyTravelling salesman problem0502 economics and businessVehicle routing problemRouting (electronic design automation)businessAlgorithmBranch and cutInteger programmingCivil and Structural EngineeringTransportation Science
researchProduct

Mathematical models for multicontainer loading problems

2017

Abstract This paper deals with the problem of a distribution company that has to serve its customers by putting first the products on pallets and then loading the pallets onto trucks. We approach the problem by developing and solving integer linear models. We start with basic models, that include the essential features of the problem, such as respecting the dimensions of the truck, and not exceeding the total weight capacity and the maximum weigh capacity on each axle. Then, we add progressively new conditions to consider the weight and volume of pallet bases and to include other desirable features for the solutions to be useful in practice, such as the position of the center of gravity and…

Truck050210 logistics & transportationMathematical optimization021103 operations researchInformation Systems and ManagementMathematical modelComputer scienceStrategy and Management05 social sciences0211 other engineering and technologiesLinear model02 engineering and technologyManagement Science and Operations ResearchContainers; Cutting stock problem; Integer programming; Optimization; Strategy and Management1409 Tourism Leisure and Hospitality Management; Information Systems and Management; Management Science and Operations ResearchAxlePosition (vector)0502 economics and businessPalletMinificationInteger (computer science)
researchProduct

Mathematical models for Multi Container Loading Problems with practical constraints

2019

Abstract We address the multi container loading problem of a company that serves its customers’ orders by building pallets with the required products and loading them into trucks. The problem is solved by using integer linear models. To be useful in practice, our models consider three types of constraints: geometric constraints, so that pallets lie completely inside the trucks and do not overlap; weight constraints, defining the maximum weights supported by a truck and by each axle, as well as the position of the centre of gravity of the cargo; and dynamic stability constraints. These last constraints forbid empty spaces between pallets to avoid cargo displacement when the truck is moving, …

TruckMathematical optimization021103 operations researchGeneral Computer ScienceMathematical modelComputer science0211 other engineering and technologiesGeneral Engineering02 engineering and technologyContainer loading; Cutting stock problem; Integer programming; Optimization; Computer Science (all); Engineering (all)Cutting stock problemContainer (abstract data type)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPalletInteger programmingInteger (computer science)
researchProduct

The Multi-period Multi-trip Container Drayage Problem with Release and Due Dates

2021

Abstract The Container Drayage Problem (CDP) aims at routing a fleet of trucks, based at a common terminal, to serve customers while minimizing the total travel distance. Each trip starts from and ends at the terminal, and handles a subset of customers. Each customer requires either that a container is picked up or delivered. We introduce a more realistic variant, i.e., the Multi-trip Multi-period CDP with Release and Due Dates (MM-CDP-RDD), in which the planning horizon is composed of several periods (days). On each day, each truck may perform more than one trip respecting the Release and Due Dates (RDD) associated with customer services, corresponding to the first and the last day on whic…

TruckService (business)Routing Multi-trip Vehicle Routing Multi-period Vehicle Routing Combinatorial Benders’ CutsGeneral Computer ScienceOperations researchComputer scienceVehicle routing problem Alternative fuel vehicles Mixed integer linear programming Cutting planes Fueling pump reservationTime horizonManagement Science and Operations ResearchMulti-trip Vehicle RoutingMulti-period Vehicle RoutingSet (abstract data type)Terminal (electronics)Modeling and SimulationContainer (abstract data type)Combinatorial Benders’ CutsSettore MAT/09 - Ricerca OperativaRouting (electronic design automation)Integer programmingRoutingComputers & Operations Research
researchProduct

The Average State Complexity of the Star of a Finite Set of Words Is Linear

2008

We prove that, for the uniform distribution over all sets Xof m(that is a fixed integer) non-empty words whose sum of lengths is n, $\mathcal{D}_X$, one of the usual deterministic automata recognizing X*, has on average $\mathcal{O}(n)$ states and that the average state complexity of X*is i¾?(n). We also show that the average time complexity of the computation of the automaton $\mathcal{D}_X$ is $\mathcal{O}(n\log n)$, when the alphabet is of size at least three.

Uniform distribution (continuous)ComputationStar (game theory)0102 computer and information sciences02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesCombinatoricsInteger0202 electrical engineering electronic engineering information engineeringTime complexityFinite setMathematicsstar operationDiscrete mathematicsaverage case analysistate complexity16. Peace & justiceBinary logarithm[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]automatonState complexity010201 computation theory & mathematicsfinite language020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata Theory
researchProduct

Min-max control of uncertain multi-inventory systems with multiplicative uncertainties

2001

In this note, we consider production-distribution systems with buffer and capacity constraints. For such systems, we assume that the model is not known exactly. More precisely, the entries of the matrix representing the system structure may be affine functions of some uncertain time-varying parameters that take values within assigned bounds. We give stabilizability conditions that can be checked, in principle, by solving a min-max problem on the surface of the state-space (buffer level space) unit ball. Then, we consider a special case in which each uncertain parameter affects a single column of the system matrix and is independent of all the other ones. In this case, we propose a mixed int…

Unit sphereMathematical optimizationMatrix (mathematics)Linear programmingControl and Systems EngineeringStochastic processMultiplicative functionAffine transformationElectrical and Electronic EngineeringSpecial caseInteger programmingComputer Science ApplicationsMathematics
researchProduct

Splines Computation by Subdivision

2015

In this chapter, fast stable algorithms are presented, which compute splines’ values at dyadic and triadic rational points starting from their samples at integer grid points. The algorithms are implemented by the causal-anticausal recursive filtering of initial data samples, which is followed by iterated application of FIR filters. Extension of the algorithms to the multidimensional case is straightforward. A natural application of the presented subdivision algorithms is for upsampling of signals and images. A few upsampling examples are provided.

UpsamplingBox splineFinite impulse responseComputer scienceIterated functionbusiness.industryComputationExtension (predicate logic)businessAlgorithmInteger gridSubdivision
researchProduct

Dual Inequalities for Stabilized Column Generation Revisited

2014

Column generation (CG) models have several advantages over compact formulations: they provide better linear program bounds, may eliminate symmetry, and can hide nonlinearities in their subproblems. However, users also encounter drawbacks in the form of slow convergence, also known as the tailing-off effect, and the oscillation of the dual variables. Among different alternatives for stabilizing the CG process, Ben Amor et al. [Ben Amor H, Desrosiers J, Valério de Carvalho JM (2006) Dual-optimal inequalities for stabilized column generation. Oper. Res. 54(3):454–463] suggest the use of dual-optimal inequalities (DOIs) in the context of cutting stock and bin packing problems. We generalize th…

Vector packingMathematical optimization021103 operations researchInequalityLinear programmingBin packing problemmedia_common.quotation_subjectColumn generation dual inequalities stabilization0211 other engineering and technologiesGeneral Engineering0102 computer and information sciences02 engineering and technology01 natural sciencesCombinatorics010201 computation theory & mathematicsSlow convergenceColumn generationInteger programmingMathematicsmedia_common
researchProduct