Entre as principais dificuldades do desenvolvimento de software de qualidade está a especificação e o projeto conceitual. Neste contexto, a modelagem de sistemas tem um papel importante, pois torna possível a análise das características do projeto e sua validação antes da fase de implementação. Esta tese aborda o problema de modelagem e análise do software embarcado de piloto automático de um VANT utilizando UML e a ferramenta CASE Rational Rose RealTime. A partir do modelo obtido são utilizadas três abordagens para sua análise e avaliação: (1) aplicação de um conjunto de métricas no código gerado pela ferramenta CASE; (2) integração do modelo implementado na ferramenta CASE com um simulador da dinâmica do VANT, desenvolvido em MatLab, de forma a verificar o comportamento do sistema em malha fechada; e (3) conversão do modelo em UML para redes de Petri, um formalismo matemático que permite a verificação formal de propriedades do sistema.

Este trabalho se propõe a simular a emissão de NOx na condição de decolagem, para motores de diversos fabricantes, usando o software de simulação de desempenho GasTurb (versão 10) e obter resultados próximos aos dados experimentais apresentados na planilha de certificação de emissões da ICAO (Organização Internacional de Aviação Civil). O GasTurb é utilizado sobretudo em cálculos do ponto de projeto e permite similar, numa única subrotina, vários motores. Mais que isso, objetiva-se apresentar os passos a serem seguidos para a avaliação dos ciclos completes de emissões (LTO), usando-se o GasTurb, embora não seja o objetivo dessa dissertação um estudo detalhado desses ciclos. Finalmente, mostra-se que um modelo empírico de emissões de NOx que depende apenas da pressão e temperatura de entrada na câmara de combustão (P3 e T3) prevê com boa confiabilidade as emissões experimentais desse poluente em combustores convencionais.

Emerging applications with strict performance requirements have introduced needs for distinguishing services in computer networks so as to prioritize some applications more important or profitable than others. Actually it is possible to deliver only one service for all kinds of traffic so far, known as Best-effort service. Therefore, some Quality of Service (QoS) models were developed. These models have been used for resource allocation within network elements so that network traffic can be classified or differentiated. This has allowed a better network resources utilization. Nevertheless, it is not sufficient just to allocate resources for applications. We also need to monitor QoS parameters, in order to attest if the desired QoS is the one being provided, since problems with network element frequently happen. Some QoS monitoring tools were already developed, but they are able to detect End-to-end service degradations only. Hence they cannot pinpoint the sources of degradations. This research work proposes the development of QoS$_{PY}$, a SNMP-based distributed monitoring application that uses information from network elements (e.g. routers) to assess QoS. The major contribution of this work is to perform intermediate monitoring to provide means of detecting and locating QoS degradations into the network. In order to verify this contribution, a prototype was deployed and tested with experimental testbeds.

Esta dissertação consiste no estudo e simulação de um sistema de oxigênio suplementar de uma aeronave executiva de pequeno porte, em especial de simulações do desempenho das máscaras utilizadas neste sistema, tão importantes para a segurança da operação das aeronaves em caso de despressurização das cabines. Após discussões e comparações entre as diferentes arquiteturas utilizadas nos dias atuais, definiu-se um sistema de oxigênio completo, adequado aos padrões mais utilizados atualmente em aeronaves executivas de pequeno porte. O desempenho do sistema e das máscaras foram avaliados através de simulações no software Flowmaster (versão 7 - Aerospace) com o objetivo de cumprir com os requisitos mínimos legais de fluxo de oxigênio para pilotos e passageiros. Considerando as características físicas e funcionais dos diversos componentes de um sistema típico de oxigênio, foram realizadas simulações em diversas altitudes de voo. Estas simulações forneceram quedas de pressão ao longo do sistema, desempenho dos diversos componentes do sistema, quantidades mínimas de gás oxigênio a ser transportado e, principalmente, características físicas e funcionais das máscaras utilizadas pelos tripulantes e passageiros. Assim, modelos de máscaras puderam ser desenvolvidos. Os resultados encontrados ficaram dentro das expectativas e são coerentes com os resultados de ensaios realizados em equipamentos reais fabricados por diversos fornecedores. Comentários sobre os resultados finais e sugestões de novos estudos baseados neste trabalho são, por fim, apresentados.

