Electronic contracting in aircraft aftercare: A case study

Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

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.

Desenvolvimento de programa de gestão voltado à manutenção das máquinas e equipamentos e ao melhoramento dos processos de manufatura fundamentado nos princípios básicos do Total Productive Maintenance (TPM)

Esta dissertação de mestrado trata do tema Total Productive Maintenance (TPM) ou Manutenção Produtiva Total (MPT). O principal objetivo é avaliar sua contribuição no gerenciamento das atividades de manutenção industrial e como uma ferramenta da engenharia de processos para otimização dos processos de manufatura. A avaliação foi realizada com base em estudo de caso onde o TPM foi implementado em uma empresa do ramo eletro - eletrônico localizada na cidade de Caxias do Sul - RS. O plano de implementação foi elaborado baseado em revisão bibliográfica, a qual considerou o pensamento de autores nacionais e internacionais bem como a adequação do TPM levando em consideração a cultura e a realidade do sistema produtivo da empresa. A parte prática do programa envolveu a aplicação dos conceitos e filosofias fundamentais do TPM no sistema produtivo da empresa. Os principais resultados mensuráveis obtidos com a implementação, foram: (1) a elevação do Índice de Rendimento Operacional Global (IROG) de 0,552 para 0,634, observado nas máquinas consideradas restrição do sistema produtivo do setor (gargalos), (2) a redução nas quebras de máquinas em aproximadamente 45 %, (3) a criação de um ambiente que incentiva a participação dos funcionários com sugestões de melhorias, atingindo 3,2 sugestões de melhorias por funcionário por ano e, (4) reduções de 12,6 % de energia elétrica, 40 % no consumo de água e 797 litros de óleo lubrificante por ano. Entre os beneficios não mensuráveis destacam-se a criação de um ambiente de trabalho limpo, organizado e seguro, a formação de operadores multifuncionais e a eliminação de atmosfera de confronto que existia entre a operação e a manutenção. O estudo de caso também mostrou que o comprometimento da alta direção é fator fundamental para o sucesso do TPM.

Impact of maintenance of Macrobrachium rosenbergii de Man, 1879 (Crustacea, Decapoda, Palaemonidae) broodstock on the water used in culture ponds

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

Isolation and maintenance of symbiotic fungi of ants in the tribe Attini (Hymenoptera: Formicidae)

O isolamento e a manutenção de fungos basidiomicetos simbiontes de formigas da tribo Attini tem sido dificultado pela baixa velocidade de crescimento desses fungos, bem como pela presença de muitos microrganismos que vivem na superfície do material que as formigas mantêm no interior nos ninhos como substrato para o crescimento dos seus fungos simbiontes. No presente trabalho nós descrevemos um método que aumenta em mais de sete vezes a eficiência de isolamento desses fungos, quando comparada àquela obtida por procedimentos tradicionais. Ninhos subterrâneos de formigas atíneas dos gêneros Atta, Acromyrmex, Trachymyrmex e Mycetarotes foram localizados e deles foram coletadas amostras contendo fungos simbiontes e formigas, que foram transportadas para o laboratório, onde as formigas foram capazes de limpar a cultura do fungo e estimular o seu crescimento. em seguida, porções dos micélios foram assepticamente coletadas e transferidas para meio Yeast Nitrogen Base contendo glicose e cloranfenicol. Para facilitar a manutenção dos isolados em culturas de laboratório, diferentes nutrientes foram analisados para a elaboração de um meio de cultivo complexo, que possibilitou aumentar a velocidade de crescimento dos fungos e estocá-los por longos períodos. O método foi aplicado com sucesso para os fungos simbiontes de todos os gêneros de formigas estudados, gerando, assim, um procedimento extremamente útil para a formação e manutenção de uma coleção representativa de diferentes fungos simbiontes de formigas da tribo Attini.

Assessment of the ergonomic design of diagnostic ultrasound transducers through wrist movements and subjective evaluation

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

Protein Intake during Weight Loss Influences the Energy Required for Weight Loss and Maintenance in Cats

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

Real time B-mode ultrasound in pacas pregnancy (Agouti paca, Linnaeus, 1766)

O objetivo deste estudo foi estabelecer o tempo de prenhez da paca por meio de ultra-sonografia. Nove pacas prenhes foram periodicamente acompanhadas com um transdutor eletrônico setorial bi-frequencial de 5,0 e 7,5 MHz, em modo B, desde a detecção ultra-sonográfica da vesícula embrionária ou do feto até o nascimento dos filhotes. Os animais foram colocados em uma gaiola de ferro de prensagem lateral e permaneceram em posição quadrupedal durante as sessões. Um pano escuro foi usado para cobrir a gaiola e frutas foram oferecidas durante o exame ultra-sonográfico para evitar reações agressivas. Quanto mais precocemente ocorreu a detecção de prenhez, maior foi o período de acompanhamento ultra-sonográfico até o nascimento dos filhotes. Apenas um filhote nasceu por parto, com 796,5 ± 74,36 gramas (valor médio ± desvio padrão da amostra) e 33,46 ± 0,60 centímetros (valor médio ± desvio padrão da amostra) de comprimento (entre a borda rostral do focinho e a extremidade distal da cauda). O período de prenhez da paca abrange 135 a 139 dias.

Efficacy of linear and convex transducers for ultrasound-guided transvaginal follicle aspiration

A new device was developed to hold linear transducers for transvaginal follicle aspiration. Efficacy of follicle aspiration was compared using a linear 6 MHz and a convex 5 MHz transducer. Fifty-five cows were submitted to follicle aspiration at random days of the estrous cycle. Aspirations were conducted with linear (n = 28) and convex (n = 38) transducers with 18 G needles at a negative pressure corresponding to 13 ml H2O/min. A greater number of follicles were aspirated using convex than to linear probe (12.4 versus 7.8, respectively, P < 0.05). Mean number of oocytes and recovery rates were similar for convex (5.4 and 48.6%) and linear (4.6 and 59.3%) transducers. Limited space between the linear transducer and needle guide restricted access to some portions of the ovary, reducing the number of follicles aspirated using a linear transducer. The newly developed adaptor allowed greater stability, holding the ovaries firmly against the linear transducer. This diminished mobility permitted a similar number of oocytes to be recovered with both transducers. In conclusion, this new adaptor provided a low cost alternative for routine follicle aspiration and oocyte recovery in cattle. (C) 2002 Elsevier B.V. All rights reserved.