944 resultados para mixed verification methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The behavior of two cationic copper complexes of acetylacetonate and 2,2'-bipyridine or 1,10-phenanthroline, [Cu(acac)(bipy)]Cl (1) and [Cu(acac)(phen)]Cl (2), in organic solvents and ionic liquids, was studied by spectroscopic and electrochemical techniques. Both complexes showed solvatochromism in ionic liquids although no correlation with solvent parameters could be obtained. By EPR spectroscopy rhombic spectra with well-resolved superhyperfine structure were obtained in most ionic liquids. The spin Hamiltonian parameters suggest a square pyramidal geometry with coordination of the ionic liquid anion. The redox properties of the complexes were investigated by cyclic voltammetry at a Pt electrode (d = 1 mm) in bmimBF(4) and bmimNTf(2) ionic liquids. Both complexes 1 and 2 are electrochemically reduced in these ionic media at more negative potentials than when using organic solvents. This is in agreement with the EPR characterization, which shows lower A(z) and higher g(z) values for the complexes dissolved in ionic liquids, than in organic solvents, due to higher electron density at the copper center. The anion basicity order obtained by EPR is NTf2-, N(CN)(2)(-), MeSO4- and Me2PO4-, which agrees with previous determinations. (C) 2013 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution to shorten the time-to-market justifies the industry investment in this area, where a number of competing or complementary proposals are available or under development, e.g. NEXUS, CJTAG, IJTAG. The controllability and observability features provided by OCD infrastructures provide a valuable toolbox that can be used well beyond the debugging arena, improving the return on investment rate by diluting its cost across a wider spectrum of application areas. This paper discusses the use of OCD features for validating fault tolerant architectures, and in particular the efficiency of various fault injection methods provided by enhanced OCD infrastructures. The reference data for our comparative study was captured on a workbench comprising the 32-bit Freescale MPC-565 microprocessor, an iSYSTEM IC3000 debugger (iTracePro version) and the Winidea 2005 debugging package. All enhanced OCD infrastructures were implemented in VHDL and the results were obtained by simulation within the same fault injection environment. The focus of this paper is on the comparative analysis of the experimental results obtained for various OCD configurations and debugging scenarios.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT OBJECTIVE To describe methods and challenges faced in the health impact assessment of vaccination programs, focusing on the pneumococcal conjugate and rotavirus vaccines in Latin America and the Caribbean. METHODS For this narrative review, we searched for the terms "rotavirus", "pneumococcal", "conjugate vaccine", "vaccination", "program", and "impact" in the databases Medline and LILACS. The search was extended to the grey literature in Google Scholar. No limits were defined for publication year. Original articles on the health impact assessment of pneumococcal and rotavirus vaccination programs in Latin America and the Caribbean in English, Spanish or Portuguese were included. RESULTS We identified 207 articles. After removing duplicates and assessing eligibility, we reviewed 33 studies, 25 focusing on rotavirus and eight on pneumococcal vaccination programs. The most frequent studies were ecological, with time series analysis or comparing pre- and post-vaccination periods. The main data sources were: health information systems; population-, sentinel- or laboratory-based surveillance systems; statistics reports; and medical records from one or few health care services. Few studies used primary data. Hospitalization and death were the main outcomes assessed. CONCLUSIONS Over the last years, a significant number of health impact assessments of pneumococcal and rotavirus vaccination programs have been conducted in Latin America and the Caribbean. These studies were carried out few years after the programs were implemented, meet the basic methodological requirements and suggest positive health impact. Future assessments should consider methodological issues and challenges arisen in these first studies conducted in the region.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A good verification strategy should bring near the simulation and real functioning environments. In this paper we describe a system-level co-verification strategy that uses a common flow for functional simulation, timing simulation and functional debug. This last step requires using a BST infrastructure, now widely available on commercial devices, specially on FPGAs with medium/large pin-counts.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this paper is to study the effects of environmental and trade policies in an international mixed duopoly serving two markets. We suppose that the firm in the home country is a welfare-maximizing public firm, while the firm in the foreign country is its own profit-maximizing private firm. We find that the environmental tax can be a strategic instrument for the home government to distribute production from the foreign private firm to the home public firm. An additional effect of the home environmental tax is the reduction of the foreign private firm's output for local consumption, thereby expanding the foreign market for the home public firm.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mestrado em Engenharia Electrotécnica – Sistemas Eléctricos de Energia

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

