As metodologias clássicas de análise de desempenho de sistemas sobre silício (System on chip, SoC) geralmente são descritas em função do tempo de execução do pior-caso1 das tarefas a serem executadas. No entanto, nas aplicações do mundo real, o tempo de execução destas tarefas pode variar devido à presença dos diferentes eventos de entrada que ativam o sistema, colocando uma exigência diferente de execução sobre os recursos do sistema. Geralmente, um modelo da carga de trabalho é uma parte integrante de um modelo de desempenho utilizado para avaliar o desempenho de um sistema. O quão bom for um modelo de carga de trabalho determina em grande medida a qualidade das soluções do projeto e a precisão das estimativas de desempenho baseadas nele. Nesta tese, é abordado o problema de modelar a carga de trabalho para o projeto de sistemas de tempo-real cuja funcionalidade envolve processamento de fluxos de multimídia, isto é, fluxos de dados representando áudio, imagens ou vídeo. O problema de modelar a carga de trabalho é abordado sob a premissa de que uma caracterização acurada do comportamento temporal do software embarcado permite ao projetista identificar diversas exigências variáveis de execução, apresentadas para os diversos recursos de arquitetura do sistema, tanto na operação individual do conjunto de tarefas de software, assim como na execução global da aplicação, em fase de projeto. A caracterização do comportamento de cada tarefa foi definida a partir de uma análise temporal dos códigos de software associados às diferentes tarefas de uma aplicação, a fim de identificar os múltiplos modos de operação que o código pode apresentar dentro de um processador. Esta caracterização é feita através da realização de uma análise estática das rotas do código executável, de forma que para cada rota de execução encontrada, estimam-se os tempos extremos de execução (WCET e BCET)2, baseando-se na modelagem da microarquitetura de um processador on-chip. Desta forma, cada rota do código executável junto aos seus respectivos tempos de execução, constitui um modo de operação do código analisado. A fim de agrupar os diversos modos de operação que apresentam um grau de semelhança entre si de acordo a uma perspectiva da medida de processamento utilizado do processador modelado, foi utilizado o conceito de cenário, o qual diferencia o comportamento de cada tarefa em relação às entradas que a aplicação sob análise pode receber. Partindo desta caracterização temporal de cada tarefa de software, as exigências da execução global da aplicação são representadas através de um modelo analítico de eventos. O modelo considera as diferentes tarefas como atores temporais de um grafo de fluxo síncrono de dados, de modo que os diferentes cenários de operação da aplicação são definidos em função dos tempos variáveis de execução identificados previamente na caracterização de cada tarefa. Uma descrição matemática deste modelo, baseada na Álgebra de Max-Plus, permite caracterizar analiticamente os diferentes fluxos de eventos entre a entrada e a saída da aplicação, assim como os fluxos de eventos entre as diferentes tarefas, considerando as mudanças nas exigências de processamento associadas aos diversos cenários previamente identificados. Esta caracterização analítica dos diversos fluxos de eventos de entrada e saída é a base para um modelo de curvas de carga de trabalho baseada em cenários de aplicação, e um modelo de curvas de serviços baseada também em cenários, que dão lugar a caracterizar o dinamismo comportamental da aplicação analisada, determinado pela diversidade de eventos de entrada que podem ativar diferentes comportamentos do sistema em fase de execução. / Classical methods for performance analysis of Multiprocessor System-on-chip (MPSoCs) are usually described in terms of Worst-Case Execution Times (WCET) of the executed tasks. Nevertheless, in real-world applications the running time of tasks varies due to different input events that trigger the system, imposing a different workload on the system resources. Usually, a workload model is a part of a performance model used to evaluate the performance of a system. How good is a workload model largely determines the quality of design solutions and the accuracy of performance estimations based on it. This thesis addresses the problem of modeling the workload for the design of real-time systems which functionality involves multimedia streams processing, i.e, data streams representing audio, images or video. The workload modeling problem is addressed from the assumption that an accurate characterization of timing behavior of real-time embedded software enables the designer to identify several variable execution requirements that the individual operation of the software tasks and the overall execution of the application will present to the several system resources of an architecture, in design phase. The software task characterization was defined from a timing analysis of the source code in order to identify the multiple operating modes the code can exhibit within a processor. This characterization is done by performing a static path analysis on the code, so that for each given path the worst-case and bestcase execution times (WCET and BCET) were estimated, based on a microarchitectural modeling of an on-chip processor. Thus, every execution path of the code, with its estimated execution times, defines an operation mode of the analyzed code. In order to cluster the several operation modes that exhibit certain degree of similarity according to the required amount of processing in the modeled processor, the concept of scenario was used, which differentiates every task behavior with respect to the several inputs the application under analysis may receive. From this timing characterization of every application task, the global execution requirements of the application are represented by an analytical event model. It describes the tasks as timed actors of a synchronous dataflow graph, so that the multiple application scenarios are defined in terms of the variable execution times previously identified in the task characterization. A mathematical description of this model based on the Max-Plus Algebra allows one to characterize the different event sequences incoming to, and exiting from, the application as well as the event sequences between the different tasks, having in count changes in the processing requirements associated with the various scenarios previously identified. This analytical characterization between the input event sequences and the output event sequences states the basis for a model of scenario-based workload curves and a model of scenario-based service curves that allow characterizing the behavioral dynamism of the application determined by the several input events that activate several system behaviors, in the execution phase.

