Vibration energy harvesting using piezoelectric transducer and non-controlled rectifiers circuits

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Setor terciário e informalidade: algumas especificidades da (re)produção do espaço urbano de Bayeux-PB

This work has as study object the tertiary sector and (the re)production of the urban space of Bayeux-PB. For in such a way, one became necessary to the construction of a theoretical boarding that context the national reality, to be able itself to understand the reality local. This way to construct allowed an opening of the field of vision how much to the relevance of if ahead studying the tertiary sector and its weight of the current configuration of the society in a country as Brazil, e especially in a city of a State northeastern, as it is the case of Bayeux. The theoretical boarding had as base the two circuits of the urban economy, the productive reorganization and the transformations in the world of the work, as well as, the space organization and the distinction between the economic and social space of the tertiary activities, from the logic of functioning of the establishments: the regulation. Besides working with referring official data to the tertiary sector, the empirical study it had as reference one hundred and sixty and establishments tertiary, located in four axles of circulation of the city of Bayeux - PB, which are: Av. Liberdade, Av. Engenheiro de Carvalho, Av. Francisco Marques da Fonseca and Av. Marechal Rondon, that they had appeared in such a way stimulated for the processes of urbanization and industrialization lived deeply from years 70 in the "Great João Pessoa" how much, in the countries of the underdeveloped capitalist world, as Brazil. Being thus, the objective of the work was to study the tertiary sector and its relation with (the re)production of the urban space, standing out the functioning logic

O Circuito espacial de produção do biodiesel: configuração no território brasileiro e uso do território Norte-Rio-Grandense

This research aims to understand the use of the territory from the Rio Grande do Norte to the circuit spatial of production from the Biodiesel understanding it as part of the national context. The introduction of biodiesel into the Brazilian energy matrix begins to take shape in the year 2005 with the implementation of the National Program for Production and Use of Biodiesel (NPPB). This is anchored on three pillars: social inclusion (through family agriculture), environmental sustainability and economic viability. The NPPB consists of a set of standards, which turned into shares and distributed by almost all the national territory. Our reflection assumes that the places accommodating different forms of productive activities and, thus, the performance of the circuit space of biodiesel production depends on several factors, including the configuration of the territory they receive this new nexus economic. Understanding that the places by their technical content determine the realization of productive activities, it was found that the inclusion of this circuit space production in Rio Grande do Norte, reveals the reality expressed in the national territory, where some places are endowed with a privileged technical content and other extremely poor infrastructure. As our research could confirm the circuit space of biodiesel production that is expressed in the way plants are distributed within the country (mostly in South-Central), in more significant participation of small farmers in the South in the supply of raw material for the production of biodiesel and the main raw material used for the production of agrofuels (soybeans, whose production sector is highly consolidated and technified). Already the project materialization of NPPB regarding the settlements and communities of the Rio Grande do Norte State, we observed that the "event" or advent of realization encountered a technical means lacking in infrastructure that need to be molded to the needs of production, or is to cultivate castor beans or sunflower would be needed inputs and implements that farmers don´t have. Given the above, the research concludes that, as proposed previously, the use of the territory of Rio Grande do Norte to this circuit has summarized the performance of experiments, either with regard to the participation of family farmers as suppliers of raw materials, including the development of related research in the stage of production fuel oil by Petrobras. This finding came from research done from the concept of "spatial circuits of production," which allowed the verification of the circuit that steps outlined in Potiguar territory. Regarding the inclusion of family farmers in the productive circuit in RN, research reveals that, in the manner as has been done, it is doomed to failure. Furthermore, we dare say that this persistence in trying to put these family farmers, the way is being made, and the resulting successive failures, indicating that social inclusion advocated by NPPB not take place, and that this production circuit relies on the same logic circuit concentrated and exclusive space for ethanol production

Neonatal Gonocyte Differentiation in Mongolian Gerbil Meriones unguiculatus Involves Asynchronous Maturation of Seminiferous Cords and Rapid Formation of Transitional Cell Stage

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

Castes and asynchronous colony cycle in Polybia bistriata (Fabricius) (Hymenoptera: Vespidae)

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

Applying fuzzy logic systems in the estimation of crossflow filtration processes

The crossflow filtration process differs of the conventional filtration by presenting the circulation flow tangentially to the filtration surface. The conventional mathematical models used to represent the process have some limitations in relation to the identification and generalization of the system behavior. In this paper, a system based on fuzzy logic systems is developed to overcome the problems usually found in the conventional mathematical models. Imprecisions and uncertainties associated with the measurements made on the system are automatically incorporated in the fuzzy approach. Simulation results are presented to justify the validity of the proposed approach.

A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

The asynchronous motor one-dimensional analysis

An application of the linear machine one-dimensional analysis method to the modeling of a conventional asynchronous induction motor, considered as a particular case of linear and sectorial machines, is described. A mathematical model for the calculation of the propulsive force developed by this motor, taking into account the transversal edge effect, is derived from the application of the one-dimensional theory and presented in this paper. As an application example, an induction motor is analyzed by means of the one-dimensional theory.

A procedure to estimate parameters of a line segment taking into account its representation through pi circuits: Theoretical development

The objective of this paper is to show an alternative methodology to estimate per unit length parameters of a line segment of a transmission line. With this methodology the line segment parameters can be obtained starting from the phase currents and -voltages in receiving and sending end of the line segment. If the line segment is represented as being one or more pi circuits whose frequency dependent parameters are considered lumped, its impedance and admittance can be easily expressed as functions of the currents and voltages at the sending and receiving end. Because we are supposing that voltages and currents at the sending and receiving end of the tine segment (in frequency domain) are known, it is possible to obtains its impedance and admittance and consequently its per unit length longitudinal and transversal parameters. The procedure will be applied to estimate the longitudinal and transversal parameters of a small segment of a single-phase line that is already built.

Three- phase four-wire circuits interpretation by means of different power theories

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Application of pi Circuits for Simulation of Corona Effect in Transmission Lines

In this article, it is represented by state variables phase a transmission line which parameters are considered frequency independently and frequency dependent. Based on previous analyses, it is used the reasonable number of p circuits and the number of blocks composed by parallel resistor and inductor for reduction of numerical oscillations. It is analyzed the influence of the increase of the RL parallel blocks in the obtained results. The RL parallel blocks are used for inclusion of the frequency influence in the transmission line longitudinal parameter. It is a simple model that is been used by undergraduate students for simulation of traveling wave phenomena in transmission lines. Considering the model without frequency influence, it is included a representation of the corona effect. Some simulations are carried considering the corona effect and they are compared to the results without this phenomenon.

Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.