Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

The impact of poor power quality in solar photovoltaic microgeneration: technical problems and losses of revenue

This paper presents a critical and quantitative analysis of the influence of the Power Quality in grid connected solar photovoltaic microgeneration installations. First are introduced the main regulations and legislation related with the solar photovoltaic microgeneration, in Portugal and Europe. Next are presented Power Quality monitoring results obtained from two residential solar photovoltaic installations located in the north of Portugal, and is explained how the Power Quality events affect the operation of these installations. Afterwards, it is described a methodology to estimate the energy production losses and the impact in the revenue caused by the abnormal operation of the electrical installation. This is done by comparing the amount of energy that was injected into the power grid with the theoretical value of energy that could be injected in normal conditions. The performed analysis shows that Power Quality severally affects the solar photovoltaic installations operation. The losses of revenue in the two monitored installations M1 and M2 are estimated in about 27% and 22%, respectively.

O currículo da formação em engenharia no âmbito do processo de bolonha: desenvolvimento de competências e perfil profissional na perspetiva dos docentes, dos estudantes e dos profissionais

Tese de Doutoramento em Ciências da Educação (área de especilização em Desenvolvimento Curricular).

Percutaneous mechanical mitral commissurotomy performed with a Cribier's metallic valvulotome. Initial results

OBJECTIVE: To evaluate the immediate results of percutaneous mechanical mitral commissurotomy. METHODS: Thirty patients underwent percutaneous mechanical mitral commissurotomy performed with a Cribier's metallic valvulotome from 8/11/99 to 2/4/00. Mean age was 30.7 years, and 73.3% were women. With regards to functional class, 63.3% were class III, and 36.7% were class IV. The echocardiographic score had a mean value of 7.5± 1.8. RESULTS: The mitral valve area increased from 0.97±0.15cm² to 2.16±0.50cm² (p>0.0001). The mean diastolic gradient decreased from 17.9±5.0mmHg to 3.2±1.4mmHg. The mean left atrial pressure decreased from 23.6±5.4mmHg to 8.6±3.1mmHg, (p>0.0001). Systolic pressure in the pulmonary artery decreased from 52.7±18.3mmHg to 32.2±7.4mmHg. Twenty-nine cases were successful. One patient developed severe mitral regurgitation. Interatrial septal defect was observed and one patient. One patient had cardiac tamponade due to left ventricular perforation. No deaths occurred. CONCLUSION: This method has proven to be safe and efficient in the treatment of rheumatic mitral stenosis. The potential advantage is that it can be used multiple times after sterilization, which decreases procedural costs significantly.

Population dynamics of 0-group flounder (Platichthys flesus L.) in Galway Bay, West of Ireland and the value of flounder from shore angling tourism in Ireland

The economic value of flounder from shore angling around Ireland was assessed. Flounder catches from shore angling tournaments around Ireland were related to domestic and overseas shore angling expenditure in order to determine an economic value for the species. Temporal trends in flounder angling catches, and specimen (trophy) flounder reports were also investigated. Flounder was found to be the most caught shore angling species in competitions around Ireland constituting roughly one third of the shore angling competition catch although this did vary by area. The total value of flounder from shore angling tourism was estimated to be of the order of €8.4 million. No significant temporal trends in flounder angling catches and specimen reports were found. Thus there is no evidence from the current study for any decline in flounder stocks. The population dynamics of 0-group flounder during the early benthic stage was investigated at estuarine sites in Galway Bay, west of Ireland. Information was analysed from the March to June sampling period over five years (2002 to 2006). Spatial and temporal variations in settlement and population length structure were analysed between beach and river habitats and sites. Settlement of flounder began from late March to early May of each year, most commonly in April. Peak settlement was usually in April or early May. Settlement was recorded earlier than elsewhere, although most commonly was similar to the southern part of the UK and northern France. Settlement was generally later in tidal rivers than on sandy beaches. Abundance of 0-group flounder in Galway Bay did not exhibit significant inter -annual variability. 0-group flounder were observed in dense aggregations of up to 105 m'2, which were patchy in distribution. Highest densities of 0-group flounder were recorded in limnetic and oligohaline areas as compared with the lower densities in polyhaline and to a lesser extent mesohaline areas. Measurements to of salinity allowed the classification of beaches, and tidal river sections near the mouth, into a salinity based scheme for length comparisons. Beaches were classified as polyhaline,the lower section of rivers as mesohaline, and the middle and upper sections as oligohaline. Over the March to June sampling period 0-group flounder utilised different sections at different length ranges and were significantly larger in more upstream sections. During initial settlement in April, 0-group flounder of 8-10 mm (standard length, SL) were present in abundance on polyhaline sandy beaches. By about 10mm (SL), flounder were present in all polyhaline, mesohaline and (oligohaline) sections. 0-group flounder became absent or in insignificant numbers in polyhaline and mesohaline sections in a matter of weeks after first appearance. From April to June, 0-group flounder of 12-30mm (SL) were found in more upstream locations in the oligohaline sections. About one month (May or June) after initial settlement, 0-group flounder became absent from the oligohaline sections. Concurrently, flounder start to reappear in mesohaline and polyhaline areas at approximately 30mm (SL) in June. The results indicate 0-group flounder in the early benthic stage are associated with low salinity areas, but as they grow, this association diminishes. Results strongly suggest that migration of 0-group flounder between habitats takes place during the early benthic phase.