O estado de ansiedade pré-competitiva e seu possível relacionamento com o desempenho esportivo tem se tornado foco de investigação por diversos pesquisadores, principalmente na área da psicologia do esporte. Entretanto, na modalidade futsal, essa relação ainda encontra-se pouco explorada. Assim o objetivo geral do estudo foi verificar a relação entre ansiedade pré-competitiva e o desempenho esportivo em atletas profissionais de futsal durante os playoffs de um campeonato esportivo. Adicionalmente, buscou-se analisar a possível influência entre a condição de jogo (dentro e fora de casa) e fase do campeonato (quartas de final, semifinal e final) sob as respostas de ansiedade e desempenho, além de aplicar a Teoria da Catástrofe para testar a interação entre ansiedade, excitação fisiológica e desempenho. Para tanto o estudo analisou 16 atletas do sexo masculino de futsal, da categoria sub-20, pertencentes a um clube de elite, do estado de São Paulo, Brasil. O estudo foi conduzido durante os playoffs de um campeonato de alta importância para a equipe, sendo as coletadas realizadas nos jogos em casa e fora de casa, nas fases de quartas de final, semifinal e final. Em cada jogo, a coleta ocorreu entre 15 a 30min antes do aquecimento da equipe, sendo avaliados o estado de ansiedade pelo CSAI-2R e a excitação fisiológica pela VFC. O desempenho esportivo foi analisado subjetivamente pelo técnico (questionário em escala Likert). Os tratamentos estatísticos utilizados foram: ANOVA 2x3 para análise da influência da condição e fase do campeonato; a correlação de Pearson para analisar a correlação entre as variáveis analisadas e a regressão linear múltipla que compôs os cálculos da Teoria da Catástrofe. Para todas as análises, foram considerados um alfa de 5%. Como principais resultados destaca-se a relação positiva e significativa da excitação fisiológica e do desempenho entre as diferentes fases da competição. Correlações significativas foram estabelecidas entre as variáveis analisadas, entretanto a maioria delas classificadas como \"moderada\". Através da Teoria da Catástrofe foi possível observar uma positiva interação entre ansiedade, excitação fisiológica e desempenho esportivo. Através dos resultados encontrados, podemos concluir que: o estado de ansiedade pré-competitiva e o desempenho esportivo apresentam uma relação negativa em atletas de futsal. Esta relação pode ser observada com a aplicação da Teoria da Catástrofe, no qual sob altos níveis de ansiedade cognitiva, o desempenho do atleta de futsal tende a diminuir, apenas quando estado de excitação fisiológica estiver elevado. Podemos ainda concluir que a fase da competição pode influenciar significativamente no comportamento dos atletas, através de um aumento no nível de excitação fisiológica conjuntamente com um melhor desempenho com o passar das fases / The pre-competitive state anxiety and it´s possible relationship with the sport performance has become a focus of investigation for many researchers, especially in sport psychology. However in the sport futsal, this relationship is still inconclusive. Thus, the aim of this study was to investigate the relationship between pre-competitive anxiety and performance of professional athletes of futsal during the playoffs of a championship. Furthermore, in this study the possible influence of the phase and game condition on the anxiety and performance responses was analyzed, additionally, the Catastrophe Theory was used to see the interaction amongst cognitive anxiety, arousal and performance responses. To develop this study, 16 male professional futsal athletes were analyzed, belonging to an elite club of São Paulo, Brazil. The study was conducted throughout the playoffs of an important championship on high level for the team. The samples were collected in home and away venue in phases of quarterfinals, semifinals and finals. The data were collected about 15 to 30 minutes before the warm-up in each game, in which the anxiety by CSAI-2R and the physiological arousal by HRV were evaluated. Performance was analyzed subjectively (Likert Scale questionnaire) and objectively (match analysis). The used statistics treatments were: the ANOVA 2x3 for analyzing the influence of phase and game condition; the Pearson\'s correlation for testing the correlation among the variables (state anxiety, physiological arousal and performance) and for the Catastrophe Theory followed specific statistical tests. For all analyzes the alpha was set on 5%. Among the main results we identified a significant influence of the phase of competition for the pre-competitive physiological arousal and the subjective performance. Significant correlations were found among the variables, however, the majority of them was classified as \"moderate\". The Catastrophe Theory presented a positive application on the interaction among anxiety, physiological arousal by HRV indices and performance. Concerning the findings, we can conclude that the pre-competitive state of anxiety and the performance showed a negative relationship in futsal athletes. This relationship can be observed in the Catastrophe Theory, when under high levels of cognitive anxiety, decrease their performance as a function of the increase of physiological arousal. Beyond that, we can conclude that the phase of the game can influence the athlete\'s behavior. When the phase of championship increases, the athletes show a higher level of physical arousal, plus the great subjective performance