O objetivo desta pesquisa foi verificar o nível de Accountability Horizontal dos Relatórios de Gestão das Universidades Federais Brasileiras apresentados ao Tribunal de Contas da União (TCU), como instrumento de avaliação de resultados pré-estabelecidos no orçamento da União, avaliando a adequação dos relatórios às dimensões de Accountability informacional, justificação e enforcement. Por intermédio do método de análise de conteúdo, utilizou-se de técnicas de tipologia textual da teoria linguística para classificar o nível de Accountability dos relatos das realizações da ação orçamentária 4009 dos Relatórios de Gestão das Universidades Federais em informacional (1º nível) ou em justificação (2ª nível), assim como para verificar se os normativos do TCU contribuíram com Enforcement (3º nível) para o aumento do nível de Accountability Horizontal. Análise dos RG e dos Normativos procedeu-se pela elaboração, com base na teoria revisada, e aplicação de duas matrizes: \"Matriz de Análise da Dimensão Responsabilidade da Ação 4009\" e a \"Matriz de Análise da Dimensão Enforcement dos normativos do TCU sobre os Relatórios de Gestão das Universidades Federais\". Ao final das análises, considerando os resultados da aplicação das duas matrizes, as limitações e as restrições das análises à ação 4009 e a normativos específicos do TCU, chegou-se a conclusão de que os relatos da ação orçamentária 4009 enquadram-se na dimensão informacional, embora houvesse enforcement, por parte do TCU, para que se atingisse o nível dimensional de justificação. Entretanto, mesmo que houvesse limitações e restrições quanto à generalização das análises da ação 4009 e dos normativos do TCU pelas duas matrizes, a \"Matriz de Análise da Dimensão Responsabilidade da Ação 4009\" poderia ser aplicada a outras ações orçamentárias de diferentes Entidades Públicas e exercícios financeiros e a \"Matriz de Análise da Dimensão Enforcement dos normativos do TCU sobre os Relatórios de Gestão das Universidades Federais\" poderia ser aplicada a outros normativos do TCU ou de outras Agências de Accountability de diferentes esferas de governo. / The aim of this study was to verify the level of Horizontal Accountability of the Management Reports of the Brazilian Federal Universities, which were presented to the Brazilian Federal Court of Auditors (TCU), as an instrument of assessment of pre-established results in the Central government budget, by evaluating the adequacy of the reports to the informational, justification and enforcement dimensions of Accountability. Content analysis was used along with techniques of textual typology of linguistics to classify the level of Accountability of the reports of the achievements of the budget action #4009 of the Management Reports of the Federal Universities in informational (1st level) or justification (2nd level), as well as to check whether the regulations of TCU contributed with Enforcement (3rd level) to increase the level of Horizontal Accountability. The analysis of the Management Reports and of the normative acts were performed through elaboration, based on the revised theory, and application of two matrices, named \"Analysis of Dimension Responsibility of Action #4009\" matrix and \"Analysis of Dimension Enforcement of the TCU normative acts on the universities\' Management Reports\" matrix. At the end of the analysis, considering the results of the application of the two matrices, the limitations and restrictions of the analysis to the action #4009 and the specific legislation enacted by TCU, the conclusion was that the reports of the budget action #4009 fall into the informational dimension, although there was enforcement, by the TCU, in order to reach the dimensional level of justification. However, even if there were restrictions and limitations regarding the generalization of the analysis of the action #4009 and of the TCU normative acts, the \"Analisys of Dimension Responsibility of Action #4009\" matrix could be explained by other budget actions of different public entities and financial exercises; and the \"Analysis of Dimension Enforcement of the TCU normative acts on the universities\' Management Reports\" matrix could be applied to other normative acts of TCU or other agencies of Accountability in different government spheres.

