959 resultados para programação linear multiobjetivo 0-1
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Engenharia Elétrica - FEB
Resumo:
In achieving higher instruction level parallelism, software pipelining increases the register pressure in the loop. The usefulness of the generated schedule may be restricted to cases where the register pressure is less than the available number of registers. Spill instructions need to be introduced otherwise. But scheduling these spill instructions in the compact schedule is a difficult task. Several heuristics have been proposed to schedule spill code. These heuristics may generate more spill code than necessary, and scheduling them may necessitate increasing the initiation interval. We model the problem of register allocation with spill code generation and scheduling in software pipelined loops as a 0-1 integer linear program. The formulation minimizes the increase in initiation interval (II) by optimally placing spill code and simultaneously minimizes the amount of spill code produced. To the best of our knowledge, this is the first integrated formulation for register allocation, optimal spill code generation and scheduling for software pipelined loops. The proposed formulation performs better than the existing heuristics by preventing an increase in II in 11.11% of the loops and generating 18.48% less spill code on average among the loops extracted from Perfect Club and SPEC benchmarks with a moderate increase in compilation time.
Resumo:
We consider a finite state automata based method of solving a system of linear Diophantine equations with coefficients from the set {-1,0,1} and solutions in {0,1}.
Resumo:
In this work we extend to the multistage case two recent risk averse measures for two-stage stochastic programs based on first- and second-order stochastic dominance constraints induced by mixed-integer linear recourse. Additionally, we consider Time Stochastic Dominance (TSD) along a given horizon. Given the dimensions of medium-sized problems augmented by the new variables and constraints required by those risk measures, it is unrealistic to solve the problem up to optimality by plain use of MIP solvers in a reasonable computing time, at least. Instead of it, decomposition algorithms of some type should be used. We present an extension of our Branch-and-Fix Coordination algorithm, so named BFC-TSD, where a special treatment is given to cross scenario group constraints that link variables from different scenario groups. A broad computational experience is presented by comparing the risk neutral approach and the tested risk averse strategies. The performance of the new version of the BFC algorithm versus the plain use of a state-of-the-artMIP solver is also reported.
Resumo:
Possible conformers for AunPdm (n = 1-4, m = -1, 0, 1) clusters have been presented and studied by use of density functional theory. The results indicate that for n = 2, linear conformer with C-infinityv symmetry is the most stable for anion species, while for cation and neutral species, conformer with C-2v symmetry is the most stable. For n = 3, 4, conformers with C-2v symmetry (kite-shape) are energetically favored. The calculated electron affinities (EAs) and vertical detachment energies (VDEs) are in good agreement with experiments for n = 1-4. It is also interesting to note that for even n (n = 2, 4), the most stable conformers do not give the best agreement between calculated and experimental EA and VDE values, while for odd n (n = 3), the lowest energy conformer also gives the best agreement. The ionization potentials (IPs) of AunPd clusters are calculated as well.
Resumo:
LaC3n+ (n = 0, 1, 2) clusters have been studied using B3LYP (Becke 3-parameter-Lee-Yang-Parr) density functional method. The basis set is Dunning/ Huzinaga valence double zeta for carbon and [2s2p2d] for lanthanum, denoted LANL1DZ. Four isomers are presented for each cluster; two of them are edge binding isomers with C-2 upsilon symmetry, the other two are Linear chains with C-infinity upsilon symmetry. Meanwhile, two spin states for each isomer, that is, singlet and triplet for LaC3+, doublet and quartet for LaC3 and LaC32+, respectively, are also considered. Geometries, vibrational frequencies, infrared intensities, and other quantities are reported and discussed. The results indicate that at some spin states; the C-2 upsilon symmetry isomers are the dominant structures, while for the other spin states, linear isomers are energetically favored. (C) 1998 John Wiley & Sons, Inc.
Resumo:
The reactivity of the Ru(0 0 0 1) electrode towards the adsorption and electrooxidation of CO and methanol has been studied by variable-temperature in situ FTIR spectroscopy in both perchloric acid and sodium hydroxide solution, and the results interpreted in terms of the surface chemistry of the Ru(0 0 0 1) electrode. Both linear (CO) and threefold hollow (CO) binding CO adsorbates (bands at 1970-2040 and 1770-1820 cm, respectively) were observed on the Ru(0 0 0 1) electrode in both 0.1 M HClO and 0.1 M NaOH solutions from the CO adsorption. In the acid solution, CO was detected as the main adsorbed species on Ru(0 0 0 1) surface over all the potential region studied. In contrast, in the alkaline solution, more CO than CO was detected at lower potentials, whilst increasing the potential resulted in the transformation of CO to CO. At higher potentials, the oxidation of the adsorbed CO took place via reaction with the active (1 × 1)-O oxide/hydroxide. It was found that no dissociative adsorption or electrooxidation of methanol took place at the Ru(0 0 0 1) at potentials below 900 mV vs Ag/AgCl in perchloric acid solution at both 20 and 55°C. However, in the alkaline solution, methanol did undergo dissociative adsorption, to form linearly adsorbed CO (CO) with little or no CO adsorbed at threefold hollow sites (CO) at both 20 and 55°C. Increasing the temperature from 20 to 55°C clearly facilitated the methanol dissociative adsorption to CO and also enhanced the electrooxidation of the CO. At the higher potentials, significant oxidation of methanol to CO and methyl formate in acid solution and to bicarbonate and formate in alkaline solution, was observed, which was attributed to the formation of an active RuO phase on the Ru(0 0 0 1) surface, in agreement with our previous studies. © 2003 Elsevier Ltd. All right reserved.
Resumo:
Relatório da Prática de Ensino Supervisionada, Mestrado em Ensino da Matemática, Universidade de Lisboa, 2015
Resumo:
Em Angola, apenas cerca de 30% da população tem acesso à energia elétrica, nível que decresce para valores inferiores a 10% em zonas rurais mais remotas. Este problema é agravado pelo facto de, na maioria dos casos, as infraestruturas existentes se encontrarem danificadas ou não acompanharem o desenvolvimento da região. Em particular na capital angolana, Luanda que, sendo a menor província de Angola, é a que regista atualmente a maior densidade populacional. Com uma população de cerca de 5 milhões de habitantes, não só há frequentemente problemas relacionados com a falha do fornecimento de energia elétrica como há ainda uma percentagem considerável de municípios onde a rede elétrica ainda nem sequer chegou. O governo de Angola, no seu esforço de crescimento e aproveitamento das suas enormes potencialidades, definiu o setor energético como um dos fatores críticos para o desenvolvimento sustentável do país, tendo assumido que este é um dos eixos prioritários até 2016. Existem objetivos claros quanto à reabilitação e expansão das infraestruturas do setor elétrico, aumentando a capacidade instalada do país e criando uma rede nacional adequada, com o intuito não só de melhorar a qualidade e fiabilidade da rede já existente como de a aumentar. Este trabalho de dissertação consistiu no levantamento de dados reais relativamente à rede de distribuição de energia elétrica de Luanda, na análise e planeamento do que é mais premente fazer relativamente à sua expansão, na escolha dos locais onde é viável localizar novas subestações, na modelação adequada do problema real e na proposta de uma solução ótima para a expansão da rede existente. Depois de analisados diferentes modelos matemáticos aplicados ao problema de expansão de redes de distribuição de energia elétrica encontrados na literatura, optou-se por um modelo de programação linear inteira mista (PLIM) que se mostrou adequado. Desenvolvido o modelo do problema, o mesmo foi resolvido por recurso a software de otimização Analytic Solver e CPLEX. Como forma de validação dos resultados obtidos, foi implementada a solução de rede no simulador PowerWorld 8.0 OPF, software este que permite a simulação da operação do sistema de trânsito de potências.
Resumo:
The role of structure and molecular weight in fermentation selectivity in linear α-1,6 dextrans and dextrans with α-1,2 branching was investigated. Fermentation by gut bacteria was determined in anaerobic, pH-controlled fecal batch cultures after 36 h. Inulin (1%, wt/vol), which is a known prebiotic, was used as a control. Samples were obtained at 0, 10, 24, and 36 h of fermentation for bacterial enumeration by fluorescent in situ hybridization and short-chain fatty acid analyses. The gas production of the substrate fermentation was investigated in non-pH-controlled, fecal batch culture tubes after 36 h. Linear and branched 1-kDa dextrans produced significant increases in Bifidobacterium populations. The degree of α-1,2 branching did not influence the Bifidobacterium populations; however, α-1,2 branching increased the dietary fiber content, implying a decrease in digestibility. Other measured bacteria were unaffected by the test substrates except for the Bacteroides-Prevotella group, the growth levels of which were increased on inulin and 6- and 70-kDa dextrans, and the Faecalibacterium prausnitzii group, the growth levels of which were decreased on inulin and 1-kDa dextrans. A considerable increase in short-chain fatty acid concentration was measured following the fermentation of all dextrans and inulin. Gas production rates were similar among all dextrans tested but were significantly slower than that for inulin. The linear 1-kDa dextran produced lower total gas and shorter time to attain maximal gas production compared to those of the 70-kDa dextran (branched) and inulin. These findings indicate that dextrans induce a selective effect on the gut flora, short-chain fatty acids, and gas production depending on their length.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Agronomia (Irrigação e Drenagem) - FCA