• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 78
  • 1
  • 1
  • Tagged with
  • 80
  • 80
  • 27
  • 25
  • 15
  • 14
  • 13
  • 12
  • 12
  • 12
  • 11
  • 11
  • 11
  • 10
  • 10
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Modelagem e produção de documentos com conteúdo variável

Moreira, Maria Isabel Giusti January 2007 (has links)
Made available in DSpace on 2013-08-07T18:43:12Z (GMT). No. of bitstreams: 1 000388455-Texto+Completo-0.pdf: 1678472 bytes, checksum: 10111011a3990a4b9ee14aabd1a774b9 (MD5) Previous issue date: 2007 / The companies and corporations are making efforts to attract and to keep customers and realized that it is important to know the preferences and characteristics of its customers. However, it is useless for these companies to possess the information stored in databases without applying them in documents, that present information about the habits of one client. To use this knowledge in practice, through personalized document generation, is necessary the use of variable data technology. This variable data technology can be considered still incipient by the lack of research with respect to models, languages and even software that facilitates the process of modeling and personalized document generation using variable contents. For existing this deficiency on the technology, in this work will be developed a bibliographical revision on the main concepts of variable data technology, besides presenting its use in set with the technique of structuring of documents, which used together will facilitate the control of the choices of the different contents contained in a structural tree, and with this will be possible to make, on a simplified form, the modeling and generation of personalized documents. On the basis of these concepts and main positive aspects of these technologies, also will be idealized and proposed a model that reduces the currently found deficiencies in these technologies, through the legalization of modeling process, showing that it is possible to generate several personalized document instances with variable contents. Finally, to validate the legalized model in the practical way, it will be developed an prototype that simulates and executes the actions and behaviors stipulated for the formalisms that compose the model, showing that this one is capable to generate personalized documents with different variable contents with one high degree of personalization. / Empresas e corporacões se esforçam para atrair e manter seus clientes e um dos fatores que contribui para isso é conhecer as preferências e características dos seus clientes de forma individualizada. Contudo, de nada adianta essas empresas possuírem essas informações armazenadas em bases de dados sem aplicá-las a documentos com marketing individualizado, que apresentem informações referentes aos hábitos e costumes de um cliente. Para que esses conhecimentos sejam utilizados na prática, através da geração de documentos personalizados, é necessária a utilização da tecnologia de dados variáveis. Essa tecnologia de dados variáveis pode ser considerada ainda bastante incipiente pela falta de pesquisas em relação a modelos, linguagens e até mesmo software que facilitem o processo de modelagem e geração de documentos personalizados utilizando conteúdos variáveis. Por existir essa deficiência sobre a tecnologia, neste trabalho será desenvolvida uma revisão bibliográfica sobre os principais conceitos da tecnologia de dados variáveis, além de apresentar a sua utilização em conjunto com a técnica de estruturação de documentos, que se utilizadas juntas facilitarão o controle das escolhas dos diferentes conteúdos contidos em uma árvore estrutural, e com isso será possível fazer, de forma simplificada, a modelagem e geração dos documentos personalizados. Com base nesses conceitos e principais aspectos positivos dessas tecnologias, será também idealizado e proposto um modelo que reduza as deficiências atualmente encontradas nessas tecnologias, através da formalização do processo de modelagem, mostrando que é possível gerar várias instâncias de documentos personalizados com conteúdos variáveis. Por fim, para validar o modelo formalizado na prática, será desenvolvido um protótipo que simule e execute as ações e comportamentos estipulados para os formalismos que compõem o modelo, mostrando que esse é capaz de gerar documentos personalizados com diferentes conteúdos variáveis com um alto grau de personalização.
2

Transformação de modelos de processos de negócio em BPMN para modelos de sistema utilizando casos de uso da UML

