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.

DCE: the dynamic conditional execution in a multipath control independent architecture

This thesis presents DCE, or Dynamic Conditional Execution, as an alternative to reduce the cost of mispredicted branches. The basic idea is to fetch all paths produced by a branch that obey certain restrictions regarding complexity and size. As a result, a smaller number of predictions is performed, and therefore, a lesser number of branches are mispredicted. DCE fetches through selected branches avoiding disruptions in the fetch flow when these branches are fetched. Both paths of selected branches are executed but only the correct path commits. In this thesis we propose an architecture to execute multiple paths of selected branches. Branches are selected based on the size and other conditions. Simple and complex branches can be dynamically predicated without requiring a special instruction set nor special compiler optimizations. Furthermore, a technique to reduce part of the overhead generated by the execution of multiple paths is proposed. The performance achieved reaches levels of up to 12% when comparing a Local predictor used in DCE against a Global predictor used in the reference machine. When both machines use a Local predictor, the speedup is increased by an average of 3-3.5%.

Reusing values in a dynamic conditional execution architecture

A Execução Condicional Dinâmica (DCE) é uma alternativa para redução dos custos relacionados a desvios previstos incorretamente. A idéia básica é buscar todos os fluxos produzidos por um desvio que obedecem algumas restrições relativas à complexidade e tamanho. Como conseqüência, um número menor de previsões é executado, e assim, um número mais baixo de desvios é incorretamente previsto. Contudo, tal como outras soluções multi-fluxo, o DCE requer uma estrutura de controle mais complexa. Na arquitetura DCE, é observado que várias réplicas da mesma instrução são despachadas para as unidades funcionais, bloqueando recursos que poderiam ser utilizados por outras instruções. Essas réplicas são geradas após o ponto de convergência dos diversos fluxos em execução e são necessárias para garantir a semântica correta entre instruções dependentes de dados. Além disso, o DCE continua produzindo réplicas até que o desvio que gerou os fluxos seja resolvido. Assim, uma seção completa do código pode ser replicado, reduzindo o desempenho. Uma alternativa natural para esse problema é reusar essas seções (ou traços) que são replicadas. O objetivo desse trabalho é analisar e avaliar a efetividade do reuso de valores na arquitetura DCE. Como será apresentado, o princípio do reuso, em diferentes granularidades, pode reduzir efetivamente o problema das réplicas e levar a aumentos de desempenho.

The consequences of the culture aspect and the power distance in the execution of global strategies in multinational companies in Brazil

One of the challenges presented by the current conjecture in Global Companies is to recognize and understand that the culture and levels in structure of the Power Distance in Organizations in different countries contribute, significantly, toward the failure or success of their strategies. The alignment between the implementation and execution of new strategies for projects intended for the success of the Organization as a whole, rather than as an individual part thereof, is an important step towards reducing the impacts of Power Distance (PDI) on the success of business strategies. A position at odds with this understanding by Companies creates boundaries that increase organizational chasms, also taking into consideration relevant aspects such as, FSAs (Firm-Specific Advantages) and CSAs (Country-Specific Advantages). It is also important that the Organizations based in countries or regions of low Power Distance (PDI) between its individuals be more flexible and prepared to ask and to hear the suggestions from Regional and Local Offices. Thus, the purpose of this study is to highlight the elements of effective strategy implementation considering the relevant aspects at all levels of global corporate culture that justify the influences of power distance when implementing new strategies and also to minimize the impacts of this internal business relationship. This study also recognizes that other corporate and cultural aspects are relevant for the success of business strategies so consider, for instance, the lack of alignment between global and regional/local organizations, the need for competent leadership resources, as well as the challenges that indicate the distance between the hierarchical levels ─ Headquarters and Regional Office ─ as some of the various causes that prevent the successful execution of global strategies. Finally, we show that the execution of the strategy cannot be treated as a construction solely created by the Headquarters or by only one Board and that it needs to be understood as a system aimed at interacting with the surroundings.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Ovário-histerectomia vídeo-assistida com único portal em cadelas: estudo retrospectivo de 20 casos

