970 resultados para Exact constraint


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bajo los auspicios reformadores del Marqués de Pombal, los nuevos estatutos de la Universidad de Coimbra, ratificados por el rey José I en junio de 1772, representaron una importante revisión de los principales estudios en Portugal. Hacia un largo tiempo que los Estatutos de la Universidad de Coimbra no fueron revisados, y la revisión de los Estatutos de 1559 (rey Sebastián), 1591 (el rey Felipe I de Portugal, II de Castilla) y 1653 (rey João IV), se observa que, en comparación con más de dos siglos de vigencia del mismo modelo con modificaciones más o menos limitados, los Estatutos de 1772 traen un nuevo pensamiento y un nuevo impulso mediante la promoción, en particular, de la educación y el desarrollo de las Ciencias exactas y naturales y la valoración del método experimental. Al mismo tiempo, en España, el rey Carlos III, renuncia a imponer un único modelo de estudios de todas las universidades. En ambos casos, el portugués y el español, la urgencia de las reformas es mas aguda pues que los jesuitas fueron expulsados de los territorios en 1759 y 1767, respectivamente; y tanto precursores como mentores quieren estas reformas para abrir las universidades a la ciencia moderna y el humanismo de la Ilustración. La renovación de los contenidos y métodos de enseñanza en Coimbra fue notoria, con la preocupación notable con la investigación, lo que no era muy común en la época. Había también una preocupación con las necesidades de la sociedad en una forma muy práctica (habiendo sido en la época construido el Observatorio Astronómico, el Laboratorio de Física, etc.). Al mismo tempo, la universidad de Coimbra tuvo como profesores dos matemáticos notables, José Anastácio da Cunha y José Monteiro da Rocha. En España también fueron importantes los ensayos de renovación de los métodos, de apertura a la ciencia de la época, de conexión con las realidades de la sociedad española, de coordinación de esfuerzos para conformar una «comunidad universitaria española». En esta comunicación se hace una discusión de comparación entre las dos reformas ibéricas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Project Management involves onetime endeavors that demand for getting it right the first time. On the other hand, project scheduling, being one of the most modeled project management process stages, still faces a wide gap from theory to practice. Demanding computational models and their consequent call for simplification, divert the implementation of such models in project management tools from the actual day to day project management process. Special focus is being made to the robustness of the generated project schedules facing the omnipresence of uncertainty. An "easy" way out is to add, more or less cleverly calculated, time buffers that always result in project duration increase and correspondingly, in cost. A better approach to deal with uncertainty seems to be to explore slack that might be present in a given project schedule, a fortiori when a non-optimal schedule is used. The combination of such approach to recent advances in modeling resource allocation and scheduling techniques to cope with the increasing flexibility in resources, as can be expressed in "Flexible Resource Constraint Project Scheduling Problem" (FRCPSP) formulations, should be a promising line of research to generate more adequate project management tools. In reality, this approach has been frequently used, by project managers in an ad-hoc way.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The artificial fish swarm algorithm has recently been emerged in continuous global optimization. It uses points of a population in space to identify the position of fish in the school. Many real-world optimization problems are described by 0-1 multidimensional knapsack problems that are NP-hard. In the last decades several exact as well as heuristic methods have been proposed for solving these problems. In this paper, a new simpli ed binary version of the artificial fish swarm algorithm is presented, where a point/ fish is represented by a binary string of 0/1 bits. Trial points are created by using crossover and mutation in the different fi sh behavior that are randomly selected by using two user de ned probability values. In order to make the points feasible the presented algorithm uses a random heuristic drop item procedure followed by an add item procedure aiming to increase the profit throughout the adding of more items in the knapsack. A cyclic reinitialization of 50% of the population, and a simple local search that allows the progress of a small percentage of points towards optimality and after that refines the best point in the population greatly improve the quality of the solutions. The presented method is tested on a set of benchmark instances and a comparison with other methods available in literature is shown. The comparison shows that the proposed method can be an alternative method for solving these problems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We survey results about exact cylindrically symmetric models of gravitational collapse in General Relativity. We focus on models which result from the matching of two spacetimes having collapsing interiors which develop trapped surfaces and vacuum exteriors containing gravitational waves. We collect some theorems from the literature which help to decide a priori about eventual spacetime matchings. We revise, in more detail, some toy models which include some of the main mathematical and physical issues that arise in this context, and compute the gravitational energy flux through the matching boundary of a particular collapsing region. Along the way, we point out several interesting open problems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We study the longitudinal and transverse spin dynamical structure factors of the spin-1/2 XXX chain at finite magnetic field h, focusing in particular on the singularities at excitation energies in the vicinity of the lower thresholds. While the static properties of the model can be studied within a Fermi-liquid like description in terms of pseudoparticles, our derivation of the dynamical properties relies on the introduction of a form of the ‘pseudofermion dynamical theory’ (PDT) of the 1D Hubbard model suitably modified for the spin-only XXX chain and other models with two pseudoparticle Fermi points. Specifically, we derive the exact momentum and spin-density dependences of the exponents ζτ(k) controlling the singularities for both the longitudinal  and transverse (τ = t) dynamical structure factors for the whole momentum range  , in the thermodynamic limit. This requires the numerical solution of the integral equations that define the phase shifts in these exponents expressions. We discuss the relation to neutron scattering and suggest new experiments on spin-chain compounds using a carefully oriented crystal to test our predictions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Whether at the zero spin density m = 0 and finite temperatures T > 0 the spin stiffness of the spin-1/2 XXX chain is finite or vanishes remains an unsolved and controversial issue, as different approaches yield contradictory results. Here we explicitly compute the stiffness at m = 0 and find strong evidence that it vanishes. In particular, we derive an upper bound on the stiffness within a canonical ensemble at any fixed value of spin density m that is proportional to m2L in the thermodynamic limit of chain length L → ∞, for any finite, nonzero temperature, which implies the absence of ballistic transport for T > 0 for m = 0. Although our method relies in part on the thermodynamic Bethe ansatz (TBA), it does not evaluate the stiffness through the second derivative of the TBA energy eigenvalues relative to a uniform vector potential. Moreover, we provide strong evidence that in the thermodynamic limit the upper bounds on the spin current and stiffness used in our derivation remain valid under string deviations. Our results also provide strong evidence that in the thermodynamic limit the TBA method used by X. Zotos [Phys. Rev. Lett. 82, 1764 (1999)] leads to the exact stiffness values at finite temperature T > 0 for models whose stiffness is finite at T = 0, similar to the spin stiffness of the spin-1/2 Heisenberg chain but unlike the charge stiffness of the half-filled 1D Hubbard model.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Biomédica

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Programa Doutoral em Líderes para as Indústrias Tecnológicas

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tese de Doutoramento em Estudos da Criança (Especialidade em Educação Musical)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Programa Doutoral em Biologia Molecular e Ambiental

Relevância:

10.00% 10.00%

Publicador:

Resumo:

PhD thesis in Biomedical Engineering

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

ABSTRACT Objective The use of benzodiazepines (BZD) and associated factors in the elderly of Dourados, MS, Brazil was investigated. Methods This is a cross-sectional population-based study using a multistage sampling design. Participants were 1,022 individuals aged ≥ 60 years. Measurements socioeconomic status, schooling, demographic aspects, marital status, physical activity, hospitalizations, self-rated health, use of alcohol beverages and smoking were assessed by standard questionnaire. The drugs used were obtained by checking the prescription or package and classified according to the Anatomical Therapeutic Chemical Index. Chi-square test, Chi-square for linear tendency, Fisher's exact test and Poisson regression were used to assess association between variables. Results The prevalence of use of BZD was 6.5% (CI95%: 5.1-8.2%). The oldest group (PR: 1.60 for 70-79 years and PR: 1.79 for ≥ 80 years), non-use of alcohol (PR: 4.14) and use of antidepressants (PR: 8.73) were the statistically associated characteristics. Conclusions The prevalence of use of BZD in the study population was low, similar to findings of more recent Brazilian studies and lower than those obtained in international studies. The prevalence of use of BZD increased with aging and use of antidepressants.