An ordinal shapley value for economic environments

We propose a new solution concept to address the problem of sharing a surplus among the agents generating it. The sharing problem is formulated in the preferences-endowments space. The solution is defined in a recursive manner incorporating notions of consistency and fairness and relying on properties satisfied by the Shapley value for Transferable Utility (TU) games. We show a solution exists, and refer to it as an Ordinal Shapley value (OSV). The OSV associates with each problem an allocation as well as a matrix of concessions ``measuring'' the gains each agent foregoes in favor of the other agents. We analyze the structure of the concessions, and show they are unique and symmetric. Next we characterize the OSV using the notion of coalitional dividends, and furthermore show it is monotone in an agent's initial endowments and satisfies anonymity. Finally, similarly to the weighted Shapley value for TU games, we construct a weighted OSV as well.

Variational inequalities in Hilbert spaces with measures and optimal stopping problems

We study the existence theory for parabolic variational inequalities in weighted L2 spaces with respect to excessive measures associated with a transition semigroup. We characterize the value function of optimal stopping problems for finite and infinite dimensional diffusions as a generalized solution of such a variational inequality. The weighted L2 setting allows us to cover some singular cases, such as optimal stopping for stochastic equations with degenerate diffusion coeficient. As an application of the theory, we consider the pricing of American-style contingent claims. Among others, we treat the cases of assets with stochastic volatility and with path-dependent payoffs.

Why is it so Hard to Value Intangibles? Evidence from Investments in High-Technology Start-Ups

The paper uses a range of primary-source empirical evidence to address the question: ‘why is it to hard to value intangible assets?’ The setting is venture capital investment in high technology companies. While the investors are risk specialists and financial experts, the entrepreneurs are more knowledgeable about product innovation. Thus the context lends itself to analysis within a principal-agent framework, in which information asymmetry may give rise to adverse selection, pre-contract, and moral hazard, post-contract. We examine how the investor might attenuate such problems and attach a value to such high-tech investments in what are often merely intangible assets, through expert due diligence, monitoring and control. Qualitative evidence is used to qualify the more clear cut picture provided by a principal-agent approach to a more mixed picture in which the ‘art and science’ of investment appraisal are utilised by both parties alike

Reasons why emergency department providers do not rely on the pneumonia severity index to determine the initial site of treatment for patients with pneumonia.

