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

Estudo de caso de dois acidentes do trabalho investigados com o método de árvore de causas

São apresentados dois acidentes do trabalho típicos, ocorridos em empresa de grande porte, investigados com o Método de Árvore de Causas ­ ADC, método que permite identificar o papel desempenhado por fatores gerenciais e de organização do trabalho no desencadeamento desses fenômenos. Os casos apresentados revelam a participação, na gênese dos acidentes, de fatores como designação temporária e improvisada de trabalhadores para funções e postos de trabalho, execução de tarefas deixadas à iniciativa e ao arbítrio dos trabalhadores, falta de ferramentas e de materiais apropriados à execução de tarefas e falhas na circulação de informações, entre outros. São também analisadas as indicações para o uso do método, suas potencialidades em termos de prevenção, bem como as implicações decorrentes de dificuldades de aplicação, de necessidades de treinamento e reciclagens e do dispêndio elevado de tempo para investigação de cada acidente.

Comparação entre método bioquímico e reação em cadeia de polimerase para identificação de Lactobacillus spp., isolados de aves

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

A refrigeração no diagnóstico de Salmonella spp. utilizando o método microbiológico tradicional e reação em cadeia da polimerase em carcaças de frango

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

Influência do método de fenação e tempo de armazenamento sobre a composição bromatológica e ocorrência de fungos no feno de alfafa (Medicago sativa, L. cv. Flórida 77)

O experimento objetivou estudar a influência de 24 tratamentos resultantes do arranjo fatorial 6 x 4, referente a seis métodos de fenação e quatro tempos de armazenamento em delineamento inteiramente casualizado, com cinco repetições para análise bromatológica e quatro para determinação de fungos. Os métodos de fenação consistiram em: T1 - (sombra, E) secagem à sombra, a forrageira foi levada para o galpão imediatamente após o corte e mantida espalhada (E); T2 e T3 - o material permaneceu ao sol até perder 50% do peso e posteriormente foi seco à sombra, sendo o T2 espalhado (sol 50%, E) e o T3 amontoado - A (sol 50%, A); T4 e T5, consistiram do recolhimento da forragem para completar sua secagem à sombra, após viragem e perda de 60% de peso sob exposição ao sol, T4 espalhada (sol 60%, E), T5 amontoada (sol 60%, A) e o T6 perda de 80% do peso sob exposição ao sol e posteriormente amontoado à sombra (sol 80%, A). Os quatro tempos de armazenamento foram: 0, 15, 30 e 60 dias. Verificou-se que os fenos nos quais o material ficou mais tempo exposto ao sol apresentaram pior qualidade em termos de PB, FDN e FDA. A ocorrência de fungos foi maior no feno seco à sombra (T1) e naqueles em que a forragem foi amontoada, devido à ausência de aeração para retirada de umidade. O método mais adequado para a conservação da alfafa consistiu na exposição da forragem ao sol até a perda de 50% do peso da forragem original, com posterior secagem do material espalhado à sombra.

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.

Avaliação transversal e vertical da maxila, após expansão rápida, utilizando um método de padronização das radiografias póstero-anteriores

OBJETIVO: na presente pesquisa utilizou-se o aparelho Hyrax tendo como objetivo avaliar as alterações transversais e verticais da maxila. Foram selecionados 20 pacientes de ambos os gêneros, entre 7 e 11 anos de idade, que apresentavam mordida cruzada posterior uni ou bilateral. METODOLOGIA: foram realizadas telerradiografias em norma frontal (PA) antes e após a expansão. A fim de evitar que a falta de padronização dessas radiografias pudesse influenciar nos resultados, idealizou-se um método de padronização para tais radiografias. RESULTADOS E CONCLUSÕES: os resultados mostraram que a correção da mordida cruzada posterior com o aparelho Hyrax, que ocorreu em todos os casos, foi em função tanto da abertura da sutura palatina mediana como também da inclinação dos molares. A medida JgE-JgD relacionada com a expansão maxilar aumentou significantemente em todos os casos tratados. Nas avaliações dentárias, as medidas verticais não apresentaram diferenças significantes, ao contrário das medidas transversais (FTE-FTD; FBE-FBD; LO.BTE; LO.BTD; BTE.BTD). A largura da cavidade nasal também aumentou significantemente (CNE-CND). O método de padronização proposto permite, portanto, utilizar as medidas que avaliam a expansão rápida da maxila, através das radiografias póstero-anteriores, com segurança, também no sentido vertical.