Heredia, Leonardo Rodriguez January 2012 (has links)
Made available in DSpace on 2013-08-07T18:43:15Z (GMT). No. of bitstreams: 1 000438602-Texto+Completo-0.pdf: 1994981 bytes, checksum: a5439343e1d91aaf3b5b229c798861a5 (MD5) Previous issue date: 2012 / The business processes models designed by business analysts act as requirement source to model information systems that may give support to these business processes. Transforming a business process model into a system model is not simple. The notation or language used to design business process model is different from the one used to design the system model. Today, BPMN is the pattern to build process models and UML is the pattern to design system models. The goal of this research is to present a method that helps the transformation business process model created in BPMN to system model using UML use cases. The transformation occurs through analysis of how each business element from a BPMN diagram can result in UML use cases elements. The method presents many alternatives to transform a BPMN element into a UML use case, by identifying the relationships and the initial information of cases descriptions. / Os modelos de processos de negócio definidos pelos analistas de negócio servem como fonte de requisitos para a modelagem dos sistemas de informação que podem ser construídos para dar suporte a esses processos. A transformação de um modelo em nível de negócio para um modelo em nível de sistema não é trivial. A notação ou linguagem utilizada para modelar o negócio é diferente da utilizada para modelar sistema. Atualmente a BPMN é a notação padrão para construção de modelos de processos de negócio e a UML é a linguagem padrão para modelagem de sistemas. O objetivo desse trabalho é apresentar um método que auxilie na transformação de modelos de processos de negócio feitos em BPMN para modelos de sistema utilizando casos de uso da UML. A transformação é realizada através da análise de como cada elemento de um diagrama BPMN pode dar origem a elementos de casos de uso da UML. O método apresenta diferentes possibilidades de transformar um elemento da BPMN em casos de uso da UML, identificando os relacionamentos e informações iniciais da descrição dos casos de uso.
3

Rastreabilidade ontológica sobre o processo unificado

Noll, Rodrigo Perozzo January 2007 (has links)
Made available in DSpace on 2013-08-07T18:42:17Z (GMT). No. of bitstreams: 1 000391614-Texto+Completo-0.pdf: 3194692 bytes, checksum: e81ae5d2caf845f14d0f107e395837c1 (MD5) Previous issue date: 2007 / Traceability refers to the ability to link information in a process chain. This work presents a traceability proposal by the integration of ontologies into the Unified Process [JAC99]. The ontology was created through the domain modeling, proposed during the earlier phases of the Unified Process. Using this ontology, a concept-based traceability is provided throughout the software lifecycle. This approach allows the integration of different models of a software system including business, requirements, analysis and design models in a lower granularity degree than conventional requirements traceability approaches. To assist the designers in creating the ontology and linking concepts to artifacts it was developed a tool for semantic traceability called ONTrace (Ontological Tracing), enhancing the proposal’s viability. To evaluate the process, an experiment was carried out to characterize the precision and effort related to the concept-based and requirement-based traceability. / A rastreabilidade se refere à habilidade de relacionar informações em uma cadeia de processo. Este trabalho apresenta uma proposta de rastreabilidade pela integração de ontologias no Processo Unificado [JAC99]. Sugere-se a criação de uma ontologia a partir da modelagem de domínio, durante as etapas iniciais do Processo Unificado. Com o desenvolvimento desta ontologia, viabiliza-se a rastreabilidade baseada em conceitos durante o ciclo de vida do software. Esta abordagem permite a integração de diferentes modelos de um sistema de informação, incluindo negócios, requisitos, análise e projeto, em uma granularidade mais específica do que as convencionais abordagens de rastreabilidade baseadas em requisitos. Para apoiar os projetistas na criação da ontologia e no relacionamento dos artefatos, foi desenvolvida uma ferramenta para rastreabilidade semântica chamada ONTrace (Ontological Tracing), comprovando a viabilidade da proposta. Para a avaliação da proposta, foi desenvolvido um experimento para caracterizar a precisão e o esforço relacionados com a rastreabilidade apoiada por conceitos e por requisitos.
4

Modelagem abstrata para o Hardware de MPSOCS

