Extended colored Petri net: An efficient tool for analyzing concurrent systems

This paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, we present a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme.

Measurement of color flow in t(t)over-bar events from p(p)over-bar collisions at root s=1.96 TeV

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

Methodology of CO2 emission evaluation in the life cycle of office building facades

The construction industry is one of the greatest sources of pollution because of the high level of energy consumption during its life cycle. In addition to using energy while constructing a building, several systems also use power while the building is operating, especially the air-conditioning system. Energy consumption for this system is related, among other issues, to external air temperature and the required internal temperature of the building. The facades are elements which present the highest level of ambient heat transfer from the outside to the inside of tall buildings. Thus, the type of facade has an influence on energy consumption during the building life cycle and, consequently, contributes to buildings' CO2 emissions, because these emissions are directly connected to energy consumption. Therefore, the aim is to help develop a methodology for evaluating CO2 emissions generated during the life cycle of office building facades. The results, based on the parameters used in this study, show that facades using structural glazing and uncolored glass emit the most CO2 throughout their life cycle, followed by brick facades covered with compound aluminum panels or ACM (Aluminum Composite Material), facades using structural glazing and reflective glass and brick facades with plaster coating. On the other hand, the typology of facade that emits less CO2 is brickwork and mortar because its thermal barrier is better than structural glazing facade and materials used to produce this facade are better than brickwork and ACM. Finally, an uncertainty analysis was conducted to verify the accuracy of the results attained. (C) 2011 Elsevier Inc. All rights reserved.

Does H -> gamma gamma taste like vanilla new physics?

We analyse the interplay between the Higgs to diphoton rate and electroweak precision measurements constraints in extensions of the Standard Model with new uncolored charged fermions that do not mix with the ordinary ones. We also compute the pair production cross sections for the lightest fermion and compare them with current bounds.

Composition of suspended matter and bottom sediments from the Atlantic Ocean and its seas

The book summarizes data on distribution and composition of sedimentary material suspended in waters of the Atlantic Ocean and its seas. Results of observations of Soviet and foreign expeditions are given. Distribution of suspended matter in sections across the ocean, as well as in the most studied seas are shown. New data on grain size, mineral and chemical composition of suspended matter are published. Summary of history of investigation of bottom sediments from the Atlantic Ocean from the first scientific cruises to the present is done. A brief description of sediment types in the ocean and a detailed description of Mediterranean Sea sediments are given.

A new DSATUR-based algorithm for exact vertex coloring

This paper describes a new exact algorithm PASS for the vertex coloring problem based on the well known DSATUR algorithm. At each step DSATUR maximizes saturation degree to select a new candidate vertex to color, breaking ties by maximum degree w.r.t. uncolored vertices. Later Sewell introduced a new tiebreaking strategy, which evaluated available colors for each vertex explicitly. PASS differs from Sewell in that it restricts its application to a particular set of vertices. Overall performance is improved when the new strategy is applied selectively instead of at every step. The paper also reports systematic experiments over 1500 random graphs and a subset of the DIMACS color benchmark.

Hortus Kewensis, or, A catalogue of the plants cultivated in the Royal Botanic Garden at Kew /by William Aiton ...

v.1

Hortus Kewensis, or, A catalogue of the plants cultivated in the Royal Botanic Garden at Kew /by William Aiton ...

v.2

Hortus Kewensis, or, A catalogue of the plants cultivated in the Royal Botanic Garden at Kew /by William Aiton ...

v.3

Flora Indiae Occidentalis :aucta atque illustrata sive descriptiones plantarum in prodromo recensitarum / Olavi Swartz.

v. 1

Unverhofft : Posse mit Gesang in drei Acten /

Front. uncolored.

Five years' residence in the Canadas : including a tour through part of the United States of America, in the year 1823 /

Printed by James Nichols, Warwick Square, London.

An historical account of coffee : with an engraving, and botanical description of the tree : to which are added sundry papers relative to its culture and use, as an article of diet and of commerce.

Duplicate of the fold. Front, uncolored.

Síntese de biodiesel etílico de girassol utilizando transesterificação alcalina seguido da adição on pot de H2SO4

No presente trabalho foi investigada a adição on pot de H2SO4 no processo de transesterificação do óleo de girassol com etanol e metanol empregando catalisador alcalino (NaOH e KOH). Após o processo, ocorreu uma eficiente separação tanto do biodiesel etílico como metílico de seus co-produtos. Com a adição on pot de H2SO4 todo sabão formado no meio reacional foi transformado em ácidos graxos livres e o catalisador em sal (Na2SO4 ou K2SO4). A esterificação dos ácidos graxos livres presentes no biodiesel foi aplicada para atingir os padrões de biocombustíveis. Os ácidos graxos contidos no biodiesel foram esterificados na presença de uma mistura com razão molar de 60:1 e 80:1 álcool:ácido graxo, com H2SO4 5 e 10 % em massa. Também foi avaliada a influência da quantidade de catalisador na reação paralela de saponificação. De acordo com os resultados observou-se que a quantidade de sabão formado no processo, variou entre 1,80 e 10,66 % para 1 e 2 % de catalisador, respectivamente. A adição on pot de H2SO4 permitiu aumentar o rendimento de obtenção de biodiesel, e reduziu a geração de efluentes provenientes das lavagens para remoção do sabão, quando comparado com o processo convencional. As análises foram realizadas para avaliar a qualidade do biodiesel, com exceção da estabilidade oxidativa, os demais parâmetros estão de acordo com as normas da ANP. A glicerina foi obtida com uma pureza de 95 % de glicerol com aspecto límpido e incolor, sendo seu principal contaminante o sal proveniente da neutralização do catalisador.