859 resultados para proof search


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Large scale combinatorial problems such as the network expansion problem present an amazingly high number of alternative configurations with practically the same investment, but with substantially different structures (configurations obtained with different sets of circuit/transformer additions). The proposed parallel tabu search algorithm has shown to be effective in exploring this type of optimization landscape. The algorithm is a third generation tabu search procedure with several advanced features. This is the most comprehensive combinatorial optimization technique available for treating difficult problems such as the transmission expansion planning. The method includes features of a variety of other approaches such as heuristic search, simulated annealing and genetic algorithms. In all test cases studied there are new generation, load sites which can be connected to an existing main network: such connections may require more than one line, transformer addition, which makes the problem harder in the sense that more combinations have to be considered.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An earlier model underlying the foraging strategy of a pachycodyla apicalis ant is modified. The proposed algorithm incorporates key features of the tabu-search method in the development of a relatively simple but robust global ant colony optimization algorithm. Numerical results are reported to validate and demonstrate the feasibility and effectiveness of the proposed algorithm in solving electromagnetic (EM) design problems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bioactivity-guided fractionation of several bioactive extracts obtained from Cerrado and Atlantic Forest plant species led to the isolation of potent DNA-damaging piperidine 1-5 and guanidine alkaloids 6-9 from Cassia leptophylla and Pterogyne nitens respectively, two common Leguminosae from Atlantic Forest. By means of biotechnological approach on Maytenus aquifolium, a species from Cerrado, moderate DNA-damaging sesquiterpene pyridine alkaloid 10-11 was isolated. Bioassay-guided fractionation on Casearia sylvestris, a medicinal plant species found in Cerrado and Atlantic Forest, led to the isolation of clerodane diterpenes 12-13 which showed effect on DNA. In addition, we have reported several interesting potent antifungal iridoids: 1β-hydroxy-dihydrocornin (14), 1α-hydroxy-dihydrocornin (15), α-gardiol (16), β-gardiol (17), plumericin (18), isoplumericin (19), 11-O-trans-caffeoylteucrein (20); ester derivative: 2-methyl-4-hydroxy-butyl-caffeoate (21), amide N-[7-(3'.4'-methylenedioxyphenyl)-2Z, 4Z-heptadienoyl] pyrrolidine (22) and triterpene viburgenin (23).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We discuss the possible influence of gravity in the neutronization process p+e-→νe, which is particularly important as a cooling mechanism of neutron stars. Our approach is semiclassical in the sense that leptonic fields are quantized on a classical background spacetime, while neutrons and protons are treated as excited and unexcited nucleon states, respectively. We expect gravity to have some influence wherever the energy content carried by the in state is barely above the neutron mass. In this case the emitted neutrinos would be soft enough to have a wavelength of the same order as the space curvature radius. ©2000 The American Physical Society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We show that the accumulated CERN LEP-II data taken at √s = 130-206 GeV can establish more restrictive bounds on doubly charged bilepton couplings and masses than any other experiment so far. We also analyze the discovery potential of a prospective linear collider operating in both e+e- and e γ modes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Phasor Measurement Units (PMUs) optimized allocation allows control, monitoring and accurate operation of electric power distribution systems, improving reliability and service quality. Good quality and considerable results are obtained for transmission systems using fault location techniques based on voltage measurements. Based on these techniques and performing PMUs optimized allocation it is possible to develop an electric power distribution system fault locator, which provides accurate results. The PMUs allocation problem presents combinatorial features related to devices number that can be allocated, and also probably places for allocation. Tabu search algorithm is the proposed technique to carry out PMUs allocation. This technique applied in a 141 buses real-life distribution urban feeder improved significantly the fault location results. © 2004 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present the results of a search for the flavor-changing neutral current decay Bs 0 → μ+ μ-. using a data set with integrated luminosity of 240 pb-1 of pp̄ collisions at √s = 1.96 TeV collected with the D0 detector in run II of the Fermilab Tevatron collider. We find the upper limit on the branching fraction to be B(Bs 0 → μ+ π-) ≤ 5.0 × 10-7 at the 95% C.L. assuming no contributions from the decay Bd 0 → μ+ μ- in the signal region. This limit is the most stringent upper bound on the branching fraction Bs 0 → μ+ μ- to date. © 2005 The American Physical Society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The results of a search for squarks and gluinos using data from p over(p, ̄) collisions recorded at a center-of-mass energy of 1.96 TeV by the DØ detector at the Fermilab Tevatron Collider are reported. The topologies analyzed consist of acoplanar-jet and multijet events with large missing transverse energy. No evidence for the production of squarks or gluinos was found in a data sample of 310 pb-1. Lower limits of 325 and 241 GeV were derived at the 95% C.L. on the squark and gluino masses, respectively, within the framework of minimal supergravity with tan β = 3, A0 = 0, and μ < 0. © 2006 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a search for associated Higgs boson production in the process pp̄→WH→WWW*→l±νl′±ν′ +X in final states containing two like-sign isolated electrons or muons (e±e±, e±μ±, or μ±μ±). The search is based on D0 run II data samples corresponding to integrated luminosities of 360-380pb-1. No excess is observed over the predicted standard model background. We set 95% C.L. upper limits on σ(pp̄→WH) ×Br(H→WW*) between 3.2 and 2.8 pb for Higgs boson masses from 115 to 175 GeV. © 2006 The American Physical Society.