Petry, Carlos Alberto January 2009 (has links)
Made available in DSpace on 2013-08-07T18:42:52Z (GMT). No. of bitstreams: 1 000419172-Texto+Completo-0.pdf: 1716006 bytes, checksum: 12ab915fddf6a1624b946075ac6ba6d7 (MD5) Previous issue date: 2009 / The large amount of functionality integrated in current digital devices such as cell phones, handheld computers, game consoles and smart phones is bringing up several design challenges. Among these challenges, it is possible to cite increase performance and flexibility, reduce power consumption and reduce cost. The current trends in the development of such complex systems point to the use of Multiprocessor Systems-on-Chip (MPSoCs). MPSoCs area considered today as an appropriate solution for the realization of highly complex digital electronic systems. Their high capacity for parallel processing alone justifies this statement. To employ the large amount of resources provided by MPSoCs efficiently, it is necessary to explore the application design space at high levels of abstraction. This is important to assess many different implementation alternatives in a timely fashion. Several efforts are under way both in industry and in the academy to overcome the mentioned challenges to develop such systems. Among the propositions available, several, if not all, plead the use of two techniques: the increase of design reuse and the increase of the abstraction level in which designs are captured. The use of MPSoCs is a natural way to provide hardware and software reuse. The present work addresses the use of MPSoCs and focus on using the second technique. It provides a highly abstract functional model of the hardware for an MPSoC called HeMPS. The abstract modeling employed the commercial environment System Studio of Synopsys. The proposed abstract modeling process enables accelerating the system simulation time and increases the system description flexibility to support design space exploration for applications running on the HeMPS system. HeMPS includes multiple instances of an open source RISC processor called Plasma, an intrachip communication network called HERMES, and some accessory hardware modules. The processor is modeled from its instruction set simulator and the network is described at the transaction abstraction level. The modeling also includes part of a multitask operating system microkernel that executes on HeMPS processors. Initial results for the processor system only display simulation time gains that are up to three orders of magnitude faster than the Plasma RTL model simulation. / A grande quantidade de funcionalidades integradas aos equipamentos digitais atuais, como telefones celulares, handhelds, consoles de jogos e smart phones, vem criando diversos desafios a serem superados pelos projetistas destes sistemas. Entre estes desafios pode-se citar o aumento do desempenho e a flexibilidade, a diminuição da potência consumida e a redução de custos. As atuais tendências para desenvolvimento de sistemas complexos apontam para o uso de sistemas multiprocessados integrados em um único chip (do inglês, Multiprocessor Systems-on-Chip - MPSoCs). MPSoCs são considerados uma solução apropriada para a realização de sistemas eletrônicos digitais de alta complexidade. A alta capacidade de computação paralela sozinha justifica tal afirmativa. Para utilizar eficientemente o grande número de recursos existentes em MPSoCs se faz necessária a exploração do espaço de projeto em alto nível de abstração, de forma a avaliar diferentes alternativas de implementação em tempo adequado de desenvolvimento. Diversos são os esforços realizados tanto pela academia quanto pela indústria para superar os desafios inerentes ao desenvolvimento de tais sistemas. Entre as propostas consideradas para superar os desafios a maioria capitaliza no uso de duas técnicas: o aumento do reuso de módulos IP e o aumento do nível de abstração em que se faz a captura inicial do projeto. O uso de MPSoCs é uma forma natural de aumentar o reuso de hardware e software. O presente trabalho aborda a modelagem de MPSoCs endereçando a segunda destas técnicas: aumento de abstração na captura do projeto do sistema. Disponibiliza-se um modelo funcional em alto nível de abstração do hardware do sistema multiprocessado HeMPS, desenvolvido no ambiente comercial System Studio da empresa Synopsys.A modelagem abstrata proposta propicia acelerar o tempo de simulação do sistema e permite flexibilidade aumentada na exploração do espaço de projeto de aplicações sobre o sistema HeMPS. O modelo gerado inclui múltiplas instâncias de um processador RISC, o Plasma, e uma rede de comunicação intrachip, HERMES, e módulos de hardware acessórios. O processador é modelado a partir de um simulador do conjunto de instruções, e a rede é descrita no nível de abstração de transação. A modelagem inclui também parte de um núcleo de sistema operacional multitarefa executando sobre os processadores do sistema HeMPS. Resultados iniciais mostram um ganho de até três ordens de magnitude em termos de tempo de simulação, para o processador do sistema, quando comparado à simulação RTL deste.
5

Composição de UML Profiles