IIF in the detection of invasive and classic enteropathogenic E. coli and Shigella serotypes was compared with traditional coproculture methods. IIP results agreed with the coproculture findings in 128 out of 140 cases tested for enteropathogenic E. coli (91%) and in 108 out of 112 for Shigella (96%). All cases with positive reactions by coproculture were confirmed by IIP. In the control group it were obtained by IIF 12 cases with positive reactions for enteropathogenic E. coli and 4 cases for Shigella, including two cases of mixed infection by E. coli 026/Sh. dysenteriae and E. coli 0124/Sh. dysenteriae. It was discussed the high sensitivity and specificity of the IIF when compared with the traditional methods, being suggested that IIF is a valuable tool in epidemiological studies involving these organisms and an important aid in the stablishment of an early presumptive diagnosis of the acute infantile diarrhea.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We investigate the thermodynamics and percolation regimes of model binary mixtures of patchy colloidal particles. The particles of each species have three sites of two types, one of which promotes bonding of particles of the same species while the other promotes bonding of different species. We find up to four percolated structures at low temperatures and densities: two gels where only one species percolates, a mixed gel where particles of both species percolate but neither species percolates separately, and a bicontinuous gel where particles of both species percolate separately forming two interconnected networks. The competition between the entropy and the energy of bonding drives the stability of the different percolating structures. Appropriate mixtures exhibit one or more connectivity transitions between the mixed and bicontinuous gels, as the temperature and/or the composition changes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A alta e crescente participação da energia eólica na matriz da produção traz grandes desafios aos operadores do sistema na gestão da rede e planeamento da produção. A incerteza associada à produção eólica condiciona os processos de escalonamento e despacho económico dos geradores térmicos, uma vez que a produção eólica efetiva pode ser muito diferente da produção prevista. O presente trabalho propõe duas metodologias de otimização do escalonamento de geradores térmicos baseadas em Programação Inteira Mista. Pretende-se encontrar soluções de escalonamento que minimizem as influências negativas da integração de energia eólica no sistema elétrico. Inicialmente o problema de escalonamento de geradores é formulado sem considerar a integração da energia eólica. Posteriormente foi considerada a penetração da energia eólica no sistema elétrico. No primeiro modelo proposto, o problema é formulado como um problema de otimização estocástico. Nesta formulação todos os cenários de produção eólica são levados em consideração no processo de otimização. No segundo modelo, o problema é formulado como um problema de otimização determinística. Nesta formulação, o escalonamento é feito para cada cenário de produção eólica e no fim determina-se a melhor solução por meio de indicadores de avaliação. Foram feitas simulações para diferentes níveis de reserva girante e os resultados obtidos mostraram que a alta participação da energia eólica na matriz da produção põe em causa a segurança e garantia de produção devido às características volátil e intermitente da produção eólica e para manter os mesmos níveis de segurança é preciso dispor no sistema de capacidade reserva girante suficiente capaz de compensar os erros de previsão.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we consider a mixed market with uncertain demand, involving one private firm and one public firm with quadratic costs. The model is a two-stage game in which players choose to make their output decisions either in stage 1 or stage 2. We assume that the demand is unknown until the end of the first stage. We compute the output levels at equilibrium in each possible role. We also determine ex-ante and ex-post firms’ payoff functions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we study the order of moves in a mixed international duopoly for differentiated goods, where firms choose whether to set prices sequentially or simultaneously. We discuss the desirable role of the public firm by comparing welfare among three games. We find that, in the three possible roles, the domestic public firm put a lower price, and then produces more than the foreign private firm.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we study the effects of environmental and trade policies in an international mixed duopoly serving two markets, in which the public firm maximizes the sum of consumer surplus and its profit. We also analyse the effects of privatization. The model has two stages. In the first stage, governments choose environmental taxes and import tariffs, simultaneously. Then, the firms engage in a Cournot competition, choosing output levels for the domestic market and to export. We compare the results obtained in the three different ways of moving on the decision make of the firms.