Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Avaliação da reprodutibilidade do método de determinação da maturação esquelética por meio das vértebras cervicais

Dentre os diversos meios de se determinar o grau de maturação esquelética do paciente destaca-se o Método de Lamparski modificado por Hassel e Farman, em 1995, que propuseram a identificação do estágio da maturação por meio das modificações anatômicas das 2ª, 3ª e 4ª vértebras cervicais. Cientes das qualidades advogadas ao método citado surgiu o interesse em avaliar sua reprodutibilidade com o intuito de divulgá-lo e incorporá-lo como um elemento no diagnóstico e auxiliar no prognóstico dos tratamentos das más oclusões. A amostra constou de 100 telerradiografias em norma lateral de pacientes triados para tratamento ortodôntico na Faculdade de Odontologia de Araçatuba - UNESP nos períodos de 2000 e 2001. Foram incluídos pacientes de ambos os gêneros na faixa etária de 6 a 16 anos e a média de 9 anos e 7 meses. Três examinadores devidamente calibrados realizaram a avaliação das radiografias classificando-as em escores de 1 a 6. Após a análise dos resultados, os mesmos foram tabulados e submetidos ao coeficiente Kappa de concordância para avaliação inter e intra-examinador concluindo, dessa forma, a reprodutibilidade do referido método. O método de determinação da maturação esquelética por meio das vértebras cervicais mostrou-se reproduzível na avaliação do estágio em que o indivíduo se encontra na curva de crescimento.

Confiabilidade de um formulário para diagnóstico da severidade da disfunção temporomandibular

CONTEXTUALIZAÇÃO: Disfunção temporomandibular (DTM) é um termo coletivo que engloba vários problemas clínicos envolvendo a musculatura da mastigação, as articulações temporomandibulares (ATM) e suas estruturas associadas, com alta prevalência nas populações. OBJETIVOS: Sabendo-se que estudos brasileiros vêm utilizando o instrumento proposto por da Fonseca et al. (1994) para diagnóstico da severidade desta disfunção, realizou-se este estudo com o objetivo de verificar e estimar a consistência interna e a reprodutibilidade do mesmo. MÉTODOS: O delineamento amostral adotado foi o probabilístico, e participaram 1230 indivíduos moradores da cidade de Ribeirão Preto (SP), maiores de 18 anos de idade. As entrevistas foram realizadas por um único entrevistador por meio de ligações telefônicas. Para estudo da consistência interna, calculou-se o Coeficiente de Kuder-Richardson (kr-20) e para estimar a reprodutibilidade, utilizou-se a estatística Kappa (κ). RESULTADOS: A consistência interna do formulário foi de 0,5594, apontando para uma validação abaixo do desejado. Observou-se maior contribuição das questões 1, 2, 3, 6 e 7 para o coeficiente kr-20 total e maior consistência do instrumento quando composto apenas pelas mesmas (0,7044). Observou-se reprodutibilidade Boa e Ótima para as questões. CONCLUSÕES: Frente ao exposto, sugere-se que o formulário proposto por da Fonseca et al. (1994) seja adaptado, ficando composto apenas pelas questões 1, 2, 3, 6 e 7 da versão inicial, colaborando, assim, para aumento da confiabilidade do instrumento. Deve-se ressaltar ainda a necessidade da realização de estudos de validade para assegurar adequadas características psicométricas à nova versão do instrumento.

Síndrome de Burnout em graduandos de Odontologia

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

CARACTERIZAÇÃO PÓS-COLHEITA DE SEIS CULTIVARES DE CARAMBOLA (Averrhoa carambola L.)

Avaliaram-se as qualidades física e química dos frutos de seis cultivares de carambola (Averrhoa carambola L.), propagadas pela Estação Experimental de Citricultura de Bebedouro, São Paulo, objetivando a obtenção de informações sobre a qualidade dos frutos produzidos nesta região. Foram utilizados frutos das cultivares Tean-ma, Fwang Tung, Arkin, Malásia, Golden Star e Nota-10. Os frutos foram analisados quanto à massa fresca, comprimento, largura, volume, porcentagem de suco, polpa e semente, número de sementes, coloração (L, Cromaticidade e ângulo Hue). Na polpa, determinou-se o pH, assim como o teor de umidade, sólidos solúveis totais (SST), acidez total titulável (ATT), vitamina C, açúcares solúveis totais e redutores, cinzas, proteína, pectina total e solúvel, e minerais (Ca, P, K, Mg, S, Cu, Fe, Mn e Zn). Os resultados foram avaliados estatisticamente através de um delineamento inteiramente casualizado e revelaram que os melhores frutos são os originários das cultivares Arkin, Tean-ma e Nota-10, pois são os maiores, os mais pesados e apresentam os maiores teores de sólidos solúveis totais (SST) e açúcares solúveis (AST), assim como boa relação SST/ATT. Os frutos da 'Arkin' mostraram coloração mais amarela, enquanto os da 'Golden Star' foram considerados de coloração mais clara, ou com maior translucidez. A textura foi menor nos frutos da 'Arkin', e se relacionou com a maior solubilização de suas pectinas