As camadas de enlace empregadas em redes sem fio de baixo custo e desempenho limitado, como as redes de sensores sem fio, são implementadas segundo o padrão IEEE 802.15.4. Prever o desempenho deste padrão é importante para analisar a viabilidade e o desempenho esperado de projetos envolvendo esse tipo de rede. Constatou-se que trabalhos anteriores com esse objetivo são incompletos no tocante às métricas aferidas e tem foco no cálculo de probabilidades, o que não faz parte da especificação do padrão. Assim, o objetivo deste trabalho foi projetar e implementar um modelo comportamental do padrão IEEE 802.15.4, cujos parâmetros possam ser facilmente alterados e que seja capaz de aferir as principais métricas de uma rede: vazão, taxa de entrega, atraso e gasto de energia. Os objetivos foram cumpridos com a validação do modelo perante simulação com o NS2. Além disso, o modelo foi utilizado para estudar a variação dos parâmetros aMaxFrameRetries, macMaxCSMABackos, initialCW e aUnitBackoPeriod do padrão IEEE 802.15.4, para estudar cenários em que os nós possuem tráfego assimétrico e cenários com diferentes relações de tamanho e taxa de chegada de pacotes, mantendo a taxa de bits constante. / Low cost and performance constrained wireless networks, such as wireless sensor networks, employ IEEE 802.15.4 standard as its MAC layer. Foreseeing this standard\'s performance is essential to analyze the feasibility and expected metrics results of these networks projects. It was observed that previous works with that aim are both incomplete regarding metrics of interest and focus on probability calculation, which is not part of the standard specication. Thus, the objective of this work is to project and implement a behavioral IEEE 802.15.4 standard model, which parameters may be easily set and that covers the main metrics of interest: throughput, delivery rate, delay and energy. The objectives were achieved, with model validation against NS2 simulations. Furthermore, the model was employed to analyze the performance variation caused by the parameters aMaxFrameRetries, macMaxCSMABackos, initialCW and aUnitBackoPeriod from the IEEE 802.15.4 standard and also scenarios with asymmetric trac conditions and packet size and arrival rate variations, maintaining a constant bitrate.