O objetivo do presente estudo foi avaliar retrospectivamente as 20 primeiras ovário-histerectomias vídeo-assistidas com único portal (SPVA-OSH), realizadas por um cirurgião não proficiente nessa técnica. Vinte cadelas foram submetidas à laparoscopia para SPVA-OSH, com o auxílio de um endoscópio de 10mm, com canal de trabalho de 5mm, inserido por um trocarte, posicionado na região pré-púbica, e coagulação bipolar. O tempo cirúrgico médio foi de 22,95±5,17 minutos. Os cinco primeiros procedimentos consumiram mais tempo cirúrgico do que os demais. A abordagem aos pedículos ovarianos direito e esquerdo foram as etapas que apresentaram maior tempo de execução. Houve complicação leve ou moderada em seis (30%) das 20 cadelas operadas. As complicações foram: hemorragia leve ou moderada em um dos pedículos ovarianos em quatro (20%) cadelas e hemorragia grave, devido à punção do baço com agulha de Veress em dois (10%) animais. A SPVA-OSH foi realizada em cadelas por um cirurgião no início da curva de aprendizado, sem complicações maiores.

Granjas leiteiras na região de Ribeirão Preto - SP

On the activities of dairy farm, the constructions for the animals are basic and of utmost importance in the production process, their designs should be based on technical and economic solutions, which offer extremely efficient and functional conditions. The objectives of this work was to research and study the characteristics of dairy farms located in some towns near Ribeirao Preto and the south of Minas Gerais State and recommend solutions based on the literatures for the execution of dairy projects around Ribeirao Preto region. The study was conducted based on theoretical and in loco observations, considering the following parties of dairy farm: free stall, calves housing, milking room and its annexes (footbath, foot clean and waiting corral). The results obtained of this study appeared that most of the dairy farms were designed without technical and effective economical solutions.

Utilização de medidas biométricas para predizer características da carcaça de cabritos Saanen

Foram determinadas medidas biométricas de caprinos leiteiros com o objetivo de estimar equações que permitam predizer o peso e as características da carcaça de animais sob diferentes condições nutricionais. Realizou-se um experimento em duas fases, utilizando-se 27 cabritos machos da raça Saanen em cada uma, distribuídos nos tratamentos: alimentação à vontade, 30 e 60% de restrição. O peso vivo (PV) inicial foi de 5 kg na Fase 1 e 20 kg na Fase 2, abatendo-se os animais ao atingirem 20 e 35 kg de PV, respectivamente. Foram determinadas as medidas biométricas e avaliada a condição corporal no animal vivo e, após o abate e resfriamento de 24 horas, as medidas da carcaça. Estimaram-se o peso em jejum (PJ), o peso da carcaça fria (PCF) e a compacidade da carcaça, em função das medidas biométricas. O perímetro torácico e o comprimento corporal foram as medidas biométricas que apresentaram melhor ajuste para estimar o PJ, o PCF e a compacidade da carcaça e, por isso, são recomendados, por serem precisos, práticos e de fácil execução.

Aloetismo em Acromyrmex subterraneus brunneus Forel (Hymenoptera, Formicidae), durante o forrageamento, cultivo do jardim de fungo e devolução dos materiais forrageados

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

O livro didático de história hoje: um panorama a partir do PNLD

O artigo objetiva delinear uma breve radiografia do livro didático contemporâneo em função de algumas temáticas centrais que têm ocupado o cenário de investigações relativas ao saber histórico escolar, porém sob o escopo daquilo que se apresentou no interior dos processos de inscrição, triagem e avaliação das obras inscritas para o Programa Nacional do Livro Didático para o ano de 2005. Consideraram-se, para efeito de categorização global, os resultados dessa última avaliação de livros de História, divulgada no início de 2004, na qual as autoras desempenharam papéis vinculados diretamente à execução do processo avaliativo.

