Mostrando ítems 1-10 de 20
Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
(Florianópolis, SC, 2012)
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2012)
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto ...
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2012)
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto ...
Caracterização e reciclagem de resíduos cerâmicos de construção civil para aplicação como adição pozolânica e como componente de clínqueres visando novos cimentos
(Universidade Estadual Paulista (Unesp), 2020-12-14)
Diante das demandas ambientais ligadas ao setor da construção civil tanto no que diz respeito à geração e descarte incorreto de resíduos quanto no que tange o grande consumo de recursos naturais e emissão de poluentes ...
Simulação numérica de escoamentos hipersônicos sobre corpos rombudos pelo método de elementos finitos
(Universidade Estadual Paulista (Unesp), 2007-12-07)
Este trabalho apresenta resultados da simulação numérica de escoamentos hipersônicos de fluidos, por meio de pySolver - um aplicativo computacional desenvolvido pelo autor. No aplicativo, as Equações de Euler foram ...
CFD modelling for the study of structural stability of dams and spillways subject to overtopping
(2020-02-05)
Nessa dissertação, primeiramente são revisadas as normas técnicas para o cálculo estimado das forças hidrodinâmicas, incluindo a força vertical que lâmina de água transbordante exerce sobre a crista da estrutura. Em seguida, ...
Combining clause learning and resolution for multimodal reasoning
(2020-05-15)
Vários aspectos de sistemas computacionais complexos podem ser modelados utilizando linguagens lógicas, que permitem a caracterização de noções como probabilidades, pos- sibilidades, noções temporais, conhecimento e crenças ...
Fabricação de microcanais para integração de uma língua eletrônica em um sistema lab-on-a-chip
(Universidade Estadual Paulista (Unesp), 2009-06-25)
Fabricamos neste trabalho microcanais em uma matriz de PDMS para otimização de uma configuração que permita, futuramente, a inserção de eletrodos interdigitados no interior dos mesmos para a integração da língua eletrônica ...