Padrão de qualidade de mudas de Trema micrantha (L.) Blume, produzidas sob diferentes períodos de sombreamento

O objetivo deste trabalho foi verificar a influência do período de permanência das mudas sob sombreamento nos parâmetros empregados na avaliação da qualidade das mudas de Tremamicrantha (crindiúva). O delineamento experimental foi o inteiramente casualizado, com quatro repetições por tratamento, contendo 88 plantas cada. Foram realizadas três avaliações, aos 90, 120 e 150 dias após a emergência. Os tratamentos na avaliação I foram 45, 60, 75 e 90; na avaliação II, 45, 60, 75, 90, 105 e 120; e na avaliação III, 45, 60, 75, 90, 105, 120, 135 e 150 dias de permanência sob sombreamento com 48% de retenção da radiação, respectivamente. Foram avaliados os parâmetros morfológicos das mudas, suas relações e o índice de qualidade de Dickson. As mudas desenvolvidas sob maiores períodos de sombreamento, embora tenham alcançado maiores alturas das partes aéreas e áreas foliares, apresentaram as piores qualidades, com redução do diâmetro do coleto, da massa seca do sistema radicular e do índice de qualidade de Dickson e aumento da relação altura da parte aérea/diâmetro do coleto e da relação parte aérea/sistema radicular. Nas três avaliações, o período de permanência das mudas sob sombreamento não influenciou significativamente os parâmetros área foliar, massa seca das folhas, massa seca da parte aérea e massa seca total. As mudas apresentaram melhores padrões de qualidade e condições de plantio no campo a partir dos 120 dias de idade, quando crescidas sob 45 e 60 dias de sombreamento. O índice de qualidade de Dickson foi bom indicador do padrão de qualidade das mudas.

Método simplificado para manutenção da concentração sangüínea de propofol em nível aproximadamente constante, associado ao óxido nitroso no paciente pediátrico

JUSTIFICATIVA E OBJETIVOS: A manutenção de concentração sangüínea alvo-controlada em níveis aproximadamente constantes do propofol é uma técnica que pode ser empregada de modo simplificado na sala de cirurgia. A finalidade desta pesquisa é comparar clínica e laboratorialmente a infusão de propofol em crianças usando os atributos farmacocinéticos de Short e de Marsh. MÉTODO: Foram estudados 41 pacientes com a idade de 4 a 12 anos, de ambos os sexos, estado físico ASA I ou II, distribuídos em dois grupos S (20 pacientes) e M (21 pacientes). No Grupo S utilizaram-se os atributos farmacocinéticos de Short, e no Grupo M, os atributos farmacocinéticos de Marsh. A indução anestésica foi feita com bolus de alfentanil 30 µg.kg-1, propofol 3 mg.kg-1 e pancurônio, 0,08 mg.kg-1 por via venosa. Procedeu-se a intubação traqueal e a manutenção com N2O/O2 (60%) em ventilação controlada mecânica. No grupo S a infusão de propofol foi de 254 (30 min) seguido de 216 µg.kg-1.min-1 por mais 30 min. No grupo M a infusão de propofol foi de 208 (30 min) seguido de 170 µg.kg-1.min-1 por mais 30 min. Através do atributo farmacocinético específico a cada grupo a meta foi a obtenção da concentração-alvo de 4 µg.kg-1 de propofol. Foram colhidas três amostras sangüíneas (aos 20, 40 e 60 minutos) para a dosagem do propofol pelo método da Cromatografia Líquida de Alta Performance. RESULTADOS: Os Grupos S e M foram considerados similares quanto à idade, altura, peso e sexo (p > 0,05). Não houve diferença estatística significativa entre os dois grupos estudados para os parâmetros: PAS, PAD, FC, FiN2O, SpO2 da hemoglobina e P ET CO2 no final da expiração. A comparação entre grupos no número de bolus repetidos de alfentanil não foi estatisticamente significativa. O índice bispectral (BIS) não apresentou diferença estatisticamente significativa entre M0 (vigília) e os demais momentos em ambos os grupos. Os valores Medianos da Performance do Erro (MPE) e os valores Medianos Absolutos da Performance do Erro (MAPE) mostraram diferenças estatísticas significativas entre os grupos no momento 60. Valores medianos da concentração sangüínea de propofol (µg.kg-1) mostraram diferenças estatísticas significativas entre M e S no momento 60 e entre os momentos 40 e 60 no grupo S. CONCLUSÕES: A anestesia com propofol usando os atributos farmacocinéticos de Marsh (Grupo M) apresentou menor erro no cálculo da concentração-alvo de propofol de 4 µg.kg-1. Além disso, utiliza menor quantidade de propofol para obter resultados clínicos semelhantes. Por todas essas qualidades deve ser a preferida para uso em crianças ASA I e com idades entre 4 e 12 anos.