A Management Tool for the Replication of Operating Systems in Wireless Communication Networks

To simplify computer management, various administration systems based on wired connections adopt advanced techniques to manage software configuration. Nevertheless, the strong relation between hardware and software makes for an individualism of that management, besides penalizing computational mobility and ubiquity. All these issues lead to degradation of scalability, flexibility and the facility to install and maintain distributed applications. This article presents an environment for centralized wireless communication network management, named WSE-OS (Wireless Sharing Environment - Operating Systems): a model based on Virtual Desktop Infrastructure (VDI) which associates virtualization techniques and safe remote access systems to create a distributed architecture as a base for a managing system. WSE-OS is capable of accomplishing the replication of operating system images using wireless communication network, besides offering abstraction of hardware to its clients, making the management more flexible and independent of wired connections. Results obtained from this work indicate that WSE-OS allows disseminating, through a single software configuration, the execution of data related to operating system images in client computers. WSE-OS can also be used as a management tool for operating systems in a wireless network.

Transient stability analysis of electric energy systems via a fuzzy ART-ARTMAP neural network

This work presents a methodology to analyze transient stability (first oscillation) of electric energy systems, using a neural network based on ART architecture (adaptive resonance theory), named fuzzy ART-ARTMAP neural network for real time applications. The security margin is used as a stability analysis criterion, considering three-phase short circuit faults with a transmission line outage. The neural network operation consists of two fundamental phases: the training and the analysis. The training phase needs a great quantity of processing for the realization, while the analysis phase is effectuated almost without computation effort. This is, therefore the principal purpose to use neural networks for solving complex problems that need fast solutions, as the applications in real time. The ART neural networks have as primordial characteristics the plasticity and the stability, which are essential qualities to the training execution and to an efficient analysis. The fuzzy ART-ARTMAP neural network is proposed seeking a superior performance, in terms of precision and speed, when compared to conventional ARTMAP, and much more when compared to the neural networks that use the training by backpropagation algorithm, which is a benchmark in neural network area. (c) 2005 Elsevier B.V. All rights reserved.

Modelo de programação matemática para controle do crescimento da vegetação sob redes de distribuição de energia elétrica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Value of ultrasonographic contrast in duplex scanning of leg arteries - Comparison with conventional duplex scanning and arteriography

Aim. Duplex scanning has been used in the evaluation of the aorta and proximal arteries of the lower extremities, but has limitations in evaluating the arteries of the leg. The utilization of ultrasonographic contrast (USC) may be helpful in improving the quality of the image in these arteries. The objective of the present study was to verify whether the USC increases the diagnostic accuracy of patency of the leg arteries and if it diminishes the time needed to perform duplex scanning.Methods. Twenty patients with critical ischemia (20 lower extremities) were examined by standard duplex scanning, duplex scanning with contrast and digital subtraction arteriography (DSA). The 3 arteries of the leg were divided into 3 segments, for a total of 9 segments per limb. Each segment was evaluated for patency in order to compare the 3 diagnostic methods. Comparison was made between standard duplex scanning and duplex scanning with contrast in terms of quality of the color-coded Doppler signal and of the spectral curve, and also of the time to perform the exams.Results. Duplex scanning with contrast was similar to arteriography in relation to patency diagnosis (p>0.3) and even superior in some of the segments. Standard duplex scanning was inferior to arteriography and to duplex scanning with contrast (p<0.001). There were improvements of 70% in intensity of the color-coded Doppler signal and 76% in the spectral curve after the utilization of contrast. The time necessary to perform the examinations was 23.7 minutes for standard duplex scanning and 16.9 minutes for duplex scanning with contrast (p<0.001).Conclusion. The use of ultrasonographic contrast increased the accuracy of the diagnosis of patency of leg arteries and diminished the time necessary for the execution of duplex scanning.