MATIW 1451 - monitoramento e acionamento de transdutores inteligentes através da Web (Padrão IEEE 1451)

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

Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451

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

Implementação de um nó IEEE 1451, baseado em ferramentas abertas e padronizadas, para aplicações em ambientes de instrumentação distribuída

Pós-graduação em Engenharia Elétrica - FEIS

Utilização de sondas lambda em caldeiras de biomassa

Nos dias que correm a eficiência energética está na ordem do dia, havendo um esforço significativo para obter-se equipamentos cada vez mais eficientes. Uma parte significativa do consumo global de energia, bem como da emissão de gases nocivos e de efeito de estufa, está associado à climatização, quer doméstica quer industrial. Assim, é importante desenvolver tecnologias mais eficientes neste domínio. O principal objetivo deste trabalho consiste no desenvolvimento de um módulo de interface a uma sonda lambda para monitorização de combustão em caldeiras de biomassa. Este módulo permitirá medir a concentração de oxigénio presente na saída das caldeiras, possibilitando o ajuste dinâmico dos parâmetros de combustão por forma a maximizar o seu rendimento e minimizar a emissão de gases poluentes. O módulo desenvolvido é de baixo custo e apresenta uma interface bastante simples, facilitando a sua incorporação em equipamentos já existentes. Os resultados obtidos revelaram-se consistentes com os valores teóricos fornecidos pelo fabricante da sonda utilizada, podendo assim concluir-se que o trabalho foi realizado com sucesso.

Programa de Gestão em Farmácia Pública módulo Saúde Mental: ferramenta gerencial para a assistência farmacêutica em um Centro de Atenção Psicossocial Álcool e Drogas

Este trabalho tem por objetivo geral apresentar uma ferramenta computacional auxiliar na gestão dos serviços farmacêuticos bem como alguns resultados alcançados com a sua aplicação na sistematização do atendimento aos usuários do Centro de Atenção Psicossocial álcool e drogas (CAPS ad) do município de Vitória-ES, conhecido como Centro de Prevenção e Tratamento de Toxicômanos (CPTT). O Programa de Gestão em Farmácia Pública (PGFP) Módulo Saúde Mental possui um formato de banco de dados relacional, desenvolvido sob a plataforma Access e possui interface com o gerador de planilhas e gráficos do tipo Excel , aplicáveis a outras farmácias de unidades do tipo CAPS ad. Desde 2004 vem sendo utilizado e aperfeiçoado com uma proposta de informatizar a administração da farmácia, possibilitando a instrumentalização do farmacêutico via emissão de relatórios para a gestão técnica, operacional e estratégica, além de propiciar a avaliação do serviço baseando-se em indicadores sócio demográficos, de morbidade e específicos da Assistência Farmacêutica voltados para o campo da toxicodependência. Para ilustrar o uso do PGFP são apresentados dados pertencentes a 489 prontuários de usuários cadastrados na farmácia no período de janeiro de 2007 a dezembro de 2008, além de 50 prescrições médicas sistematicamente selecionadas para cada ano, coletadas a partir do sistema. Com isso, foi possível elaborar o perfil demográfico, sóciosanitário dos usuários além de aspectos relacionados a Assistência Farmacêutica local. Foi utilizado o programa computacional SPSS 11.5 for Windows para a análise estatística exploratória descritiva (distribuição de freqüências) e inferencial (teste qui-quadrado) dos dados contidos nos prontuários. Dentre algumas dessas análises, observou-se a prevalência do Crack (44%) como substância psicoativa. Revelou que a maioria dos usuários cadastrados são homens (82,4%), com faixa etária prevalente entre 25 e 34 anos (31,7%) e com grau de escolaridade equivalente ao 1 Grau Incompleto (41,3%). Com relação aos aspectos relacionados a Assistência Farmacêutica pode-se observar um No. médio de medicamentos prescritos por receita entre 1,6 1,7 itens/receita; um percentual mínimo de 96% das receitas atendidas na farmácia; e o Clonazepam como o medicamento mais prescrito no período. São citadas algumas limitações do PGFP e dos dados apresentados. Conclui-se o presente estudo fazendo-se alusão a relevância do Programa de Gestão em Farmácia Pública (PGFP), em relação não somente ao seu potencial de uso na gestão estratégica e operacional da Assistência Farmacêutica em Saúde Mental (álcool e drogas), mas fundamentalmente, como importante ferramenta de informação que propicia a elucidação do perfil da drogadição, despertando a percepção para os aspectos ligados à saúde pública e as implicações sócio-econômicas sobre a população em estudo.

Unha interface gráfica para o descubrimento automático de teoremas en xeometría elemental. 'Una interfaz gráfica para el descubrimiento automático de teoremas en geometría elemental'.

Resumen basado en el del autor

Interface para um sistema gerenciador de transações longas de banco de dados

