• 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.
11

Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos. / Study and experimentation of a system modeling language based on petri nets and object orientation.

CANEDO, Edna Dias. 18 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:35:32Z No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) / Made available in DSpace on 2018-09-18T16:35:32Z (GMT). No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) Previous issue date: 2002-08-29 / A integração da teoria de redes de Petri com os conceitos da Orientação Objetos surgiu como uma solução para a decomposição e estruturação de modelos em Redes de Petri. Neste trabalho é apresentado um estudo e experimentação de uma linguagem de modelagem baseada em redes de Petri e Orientação a Objetos (RPOO). RPOO foi definida integrando esses dois formalismos em uma perspectiva ortogonal, permitindo que o sistema modelado tenha duas visões: uma visão do ponto de vista de redes de Petri e uma visão do ponto de vista da Orientação a Objetos. O estudo e experimentação da notação RPOO é efetuado através da sua aplicação na modelagem de sistemas de software real. Para tanto, foram desenvolvidos alguns experimentos de modelagem. Assim, os experimentos desenvolvidos serão utilizados na validação da linguagem RPOO como alternativa para a estruturação e decomposição de modelos em redes de Petri, quando da modelagem de sistemas de software distribuídos e concorrentes. / The integration of Petri nets theory and object oriented-object concepts has emerged as a solution to decompose and structure Petri net models. In this work it is presented a study and experimentation of a modeling language based on Petri nets and oriented-object concepts(RPOO). RPOO was defined by integrating these two formalisms on an orthogonal perspective, allowing that the modeled system has two visions: one Petri net visionand one OO vision. The study and experimentation of RPOO notation is accomplished through its application on the modeling of real software systems. Some experiments of modeling had been developed. These experiments will be used to validate RPOO as an alternative for the structure and decomposition of Petri nets models, when modeling distributed and concurrent software systems.
12

Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos

Scolari, Ana Paula Salengui January 2008 (has links)
Made available in DSpace on 2013-08-07T18:43:24Z (GMT). No. of bitstreams: 1 000400013-Texto+Completo-0.pdf: 1799901 bytes, checksum: 8f9035ff6f9f2bcba55f62be7f4e0d52 (MD5) Previous issue date: 2008 / Modeling formalisms are languages capable of describing a system behavior in a non ambiguous way, allowing its quantitative evaluation. The structured formalisms can represent large and complex models in a systematic manner. However, the modeling of systems with such characteristics is still a problem, since the space state explosion is often a known issue. Usually, structured formalisms with discrete state space present a large number of unreachable states. This work presents an algorithm able to generate and storing the reachable space state of a Stochastic Automata Network (SAN) using Multi-valued Decision Diagram (MDD). This new technique aims to mainly verify that the applicability of MDD for SAN is a valuable approach. / Formalismos de modelagem são linguagens capazes de descrever sistemas de forma não ambígüa, permitindo a sua avaliação quantitativa. Os formalismos conhecidos como estruturados permitem a representação sistemática de modelos grandes e complexos. Entretanto, na prática, a modelagem de sistemas de tal porte pode apresentar o problema de explosão do espaço de estados. Em geral, a modelagem de sistemas através de formalismos estruturados, com espaço de estados discreto, resulta em um grande número de estados inatingíveis. A geração e armazenamento dos estados não atingíveis é um ônus não desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espaço de estados atingível (RSS) para o formalismo de Redes de Autômatos Estocásticos (SAN) utilizando Diagramas de Decisão Multi-Valorada (MDD). A idéia principal é apresentar uma primeira versão desse algoritmo, a m de comprovar a sua viabilidade para o formalismo SAN.
13

Um novo modelo de transformadores trifásicos para análise harmônica trifásica em sistemas de distribuição

