Confidence in heuristic solutions?

Solutions to combinatorial optimization problems frequently rely on heuristics to minimize an objective function. The optimum is sought iteratively and pre-setting the number of iterations dominates in operations research applications, which implies that the quality of the solution cannot be ascertained. Deterministic bounds offer a mean of ascertaining the quality, but such bounds are available for only a limited number of heuristics and the length of the interval may be difficult to control in an application. A small, almost dormant, branch of the literature suggests using statistical principles to derive statistical bounds for the optimum. We discuss alternative approaches to derive statistical bounds. We also assess their performance by testing them on 40 test p-median problems on facility location, taken from Beasley’s OR-library, for which the optimum is known. We consider three popular heuristics for solving such location problems; simulated annealing, vertex substitution, and Lagrangian relaxation where only the last offers deterministic bounds. Moreover, we illustrate statistical bounds in the location of 71 regional delivery points of the Swedish Post. We find statistical bounds reliable and much more efficient than deterministic bounds provided that the heuristic solutions are sampled close to the optimum. Statistical bounds are also found computationally affordable.

Optimization heuristic solutions, how good can they be? : With empirical applications in location problems

Combinatorial optimization problems, are one of the most important types of problems in operational research. Heuristic and metaheuristics algorithms are widely applied to find a good solution. However, a common problem is that these algorithms do not guarantee that the solution will coincide with the optimum and, hence, many solutions to real world OR-problems are afflicted with an uncertainty about the quality of the solution. The main aim of this thesis is to investigate the usability of statistical bounds to evaluate the quality of heuristic solutions applied to large combinatorial problems. The contributions of this thesis are both methodological and empirical. From a methodological point of view, the usefulness of statistical bounds on p-median problems is thoroughly investigated. The statistical bounds have good performance in providing informative quality assessment under appropriate parameter settings. Also, they outperform the commonly used Lagrangian bounds. It is demonstrated that the statistical bounds are shown to be comparable with the deterministic bounds in quadratic assignment problems. As to empirical research, environment pollution has become a worldwide problem, and transportation can cause a great amount of pollution. A new method for calculating and comparing the CO2-emissions of online and brick-and-mortar retailing is proposed. It leads to the conclusion that online retailing has significantly lesser CO2-emissions. Another problem is that the Swedish regional division is under revision and the border effect to public service accessibility is concerned of both residents and politicians. After analysis, it is shown that borders hinder the optimal location of public services and consequently the highest achievable economic and social utility may not be attained.

How does data quality in a network affect heuristic solutions?

To have good data quality with high complexity is often seen to be important. Intuition says that the higher accuracy and complexity the data have the better the analytic solutions becomes if it is possible to handle the increasing computing time. However, for most of the practical computational problems, high complexity data means that computational times become too long or that heuristics used to solve the problem have difficulties to reach good solutions. This is even further stressed when the size of the combinatorial problem increases. Consequently, we often need a simplified data to deal with complex combinatorial problems. In this study we stress the question of how the complexity and accuracy in a network affect the quality of the heuristic solutions for different sizes of the combinatorial problem. We evaluate this question by applying the commonly used p-median model, which is used to find optimal locations in a network of p supply points that serve n demand points. To evaluate this, we vary both the accuracy (the number of nodes) of the network and the size of the combinatorial problem (p). The investigation is conducted by the means of a case study in a region in Sweden with an asymmetrically distributed population (15,000 weighted demand points), Dalecarlia. To locate 5 to 50 supply points we use the national transport administrations official road network (NVDB). The road network consists of 1.5 million nodes. To find the optimal location we start with 500 candidate nodes in the network and increase the number of candidate nodes in steps up to 67,000 (which is aggregated from the 1.5 million nodes). To find the optimal solution we use a simulated annealing algorithm with adaptive tuning of the temperature. The results show that there is a limited improvement in the optimal solutions when the accuracy in the road network increase and the combinatorial problem (low p) is simple. When the combinatorial problem is complex (large p) the improvements of increasing the accuracy in the road network are much larger. The results also show that choice of the best accuracy of the network depends on the complexity of the combinatorial (varying p) problem.

Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

Parameterization Of Turbulence Models Using 3DVAR Data Assimilation

