• 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

Sensibilidade ambiental ao óleo na bacia do Ribeirão Anhumas, Campinas-SP : proposta metodológica para análise conjunta de ambientes terrestres e fluviais /

Camargo, Danilo Mangaba de January 2019 (has links)
Orientador: Rosemarie Rohn Davies / Resumo: Dentre os diversos tipos de acidentes ambientais, aqueles vinculados ao derramamento de óleo têm sido recorrentes em diversos ambientes do globo e dadas as suas consequências, são alvos de destaque pela comunidade científica mundial. A Lei Federal 9.966, de 22 de abril de 2000 regulamenta as ações de transporte e armazenamento de petróleo no território brasileiro. De acordo com a referida lei, cabe ao órgão federal responsável pelo meio ambiente, a consolidação dos planos de contingência – local e regional, instituindo o Plano Nacional de Contingência. Nesse sentido, estão inseridas as cartas de sensibilidade a derrames de óleo (Cartas SAO), produtos cartográficos essenciais, constituídas como relevante fonte de informação na elaboração de planos de contingencia e na avaliação de danos e impactos provenientes desse tipo de ocorrência. A presente pesquisa apresenta a proposição de uma metodologia de análise multicriterial para avaliação da sensibilidade ambiental ao óleo nas áreas continentais, tendo a bacia hidrográfica como unidade de análise. A Bacia do Ribeirão das Anhumas, localizada entre os municípios de Campinas-SP e Paulínia-SP foi selecionada para o estudo de caso. De acordo com as características da região e após o levantamento de dados bibliográficos, foram levantados dez critérios de mapeamento, os quais foram ponderados e classificados em níveis de sensibilidade. Após a ponderação dos critérios, os mapas descritores de cada um deles foram integrados em um softwar... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Among the various types of environmental accidents, those linked to oil spills have been recurrent in several environments around the globe and given their consequences, they are highlighted by the world scientific community. The federal Law 9.966, of the April 22, 2000 regulates the transportation and storage of oil in the Brazilian territory. According to this law, it is the responsibility of the federal agency responsible for the environment to consolidate contingency plans - local and regional, establishing the National Contingency Plan. In this sense, the Oil Spill Sensitivity Map (SAO MAP), essential cartographic products, are included as a relevant source of information in the preparation of contingency plans and in the evaluation of damages and impacts arising from this type of occurrence. This work presents the proposal of a methodology based on multicriteria analysis to evaluate the environmental sensitivity to the oil in the continental areas, having the watershed as unit of analysis. The Ribeirão das Anhumas Watershed, located between the municipalities of Campinas-SP and Paulínia-SP was selected for the case study. According to the characteristics of the region and after the collection of bibliographical data, ten mapping criteria were collected, which were weighted and classified in sensitivity levels. After weighting the criteria, the descriptive maps of each of them were integrated in a geoprocessing software, from the equation characteristic of each model. Th... (Complete abstract click electronic access below) / Mestre
13

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.
14

Composi??o de UML Profiles

Oliveira, Kleinner Silva Farias de 28 February 2008 (has links)
Made available in DSpace on 2015-04-14T14:49:00Z (GMT). No. of bitstreams: 1 404134.pdf: 1945170 bytes, checksum: b8a0273e017edb542534fd86a3d269e2 (MD5) Previous issue date: 2008-02-28 / 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.
15

Modelagem abstrata para o Hardware de MPSOCS

Petry, Carlos Alberto 16 January 2009 (has links)
Made available in DSpace on 2015-04-14T14:49:15Z (GMT). No. of bitstreams: 1 419172.pdf: 1716006 bytes, checksum: 12ab915fddf6a1624b946075ac6ba6d7 (MD5) Previous issue date: 2009-01-16 / 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.
16

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

Heredia, Leonardo Rodriguez 26 January 2012 (has links)
Made available in DSpace on 2015-04-14T14:49:45Z (GMT). No. of bitstreams: 1 438602.pdf: 1994981 bytes, checksum: a5439343e1d91aaf3b5b229c798861a5 (MD5) Previous issue date: 2012-01-26 / 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
17

Modelagem e produ??o de documentos com conte?do vari?vel

Moreira, Maria Isabel Giusti 21 December 2006 (has links)
Made available in DSpace on 2015-04-14T14:49:58Z (GMT). No. of bitstreams: 1 388455.pdf: 1678472 bytes, checksum: 10111011a3990a4b9ee14aabd1a774b9 (MD5) Previous issue date: 2006-12-21 / 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
18

Rastreabilidade ontol?gica sobre o processo unificado

Noll, Rodrigo Perozzo 22 January 2007 (has links)
Made available in DSpace on 2015-04-14T14:50:22Z (GMT). No. of bitstreams: 1 391614.pdf: 3194692 bytes, checksum: e81ae5d2caf845f14d0f107e395837c1 (MD5) Previous issue date: 2007-01-22 / 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
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

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.

Page generated in 0.1291 seconds