Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of [8] and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

A dignidade da pessoa humana como valor-fonte da ordem jurídica

O presente artigo objetiva dissertar sobre a influência do Humanismo na formatação do princípio constitucional da dignidade da pessoa humana, bem como analisar os corolários da incidência de tal princípio no ordenamento jurídico brasileiro.

Influência de bolhas de hélio e da microestrutura sobre a evolução térmica de filmes de alumínio implantados com cobre

Este trabalho apresenta os resultados de um estudo sistemático sobre as influências do tamanho de grão de filmes finos de Al e da implantação de íons de He sobre a evolução térmica de distribuições de átomos de Cu e formação de precipitados de Al-Cu. Filmes finos de Al depositados sobre substrato de SiO2/Si através de dois processos diferentes foram implantados com íons de Cu+ e He+ produzindo uma solução sólida supersaturada de Al-Cu (≈ 2,5 a 3,5 at. %) e nano-bolhas de He. Os valores de energia dos íons foram escolhidos de tal forma a produzirem uma camada rica em Cu e He na região a aproximadamente 100nm da superfície. Tais filmes foram tratados termicamente em alto-vácuo nas temperaturas de 200ºC e 280ºC por tempos de 0,5h e 2h. Os filmes foram analisados por Retroespalhamento Rutherford, para determinação do perfil de concentração dos átomos de Cu, e por Microscopia Eletrônica de Transmissão, para determinação da microestrutura do Al e dos sistemas de nano-partículas Al-Cu e Al-He. Os resultados experimentais mostraram que a evolução térmica da distribuição dos átomos de Cu e a formação de precipitados de Al-Cu são significativamente afetadas pela configuração e tamanho de grão do filme de Al e pelas implantações de He. O presente estudo mostrou que existe uma forte correlação entre o fluxo de vacâncias e a estabilidade da microestrutura de filmes finos de Al (Al/SiO2/Si) implantados com íons de Cu+ e He+ e tratados termicamente. A possibilidade de controlar os fluxos de vacâncias através de configurações da microestrutura dos filmes de Al é, portanto, um tema de grande interesse tecnológico relacionado a durabilidade das interconexões metálicas de dispositivos microeletrônicos.

Sistema portátil de aquisição de dados para análise dinâmica de estruturas mecânicas

Este trabalho apresenta um sistema microcontrolado para aquisição dinâmica de sinais. O sistema possui condicionadores analógicos para três canais de entrada, possibilitando a leitura de sinais diferenciais provenientes de transdutores ligados em ponte de Wheatstone. Estes condicionadores provêem tensão de excitação AC, com portadora de 5 kHz. A parte digital do sistema baseia-se no microcontrolador Intel 80C196. Apresenta interface com o usuário através de teclado e mostrador de cristal líquido. A taxa de aquisição é de 1000 amostras/s e o armazenamento dos dados é feito em memória Flash de 4 Mbits. Também possibilita comunicação digital serial com um microcomputador tipo PC para análise e tratamento dos dados adquiridos. Um protótipo do equipamento foi montado interligando as partes analógica e digital. Para a calibração dos condicionadores de sinais foi adotado o procedimento de calibração estática, tendo como referência uma unidade de calibração resistiva padrão. Foi determinado o comportamento dos condicionadores através de ensaios dinâmicos, sendo apresentados gráficos de resposta em amplitude e fase em função da freqüência do sinal de entrada. Os dados resultantes de ensaios estáticos e dinâmicos foram adquiridos por um osciloscópio digital e pelo sistema de aquisição desenvolvido. São mostrados gráficos comparativos dos sinais obtidos com ambos os equipamentos.