Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments

Avaliação do consumo de açúcar/sacarose nos alunos do curso de Odontologia do UniFOA

Durante os últimos anos, em especial devido ao aumento do consumo de açúcar nas grandes concentrações populacionais, o número de doenças associadas a este consumo tem repercutido na saúde humana, destacando-se entre essas doenças a cárie dentária. O Curso de Odontologia do UniFOA está localizado no campus Olezio Galotti no bairro Três Poços em Volta Redonda no estado do Rio de Janeiro, possuindo em suas instalações 3 restaurantes e 4 lanchonetes, onde são oferecidos alimentos que apresentam sacarose em sua composição, sendo esse, apontado como o principal substrato para desenvolvimento da doença cárie. No presente estudo foram selecionados aleatoriamente 64 acadêmicos matriculados no curso de Odontologia no período de julho de 2008 a julho de 2009. Foi realizado a partir da aplicação de um questionário contendo perguntas a respeito dos hábitos alimentares dos alunos, com ênfase no consumo de açúcar e sacarose. Foram avaliados o padrão do consumo de açúcar que os acadêmicos adotam para si próprios, ou adotarão na dieta de seus filhos, razões para restrição do consumo de açúcar de seus pacientes, e se os mesmos se consideram capazes de controlar e orientar o consumo de açúcar. Para a organização dos dados, foi utilizado o programa Microsoft Excel versão 2007. Os resultados foram apresentados em tabelas, e toda a análise foi realizada através de cálculo numérico e percentual. O objetivo foi o de estudar os padrões de consumo de açúcar e sacarose nos alunos do Curso de Odontologia do UniFOA, analisando mudanças de comportamento em relação a esse consumo

Zoneamento para o cultivo do café robusta (Coffea canephora Pierre) no Estado de Mato Grosso.

bitstream/item/24687/1/COT2005105.pdfDocumento on-line

Involvement of formyl peptide receptors in the stimulatory effect of crotoxin on macrophages co-cultivated with tumour cells

Crotoxin (CTX) is the main neurotoxic component of Crotalus durissus terrificus snake venom. It inhibits tumour growth and modulates the function of macrophages, which are essential cells in the tumour microenvironment. the present study investigated the effect of CTX on the secretory activity of monocultured macrophages and macrophages co-cultivated with LLC-WRC 256 cells. the effect of the macrophage secretory activities on tumour cell proliferation was also evaluated. Macrophages pre-treated with CTX (0.3 mu g/mL) for 2 h were co-cultivated with LLC-WRC 256 cells, and the secretory activity of the macrophages was determined after 12, 24 and 48 h. the co-cultivation of CTX-treated macrophages with the tumour cells caused a 20% reduction in tumour cell proliferation. the production of both H2O2 and NO was increased by 41% and 29% after 24 or 48 h of co-cultivation, respectively, compared to the values for the co-cultures of macrophages of control. the level of secreted IL-1 beta increased by 3.7- and 3.2-fold after 12 h and 24 h of co-cultivation, respectively. Moreover, an increased level of LXA(4) (25%) was observed after 24 h of co-cultivation, and a 2.3- and 2.1-fold increased level of 15-epi-LXA(4) was observed after 24 h and 48 h, respectively. Boc-2, a selective antagonist of formyl peptide receptors, blocked both the stimulatory effect of CTX on the macrophage secretory activity and the inhibitory effect of these cells on tumour cell proliferation. Taken together, these results indicate that CTX enhanced the secretory activity of macrophages, which may contribute to the antitumour activity of these cells, and that activation of formyl peptide receptors appears to play a major role in this effect. (C) 2013 Elsevier B.V. All rights reserved.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)PAPInstituto Nacional de Ciencia e Tecnologia em ToxinasButantan Inst, Lab Pathophysiol, BR-05503900 São Paulo, BrazilUniversidade Federal de São Paulo, Lab Inflammat & Vasc Pharmacol, BR-09913030 Diadema, SP, BrazilUniv São Paulo, Fac Med, BR-01246000 São Paulo, BrazilUniv São Paulo, Inst Biomed Sci, Dept Anat, BR-05508900 São Paulo, BrazilUniv São Paulo, Inst Biomed Sci, Dept Physiol & Biophys, BR-05508900 São Paulo, BrazilButantan Inst, Special Lab Pain & Signaling, BR-05503900 São Paulo, BrazilUniversidade Federal de São Paulo, Lab Inflammat & Vasc Pharmacol, BR-09913030 Diadema, SP, BrazilFAPESP: 09/52330-9Instituto Nacional de Ciencia e Tecnologia em Toxinas: INCTTOX 2008/57898-0Web of Scienc

Biossolubilização de potássio por microrganismos in vitro a partir de rocha verdete.

FertBio 2016