Oliveira, Kleinner Silva Farias de January 2008 (has links)
Made available in DSpace on 2013-08-07T18:42:52Z (GMT). No. of bitstreams: 1 000404134-Texto+Completo-0.pdf: 1945170 bytes, checksum: b8a0273e017edb542534fd86a3d269e2 (MD5) Previous issue date: 2008 / With the success of Model Driven Architecture (MDA) and Unified Modeling Language (UML), models are replacing code as the first software development artifact. In MDA, model transformation and model composition are essential activities. While model transformation has been well researched and documented, model composition needs more investigation. With MDA arise three challenges, such as: (i ) create domain specific modeling languages (DSMLs); (ii ) merge DSML; and (iii ) merge models expressed in DSML. The UML allows building DSML through UML profiles, however it does not provide an adequate mechanism to merge such profiles. With this in mind, this work proposes a UML profiles composition mechanism based on merge rules, model transformation rules, composition strategy, match strategy and match rules. A formalization of this mechanism was built using the Alloy formal language and automatic analysis were accomplished using Alloy Analyzer. Moreover, a model composition tool was developed to evaluate the mechanism and automate the approach. / Com o sucesso da MDA (Model Driven Architecture) e da UML (Unified Modeling Language), modelos estão substituindo código como o principal artefato de desenvolvimento de software. Em MDA, a transformação e a composição de modelos são duas atividades essenciais. Enquanto a transformação de modelos tem sido amplamente pesquisada e documentada, a composição de modelos precisa de mais investigação. Com a MDA, surgiram três desafios: (i) criar linguagens de modelagem específicas de domínios (DSML); (ii) compor DSML; (iii) compor modelos representados em DSML. A UML permite a construção de DSML através de UML profiles, porém não oferece um mecanismo adequado para tais profiles. Neste contexto, o presente trabalho apresenta uma proposta de mecanismo de composição de UML profiles fundamentado em regras de composição, regras de transformação de modelos, estratégias de composição, estratégia de comparação e regras de comparação. Um modelo formal deste mecanismo foi construído utilizando a linguagem de modelagem formal Alloy e foi realizada uma análise automática do modelo usando Alloy Analyzer. Além disso, uma ferramenta de software foi construída com o objetivo de validar o mecanismo e automatizar a abordagem.
6

Função objetivo para estimação de parâmetros de modelos com ciclo limite

Hüffner, Leonardo Nardi January 2017 (has links)
Muitos sistemas na natureza e na indústria são conhecidos por apresentarem comportamento oscilatório, como os sistemas biológicos do tipo predador-presa, biotecnológicos de fermentação e as golfadas na indústria de petróleo. Para fins de estudo de características de tais sistemas, como dinâmica, estabilidade e robustez, modelos matemáticos são formulados. Os parâmetros dos modelos são frequentemente arbitrariamente escolhidos, ou baseados em algum conhecimento prévio do sistema real com intuito de representar qualitativamente um comportamento desejado. No entanto, esta prática pode acarretar conclusões errôneas sobre a análise do sistema. Portanto, o objetivo deste trabalho é estudar o problema da estimação de parâmetros em sistemas oscilatórios, que apresentam especificamente ciclo limite. Em sistemas não oscilatórios, os sinais de saída possuem apenas a característica da forma do sinal, ou trajetória, enquanto que o sinal de saída de um sistema oscilatório possui, além de uma trajetória, a característica da periodicidade. A periodicidade faz com que o sistema repita seus valores em períodos regulares de tempo e também resulta no crescimento ilimitado dos índices de sensibilidade do sistema com o tempo (Lu & Yue, 2012). Devido a este fato, a aplicação direta de métodos tradicionais de análise de sensibilidade baseados em derivada não é viável neste tipo de sistema Neste trabalho, os efeitos da trajetória e da periodicidade foram desacoplados em três métricas que capturam características necessárias do ciclo limite: período, número de oscilações e somatório dos pontos médios de subida e descida dos ciclos. Através destas métricas, uma função objetivo é proposta para a estimação de parâmetros de modelos com ciclo limite. Além disso, as métricas viabilizam a análise de sensibilidade destes sistemas. Visando a obtenção de um modelo matemático para estuda do efeito da golfada em sistemas de produção de petróleo offshore, o estudo de caso principal deste trabalho é o modelo FOWM (Diehl et al., 2017). Os modelos de Lotka-Volterra e de Jöbses et al. (1986) também foram estudados para abordar mais ampla as métricas propostas e reforçar seu desempenho e aplicabilidade a outros sistemas com ciclo limite. A função objetivo proposta foi comparada com o método dos mínimos quadrados e com resultados presentes na literatura, para o modelo FOWM, através do teste de Fischer. Os resultados mostram a viabilidade da análise de sensibilidade com as métricas propostas e o desempenho superior da estimação de parâmetros utilizando a função objetivo proposta. / Many systems in industry and in nature are known to exhibit oscillatory behavior, such as the predator-prey in biological system, fermentation in biotechnological system and the slugs in oil industry. For purposes of studying the characteristics of such systems, such as dynamics, stability and robustness, mathematical models are formulated. The model parameters are often arbitrarily chosen, or based on some prior knowledge of the real system, in order to qualitatively represent a desired behavior. However, this practice may lead to erroneous conclusions about the system analysis. Therefore, the objective of this work is to study the problem of parameter estimation in oscillatory systems, which present limit cycle. In non-oscillatory systems, the output signals have only the characteristic of the shape of the signal, or trajectory, whereas the output signal of an oscillatory system has, in addition to a trajectory, the characteristic of periodicity. Periodicity means that the system repeats its values over regular periods of time, and also results in the unlimited growth of system sensitivity indices over time (Lu & Yue, 2012). Due to this fact, the direct application of traditional methods based on derivative is not feasible in this type of system In this work, the effects of trajectory and periodicity were decoupled in three metrics that capture the necessary characteristics of the limit cycle: period, number of oscillations and sum of the average points of rise and fall of the cycles. Through these metrics, an objective function is proposed for the estimation of parameters of models with limit cycle. In addition, the metrics enable the sensitivity analysis of these systems. Aiming the identification of a model to describe the slug effect on the offshore oil production system, the main case study of this work is the FOWM model (Diehl et al., 2017). The models of Lotka-Volterra and Jöbses et al. (1986) have also been studied to enable a broader approach to the proposed metrics and to reinforce their performance and applicability to other systems with limit cycle. The proposed objective function was compared with the least squares method and with results in the literature, for the FOWM model, through the Fischer test. The results show the feasibility of the sensitivity analysis with the proposed metrics and the superior performance of the parameter estimation using the proposed objective function.
7