Esta dissertação tem como base de estudo a produção da habitação coletiva no Bairro de Higienópolis, na cidade de São Paulo, e por meio de uma reunião de projetos arquitetônicos significativos da evolução e transformação da arquitetura moderna paulistana entre as décadas de 30 e 60, quando surgem os primeiros edifícios de apartamentos, transformando de forma radical a sua configuração espacial. É dentro deste contexto que o esforço concentra-se em constituir um raciocínio crítico, aplicando a metodologia da análise do desempenho técnico-construtivo de edifícios em função das suas patologias construtivas originadas pelas deficiências do projeto, execução da obra, materiais utilizados na época de sua implantação e sua situação atual de manutenção, considerando seus reflexos e influências nos itens de desempenho dos materiais e técnicas construtivas utilizadas em cada órgão/elemento do edifício que será analisado segundo os Requisitos dos usuários - ISO 6241. / This master thesis deals with the analysis of collective dwelling construction in Higienópolis neighborhood, city of São Paulo, by means of several architectural designs which represent the most important transformation of the modern architecture in São Paulo, from 1930´s and 1960´s. In this contexts there was an effort to create a critical thought applying the technical-constructive performance analysis of buildings and theirs construction pathologies resultant from lack and deficiencies of design, materials, construction works, and building maintenance. The reflex and influences of construction pathologies on the performance requirements were studied based on general principles of performance analysis methodology first published in ISO 6241.

As demonstrações contábeis divulgadas pelas empresas têm sido objeto de diversos estudos. Tem-se tentado com as informações contábeis derivar modelos de orientação para investidores e credores, por meio da chamada análise de balanços. Muitos livros foram escritos sobre análise de balanços. O tema transformou-se em disciplinas em cursos de graduação e pós-graduação. E, para alguns, mais do que uma técnica, a análise de balanços, ou ainda, a análise de demonstrações contábeis, é uma arte. Construíram-se indicadores de previsão de insolvência, com base em instrumentos quantitativos sofisticados. ALTMAN (1968) foi precursor da aplicação de métodos quantitativos em informações contábeis com a finalidade de desenvolver modelos de previsão de falência. No Brasil, o estudo pioneiro é de Stephen Charles KANITZ (1974), que originou seu livro Como prever falências. Posteriormente, outros pesquisadores brasileiros desenvolveram modelos semelhantes, utilizando-se de técnicas estatísticas de regressões, análises fatoriais e discriminantes, redes neurais e outras (ELIZABETSKY, 1976; MATIAS, 1978; CORRAR, 1981; PEREIRA DA SILVA, 1982; ALMEIDA, 1993; MATIAS e SIQUEIRA, 1996). E esses mesmos balanços têm sido utilizados em estudos que buscam definir a excelência do desempenho das empresas. Foi também KANITZ que iniciou, em 1974, os estudos do que se consolidou na publicação Melhores e Maiores, da revista Exame. Hoje, sob a supervisão técnica de Nelson CARVALHO e Ariovaldo dos SANTOS, a publicação é aguardada pelo meio empresarial, que voluntariamente envia suas informações para a escolha da Melhor Empresa do Ano. A qualidade das informações contábeis divulgadas pelas empresas tem sido, portanto, amplamente discutida. E a transparência na divulgação das demonstrações financeiras está sendo relacionada ao exercício da responsabilidade social das empresas. Propôs-se a agregação às demonstrações tradicionalmente divulgadas do chamado Balanço Social, movimento que se iniciou na França em 1977 e chegou ao Brasil. Com informações sociais que abrangem dados sobre o emprego, remuneração e encargos, condições de higiene e segurança e outras, inclui ainda uma nova demonstração, a Demonstração do Valor Adicionado, que permitiria o cálculo do Produto Interno Bruto, por meio da utilização das informações contábeis das empresas. Adicionar valor, e distribuí-lo, tem sido um objetivo que se alia à meta empresarial suprema de obter lucro. O presente estudo pretende apresentar uma contribuição à avaliação do desempenho econômico das empresas por meio da Análise de Demonstrações Contábeis. Para tanto, identificou-se junto às áreas de matemática, engenharia de produção e pesquisa operacional uma técnica desenvolvida recentemente (1978) e ainda hoje com poucos trabalhos realizados no Brasil: a Análise por Envoltória de Dados ou Data Envelopment Analysis (DEA). As informações contidas na base de dados de Melhores e Maiores de Fipecafi-Exame são utilizadas na proposição de uma metodologia de aplicação (modelo estruturado) de Análise por Envoltória de Dados ao processo de análise das demonstrações contábeis de empresas. A metodologia é apresentada por um estudo de caso das empresas do setor elétrico brasileiro. Suas vantagens e limitações são exploradas, comparativamente aos resultados obtidos pelo indicador de Excelência Empresarial de Melhores e Maiores e ao Retorno sobre o Patrimônio Líquido, indicador contábil tradicional. Para generalização da metodologia são utilizadas as informações das empresas do setor alimentício. / The financial statements published by companies have been the object of various studies. By means of accounting information, attempts have been made to derive models for orienting investors and creditors through the so-called balance sheet analysis. Many books have been written on balance sheet analysis. The issue has been transformed into subject matters in graduate and postgraduate courses. And for some people, balance sheet analysis, also called financial statement analysis, is not only a technique but, what is more, it is an art. Insolvency forecasting indicators have been built up on the basis of sophisticated quantitative instruments. ALTMAN (1968) was a pioneer in applying quantitative methods to accounting information in order to develop bankruptcy forecasting models. In Brazil, the pioneering study was realized by Stephen Charles KANITZ (1974), which originated his book How to forecast bankruptcy. Later on, other Brazilian researchers developed similar models, using statistical regression techniques, factorial and discriminant analyses, neural networks, among others (ELIZABETSKY, 1976; MATIAS, 1978; CORRAR, 1981; PEREIRA DA SILVA, 1982; ALMEIDA, 1993; MATIAS and SIQUEIRA, 1996). And these balance sheets have also been used in studies aimed at defining companies’ performance excellence. In 1974, it was KANITZ who started the studies that were consolidated in the publication Melhores e Maiores (Best and Biggest) by the magazine Exame. Nowadays, under the technical supervision of Nelson CARVALHO and Ariovaldo dos SANTOS, the publication is awaited by the business world, which voluntarily sends its information for choosing the Best Company of the Year. Thus, the quality of the accounting information published by the companies has been widely discussed. And a relation is established between the transparency in publishing the financial statements and the exercise of social responsibility by the companies. A proposition has been made to add the so-called Social Balance Sheet to the traditionally published statements, a movement that has started in France in 1977 and has reached Brazil. Containing social information such as data on employment, compensation and charges, hygienic and safety conditions etc., it also includes a new statement, the Statement of Value Added, which would allow for the calculation of the Gross Domestic Product by using the companies’ accounting information. The addition and distribution of value has been an objective linked to companies’ paramount target, that is, obtaining profit. This study aims to present a contribution to companies’ economic performance evaluation through Financial Statement Analysis. For this purpose, a recently developed technique (1978) was identified in the fields of mathematics, production engineering and operational research, which has only been used in few studies in Brazil until now: the Data Envelopment Analysis (DEA). The information of the Melhores e Maiores database of Fipecafi-Exame is used to propose a methodology to apply (structured model) the Data Envelopment Analysis to the analytical process of companies’ financial statements. The methodology is presented by means of a case study on companies from the Brazilian electricity sector. Its advantages and limitations are explored in comparison with the results obtained from the Company Excellence indicator by Melhores e Maiores and with the Return on Equity, a traditional accounting indicator. In order to generalize the methodology, companies from the food sector are used.

