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

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

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

Casos clínicos – carcinoma de células escamosas oral

Este estudo apresenta dois casos clínicos com carcinoma de células escamosas oral com comprometimento ósseo. Um caso clínico de paciente, em estado avançado, diagnosticado no Curso de Odontologia do UniFOA e outro no Centro Odontológico Bergonsil de Oliveira Magalhães, ambos acompanhado e proservado por profissionais da Associação de Aposentados e Pensionistas de Volta Redonda. O carcinoma de células escamosas representa de 90 a 95% dos neoplasmas malignos da cavidade oral, também conhecido como carcinoma espino-celular ou epidermóide. De etiologia discutível e multifatorial. Alguns autores abordam fatores genéticos, ambientais e comportamentais. O fumo e o álcool são considerados atores de risco de relevância. Hábitos pessoais, a higiene precária, como também a desnutrição merecem atenção. A rotina seguida pelas disciplinas de Diagnóstico Clínico/Semiologia, Diagnóstico Clínico/Estomatologia, Radiologia Odontológica e Imaginologia ao receber e examinar os pacientes, está subordinada ao Prontuário Odontológico que abrange a anamnese, o exame clínico envolvendo o exame físico extra e intra-oral e exames complementares. Os pacientes que apresentam lesões com características neoplásicas, após a biópsia e em caso positivo, são encaminhados a serviços especializados, para o respectivo tratamento, que é por nós acompanhados. Para diagnosticar foi necessário reconhecer e diferenciar o processo. Priorizamos a urgência no atendimento por tratar-se de processo insidioso e de prognóstico duvidoso. Por reconhecermos após os exames objetivos e subjetivos trata-se, de processo cancerígeno, providenciamos o encaminhamento do paciente ao serviço especializado. A experiência do serviço de diagnóstico leva a uma grande preocupação com o estado atual do câncer de boca. Neste contexto, recomenda-se que condições sejam reunidas para que não haja falhas na execução do exame clínico oral e que o mesmo seja sempre realizado com a finalidade, também, de se detectar precocemente lesões precursoras e malignas

Avaliação do conhecimento de alunos de medicina sobre instalação da cárie dentária em lactentes e pré-escolares

O quadro epidemiológico de cárie em pré-escolares brasileiros ainda é preocupante, considerando-se sua manifestação precoce e a forte associação com os fatores socioeconômicos. Sabe-se que quando hábitos saudáveis são ensinados em idade precoce, as ações educativas em saúde a serem implementadas mais tarde podem se basear no reforço de rotinas já estabelecidas. Assim, mães de crianças jovens e gestantes devem ser a população- alvo para programas de educação em saúde bucal. Médicos pediatras que acompanham o desenvolvimento da criança rotineiramente desde o nascimento estão em condições ideais para orientar os pais sobre os cuidados preventivos, incluindo hábitos dietéticos, higiene oral e uso de flúor, e também detectar precocemente sinais de cárie dentária, alertando os pais quando estes são identificados. Para efetivação desse trabalho está sendo realizado uma revisão de literatura e a aplicação de um questionário pelos responsáveis do projeto aos alunos do sétimo e oitavo períodos do curso de medicina do UniFOA. Justifica-se com isso, possibilitar aos alunos da medicina conhecimentos sobre etiologia da cárie dentária na infância, bem com seus fatores de risco. O objetivo do trabalho é avaliar o conhecimento dos alunos de medicina do UniFOA sobre etiologia e fatores de risco da cárie dentária na infância. O presente trabalho não apresenta resultados, pois encontrasse em fase de coleta inicial de dados