Tree rules in probabilistic transition system specifications with negative and quantitative premises

Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a congruence.Similar to the nondeterministic case of rule format tyft/tyxt, we show that the well-foundedness requirement is unnecessary in the probabilistic setting. To achieve this, we first define an extended version of the ntmufnu/ntmuxnu format in which quantitative premises and conclusions include nested convex combinations of distributions. This format also guarantees that bisimilarity is a congruence. Then, for a given (possibly non-well-founded) PTSS in the new format, we construct an equivalent well-founded transition system consisting of only rules of the simpler (well-founded) probabilistic ntree format. Furthermore, we develop a proof-theoretic notion for these PTSSs that coincides with the existing stratification-based meaning in case the PTSS is stratifiable. This continues the line of research lifting structural operational semantic results from the nondeterministic setting to systems with both probabilistic and nondeterministic behavior.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Competitividade de um grupo de produtores da cadeia produtiva da maçã na região de Vacaria/RS.

O objetivo deste trabalho foi identificar se um grupo de produtores da cadeia produtiva da maçã na microrregião dos Campos de Cima da Serra está enfrentando dificuldades, e quais seriam elas, bem como identificar possíveis oportunidades que possam impactar na continuidade desta cadeia, através da metodologia de pesquisa exploratória, com caráter qualitativo e quantitativo quanto à abordagem metodológica, e, descritivo-explicativa quanto aos objetivos e levantamento de bibliografia. A coleta de informações foi realizada pelo método de entrevistas semiestruturadas, por meio de questionário. Os resultados indicaram que os produtores vêm enfrentando problemas de ordem produtiva e comercial, como fatores vinculados à mão de obra e clima, estabilização de preços, baixo consumo nacional da fruta, dentre outros, podendo ser amenizados pela introdução de técnicas, variedades e controle de custos. Além disso, a introdução paralela de novas culturas similares, como uva e pêra, pode aperfeiçoar o processo produtivo pela redução do custo. Palavras-chave: Maleicultura, produtividade, competitividade

Fundamentos e aplicações da modelagem ambiental de agrotóxicos.

Vários processos, como sorção, fotólise, hidrólise, oxidação-redução, degradação biológica, deriva, volatilização, lixiviação, carreamento superficial, determinam o comportamento e destino de um agrotóxico no ambiente. Como resultado da modelagem, modelos matemáticos são representações desses processos e podem ser apresentados como ferramentas computacionais (simuladores). Modelos de simulação do comportamento e destino ambiental de agrotóxicos podem ser mais efetivos quando acompanhados da visualização e da análise espacial proporcionada pela tecnologia de um sistema de informação geográfica ? SIG. As bases científicas e os avanços tecnológicos na modelagem ambiental de agrotóxicos são aqui sucintamente apresentados.bitstream/item/31128/1/Doc-78.pd

Structural Refinement for the Modal nu-Calculus

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.Comment: Accepted at ICTAC 201

Avaliação não destrutiva para definição do estádio de maturação comercial de maçãs "Fuji Suprema".

O estádio de maturação comercial de maçãs pode ser definido por meio do monitoramento de alguns atributos de qualidade, na sua maioria, estrutivos. O DAMeter é um espectrômetro UV-vis portátil que gera, de forma não destrutiva, um índice de diferença de absorbância (IAD) representativo do teor de clorofila no fruto.DANIELA DAL BOSCO, CNPUV, 300156. (Colaborador