Esta dissertação de mestrado aborda a Composição de Web services baseada em atributos de Qualidade de Serviço (CWSbQ). Foi selecionado o domínio de sistemas de e-commerce, por se tratar de uma área em franca expansão, tanto no cenário nacional como internacional. Além disso, os sistemas de e-commerce podem se beneficiar da CWSbQ devido à sua interoperabilidade e atendimento aos requisitos de qualidade de serviço de seus clientes. Foram implementados dez algoritmos para resolver esse problema, usando várias técnicas diferentes, sendo elas: busca aleatória, busca exaustiva, busca heurística, busca meta-heurística e um algoritmo híbrido. Foram realizados experimentos de avaliação de desempenho, considerando tamanhos de espaço de busca diferentes e dois deadlines estabelecidos. As principais contribuições deste trabalho foram o desenvolvimento de três novos algoritmos: Heurística Gulosa (HG), Heurística Gulosa 2 (HG2) e Algoritmo Genético Duplamente Híbrido (AGDH); o uso de planejamento de experimentos e avaliação de desempenho para aperfeiçoar Algoritmos Genéticos (AGs) usados no problema de CWSbQ; e o estudo de adequação dos algoritmos de CWSbQ para diferentes situações / This MSc dissertation addresses the QoS-aware Web services composition (QWSC) problem. The field of e-commerce systems was selected because it comprises an area in wide expansion, both in national and international scenarios. Furthermore, e-commerce systems can benefit from QWSC due to its interoperability and compliance to the requirements of quality of service of the customers. Ten algorithms were implemented to solve this problem by using several different techniques, namely: random search, exhaustive search, heuristic search, meta-heuristic and a hybrid algorithm. Performance evaluation was made considering different search space sizes for two different established deadlines. The main contributions of this work were the development of three new algorithms: Greedy Heuristic (GH), Greedy Heuristic 2 (GH2) and Doubly Hybrid Genetic Algorithm (DHGA); the use of planning of experiments and performance evaluation to improve the genetic algorithms (GAs) used in QWSC problem; and a suitability study of QWSC algorithms for different situations

Esta tese de Doutorado tem como objetivo apresentar uma arquitetura para metaescalonamento verde com provisão de qualidade de serviço em uma nuvem privada denominada GreenMACC. Essa nova arquitetura oferece a automatização na escolha de políticas em quatro estágios de escalonamento de uma nuvem privada, permitindo cumprir a negociação que foi estabelecida com o usuário. Devido a essa função, é possível garantir que o GreenMACC se comporte seguindo os princípios da computação verde sem deixar de se preocupar com a qualidade do serviço. Nesta tese o GreenMACC é apresentado, detalhado, discutido, validado e avaliado. Com os resultados apresentados pode-se concluir que a arquitetura proposta mostrou-se consistente, permitindo a execução dos serviços requisitados com diversas políticas de escalonamento em todos os seus estágios. Além disso, demonstrou flexibilidade em receber novas políticas, com focos verde e de qualidade de serviço, e eficiência na escolha das políticas de escalonamento de acordo com a negociação feita com o usuário. / This PhD thesis aims to present an architecture for green metascheduling with provision of quality of service in a private cloud called GreenMACC. This new architecture offers the possibility of choosing automatically the four stage scheduling policies of a private cloud, allowing to reach the users negotiation. As a result of this function, it is possible to ensure that GreenMACCs behavior follows the green computing principles and also is worried about the quality of the service. In this thesis Green- MACC is presented, particularized, discussed, validated and evaluated. The results show that the proposed architecture is consistent, allowing the execution of the requested services considering various scheduling policies in the stages. Moreover, GreenMACC proves to be flexible as allows new policies, focusing on green and quality of service, and to be efficient as chooses the scheduling policies following the users negotiation.