In this research the 3DVAR data assimilation scheme is implemented in the numerical model DIVAST in order to optimize the performance of the numerical model by selecting an appropriate turbulence scheme and tuning its parameters. Two turbulence closure schemes: the Prandtl mixing length model and the two-equation k-ε model were incorporated into DIVAST and examined with respect to their universality of application, complexity of solutions, computational efficiency and numerical stability. A square harbour with one symmetrical entrance subject to tide-induced flows was selected to investigate the structure of turbulent flows. The experimental part of the research was conducted in a tidal basin. A significant advantage of such laboratory experiment is a fully controlled environment where domain setup and forcing are user-defined. The research shows that the Prandtl mixing length model and the two-equation k-ε model, with default parameterization predefined according to literature recommendations, overestimate eddy viscosity which in turn results in a significant underestimation of velocity magnitudes in the harbour. The data assimilation of the model-predicted velocity and laboratory observations significantly improves model predictions for both turbulence models by adjusting modelled flows in the harbour to match de-errored observations. 3DVAR allows also to identify and quantify shortcomings of the numerical model. Such comprehensive analysis gives an optimal solution based on which numerical model parameters can be estimated. The process of turbulence model optimization by reparameterization and tuning towards optimal state led to new constants that may be potentially applied to complex turbulent flows, such as rapidly developing flows or recirculating flows.

From XML to relational view updates: applying old solutions to solve a new problem

XML has become an important medium for data exchange, and is frequently used as an interface to - i.e. a view of - a relational database. Although lots of work have been done on querying relational databases through XML views, the problem of updating relational databases through XML views has not received much attention. In this work, we give the rst steps towards solving this problem. Using query trees to capture the notions of selection, projection, nesting, grouping, and heterogeneous sets found throughout most XML query languages, we show how XML views expressed using query trees can be mapped to a set of corresponding relational views. Thus, we transform the problem of updating relational databases through XML views into a classical problem of updating relational databases through relational views. We then show how updates on the XML view are mapped to updates on the corresponding relational views. Existing work on updating relational views can then be leveraged to determine whether or not the relational views are updatable with respect to the relational updates, and if so, to translate the updates to the underlying relational database. Since query trees are a formal characterization of view de nition queries, they are not well suited for end-users. We then investigate how a subset of XQuery can be used as a top level language, and show how query trees can be used as an intermediate representation of view de nitions expressed in this subset.

Contractual solutions to the holdup problem: a survey

In this survey, we presented the general idea and main results from what we understand that are the most important contributions to contractual solutions to the holdup problem literature. The aim of this paper is to push the previous analysis, uniform the notation and provide a snapshot on the most recent literature, as well as bring topics for future inquires on this issue.

Influência da vermiculita expandida na resistência à compressão e reologia de pastas cimentantes de poços de petróleo

Several problems related to the loss of hydraulic seal in oilwells, causing gas migration and/or contamination of the production zone by water, have been reported. The loss of the hydraulic seal is a consequence of cracks which can be occasioned either by the invasion of gas during the wait on cement or by the expansion of the casing causing the fracture of the cement sheath. In case of the pressure of the formation is higher than the pressure in the annulus, gas can migrate into the slurry and form microannulus, which are channels where gas migrates after the cement is set. Cracks can be also occasioned by the fracture of the cement sheath when it does not withstand the thermal and dynamic loads. In reservoirs where the oil is heavy, steam water injection operation is required in order to get the oil flowing. This operation increases the temperature of the casing, and then it expands and causes the fracture of the cement sheath in the annulus. When the failures on the cement are detected, remedial cementing is required, which raise costs caused by the interventions. Once the use of cement in the construction civil sector is older than its use in the petroleum sector, it is common to bring technologies and solutions from the civil construction and apply them on the petroleum area. In this context, vermiculite, a mineral-clay widely encountered in Brazil, has been used, on its exfoliated form, in the civil construction, especially on the manufacture of lights and fireproof concretes with excellent thermal and acoustical properties. It has already been reported in scientific journals, studies of the addition of exfoliated vermiculite in Portland cements revealing good properties related to oilwell cementing operations. Thus, this study aimed to study the rheological behavior, thickening time, stability and compressive strength of the slurries made of Portland cement and exfoliated vermiculite in 5 different compositions, at room temperature and heated. The results showed that the compressive strength decreased with the addition of exfoliated vermiculite, however the values are still allowed for oiwell cementing operations. The thickening time of the slurry with no exfoliated vermiculite was 120 min and the thickening time of the slurry with 12 % of exfoliated vermiculite was 98 min. The stability and the rheological behavior of the slurries revealed that the exfoliated vermiculite absorbed water and therefore increased the viscosity of the slurries, even though increasing the factor cement-water. The stability experiment carried out at 133 ºF showed that, there was neither sedimentation nor reduction of the volume of the cement for the slurry with 12 % of exfoliated vermiculite. Thus, the addition of exfoliated vermiculite accelerates the set time of the cement and gives it a small shrinkage during the wait on cement, which are important to prevent gas migration

