Efficient symbolic computation of approximated small-signal characteristics of analog integrated circuits

A symbolic analysis tool is presented that generates simplified symbolic expressions for the small-signal characteristics of large analog integrated circuits. The expressions are approximated while they are computed, so that only those terms are generated which remain in the final expression. This principle causes drastic savings in CPU time and memory, compared with previous symbolic analysis tools. In this way, the maximum size of circuits that can be analyzed, is largely increased. By taking into account a range for the value of a circuit parameter rather than one single number, the generated expressions are also more generally valid. Mismatch handling is explicitly taken into account in the algorithm. The capabilities of the new tool are illustrated with several experimental result

A Family of matroid intersection algorithms for the computation of approximated symbolic network functions

In recent years, the technique of simplification during generation has turned out to be very promising for the efficient computation of approximate symbolic network functions for large transistor circuits. In this paper it is shown how symbolic network functions can be simplified during their generation with any well-known symbolic network analysis method. The underlying algorithm for the different techniques is always a matroid intersection algorithm. It is shown that the most efficient technique is the two-graph method. An implementation of the simplification during generation technique with the two-graph method illustrates its benefits for the symbolic analysis of large analog circuits

Symbolic analysis of large analog integrated circuits by approximation during expression generation

A novel algorithm is presented that generates approximate symbolic expressions for small-signal characteristics of large analog integrated circuits. The method is based upon the approximation of an expression while it is being computed. The CPU time and memory requirements are reduced drastically with regard to previous approaches, as only those terms are calculated which will remain in the final expression. As a consequence, the maximum circuit size amenable to symbolic analysis has largely increased. The simplification procedure explicitly takes into account variation ranges of the symbolic parameters to avoid inaccuracies of conventional approaches which use a single value. The new approach is also able to take into account mismatches between the symbolic parameters

Algorithm for efficient symbolic analysis of large analogue circuits

An algorithm is presented that generates simplified symbolic expressions for the small-signal characteristics of large analogue circuits. The expressions are approximated while they are computed, so that only the most significant terms are generated which remain in the final expression. This principle leads to dramatic savings in CPU time and memory compared to existing techniques, significantly increasing the maximum size of circuits that can be analysed. By taking into account a range for the value of a circuit parameter rather than one single number the generated symbolic expressions are also generally valid

Control of Biogenic Amines in Fermented Sausages: Role of Starter Cultures

Biogenic amines show biological activity and exert undesirable physiological effects when absorbed at high concentrations. Biogenic amines are mainly formed by microbial decarboxylation of amino acids and thus are usually present in a wide range of foods, fermented sausages being one of the major biogenic amine sources. The use of selected starter cultures is one of the best technological measures to control aminogenesis during meat fermentation. Although with variable effectiveness, several works show the ability of some starters to render biogenic amine-free sausages. In this paper, the effect of different starter culture is reviewed and the factors determining their performance discussed

Control of biogenic amines in fermented sausages: role of starter cultures

Biogenic amines show biological activity and exert undesirable physiological effects when absorbed at high concentrations. Biogenic amines are mainly formed by microbial decarboxylation of amino acids and thus are usually present in a wide range of foods, fermented sausages being one of the major biogenic amine sources. The use of selected starter cultures is one of the best technological measures to control aminogenesis during meat fermentation. Although with variable effectiveness, several works show the ability of some starters to render biogenic amine-free sausages. In this paper, the effect of different starter culture is reviewed and the factors determining their performance discussed.info:eu-repo/semantics/publishedVersio

Quantum Entanglement and fixed point Hopf bifurcation

We present the qualitative differences in the phase transitions of the mono-mode Dicke model in its integrable and chaotic versions. We show that a first order phase transition occurs in the integrable case whereas a second order in the chaotic one. This difference is also reflected in the classical limit: for the integrable case the stable fixed point in phase space suffers a bifurcation of Hopf type whereas for the second one a pitchfork type bifurcation has been reported

Survey of chicken abattoir for the presence of Campylobacter jejuni and Campylobacter coli