A intensificação da globalização tem afetado diretamente organizações e pessoas, não é diferente quando se trata das instituições de ensino superior. Desta forma, a internacionalização do ensino superior vem se intensificando e os impulsionadores destes esforços vêm se tornado cada vez mais fortes nos últimos anos. Diante das demandas que surgem neste contexto de intensa globalização, esforços realizados em resposta a este fenômeno são empreendidos, mas muitas vezes sem o alcance dos resultados esperados. O propósito deste estudo é adaptar e propor o Balanced Scorecard (BSC) como ferramenta de auxílio ao processo de gestão da internacionalização do ensino superior às universidades públicas brasileiras. O estudo se justifica pela compreensão de que organizações precisam monitorar seus processos e resultados. Devem se esforçar para conhecer seus pontos fracos e fortes, bem como as possibilidades de correção de desvios e maximização de resultados, assim contribuindo para o alcance de seus objetivos, entende-se que uma ferramenta voltada ao auxílio das atividades relacionadas a internacionalização do ensino superior pode contribuir diretamente para a melhoria do processo. A metodologia adotada para a condução do estudo foi o estudo de caso, desenvolvido em cinco instituições públicas de ensino superior brasileiras de melhor reputação internacional, em acordo com cinco rankings internacionais. A análise dos resultados proporcionou a identificação de seis perspectivas a serem utilizadas no BSC proposto: 1. Perspectiva da mudança organizacional; 2. Perspectiva dos recursos materiais, financeiros e estruturais; 3. Perspectiva do desenvolvimento de pessoas; 4. Perspectiva da inovação curricular; 5. Perspectiva da mobilidade acadêmica e 6. Perspectiva dos stakeholders. A partir da definição destas perspectivas, apresentou-se o mapa estratégico a ser utilizado pelas universidades. / The intensification of globalization has directly affected organizations and individuals, is no different when it comes to higher education institutions. Thus, the Internationalization of higher education has been increasing and the drivers of these efforts has become increasingly stronger in recent years. Faced with the demands that arise in this context of intense globalization, efforts made in response to this phenomenon are undertaken, but often without achieving the expected results. The purpose of this study is to adapt and propose the Balanced Scorecard (BSC) as a tool for the management process of higher education internationalization to the Brazilian public universities. The study is justified by the understanding that any organization needs to monitor their processes and results, should strive to know their strengths and weaknesses, as well as the correction of possible deviations and maximization of results, thus contributing to the achievement of its objectives, it is understood that a tool aimed to support activities related to internationalization of higher education can contribute directly to the improvement of the process. The methodology used to conduct the study was the case study, developed in five best international reputation public higher education institutions in Brazil, in accordance with five international rankings. The analysis provided the identification of six perspectives to be used in the proposed BSC: 1. Organizational change perspective; 2. Material, financial and structural resources perspective; 3. People development perspective; 4. Curriculum innovation perspective; 5. Academic mobility perspective and 6. Stakeholders perspective. From the definition of these perspectives, presented the strategic map to be used by universities.