Função objetivo para estimação de parâmetros de modelos com ciclo limite

Hüffner, Leonardo Nardi January 2017 (has links)
Muitos sistemas na natureza e na indústria são conhecidos por apresentarem comportamento oscilatório, como os sistemas biológicos do tipo predador-presa, biotecnológicos de fermentação e as golfadas na indústria de petróleo. Para fins de estudo de características de tais sistemas, como dinâmica, estabilidade e robustez, modelos matemáticos são formulados. Os parâmetros dos modelos são frequentemente arbitrariamente escolhidos, ou baseados em algum conhecimento prévio do sistema real com intuito de representar qualitativamente um comportamento desejado. No entanto, esta prática pode acarretar conclusões errôneas sobre a análise do sistema. Portanto, o objetivo deste trabalho é estudar o problema da estimação de parâmetros em sistemas oscilatórios, que apresentam especificamente ciclo limite. Em sistemas não oscilatórios, os sinais de saída possuem apenas a característica da forma do sinal, ou trajetória, enquanto que o sinal de saída de um sistema oscilatório possui, além de uma trajetória, a característica da periodicidade. A periodicidade faz com que o sistema repita seus valores em períodos regulares de tempo e também resulta no crescimento ilimitado dos índices de sensibilidade do sistema com o tempo (Lu & Yue, 2012). Devido a este fato, a aplicação direta de métodos tradicionais de análise de sensibilidade baseados em derivada não é viável neste tipo de sistema Neste trabalho, os efeitos da trajetória e da periodicidade foram desacoplados em três métricas que capturam características necessárias do ciclo limite: período, número de oscilações e somatório dos pontos médios de subida e descida dos ciclos. Através destas métricas, uma função objetivo é proposta para a estimação de parâmetros de modelos com ciclo limite. Além disso, as métricas viabilizam a análise de sensibilidade destes sistemas. Visando a obtenção de um modelo matemático para estuda do efeito da golfada em sistemas de produção de petróleo offshore, o estudo de caso principal deste trabalho é o modelo FOWM (Diehl et al., 2017). Os modelos de Lotka-Volterra e de Jöbses et al. (1986) também foram estudados para abordar mais ampla as métricas propostas e reforçar seu desempenho e aplicabilidade a outros sistemas com ciclo limite. A função objetivo proposta foi comparada com o método dos mínimos quadrados e com resultados presentes na literatura, para o modelo FOWM, através do teste de Fischer. Os resultados mostram a viabilidade da análise de sensibilidade com as métricas propostas e o desempenho superior da estimação de parâmetros utilizando a função objetivo proposta. / Many systems in industry and in nature are known to exhibit oscillatory behavior, such as the predator-prey in biological system, fermentation in biotechnological system and the slugs in oil industry. For purposes of studying the characteristics of such systems, such as dynamics, stability and robustness, mathematical models are formulated. The model parameters are often arbitrarily chosen, or based on some prior knowledge of the real system, in order to qualitatively represent a desired behavior. However, this practice may lead to erroneous conclusions about the system analysis. Therefore, the objective of this work is to study the problem of parameter estimation in oscillatory systems, which present limit cycle. In non-oscillatory systems, the output signals have only the characteristic of the shape of the signal, or trajectory, whereas the output signal of an oscillatory system has, in addition to a trajectory, the characteristic of periodicity. Periodicity means that the system repeats its values over regular periods of time, and also results in the unlimited growth of system sensitivity indices over time (Lu & Yue, 2012). Due to this fact, the direct application of traditional methods based on derivative is not feasible in this type of system In this work, the effects of trajectory and periodicity were decoupled in three metrics that capture the necessary characteristics of the limit cycle: period, number of oscillations and sum of the average points of rise and fall of the cycles. Through these metrics, an objective function is proposed for the estimation of parameters of models with limit cycle. In addition, the metrics enable the sensitivity analysis of these systems. Aiming the identification of a model to describe the slug effect on the offshore oil production system, the main case study of this work is the FOWM model (Diehl et al., 2017). The models of Lotka-Volterra and Jöbses et al. (1986) have also been studied to enable a broader approach to the proposed metrics and to reinforce their performance and applicability to other systems with limit cycle. The proposed objective function was compared with the least squares method and with results in the literature, for the FOWM model, through the Fischer test. The results show the feasibility of the sensitivity analysis with the proposed metrics and the superior performance of the parameter estimation using the proposed objective function.
8

