Ex Calculus
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Sobre técnicas para manutenção e diagnóstico inteligente de sistemas mecatrônicos : estudo de caso utilizando cálculo de ordem fracionária / About intelligent maintenance and diagnosis techniques for mechatronic systems : case study using fractional order calculus
A competitividade no mercado global exige cada vez mais a fabricação de produtos de alta qualidade em curto tempo de fabricação, evitando tempos de parada para manutenção e reparo de máquinas e equipamentos, exigindo assim um eficiente controle de qualidade do processo e dos produtos para evitar a ocorrência de falhas de fabricação e utilização.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/08/2011
-
2. Verificação de propriedades do cálculo גex em Coq
O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com nomes, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a P
Publicado em: 2010