BACKGROUND: Many emergency department (ED) providers do not follow guideline recommendations for the use of the pneumonia severity index (PSI) to determine the initial site of treatment for patients with community-acquired pneumonia (CAP). We identified the reasons why ED providers hospitalize low-risk patients or manage higher-risk patients as outpatients. METHODS: As a part of a trial to implement a PSI-based guideline for the initial site of treatment of patients with CAP, we analyzed data for patients managed at 12 EDs allocated to a high-intensity guideline implementation strategy study arm. The guideline recommended outpatient care for low-risk patients (nonhypoxemic patients with a PSI risk classification of I, II, or III) and hospitalization for higher-risk patients (hypoxemic patients or patients with a PSI risk classification of IV or V). We asked providers who made guideline-discordant decisions on site of treatment to detail the reasons for nonadherence to guideline recommendations. RESULTS: There were 1,306 patients with CAP (689 low-risk patients and 617 higher-risk patients). Among these patients, physicians admitted 258 (37.4%) of 689 low-risk patients and treated 20 (3.2%) of 617 higher-risk patients as outpatients. The most commonly reported reasons for admitting low-risk patients were the presence of a comorbid illness (178 [71.5%] of 249 patients); a laboratory value, vital sign, or symptom that precluded ED discharge (73 patients [29.3%]); or a recommendation from a primary care or a consulting physician (48 patients [19.3%]). Higher-risk patients were most often treated as outpatients because of a recommendation by a primary care or consulting physician (6 [40.0%] of 15 patients). CONCLUSION: ED providers hospitalize many low-risk patients with CAP, most frequently for a comorbid illness. Although higher-risk patients are infrequently treated as outpatients, this decision is often based on the request of an involved physician.

Positive solutions of nonlinear problems involving the square root of the Laplacian

We consider nonlinear elliptic problems involving a nonlocal operator: the square root of the Laplacian in a bounded domain with zero Dirichlet boundary conditions. For positive solutions to problems with power nonlinearities, we establish existence and regularity results, as well as a priori estimates of Gidas-Spruck type. In addition, among other results, we prove a symmetry theorem of Gidas-Ni-Nirenberg type.

Near-linear dynamics in KdV with periodic boundary conditions

Near linear evolution in Korteweg de Vries (KdV) equation with periodic boundary conditions is established under the assumption of high frequency initial data. This result is obtained by the method of normal form reduction.

Optimal exponent heat balance and refined integral methods applied to Stefan problems

When using a polynomial approximating function the most contentious aspect of the Heat Balance Integral Method is the choice of power of the highest order term. In this paper we employ a method recently developed for thermal problems, where the exponent is determined during the solution process, to analyse Stefan problems. This is achieved by minimising an error function. The solution requires no knowledge of an exact solution and generally produces significantly better results than all previous HBI models. The method is illustrated by first applying it to standard thermal problems. A Stefan problem with an analytical solution is then discussed and results compared to the approximate solution. An ablation problem is also analysed and results compared against a numerical solution. In both examples the agreement is excellent. A Stefan problem where the boundary temperature increases exponentially is analysed. This highlights the difficulties that can be encountered with a time dependent boundary condition. Finally, melting with a time-dependent flux is briefly analysed without applying analytical or numerical results to assess the accuracy.

Application of standard and refined heat balance integral methods to one-dimensional Stefan problems

The work in this paper concerns the study of conventional and refined heat balance integral methods for a number of phase change problems. These include standard test problems, both with one and two phase changes, which have exact solutions to enable us to test the accuracy of the approximate solutions. We also consider situations where no analytical solution is available and compare these to numerical solutions. It is popular to use a quadratic profile as an approximation of the temperature, but we show that a cubic profile, seldom considered in the literature, is far more accurate in most circumstances. In addition, the refined integral method can give greater improvement still and we develop a variation on this method which turns out to be optimal in some cases. We assess which integral method is better for various problems, showing that it is largely dependent on the specified boundary conditions.

Error estimate and control in the MSFV method for multiphase flow in porous media

n this paper the iterative MSFV method is extended to include the sequential implicit simulation of time dependent problems involving the solution of a system of pressure-saturation equations. To control numerical errors in simulation results, an error estimate, based on the residual of the MSFV approximate pressure field, is introduced. In the initial time steps in simulation iterations are employed until a specified accuracy in pressure is achieved. This initial solution is then used to improve the localization assumption at later time steps. Additional iterations in pressure solution are employed only when the pressure residual becomes larger than a specified threshold value. Efficiency of the strategy and the error control criteria are numerically investigated. This paper also shows that it is possible to derive an a-priori estimate and control based on the allowed pressure-equation residual to guarantee the desired accuracy in saturation calculation.