Função objetivo para estimação de parâmetros de modelos com ciclo limite

Hüffner, Leonardo Nardi January 2017 (has links)
Muitos sistemas na natureza e na indústria são conhecidos por apresentarem comportamento oscilatório, como os sistemas biológicos do tipo predador-presa, biotecnológicos de fermentação e as golfadas na indústria de petróleo. Para fins de estudo de características de tais sistemas, como dinâmica, estabilidade e robustez, modelos matemáticos são formulados. Os parâmetros dos modelos são frequentemente arbitrariamente escolhidos, ou baseados em algum conhecimento prévio do sistema real com intuito de representar qualitativamente um comportamento desejado. No entanto, esta prática pode acarretar conclusões errôneas sobre a análise do sistema. Portanto, o objetivo deste trabalho é estudar o problema da estimação de parâmetros em sistemas oscilatórios, que apresentam especificamente ciclo limite. Em sistemas não oscilatórios, os sinais de saída possuem apenas a característica da forma do sinal, ou trajetória, enquanto que o sinal de saída de um sistema oscilatório possui, além de uma trajetória, a característica da periodicidade. A periodicidade faz com que o sistema repita seus valores em períodos regulares de tempo e também resulta no crescimento ilimitado dos índices de sensibilidade do sistema com o tempo (Lu & Yue, 2012). Devido a este fato, a aplicação direta de métodos tradicionais de análise de sensibilidade baseados em derivada não é viável neste tipo de sistema Neste trabalho, os efeitos da trajetória e da periodicidade foram desacoplados em três métricas que capturam características necessárias do ciclo limite: período, número de oscilações e somatório dos pontos médios de subida e descida dos ciclos. Através destas métricas, uma função objetivo é proposta para a estimação de parâmetros de modelos com ciclo limite. Além disso, as métricas viabilizam a análise de sensibilidade destes sistemas. Visando a obtenção de um modelo matemático para estuda do efeito da golfada em sistemas de produção de petróleo offshore, o estudo de caso principal deste trabalho é o modelo FOWM (Diehl et al., 2017). Os modelos de Lotka-Volterra e de Jöbses et al. (1986) também foram estudados para abordar mais ampla as métricas propostas e reforçar seu desempenho e aplicabilidade a outros sistemas com ciclo limite. A função objetivo proposta foi comparada com o método dos mínimos quadrados e com resultados presentes na literatura, para o modelo FOWM, através do teste de Fischer. Os resultados mostram a viabilidade da análise de sensibilidade com as métricas propostas e o desempenho superior da estimação de parâmetros utilizando a função objetivo proposta. / Many systems in industry and in nature are known to exhibit oscillatory behavior, such as the predator-prey in biological system, fermentation in biotechnological system and the slugs in oil industry. For purposes of studying the characteristics of such systems, such as dynamics, stability and robustness, mathematical models are formulated. The model parameters are often arbitrarily chosen, or based on some prior knowledge of the real system, in order to qualitatively represent a desired behavior. However, this practice may lead to erroneous conclusions about the system analysis. Therefore, the objective of this work is to study the problem of parameter estimation in oscillatory systems, which present limit cycle. In non-oscillatory systems, the output signals have only the characteristic of the shape of the signal, or trajectory, whereas the output signal of an oscillatory system has, in addition to a trajectory, the characteristic of periodicity. Periodicity means that the system repeats its values over regular periods of time, and also results in the unlimited growth of system sensitivity indices over time (Lu & Yue, 2012). Due to this fact, the direct application of traditional methods based on derivative is not feasible in this type of system In this work, the effects of trajectory and periodicity were decoupled in three metrics that capture the necessary characteristics of the limit cycle: period, number of oscillations and sum of the average points of rise and fall of the cycles. Through these metrics, an objective function is proposed for the estimation of parameters of models with limit cycle. In addition, the metrics enable the sensitivity analysis of these systems. Aiming the identification of a model to describe the slug effect on the offshore oil production system, the main case study of this work is the FOWM model (Diehl et al., 2017). The models of Lotka-Volterra and Jöbses et al. (1986) have also been studied to enable a broader approach to the proposed metrics and to reinforce their performance and applicability to other systems with limit cycle. The proposed objective function was compared with the least squares method and with results in the literature, for the FOWM model, through the Fischer test. The results show the feasibility of the sensitivity analysis with the proposed metrics and the superior performance of the parameter estimation using the proposed objective function.
9

Desenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetos

Pasini, Fábio January 2007 (has links)
Made available in DSpace on 2013-08-07T18:43:16Z (GMT). No. of bitstreams: 1 000397342-Texto+Completo-0.pdf: 6244320 bytes, checksum: 1ad9082d42e6883bb7678a8782a81d49 (MD5) Previous issue date: 2007 / During parallel applications development, besides analysis regarding performance aspects, it is also important to analyze the system's functional properties to assure, for example, that the parallel strategy chosen is adequate for the problem being approached, or that it may converge to an expected result, or even to identify the possibility of a deadlock scenario. The correction guarantee over a parallel application model, besides improving the results reliability, also can be an economic factor, since it allows to reduce the time consumed for the application development and debugging. However, once identi ed the problems and corrections into the model analyzed, there is still the need to map the changes needed to the original application. In this sense, modelchecking and automatic code generation can be used as complementary tools during development, allowing the system behavior analysis and a fast generation of the model's corresponding code. This work presents the use of Object-Based Graph Grammars (OBGG) for parallel applications development, through the de nition of a method to translate OBGG models to C code, using MPI as communication platform. / No desenvolvimento de aplicações paralelas, além da análise de aspectos ligados ao desempenho, torna-se também importante a análise das propriedades funcionais do sistema para garantir, por exemplo, que a estratégia de paralelização escolhida é adequada ao problema sendo abordado, ou que ela pode convergir para um resultado esperado, ou mesmo para identificar a possibilidade de um cenário de bloqueio na computação. A garantia de correção sobre o modelo de uma aplicação paralela, além de aumentar o grau de confiança nos resultados, pode também ser um fator de economia, já que possibilita a redução no tempo despendido no desenvolvimento e depuração da aplicação. Porém, uma vez identificados os problemas e correções no modelo analisado, ainda existe a necessidade de se mapear as mudanças necessárias à aplicação original. Nesse sentido, verificação formal e geração automática de código podem ser utilizadas como ferramentas complementares durante o desenvolvimento, possibilitando tanto a análise do comportamento do sistema quanto a rápida geração do código correspondente ao modelo proposto. Este trabalho apresenta o uso de Gramática de Grafos Baseada em Objetos (GGBO) para a construção de aplicações paralelas, a partir da definição de um método de tradução de modelos GGBO para código C, utilizando MPI como plataforma de comunicação.
10

Modelagem de desempenho, dependabilidade e custo para o planejamento de infraestruturas de nuvens privadas

