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

The infectivity of SfMNPV on fall armyworm is influenced by the host plant.

This work evaluated the infectivity and production of occlusion bodies (OBs) of the SfMNPV-6NR on fall armyworm (FAW), Spodoptera frugiperda, when fed on different host plants. The experiment was performed in laboratory, in a completely randomized design using two concentrations of SfMNPV-6NR (2×106 and 2×107 OBs/mL) and six different host plants (soybean, corn, cotton, bean, sorghum and millet). The larval mortality, larval weight (LW), pupal weight (PW) of S. frugiperda and the production of OBs by virus were evaluated. S. frugiperda larvae were less susceptible to baculovirus when fed on cotton leaves (38 ± 4.17 and 70 ± 6.44% mortality) in the two concentrations tested (2×106 and 2×107 OBs/mL, respectively). The LW was affected by the virus concentration depending on the plant species consumed and the virus concentrations. The PW was affected by the plant species used to feed larvae. There was no effect of the host plant on the OBs virus production. The results demonstrate adverse effects of the host plant on the infectivity of the SfMNPV-6NR in S. frugiperda, especially a deleterious effect of the cotton plant in the virus infection capacity

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

Biópsia muscular: uma nova abordagem de acesso ao músculo Glúteo Médio em equinos da raça Puro-Sangue inglês

O artigo não apresenta resumo