The genus Campylobacter is of great importance to public health because it includes several species that may cause diarrhea. These species may be found in water, food and in the intestinal tract of chickens. This study investigated the presence of Campylobacter jejuni and Campylobacter coli in chicken abattoirs in São Paulo State, Brazil. A total of 288 samples of feces, feathers, scald water, evisceration water, chiller water, and the rinse water of eviscerated, not eviscerated and chilled carcasses were collected in six chicken abattoirs. Polymerase Chain Reaction (PCR) was performed in Campylobacter spp.-positive isolates using the gene HIP, specific for hippuricase enzyme from Campylobacter jejuni and aspartokinase gene, specific to detect Campylobacter coli. The percentage of positive isolates of Campylobacter jejuni was 4.9% (14/288). Isolation was greater in feces samples (22%, 8/36). One sample was positive for the species C. coli. In conclusion, the results indicate that it is necessary to improve quality control for Campylobacter spp. in chicken abattoirs.O gênero Campylobacter tem grande destaque em saúde pública, principalmente por pertencerem a este gênero várias espécies que podem causar diarréia. Estas espécies podem ser encontradas em amostras de água, alimentos e no trato intestinal das aves. Este estudo investigou a presença de Campylobacter jejuni e Campylobacter coli em abatedouros de aves no Estado de São Paulo. As 288 amostras foram coletadas em seis estabelecimentos e incluíram: fezes; penas; água de escaldamento, de evisceração e de resfriamento; e água de enxaguadura de carcaça não eviscerada, eviscerada e resfriada. Após o isolamento microbiológico das amostras positivas de Campylobacter spp. foi realizada uma Reação em Cadeia da Polimerase (PCR) utilizando o gene HIP, da hipuricase, específico para Campylobacter jejuni e o gene da enzima aspartoquinase, específico para Campylobacter coli. A porcentagem de amostras positivas para Campylobacter spp. foi de 4,9% (14/288), sendo que o isolamento foi maior em amostras de fezes (22%, 8/36). Foi isolada uma amostra positiva para C. coli. Em conclusão, os resultados indicam que há uma necessidade de melhorar a qualidade higiênico-sanitária do controle de Campylobacter em abatedouros de aves

Application of Model-driven engineering to multi-agent systems: a language to model behaviors of reactive agents

Many users of multi-agent systems (MAS) are very commonly disinclined to model and simulate using current MAS platforms. More specifically, modeling the dynamics of a system (in particular the agents' behaviors) is very often a challenge to MAS users. This issue is more often observed in the domain of socio-ecological systems (SES), because SES domain experts are rarely programmers. Indeed, the majority of MAS platforms were not conceived taking into consideration domain-experts who are non-programmers. Most current MAS tools are not dedicated to SES, or nor do they possess an easily understandable formalism to represent the behaviors of agents. Moreover, because it is platform-dependent, a model realized in a given MAS platform cannot be properly used on another platform due to incompatibility between MAS platforms. To overcome these limitations, we propose a domain-specific language (DSL) to describe the behaviors of reactive agents, regardless of the MAS platform used for simulation. To achieve this result, we used model-driven engineering (MDE), an approach that provides tools to develop DSLs from a meta-model (abstract syntax), textual editors with syntax highlighting (for the concrete syntax) and code generation capabilities (for source-code generation of a model). As a result, we implemented a language and a textual editor that allow SES domain experts to describe behaviors in three different ways that are close to their natural expression: as equations when they are familiar with these, as a sequence of activities close to natural language or as an activity diagram to represent decisions and a sequence of behaviors using a graphic formalism. To demonstrate interoperability, we also developed code generators targeting two different MAS platforms (Cormas and Netlogo). We tested the code generators by implementing two SES models with the developed DSL. The generated code was targeted to both MAS platforms (Cormas and Netlogo), and successfully simulated in one of them. We conclude that the MDE approach provides adequate tools to develop DSL and code generators to facilitate MAS modeling and simulation by non-programmers. Concerning the DSL developed, although the behavioral aspect of MAS simulation is part of the complexity of modeling in MAS, there are still other essential aspects of model and simulation of MAS that are yet to be explored, such as model initialization and points of view on the model simulated worl