O estado de ansiedade pré-competitiva e seu possível relacionamento com o desempenho esportivo tem se tornado foco de investigação por diversos pesquisadores, principalmente na área da psicologia do esporte. Entretanto, na modalidade futsal, essa relação ainda encontra-se pouco explorada. Assim o objetivo geral do estudo foi verificar a relação entre ansiedade pré-competitiva e o desempenho esportivo em atletas profissionais de futsal durante os playoffs de um campeonato esportivo. Adicionalmente, buscou-se analisar a possível influência entre a condição de jogo (dentro e fora de casa) e fase do campeonato (quartas de final, semifinal e final) sob as respostas de ansiedade e desempenho, além de aplicar a Teoria da Catástrofe para testar a interação entre ansiedade, excitação fisiológica e desempenho. Para tanto o estudo analisou 16 atletas do sexo masculino de futsal, da categoria sub-20, pertencentes a um clube de elite, do estado de São Paulo, Brasil. O estudo foi conduzido durante os playoffs de um campeonato de alta importância para a equipe, sendo as coletadas realizadas nos jogos em casa e fora de casa, nas fases de quartas de final, semifinal e final. Em cada jogo, a coleta ocorreu entre 15 a 30min antes do aquecimento da equipe, sendo avaliados o estado de ansiedade pelo CSAI-2R e a excitação fisiológica pela VFC. O desempenho esportivo foi analisado subjetivamente pelo técnico (questionário em escala Likert). Os tratamentos estatísticos utilizados foram: ANOVA 2x3 para análise da influência da condição e fase do campeonato; a correlação de Pearson para analisar a correlação entre as variáveis analisadas e a regressão linear múltipla que compôs os cálculos da Teoria da Catástrofe. Para todas as análises, foram considerados um alfa de 5%. Como principais resultados destaca-se a relação positiva e significativa da excitação fisiológica e do desempenho entre as diferentes fases da competição. Correlações significativas foram estabelecidas entre as variáveis analisadas, entretanto a maioria delas classificadas como \"moderada\". Através da Teoria da Catástrofe foi possível observar uma positiva interação entre ansiedade, excitação fisiológica e desempenho esportivo. Através dos resultados encontrados, podemos concluir que: o estado de ansiedade pré-competitiva e o desempenho esportivo apresentam uma relação negativa em atletas de futsal. Esta relação pode ser observada com a aplicação da Teoria da Catástrofe, no qual sob altos níveis de ansiedade cognitiva, o desempenho do atleta de futsal tende a diminuir, apenas quando estado de excitação fisiológica estiver elevado. Podemos ainda concluir que a fase da competição pode influenciar significativamente no comportamento dos atletas, através de um aumento no nível de excitação fisiológica conjuntamente com um melhor desempenho com o passar das fases / The pre-competitive state anxiety and it´s possible relationship with the sport performance has become a focus of investigation for many researchers, especially in sport psychology. However in the sport futsal, this relationship is still inconclusive. Thus, the aim of this study was to investigate the relationship between pre-competitive anxiety and performance of professional athletes of futsal during the playoffs of a championship. Furthermore, in this study the possible influence of the phase and game condition on the anxiety and performance responses was analyzed, additionally, the Catastrophe Theory was used to see the interaction amongst cognitive anxiety, arousal and performance responses. To develop this study, 16 male professional futsal athletes were analyzed, belonging to an elite club of São Paulo, Brazil. The study was conducted throughout the playoffs of an important championship on high level for the team. The samples were collected in home and away venue in phases of quarterfinals, semifinals and finals. The data were collected about 15 to 30 minutes before the warm-up in each game, in which the anxiety by CSAI-2R and the physiological arousal by HRV were evaluated. Performance was analyzed subjectively (Likert Scale questionnaire) and objectively (match analysis). The used statistics treatments were: the ANOVA 2x3 for analyzing the influence of phase and game condition; the Pearson\'s correlation for testing the correlation among the variables (state anxiety, physiological arousal and performance) and for the Catastrophe Theory followed specific statistical tests. For all analyzes the alpha was set on 5%. Among the main results we identified a significant influence of the phase of competition for the pre-competitive physiological arousal and the subjective performance. Significant correlations were found among the variables, however, the majority of them was classified as \"moderate\". The Catastrophe Theory presented a positive application on the interaction among anxiety, physiological arousal by HRV indices and performance. Concerning the findings, we can conclude that the pre-competitive state of anxiety and the performance showed a negative relationship in futsal athletes. This relationship can be observed in the Catastrophe Theory, when under high levels of cognitive anxiety, decrease their performance as a function of the increase of physiological arousal. Beyond that, we can conclude that the phase of the game can influence the athlete\'s behavior. When the phase of championship increases, the athletes show a higher level of physical arousal, plus the great subjective performance