O modelo de gestão pública adotado pelo estado de Minas Gerais, conhecido como \"Choque de Gestão\", foi implementado utilizando-se de um instrumento de pactuação de resultados, denominado \"Acordo de Resultados\", que prevê possíveis recompensas para o alcance das metas pactuadas. Considerando o Acordo de Resultados e a premissa de que os agentes fazem ajustes ou mudanças nos indicadores de desempenho nele contidos para adequar interesses distintos àqueles inicialmente almejados, esta pesquisa buscou identificar os fatores organizacionais e ambientais que influenciam as alterações dos indicadores de desempenho na estrutura gerencial do governo mineiro, à luz da Teoria de Agência e da Teoria da Contingência. Para alcançar o objetivo proposto, realizou-se um estudo de caso contendo abordagens quantitativa e qualitativa, utilizando-se de análise documental, questionário e entrevistas semiestruturadas para a coleta de dados. Em um primeiro momento, realizou-se a análise quantitativa dos dados, por meio de análise fatorial e regressão logística, para verificar os fatores associados as alterações dos indicadores de desempenho identificados nos documentos de celebração do Acordo de Resultados em um período de quatro anos. Posteriormente, foram analisadas as entrevistas realizadas, por meio de análise de conteúdo, para captar possíveis elementos não observados na análise quantitativa. Os resultados encontrados evidenciam que a maneira como os indicadores de desempenho foram aplicados, sem integração, pensando em cada secretaria individualmente e contando com um órgão que acompanha a gestão de maneira frágil, faz com que o Acordo de Resultados se mostre volátil e não proporcione o benefício esperado como instrumento de controle nem como promotor de melhorias no processo de gestão. Encontrou-se ainda que, a accountability é comprometida pela fragilidade da estrutura gerencial por meio das alterações dos indicadores, sendo que a mesma poderia também atuar como como parte de um conjunto de possíveis soluções para mitigar os problemas detectados ao longo da análises realizadas, agindo como um mecanismo de proteção contra alterações indevidas nos indicadores de desempenho. Assim, concluiu-se que as ferramentas gerenciais aportadas no Choque de Gestão apresentam-se insuficientes para blindar a estrutura gerencial do modelo de gestão diante de algumas pressões identificadas com base nas Teorias da Agência e na Teoria da Contingência, desvirtuando o modelo inicialmente proposto e promovendo alterações nos indicadores. / The government of the Brazilian state of Minas Gerais adopted a management model, known as \"Management Shock\" (Choque de Gestão), by way of covenants called \"Agreement on Results\", which foresee possible rewarding for the achievement of targets agreed upon. Considering such covenants and the assumption that agents can promote adjustments or changes in performance indicators therein contained, in order to suit interests different of those initially targeted, this research sought to identify, in light of the Agency and Contingency Theories, the organizational and environmental factors influencing performance indicators changes in the government\'s management structure. To this end, we conducted a case study, comprising quantitative and qualitative approaches, using documentary analysis, a questionnaire and semi-structured interviews to collect data. We initially performed a quantitative data analysis, through factor analysis and logistic regression, to ascertain the factors associated with changes in performance indicators identified in covenants celebrated over a period of four years. The interviews were subsequently submitted to content analysis, in order to capture elements that possibly passed unnoticed in the quantitative analysis. Results point out that lack of integration in the application of performance indicators, by regarding each department by itself and relying on a governmental agency that only feebly supervises management, leads to covenants proving volatile and not providing its expected benefits as control tools or acting as enhancers to the management process. We also found that accountability is compromised by the management\'s structure weakness, incurred through changes to indicators. It is pointed out that accountability could be part of a set of possible solutions directed to mitigate the problems identified throughout the analysis, acting as a protection mechanism against unauthorized changes in performance indicators. We conclude that the tools provided under \"Management Shock\" are not sufficient to shield the model\'s managerial structure from pressures identified according to the Agency and Contingency Theories, undermining the model, as originally proposed, and allowing for indicators changes.