O uso da vibração como método auxiliar no treinamento de capacidades físicas: uma revisão da literatura

The effects of vibration on the human body have been documented for many years. Recently, the use of vibration is an auxiliary method of physical training in the young, elderly and athletes. Recent studies indicate an increase in gain of strength, flexibility, endurance and power of individuals trained with vibrating equipments. Despite the fairly widespread use, the physiological effects of vibration are still poorly understood, and there is great variability in the training protocols used in the literature. Future studies should be conducted as a way to better understand the physiological effects of vibration and also the affects of different protocols on physical training as strength, flexibility, endurance and power.

Um novo método para quantificar mercúrio orgânico (Hg orgânico) empregando a espectrometria de fluorescência atômica do vapor frio

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

Método da histerese por auto-ajuste para minimização de esforço de controle no separador submarino VASPS

Neste trabalho apresenta-se o estudo do desenvolvimento de um controlador não-tradicional baseado em um mecanismo de histerese com auto-ajuste para o controle de nível de líquido de um sistema de separação e bombeio submarino conhecido como VASPS. O controlador desenvolvido gera sinais enviados para a bomba centrífuga submersa para controlar o nível de líquido no tanque do separador, evitando que ele atinja valores muito baixos que poderiam danificar a bomba ou valores muito altos que reduziriam a eficiência da separação líquido/gás. Os sinais de controle gerados pelo controlador visam solicitar a bomba o mínimo possível de modo a evitar o seu desgaste e falhas prematuras. Nas simulações, o controlador desenvolvido foi testado sob grandes variações nas condições de operação, tais como golfadas, produzindo resultados bastante satisfatórios e promissores.

Método da eletrorresistividade aplicado no monitoramento temporal da pluma de contaminação em área de disposição de resíduos sólidos urbanos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Monitoramento da atenuação natural de pluma de contaminação pelo método de radar de penetração no solo (GPR)

O monitoramento da atenuação natural em áreas contaminadas tem se mostrado uma técnica alternativa e de baixo custo para a remediação de áreas contaminadas. A degradação por microorganismos é um dos processos mais importantes na atenuação natural de contaminantes, especialmente compostos de fase líquida não aquosa (NAPL). em muitos casos, a ação efetiva deste processo resulta na geração de ácidos orgânicos, que sob elevadas concentrações ocasionam a dissolução de minerais presentes em subsuperfície onde se encontra a contaminação, com conseqüente liberação de íons. O aumento na quantidade de íons colabora para o aumento da condutividade elétrica do meio. O princípio físico da técnica de Radar de Penetração no Solo (GPR) é a emissão de ondas eletromagnéticas de alta freqüência. A propagação da onda eletromagnética é condicionada à freqüência de sinal emitido e as propriedades elétricas do meio. O aumento da condutividade elétrica do meio resulta na atenuação do sinal e, por conseqüência, na diminuição da profundidade de penetração da onda eletromagnética. Este fator permite o monitoramento de áreas contaminadas sob atenuação natural a partir de análises temporais com o GPR. Este trabalho apresenta um estudo comparativo entre perfis de GPR adquiridos em 1998 e 2003 em uma área contaminada por compostos de fase líquida leve não aquosa (LNAPL), sob atenuação natural. Os resultados indicam um aumento da condutividade elétrica do meio, a partir da atenuação acentuada do sinal GPR observada nas seções de 2003. Este aumento pode estar associado à liberação de íons por dissolução de minerais, pelo ataque de ácidos orgânicos resultantes do processo de biodegradação.

Método para determinação de distribuição de tamanho de microbolhas (DTMB) em sistemas flotação (FAD) para tratamento de águas utilizando a análise de imagem digital

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

Caracterização de cimento odontológico obtido a partir de um vidro preparado pelo método dos precursores poliméricos

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

Obtenção de filmes finos de TiO2 nanoestruturado pelo método dos precursores poliméricos

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