Made available in DSpace on 2015-03-04T18:50:53Z (GMT). No. of bitstreams: 1 tese_pt.pdf: 595115 bytes, checksum: d770c01b95b6bf56187a1dc69943ffce (MD5) Previous issue date: 2007-09-27 / Modelos para diversos fenômenos baseiam-se em equações de balanço ou conservação. Dependendo do fenônemo e do que é admitido pelo modelo, nas equações são simplificadas e resolvidas de diferentes modos. O problema de injeção em um meio poroso de um fluido bifásico cujo equilíbrio depende da temperatura, por exemplo, pode ser modelado por uma equação de conservação de massa que inclui um termo difusivo; esta equação, por sua vez, pode ser discretizada por diferenças finitas tanto no tempo quanto no espaço e resolvida numericamente. O estudo estritamente analítico destes modelos é muito limitado. Uma compreensão mais detalhada do comportamento do modelo só pode ser obtida através de simulações numéricas e do estudo qualitativo de seus resultados. Os resultados de uma simulação só podem ser visualizados uma vez que esta tenha sido concluída: mas simulações de alta qualidade requerem simulações em malhas mais finas, que necessitam de mais tempo computacional. Mesmo para fluxos unidimensionais, o ciclo interativo de especificar os parâmetros para uma nova simulação com base nas conclusões tiradas de simulações prévias necessariamente inclui um tempo de espera indesejável. Sistemas capazes de resolver esta classe de problemas numéricos rápida e eficientemente são portanto o objetivo principal deste trabalho. Para obter alto desempenho no cálculo destas soluções, muitos fatores precisam ser levados em consideração: o custo computacional inerente às equações constitutivas usadas no modelo, o tipo específico de sistema linear resultante da discretização do problema, as diferentes alternativas quanto ao algoritmo de solução do sistema e suas implementações e os pontos fortes e limitações impostas por cada ambiente computacional que se deseja explorar. Como resultado do teste de diversas abordagens em diferentes máquinas, nós obtemos não somente um motor numérico eficiente para os casos de estudo apresentados neste trabalho, mas também um guia para a aplicação destas técnicas a problemas similares.