A presente pesquisa objetivou analisar o percurso do usuário e a oferta de ações nos serviços de saúde para o diagnóstico da tuberculose (TB). Trata-se de um estudo descritivo, do tipo inquérito realizado no município de Ribeirão Preto. A população do estudo foi de 100 doentes de TB acompanhados nos cinco ambulatórios de referência para o tratamento da doença no período da coleta de dados (junho a dezembro de 2009). Foram critérios de inclusão: estar em tratamento para TB, ser residente no município de Ribeirão Preto, com idade igual ou superior a 18 anos, não pertencentes ao sistema prisional. A coleta de dados foi realizada em duas etapas, sendo a primeira a entrevista com o doente de TB, por meio de um questionário estruturado contendo questões relacionadas aos aspectos sócio-demográficos e buscando resgatar o percurso do paciente desde o momento em que se sentiu doente, a procura pelo primeiro serviço de saúde e o diagnóstico da doença. A segunda etapa contou com a coleta de dados secundários em dois sistemas de informação, sendo eles: o TB-WEB, onde foram obtidos registros relativos aos dados clínicos dos doentes e o Hygia-WEB, para obtenção de informações acerca dos serviços de saúde e profissionais que atenderam o paciente, além de exames solicitados. Foram elaborados indicadores relacionados ao desempenho dos serviços de saúde para o diagnóstico da TB, considerando as categorias de análise: \"ofertas de ações nos serviços de saúde\", \"fluxo de atendimento desde o primeiro serviço de saúde até o diagnóstico\" e \"resolubilidade dos casos nos serviços de saúde\". Os dados foram analisados por meio de técnicas de estatística descritiva e a elaboração de um esquema do percurso do usuário pelos serviços de saúde. Os resultados mostraram que 69% dos doentes de TB buscaram o Pronto-atendimento (PA) como primeiro serviço de saúde e a Unidade de Atenção Básica (UAB) foi a que menos diagnosticou casos da doença (2%). Os achados evidenciaram a preferência dos usuários na procura por serviços de PA, uma vez que 82% passaram pelo menos uma vez por este tipo de serviço até o diagnóstico da TB, o que não garantiu a elucidação do caso com agilidade e rapidez, uma vez que a maioria dos doentes foi diagnosticada em Serviços Especializados (SE) (90%). Notou-se que a baciloscopia de escarro foi solicitada para 55,9% dos usuários que procuraram os SE e que o médico foi o profissional que mais atendeu nos serviços de saúde procurados, principalmente nos PA (98,8%). A mediana do tempo de diagnóstico foi semelhante dentre os que procuraram primeiro as UAB e os PA, sendo respectivamente de 33,5 e 33,0 dias. A mediana do número de vezes que o usuário procurou por um serviço de saúde foi maior dentre os que procuraram a Atenção Básica como primeiro atendimento (5,5 vezes). Os resultados pressupõem que haja um ordenamento do sistema de saúde local, com retaguarda e equipe preparada nos diferentes níveis assistenciais para que determine o menor tempo possível para o diagnóstico da doença. / The present study aimed to analyze the trajectory of the user and the offer of actions in the health services for the diagnosis of tuberculosis (TB). This is a descriptive, survey type study, held in the city of Ribeirão Preto. The subject group of the study was of 100 TB patients followed in five referenced clinics to the treatment of the disease during the period of data collection (June-December, 2009). Inclusion criteria was: being treated for TB, being a resident in the city of Ribeirão Preto, aged 18 or over, not being in prison system. Data collection was performed in two stages, the first being the interview with the TB patient, using a structured questionnaire that sought to track down the trajectory of patient from the moment they felt sick to the demand for the first health service and diagnosis of disease. The second stage involved the collection of secondary data in two information systems, namely: the TB-WEB, in which records relating to the patient were obtained and Hygia-WEB, to obtain information about health services and professionals who treated the patient, and also requested exams. Indicators related to health services performance for the diagnosis of TB were prepared, considering the categories of analysis: \"offer of actions in health services\", \"service flow from the first health service to diagnosis\" and \"solvability of cases in health care.\" Data were analyzed using descriptive statistics techniques and the preparation of a scheme of the trajectory of the user in health services. The results showed that 69% of TB patients sought Emergency Care as the first health service and the Primary Care Unit was the one that diagnosed cases of the disease the least (2%). The findings indicated the preference of the users in the demand for Emergency Care, since 82% went at least once to this type of service until the diagnosis of TB. This fact has not ensured elucidation in the case with agility and speed, since the majority of patients were diagnosed in Specialized Services (90%). It was noted that sputum smear was applied to 55.9% of users who tried the Specialized Services and the doctor was the professional who most served in the health services that were sought, especially in Emergency Care (98.8%). The average time to diagnosis was similar among those who first sought the Primary Care Unit and the Emergency Care, being each one 33.5 and 33.0 days. The average number of times a user searched for a health service was higher among those who went to Primary Care Unit as a first contact (5.5 times). The results imply that the local health system must be organized with backup and team prepared for the different levels of care in order to determine at the shortest time the diagnosis of the disease.