Morais, Thiago de Martins de [UNESP] 11 April 2005 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:36Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-04-11Bitstream added on 2014-06-13T20:49:18Z : No. of bitstreams: 1 morais_tm_me_ilha.pdf: 2199251 bytes, checksum: 5d860200b71d7cf49ceeb5f94d348cb2 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O desenvolvimento de novas tecnologias implementadas na maioria das cargas presentes hoje no sistema elétrico tem trazido consigo significativas mudanças no comportamento do sistema elétrico brasileiro. A característica de não linearidade das cargas atuais tem contribuído para a degradação da qualidade da energia utilizada. Assim, um dos fatores que tem se tornado evidente a partir de então é a questão da “Qualidade da Energia”, a qual envolve conceitos que estão relacionados às cargas, equipamentos e sistemas de distribuição, transmissão e geração. Muitos estudos têm sido desenvolvidos na busca de se entender os fenômenos causados pela presença de elevados conteúdos harmônicos e sua interação com o sistema, bem como suas causas e conseqüências. Para isso tem se utilizado de várias técnicas de modelagem dos sistemas, as quais variam em termos da aquisição de dados, da complexidade da modelagem, dos problemas de formulação e dos algoritmos de solução. Este trabalho apresenta uma modelagem de sistemas elétricos de distribuição de forma multifilar, possibilitando a simulação de sistemas trifásicos desequilibrados no domínio do tempo, bem como a análise de fluxo harmônico no sistema. Desta forma, destaca-se neste trabalho uma importante proposta de modelagem para transformadores trifásicos com conexão Δ - Y, permitindo a representação real dos sistemas de distribuição (três fios do lado primário e quatro fios do lado secundário). Com a nova modelagem proposta neste trabalho, torna-se possível uma ampla análise no domínio do tempo, de forma mais precisa, das tensões e correntes processadas nos sistemas elétricos, permitindo análises do fluxo harmônico, e ainda prevendo possíveis problemas e propondo soluções. / The development of new technologies implemented in most part of the loads present nowadays in the electrical network has brought along significant changes in Brazilian electrical networks. The non linearity loads characteristic present in such loads has contributed to the power quality degradation. Thus, one of the topics that has become evident since then is the “Power Quality” concept which is related to loads, equipment and devices, and Generation, Transmission and Distribution networks. Several studies have been developed searching to understand the phenomena caused by the presence of high harmonic contents and its interaction with the network, as well as its origins and consequences. So, many network modeling techniques have been used which varies in terms of data acquisition, modeling complexity, formulation problems and solution of algorithms. This work presents a new four wires electrical distribution network modeling, enabling the simulation of unbalanced systems in time domain, and also a harmonic flow analysis. On this context, it is remarkable in this work, an important Delta-Wye transformer modeling, enabling the real distribution network representation (three wires on primary side and four wires on secondary one). With the new modeling proposed on this work, it is also possible to carry out a wide analysis, in a precise way, on time domain, of processed voltage and currents in the networks, permitting the harmonic flow analysis, and also foreseeing future problems and proposing solutions to them.
14

Análise de flexibilidade em contratos com uso de modelagem e simulação

Carraro, Wendy Beatriz Witt Haddad January 2009 (has links)
A presente pesquisa se propõe a modelar uma ferramenta que auxilie os tomadores de decisão, no setor de laboratórios de análises clínicas, frente aos contratos de prestação de serviços. Visa proporcionar avaliação e conhecimento na elaboração de cláusulas contratuais. Realça-se a idéia de flexibilidade, mostrando como cláusulas mais flexíveis em contratos podem aumentar o valor de um contrato tanto para contratados quanto para contratantes. O uso da ferramenta aqui apresentada facilitará que administradores apreciem o valor da sensibilidade de contratos a variações no preço, quantidade, custos variáveis, custos fixos e lucro esperado, ponderando riscos do negócio e incertezas. A pesquisa descrita permite a verificação da aplicabilidade da ferramenta para exame da validade da simulação de flexibilidade na relação contratual. / The purpose of this research is to model a tool to help decision-makers, while facing supplying contracts, in the clinical analysis industry. This tool aims to improve the analysis and evaluation processes to support the elaboration of contractual clauses. It is here emphasized the idea of flexibility, showing how flexible contractual clauses can improve the value of a contract to both suppliers and contractors. Using the tool shall allow managers to appreciate the value of the sensitivity of contracts to variations in price, quantity, variable costs and expected profits, pondering business risks and uncertainty. The here described case study allows to check the usefulness of the tool in order to verify the validity of simulation of flexibility conditions to enhance contractual relationships.
15

Linearização Exata por Realimentação de Estados Aplicada ao Controle de um Sistema de Levitação Magnética