A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo. Por outro lado, a eficiência dos equipamentos depende de sua confiabilidade e manutenabilidade. Neste trabalho a análise de performance é avaliada com o uso de Rede de Petri p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise da otimização da saída do sistema, isto é, quantidade de itens produzidos. Nesta abordagem, uma lógica linear foi desenvolvida e validada utilizando-se uma comparação de resultados das classes de estados do algoritmo proposto com a ferramenta de simulação Tina para um modelo de um esquema produtor consumidor. Apresenta-se um estudo de caso na indústria automotiva, consistindo na análise dos problemas reais enfrentados em uma fábrica de carrocerias, com o uso da Rede de Petri p-t-Temporizada. / The necessity of growing in production, with reduction of costs and improvement in the quality of consumption good, has motivated the constant evolution of production systems, transforming traditional production systems into the modern and complex manufacturing systems, where the performance depends on the efficiency of the equipment and process control. On the other hand, the equipment efficiency depends of their reliability and maintainability. In this work it is proposed a performance evaluation and analysis with the use of p-t- Timed Petri Nets using simulations, including process reliability analysis of the system through the throughput optimization, i.e., produced amount of goods. In this approach, a linear logic statement was developed and validated using a comparison of results of classes of states between the Tina simulation environment and the algorithm considered for a model of a producing consuming system. A case study in the automotive industry is presented, consisting of the analysis of the real problems found in a body shop plant, with the use of Timed Petri Net.