SOUSA, Erica Teixeira Gomes de 26 February 2015 (has links)
Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-02-19T18:31:55Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Erica Teixeira Gomes de Sousa.pdf: 5620145 bytes, checksum: c01552967ef22da6b1ea536587df2df8 (MD5) / Made available in DSpace on 2016-02-19T18:31:55Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Erica Teixeira Gomes de Sousa.pdf: 5620145 bytes, checksum: c01552967ef22da6b1ea536587df2df8 (MD5) Previous issue date: 2015-02-26 / CNPQ / Este trabalho apresenta uma solução integrada composta por uma metodologia, métodos, modelos de representação, modelos de otimização e uma ferramenta, para o planejamento de infraestruturas de nuvens privadas, considerando aspectos de desempenho, dependabilidade, performabilidade e custo. Os modelos de otimização propostos são baseados na metaheurística GRASP para geração de cenários de infraestruturas de nuvens privadas. O modelo para geração de cenários de desempenho e custo permite a criação de cenários de infraestruturas de nuvem com diferentes configurações de software e hardware e o modelo para geração de cenários de disponibilidade e custo possibilita a criação de cenários de infraestruturas de nuvem com diferentes mecanismos de redundância atribuídos aos componentes dessas infraestruturas. Os modelos de representação propostos são baseados em redes de Petri estocásticas, diagramas de bloco de confiabilidade e expressões matemáticas para avaliação de desempenho, de dependabilidade, de performabilidade e de custo de infraestruturas de computação em nuvem. O modelo de desempenho permite a avaliação do impacto da variação da carga de trabalho submetida a nuvem computacional com diferentes configurações de software e hardware. Esse modelo de desempenho possibilita o cálculo do tempo de resposta e da utilização de recursos das infraestruturas de nuvem computacional. Os modelos de disponibilidade possibilitam a avaliação do efeito da atribuição de diferentes mecanismos de redundância aos componentes da nuvem computacional. Esses modelos de disponibilidade permitem o cálculo da disponibilidade e do downtime das infraestruturas de computação em nuvem. Os modelos de custo possibilitam a avaliação dos custos da aquisição de equipamentos do sistema de TI, da aquisição de equipamentos e softwares redundantes, da substituição de equipamentos, da aquisição de licenças de software, da equipe técnica e da equipe de manutenção. As métricas de desempenho, de dependabilidade e de custo podem ser combinadas para seleção de infraestruturas de nuvem que atendam aos requisitos dos clientes. A ferramenta proposta possibilita a automação da solução integrada. Três estudos de caso são apresentados para aplicação da solução proposta. O primeiro estudo de caso apresenta a avaliação do impacto da variação da carga de trabalho atribuída a plataforma Eucalyptus com diferentes configurações de software e de hardware. O segundo estudo de caso apresenta a avaliação do efeito da atribuição de mecanismos de redundância aos componentes da plataforma Eucalyptus. O terceiro estudo de caso apresenta a avaliação do impacto da ocorrência de defeitos e atividades de reparo no desempenho da plataforma Eucalyptus. / This work presents an integrated solution composed of a methodology, methods, representation models, optimization models and a tool, for the planning of private cloud infrastructures, considering aspects of performance, dependability, performability and cost. The proposed optimization models are based on the GRASP metaheuristic for generating private clouds infrastructure scenarios. The model for performance and cost scenario generation allows the creation of cloud infrastructure scenarios with different software and hardware configurations and the model for availability and cost scenario generation permits the creation of cloud infrastructure scenarios with various redundancy mechanisms assigned to the components of these infrastructures. The proposed representation models are based on stochastic Petri nets, reliability block diagrams and mathematical expressions for performance, dependability, performability and cost evaluation of cloud infrastructures. Performance model allows the evaluation of the impact of varying the workload submitted to cloud computing with different software and hardware configurations. This performance model permits the calculation of the response time and resource utilization of the cloud infrastructures. Availability models allow the evaluation of the effect of assigning different redundancy mechanisms to the cloud components. The availability models permits the calculation of the availability and downtime of the cloud infrastructures. Cost models allow the evaluation of the acquisition of equipment of the IT system, acquisition of redundant equipment and software, equipment replacement, acquisition of software licenses, technical team and maintenance team costs. Performance, dependability and cost metrics can be combined to select cloud infrastructures that meet the client requirements. The proposed tool provides the automation of the integrated solution. Three case studies are presented to implement the proposed solution. The first case study presents the evaluation of the impact of the workload variation assigned to the Eucalyptus platform with different software and hardware configurations. The second case study presents the evaluation of the effect of the assigning redundancy mechanisms to the components of the Eucalyptus platform. The third case study presents the evaluation of the impact of the occurrence of fault and repair activities in the performance of the Eucalyptus platform.

Page generated in 0.0762 seconds