Existe uma certa gama de aplicações que não pode ser implementada através do modelo convencional de transações, são aplicações que tem um tempo de duração mais longo do que aquelas convencionalmente modeladas. Em uma transação Atômica, ou todo o trabalho é realizado por completo ou nada é feito, mas, quando se trata de atividades de longa duração, isto pode significar a perda de trabalho executado durante horas ou, até mesmo, dias. Pelo mesmo motivo, transações longas não devem executar isoladamente, porque isto impede que outras transações tenham acesso aos dados sendo manipulados. No âmbito do projeto TRANSCOOP, vêm sendo realizados vários estudos sobre modelos de transações não convencionais. Dentre eles, encontra-se o Modelo de Contratos, que prevê um mecanismo de controle seguro para gerenciar aplicações distribuídas que apresentam atividades de longa duração. Para experimentar e avaliar as idéias inseridas neste modelo está sendo desenvolvido um protótipo. Este sistema é provido de uma interface gráfica interativa, baseada em Manipulação Direta, e suporta a definição de transações longas de banco de dados de acordo com o Modelo de Contratos. O objetivo deste trabalho é descrever a arquitetura de um protótipo para o Modelo de Contratos, definindo a função de cada um de seus módulos, mais especificamente o módulo Interface, e a comunicação entre eles. Para a definição de uma interface adequada foram considerados aspectos de outras áreas da ciência, pois a área de interfaces homemmáquina é multidisciplinar.

Estudo das propriedades mecânicas da interface adesiva criada por sistemas adesivos convencional e autocondicionante, associados ou não ao laser Nd:YAG, utilizando a técnica da nanoindentação

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

Análise da interface adesiva entre cimentos resinosos e diferentes terços da dentina intrarradicular

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

Programa computacional com interface gráfica para identificação estocástica de parâmetros modais de estruturas civis: aplicação em pontes e torres de linha de transmissão

O interesse no comportamento dinâmico de estruturas metálicas vem crescendo nas últimas décadas no Brasil, em decorrência de acidentes com colapso total de algumas estruturas devido às vibrações ambientes em diversas regiões do país. Na região amazônica, por exemplo, onde esse tipo de estrutura deve vencer obstáculos como florestas e rios de grande largura, casos de colapso total de estruturas metálicas também são relatados. O foco principal dessa dissertação é o estudo do comportamento modal de estruturas metálicas submetidas às vibrações ambientes cuja magnitude das forças de excitação é desconhecida. Dois estudos de caso são apresentados: no primeiro deles, o comportamento modal de uma torre de linha de transmissão de energia elétrica é investigado; e no segundo caso, tanto o comportamento modal como os níveis de desconforto de uma ponte são estudados. Os estudos realizados neste último caso visam avaliar os níveis de desconforto da ponte quando submetida às excitações ambientes como rajadas de vento e o tráfego de veículo de acordo a norma brasileira NBR 8800 (1986). Em ambos os estudos de caso foram realizadas análises experimentais e computacionais. Na etapa experimental, ambas as estruturas foram monitoradas com emprego de um conjunto de acelerômetros de baixa freqüência e também de um sistema de aquisição apropriados para ensaios de vibração de estruturas civis. Como é muito difícil medir a magnitude das forças de excitação ambientes, foram utilizados os métodos de identificação estocásticos SSI-DATA e SSI-COV para extração de parâmetros modais de estruturas civis a partir somente dos dados de resposta coletados nos ensaios de vibração. Entre as atividades desenvolvidas nessa etapa, destaca-se a criação de um programa computacional com recursos do Graphical User Interface (GUI) da plataforma Matlab®, destinado à identificação modal de estruturas civis com o emprego dos referidos métodos estocásticos. Esse programa é constituído de três módulos: o primeiro é destinado ao processamento e tratamento dos sinais coletados nos ensaios de vibração; o segundo é utilizado para adicionar as informações do posicionamento dos acelerômetros utilizados nos arquivos dos sinais de resposta; e o terceiro e último módulo é destinado à identificação a partir dos arquivos de dados de resposta processados nos dois primeiros módulos. Na etapa das análises teóricas, foram criados modelos numéricos utilizando o método dos elementos finitos para simular o comportamento dinâmico das estruturas analisadas. Comparando os resultados obtidos em ambas as etapas de análise, verifica-se que resultados experimentais e teóricos apresentaram parâmetros bastante próximos entre si nos primeiros modos de vibração. Os resultados experimentais mostraram que ambos os métodos estocásticos foram muito eficientes na identificação das estruturas ensaiadas.

Citotoxicidade transdentinária e efeito da carbodiimida (EDC) na biomodificação do colágeno dentinário e na degradação da interface adesiva

Pós-graduação em Ciências Odontológicas - FOAR

Avaliação das propriedades nanomecânicas e do comportamento micromecânico da interface dentina/adesivo antes e após a degradação hidrolítica: análises através de nanoindentação e método dos elementos finitos tridimensional

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

Anatomização de pinos de fibra de vidro: estudo de propriedades mecânicas na interface restauradora adesiva

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

Análise da interface adesiva entre pinos de fibra de vidro e dentina intrarradicular submetida à irrigação com diferentes agentes condicionantes

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

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.