Rheological Properties of a Sodium Bentonite and Lactose Aqueous Dispersion

Aim of this paper is show the viscosity measure of a sodium bentonite-water-lactose mixture and your rheological behaviour. This analysis showed the formation of tridimensional structure type and formation of stratified silicate/lactose, this occurred due to different concentrations of organic products into mixture and due to a difference of rotation during viscosity measument. Formation of networks is a consequence of the attraction between the silicate layers in water-lactose mixture. In the present work aqueous solutions of lactose with concentration of 7%, 5%, 3%, 1% and 0% (wt %) were used.

Desenvolvimento de uma ferramenta computacional para aplicação em métodos de elevação por bombeio centrífugo submerso

The Electrical Submersible Pump (ESP) has been one of the most appropriate solutions for lifting method in onshore and offshore applications. The typical features for this application are adverse temperature, viscosity fluids and gas environments. The difficulties in equipments maintenance and setup contributing to increasing costs of oil production in deep water, therefore, the optimization through automation can be a excellent approach for decrease costs and failures in subsurface equipment. This work describe a computer simulation related with the artificial lifting method ESP. This tool support the dynamic behavior of ESP approach, considering the source and electric energy transmission model for the motor, the electric motor model (including the thermal calculation), flow tubbing simulation, centrifugal pump behavior simulation with liquid nature effects and reservoir requirements. In addition, there are tri-dimensional animation for each ESP subsytem (transformer, motor, pump, seal, gas separator, command unit). This computer simulation propose a improvement for monitoring oil wells for maximization of well production. Currenty, the proprietaries simulators are based on specific equipments manufactures. Therefore, it is not possible simulation equipments of another manufactures. In the propose approach there are support for diverse kinds of manufactures equipments

Aplicação de ultrassons no deslocamento de petróleo em meio poroso

The objective of this study was to evaluate the displacement of petroleum/diesel solutions, at different concentrations, observing the effect of ultrasonic vibrations in fluids present in porous media to obtain an increase in oil production. The bubbles produced by ultrasound implode asymmetrically in the rock, generating liquid jets with high speed, displacing the oil present in porous media. The oil/diesel solutions were prepared with concentrations ranging from 20 g/L to 720 g/L in oil in relation to diesel and its viscosities were obtained in a Brookfield Rheometer RS2000, with temperature ranging from 25 to 55 °C. After, calculations were performed to obtain the activation energy data for oil/diesel solutions. For oil recovery experiments, cylindrical samples of porous rock (core samples), with resin around the perimeter and its two circular bases free to allow the passage of fluids, were first saturated with 2% KCl solution and after with oil solutions. The results of oil extraction were satisfactory for all studied solutions, being obtained up to 68% partial displacement with saline solution injection. The ultrasound system was used after saline injection, increasing oil displacement, with oil extractions ranging from 63% to 79%. During the experiments, it was observed the warming of core samples, helping to reduce the viscosity of more concentrated systems, and consequently enhancing the percentage of advanced recovery for all studied solutions

Thermal and Rheological Properties of a Family of Botryosphaerans Produced by Botryosphaeria rhodina MAMB-05

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Migration of diethylhexyl phthalate from PVC bags into intravenous cyclosporine solutions

The migration of diethylhexyl phthalate (DEHP) from PVC bags into LVPS (0.9% NaCl) and LVPS with cyclosporine at concentrations of 2.5 and 0.5 mg/ml was studied. PVC bags were placed in contact with these solutions and stored at 25 1 degrees C. They were taken for analysis each 30 min during 6 h and after this period at each 1 h until 12 h of contact. Water was used as reference, and exposed and analyzed under the same conditions. After contact, the solutions were submitted to extraction with hexane and analyzed by GC-FID. The results showed that DEHP did not migrate into water and LVPS during all the time. Also, no measurable amount of DEHP was detected during the first 3 h of contact between the PVC bag and the diluted cyclosporine solution. However, the amount of released DEHP reached a detectable level after 4 It of contact, increased until 6 h, stabilized, and increased again after 9-10 h. The 12 h of contact showed the highest DEHP levels for both cyclosporine concentrations. The DEHP migrated was 0.02-0.08% of that present in the bag. (c) 2005 Elsevier B.V. All rights reserved.