Avaliações ultrassonográfica e radiográfica dos efeitos da suplementação com dois tipos de probióticos sobre o intestino de cães filhotes

Avaliaram-se os efeitos da suplementação de dois tipos de probióticos para cães filhotes da raça Beagle, que receberam dois tipos de dieta de alta e baixa qualidade, sobre os achados em exames de diagnóstico por imagem. Foram utilizados 18 cães filhotes da raça Beagle, distribuídos em três tratamentos inteiramente ao acaso: tratamento 1, controle (ração); tratamento 2, ração com probiótico 1 (Bifidobacterium); e tratamento 3, ração com probiótico 2 (Lactobacillus). O experimento foi dividido em duas fases, cada uma caracterizada pela mudança da dieta de qualidades diferentes. Ao exame ultrassonográfico, foi avaliada a espessura da parede gastrintestinal, e ao radiográfico, a presença de gás em alças intestinais e o espessamento da parede. Observou-se aumento da espessura da parede das alças intestinais (P<0,05), nos animais dos grupos tratados com probiótico 1 e 2 (5,74mm e 6,01mm, respectivamente) em relação aos do grupo-controle (5,03mm). O uso de probióticos não influenciou a produção de gás intestinal. Não houve diferença (P>0,05) entre os tratamentos quanto ao escore de gás intestinal. A avaliação quantitativa permitiu a determinação de um escore de gás intestinal, de forma não invasiva, por meio do software Image J®. Concluiu-se que o diagnóstico por imagem sustenta a recomendação dessa metodologia como ferramenta auxiliar na avaliação nutricional de dietas para cães.

Estudo da germinação de sementes de espécies arbóreas pioneiras: Tibouchina pulchra Cogn. e Tibouchina granulosa Cogn. (Melastomataceae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A questão do meio na pedologia e suas implicações pedagógicas

Ce texte est une lecture de la conférence de Vygotsky sur la question de l'influence de la culture et de l'environnement sur la pédologie et cherche les implications pédagogiques des ces idées sur l'éducation des enfants et, en particulier, les petits enfants. Initialement, met en évidence la méthode de l'auteur que enseigne à ses auditeurs et lecteurs à penser dialectiquement, un défi que doit être confrontés par les lecteurs - habitués à penser avec la logique formelle - pour essayer de comprendre les études de Vygotsky. Deux éléments apportés par Vygotsky à la conférence sont prise pour réfléchir sur son importance pour le développement de l'enfant: la question de la langue orale et de son importance pour l'influence de la culture et de l'environnement sur le développement humain dans l'enfance et la spécificité du développement culturel dans l'enfance que dit que ce que nous pouvons parvenir à la fin ou à la suite du processus de développement est présente dans la culture depuis le début et touche et guide ce développement de l'enfant. Dans les deux cas, la discussion au sein de cette conférence de Vygotsky déclenche une révolution dans la pensée et l'action des enseignants.

Compósitos de Al2O3/ZrO2 recobertos com hidroxiapatita dopada com íons Ag

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Potencialidade energética em diferentes extratores e tempos de extração do óleo de pinhão-manso (jatropha curcas l.) em soxletter

The current rhythm of petroliferous exploration is esteem that the existing reserves will be depleted in next the 45 years. Thus being, it has that to study intensely, what it has come to be fact, the alternative power plants, as well as the technologies economically capable to ultilizar them. The potential demand of biodiesel for 2020 is taken in consideration that, in accordance with the International Agency of Energia (AIE), in only eight countries, will jump of 34,7 million tons in 2010 for 133,8 million in 2020, with an increment next to 300%. The tame nut is a producing oil plant with all the qualities necessary to be transformed into oil diesel. Beyond perennial and of easy culture, it presents good conservation of the harvested seed, being able to become great producer of substance cousin as optional fuel source. For these authors, this is a culture that can be developed in the small properties, with the available familiar man power, being plus a source of income for the country properties of the Northeast Region. The objective of this work is to evidence the capacity of oil production of the nut-bellwether, and the quality of extration with hexano and methanol in 6 distinct times.

Rastreabilidade de camarão amazônico proveniente de cultivo e ambiente natural utilizando a técnica de isótopos estáveis

Pós-graduação em Aquicultura - FCAV

Times assíncronos inicializadores para o planejamento da expansão da transmissão de energia elétrica baseados no modelo híbrido linear

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeitos da temperatura na expressão de genes relacionados ao crescimento muscular em tilápias do Nilo (Oreochromis niloticus) linhagem Gift

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)