A modelagem de distribuição de espécies tem como objetivo induzir um modelo para predizer a distribuição potencial de uma dada espécie. O modelo é projetado em um mapa de distribuição potencial que representa a probabilidade da presença da espécie em cada ponto. Esse processo de indução está relacionado com a estimativa do nicho fundamental da espécie, através da busca por relações entre dados georreferenciados de ocorrência da espécie e variáveis ambientais. Vários algoritmos de modelagem podem ser utilizados nessa tarefa. Oferecer diversos algoritmos pode tornar as ferramentas de modelagem mais completas. Porém, surge uma questão importante: qual algoritmo de modelagem escolher? Essa questão está relacionada com o desempenho preditivo das técnicas implementadas pelos algoritmos. Nesse contexto, o objetivo principal do trabalho foi organizar e especificar um método de análise de desempenho preditivo dos algoritmos de modelagem de distribuição de espécies. Através do método proposto é possível ter uma visão completa, estruturada e sistemática das etapas previstas em projetos de análise de desempenho preditivo dos algoritmos. O método pode ser utilizado como referência em estudos de validação de novos algoritmos, de comparação entre técnicas e na seleção de um ou mais algoritmos de modelagem. Como estudo de caso, o método proposto foi adotado nos testes de validação de um algoritmo baseado em Redes Neurais, desenvolvido e integrado ao framework openModeller, através da comparação com outros algoritmos já utilizados na modelagem. Além da própria validação, os testes tiveram como objetivo demonstrar a aplicabilidade do método. Os resultados mostraram que o algoritmo de Redes Neurais apresentou desempenho semelhante ao desempenho dos demais algoritmos, tendo sido, portanto, validado como adequado à tarefa de modelagem. Ainda no contexto da pesquisa, um algoritmo baseado na técnica de amostragem denominada Jackknife foi integrado ao openModeller, para aplicação na etapa de pré-análise. Testes relacionados com o tempo de execução foram realizados e uma versão paralela desse algoritmo foi desenvolvida. / The species distribution modeling aim is to induce a model to predict the potential distribution of a given species. The model is projected onto a potential distribution map that represents the presence probability of the species at each point. This induction process is related to the fundamental niche estimation of the species, through the search for relationships between georeferenced data of species occurrence and environmental variables. Several modeling algorithms can be used for this task. Providing different algorithms can make the modeling tools more complete. However, an important question arises: what modeling algorithm to choose? This issue is related to the predictive performance of the techniques implemented by the algorithms. In this context, the aim of this research was to organize and to specify a predictive performance analysis method of the species distribution modeling algorithms. Through the proposed method, it is possible to have a complete and structured vision of the steps in the planning of predictive performance analysis of the algorithms. The method may be used as a reference in validation studies of new algorithms, in comparison among techniques and in choosing one or more modeling algorithms. As a case study, the proposed method was adopted in the validation tests of an algorithm based on Neural Networks, developed and integrated into the openModeller framework, which was compared with other algorithms already used in modeling. Besides the validation itself, the tests intended to demonstrate the applicability of the method. The results showed that the Neural Networks algorithm presented similar performance to those of other algorithms and was validated as adequate to the modeling task. Still in the research context, an algorithm based on a sampling technique called the Jackknife was integrated to the openModeller, to be applied in the pre-analysis step. Tests related to the running time were carried out and a parallel version of this algorithm was developed.

Atualmente muitas instituições mantêm coleções de espécimes biológicas, e através de ferramentas computacionais digitalizam e disponibilizam seus dados para acesso através de portais de dados de biodiversidade. Um exemplo deste tipo de ferramenta é o portal de espécimes utilizado pelo GBIF (Global Biodiversity Information Facility), que centraliza em suas bases de dados milhões de registros, provenientes de instituições de diferentes localizações. A replicação das bases de dados locais nos portais é realizada através da utilização de protocolos (DiGIR / TAPIR) e esquemas de dados (DarwinCore). Entretanto a execução desta solução demanda uma grande quantidade de tempo, englobando tanto a transferência dos fragmentos de dados como o processamento dos mesmos dentro do portal. Com o crescimento da digitalização de dados dentro das instituições, este cenário tende a ser agravado cada vez mais, dificultando assim a manutenção de dados sempre atualizados dentro dos portais. Esta pesquisa propõe uma análise do processo de replicação de dados com objetivo de avaliar seu desempenho. Para isto é utilizado o portal de biodiversidade de polinizadores da IABIN como estudo de caso, o qual possui, além da replicação de dados convencionais o suporte a dados de interação. Com os resultados desta pesquisa é possível simular situações antes da efetivação das mesmas, prevendo assim qual será o seu desempenho. Adicionalmente estes resultados podem contribuir para melhorias futuras deste processo, visando a diminuição do tempo necessário da disponibilização dos dados dentro de portais de biodiversidade. / Currently many institutions keep collections of biological specimens, and through computational tools they digitalize and provide access to their data through biodiversity data portals. An example of this tool is the specimens portal used by GBIF (Global Biodiversity Information Facility), which focuses on its databases millions of records from different institutions around the world. The replication of databases in those portals is accomplished through the use of protocols (DiGIR / TAPIR) and data schemas (DarwinCore). However the implementation of this solution demands a large amount of time, encompassing both, the transfer of fragments of data as processing data within the portal. With the growth of data digitalization within the institutions, this scenario tends to be increasingly exacerbated, making it hard to maintenance the records up to date within the portals. This research proposes analyze the replication process data to evaluate its performance. To reach this objective is used the IABIN biodiversity portal of pollinators as study case, which support both situations: the conventional data and the interaction data replication. With the results of this research is possible to simulate situations before its execution, thus predicting what will be its performance. Additionally these results may contribute to future improvements of this process; in order to decrease the time required to make the data available in the biodiversity portals.