VASCONCELOS JUNIOR, CARLOS ANTONIO VIEIRA 31 December 2010 (has links)
Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T19:20:30Z No. of bitstreams: 1 Dissertação.pdf: 706863 bytes, checksum: b4fe1469b23eb1f7c0904dc09c59fe8e (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T11:17:59Z (GMT) No. of bitstreams: 1 Dissertação.pdf: 706863 bytes, checksum: b4fe1469b23eb1f7c0904dc09c59fe8e (MD5) / Made available in DSpace on 2017-02-10T11:17:59Z (GMT). No. of bitstreams: 1 Dissertação.pdf: 706863 bytes, checksum: b4fe1469b23eb1f7c0904dc09c59fe8e (MD5) / Esta dissertação trata do controle de um sistema não linear representado por um sistema de levitação magnética. O objetivo é controlar a posição de um disco magnético por meio da aplicação de uma corrente elétrica em uma bobina. O sistema físico utilizado neste trabalho foi fabricado pela ECP – Educational Control Product e está disponível no Laboratório de Controle da Escola Politécnica da UFBA, onde este trabalho foi desenvolvido. Este sistema foi utilizado para validação dos resultados obtidos por simulações computacionais, tanto para modelagem matemática quanto para a técnica de controle utilizada. O levitador magnético foi modelado matematicamente por meio de uma equação diferencial não linear de 2ª ordem, obtida a partir do estudo fenomenológico das leis físicas que regem o sistema, e relaciona o deslocamento do disco magnético em função da corrente aplicada à bobina. Para o projeto do sistema de controle foi utilizada a técnica de linearização exata por realimentação de estados. Esta técnica pode ser aplicada a uma classe de sistemas não lineares representados por equações de estados e que sejam controláveis e involutivos. A aplicação da técnica permite o cancelamento direto das não linearidades do sistema, por meio de uma transformação dos estados, tornando a dinâmica do sistema linear. Dessa forma, para o novo sistema linearizado, pode-se projetar um controlador linear. Nesta segunda parte, utilizou-se o método de alocação de pólos, que consiste na alocação de todos os pólos de malha fechada do sistema em posições desejadas de modo que a estabilidade do sistema seja garantida e critérios de projeto sejam atendidos. A técnica de linearização exata por realimentação de estados combinada com o método de alocação de pólos foram simulados no Matlab/Simulink e aplicados ao modelo teórico do sistema de levitação magnética. Em seguida, as técnicas foram aplicadas na planta do levitador magnético. Os resultados obtidos com a simulação foram validados comparando-os com os resultados da implementação das técnicas no sistema físico. Observou-se que a combinação das técnicas de linearização exata por realimentação de estados e alocação de pólos cumpriu seu papel ao controlar a posição do disco magnético em posições desejadas atendendo aos critérios de projeto.
16

Um modelo em dinâmica de sistemas para o ensino superior

Strauss, Luisa Mariele January 2010 (has links)
O ensino superior no Brasil experimentou uma rápida expansão a partir da publicação da Lei de Diretrizes e Bases (LDB) de 1996 e da flexibilização do Governo para abertura de novos cursos e instituições de ensino, impulsionado principalmente pelo setor privado. Apesar desta expansão, o Brasil ainda não atingiu a meta prevista no Plano Nacional de Educação: 30% de jovens de 18 a 24 anos no ensino superior. Além disso, a procura por cursos de graduação apresenta sinais de retração, caracterizando um sistema com rápido crescimento inicial seguido de estagnação. O presente trabalho propõe compreender a dinâmica desse sistema por meio da construção de um modelo em Dinâmica de Sistemas, analisando o ensino superior de graduação. O modelo considera regulação, metas, demanda, oferta e, especialmente, o equilíbrio entre setores público e privado. A metodologia de trabalho consistiu nas etapas de definição do problema, formulação da hipótese dinâmica, construção do modelo de simulação, validação e experimentação. Esta etapa resultou em análise de cenários alternativos para o ensino superior de graduação brasileiro. Como resultado, o trabalho permite analisar o comportamento possível das principais variáveis em cada cenário e fazer especulações sobre variáveis não mensuradas no sistema real. / Higher education in Brazil has experienced a rapid expansion since the publication of the Directives and Bases Law (LDB) in 1996 and the pliability of the Government for the launching of new programs and educational institutions, mainly driven by the private sector. Despite this expansion, Brazil has not yet reached the aim expected in the Education National Plan: 30% of young people from 18 to 24 years old in higher education. Moreover, the demand for undergraduate programs presents signs of retraction, characterizing a system with fast initial growth followed by stagnation. This thesis proposes to understand the dynamics of this system by developing a model in System Dynamics, analyzing the undergraduate higher education. The model considers regulation, aims, demand, supply and especially the balance between public and private sectors. The methodology consists in the stages of problem definition, formulation of the dynamic hypothesis, development of the simulation model and in the validation and scenario testing. This step resulted in an analysis of alternative scenarios for the Brazilian undergraduate higher education. As a result, this thesis allows one to analyze the possible behavior of key variables in each scenario and to make observations on the variables that are not defined in the real system.
17

Análise de flexibilidade em contratos com uso de modelagem e simulação

Carraro, Wendy Beatriz Witt Haddad January 2009 (has links)
A presente pesquisa se propõe a modelar uma ferramenta que auxilie os tomadores de decisão, no setor de laboratórios de análises clínicas, frente aos contratos de prestação de serviços. Visa proporcionar avaliação e conhecimento na elaboração de cláusulas contratuais. Realça-se a idéia de flexibilidade, mostrando como cláusulas mais flexíveis em contratos podem aumentar o valor de um contrato tanto para contratados quanto para contratantes. O uso da ferramenta aqui apresentada facilitará que administradores apreciem o valor da sensibilidade de contratos a variações no preço, quantidade, custos variáveis, custos fixos e lucro esperado, ponderando riscos do negócio e incertezas. A pesquisa descrita permite a verificação da aplicabilidade da ferramenta para exame da validade da simulação de flexibilidade na relação contratual. / The purpose of this research is to model a tool to help decision-makers, while facing supplying contracts, in the clinical analysis industry. This tool aims to improve the analysis and evaluation processes to support the elaboration of contractual clauses. It is here emphasized the idea of flexibility, showing how flexible contractual clauses can improve the value of a contract to both suppliers and contractors. Using the tool shall allow managers to appreciate the value of the sensitivity of contracts to variations in price, quantity, variable costs and expected profits, pondering business risks and uncertainty. The here described case study allows to check the usefulness of the tool in order to verify the validity of simulation of flexibility conditions to enhance contractual relationships.
18

Extração de informações estruturais e de comunicação de descrições em SystemC

Luiz Sá Prudente, Fábio January 2004 (has links)
Made available in DSpace on 2014-06-12T15:58:55Z (GMT). No. of bitstreams: 2 arquivo4749_1.pdf: 860768 bytes, checksum: f47e41219790526c6f185f6c76e4135d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenário, torna-se necessária a construção de modelos virtuais do sistema, em diferentes níveis de abstração, a fim de permitir a exploração do espaço de projeto e a validação funcional do mesmo, antes de sua implementação final. SystemC é uma biblioteca de classes C++ que permite a construção de tais modelos. Embora ferramentas comuns de C++ possam ser usadas para desenvolver modelos em SystemC, elas não atendem às necessidades específicas da modelagem de sistemas. Ferramentas específicas precisam reconhecer os elementos de SystemC nos arquivos-fonte, para poderem prestar qualquer tipo de auxílio ao projetista, nas atividades de modelagem, análise, validação, etc. Neste trabalho, apresentamos uma técnica, e uma ferramenta-protótipo, para a identificação e extração de informação estrutural de modelos em SystemC, usando algoritmos de casamento de padrões sobre o grafo semântico extraído dos códigos-fonte por uma ferramenta de extração para C++. A ferramenta-protótipo foi usada com sucesso em vários exemplos de modelos em SystemC, dentre eles o modelo de uma CPU RISC.
19

Um modelo em dinâmica de sistemas para o ensino superior

Strauss, Luisa Mariele January 2010 (has links)
O ensino superior no Brasil experimentou uma rápida expansão a partir da publicação da Lei de Diretrizes e Bases (LDB) de 1996 e da flexibilização do Governo para abertura de novos cursos e instituições de ensino, impulsionado principalmente pelo setor privado. Apesar desta expansão, o Brasil ainda não atingiu a meta prevista no Plano Nacional de Educação: 30% de jovens de 18 a 24 anos no ensino superior. Além disso, a procura por cursos de graduação apresenta sinais de retração, caracterizando um sistema com rápido crescimento inicial seguido de estagnação. O presente trabalho propõe compreender a dinâmica desse sistema por meio da construção de um modelo em Dinâmica de Sistemas, analisando o ensino superior de graduação. O modelo considera regulação, metas, demanda, oferta e, especialmente, o equilíbrio entre setores público e privado. A metodologia de trabalho consistiu nas etapas de definição do problema, formulação da hipótese dinâmica, construção do modelo de simulação, validação e experimentação. Esta etapa resultou em análise de cenários alternativos para o ensino superior de graduação brasileiro. Como resultado, o trabalho permite analisar o comportamento possível das principais variáveis em cada cenário e fazer especulações sobre variáveis não mensuradas no sistema real. / Higher education in Brazil has experienced a rapid expansion since the publication of the Directives and Bases Law (LDB) in 1996 and the pliability of the Government for the launching of new programs and educational institutions, mainly driven by the private sector. Despite this expansion, Brazil has not yet reached the aim expected in the Education National Plan: 30% of young people from 18 to 24 years old in higher education. Moreover, the demand for undergraduate programs presents signs of retraction, characterizing a system with fast initial growth followed by stagnation. This thesis proposes to understand the dynamics of this system by developing a model in System Dynamics, analyzing the undergraduate higher education. The model considers regulation, aims, demand, supply and especially the balance between public and private sectors. The methodology consists in the stages of problem definition, formulation of the dynamic hypothesis, development of the simulation model and in the validation and scenario testing. This step resulted in an analysis of alternative scenarios for the Brazilian undergraduate higher education. As a result, this thesis allows one to analyze the possible behavior of key variables in each scenario and to make observations on the variables that are not defined in the real system.
20

Modelagem computacional dos sistemas cardivascular, respiratorio e autonômico / Computational modelling of the cardiovascular, respiratory and autonomic systems

Trenhago, Paulo Roberto 09 July 2013 (has links)
Made available in DSpace on 2015-03-04T18:57:56Z (GMT). No. of bitstreams: 1 TrenhagoThesisFinal.pdf: 18227854 bytes, checksum: 7a8d27d40c103ec1992eb052129a4f5f (MD5) Previous issue date: 2013-07-09 / The purpose of this study is to build a mathematical model to simulate computationally the in human cardiovascular and respiratory systems taking into account some control mecanisms. The motivation to work in this field is to increase the range of cardiovascular scenarios able to be reproduced through models, and also to analyze the hemodynamic variability in multiscale models. This thesis presents two models of the cardiovascular system with self-regulation. The first model is a full lumped parameter model coupling the following the following systems: cardiovascular, pulmonary and respiratory together with local control blood flow, blood pressure control and control of the levels of carbon dioxide and oxygen dissolved in blood. The second model is a multiscale formulation of the cardiovascular system with baroreflex mechanism. Lumped models for components: veins, heart, pulmonary and peripheral circulation and one-dimensional description of blood flow in the arterial tree and a three-dimensional description for one small region of the brain. With the lumped parameters model we study the general behavior in numerical simulations by means of the following disturbances: blood volume reduction, changes of gases composition in atmospheric and run physical exercise like submaximal cycle ergometer exercise test. The multiscale model was used to simulate aortic valve failure together with the presence of a brain aneurysm. The data obtained from numerical simulations with the lumped parameter model is qualitatively consistent when compared with published data from experiments with animals and humans. Finally, the multiscale model, with self-regulation revealed that hemodynamic variability due to the action of control mechanisms has important role in the definition of local hemodynamics. This thesis is the first work to demonstrate the importance of the control mechanisms in the definition of hemodynamic conditions in the context of computational patient-specific blood flow simulations. / O objetivo do presente trabalho é desenvolver um modelo matemático para simular computacionalmente os sistemas cardiovascular e respiratório e alguns de seus principais mecanismos de controle. A motivação para abordar este problema foi aumentar o espectro de cenários cardiovasculares que podem ser simulados, visando uma possível análise da variabilidade hemodinâmica em modelos multiescala. A tese apresenta dois modelos do sistema cardiovascular autorregulado. O primeiro modelo que apresentaremos é uma descrição completa a parâmetros condensados dos sistemas cardiovascular, respiratório e pulmonar acoplados aos modelos de controle local do fluxo sanguíneo, controle da pressão arterial e controle dos níveis de dióxido de carbono e oxigênio dissolvidos no sangue. O segundo modelo é uma formulação multiescala do sistema cardiovascular, o qual emprega: modelos a parâmetros condensados para os componentes: veias, coração, circulação pulmonar e circulação periférica; uma descrição unidimensional do escoamento de sangue na árvore arterial e, ainda, uma pequena região do cérebro a qual tem o escoamento modelado no espaço tridimensional. Com o modelo a parâmetros condensados estudamos o comportamento geral dos sistemas através das seguintes simulações numéricas: redução do volume de sangue, alterações na composição dos gases atmosféricos e prática de exercícios leves a moderados. O modelo multiescala foi empregado para a simulação de insuficiência na valva aórtica junto com a presença de um aneurisma cerebral. Os dados obtidos das simulações numéricas com o modelo a parâmetros condensados mostraram-se qualitativamente coerentes quando comparados com dados publicados provenientes de experimentos com animais e humanos. Por fim, o modelo multiescala autorregulado revelou que a variabilidade hemodinâmica proveniente da ação do mecanismo de controle da pressão arterial apresenta papel importante no estabelecimento do ambiente hemodinâmico local. Este é o primeiro trabalho a levar em consideração os mecanismos de controle na definição das condições hemodinâmicas no contexto de simulações computacionais do escoamento em pacientes específicos.

Page generated in 0.1729 seconds