• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 211
  • 7
  • 5
  • 4
  • 1
  • Tagged with
  • 228
  • 228
  • 90
  • 79
  • 47
  • 40
  • 37
  • 29
  • 28
  • 28
  • 27
  • 25
  • 23
  • 23
  • 23
  • 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.
21

Um modelo para o planejamento e a programação da produção em ambientes job shop baseado em redes de Petri

Chile Palomino, Reynaldo January 2001 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-18T11:14:59Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:40:28Z : No. of bitstreams: 1 182895.pdf: 3987168 bytes, checksum: dc262a6c5ad06c06dab04cdc32b4ed29 (MD5) / Um dos maiores desafios enfrentados pela administração da produção e do qual depende muito a eficiência de todo sistema produtivo, sobretudo em ambientes flexíveis de manufatura, é a forma como são tratados os problemas relacionados com o planejamento e a programação da produção. O problema do planejamento esta geralmente relacionado com a quantidade de cada tipo de produto a ser fabricado em cada período de planejamento, dentro de um determinado horizonte, tendo como objetivo satisfazer uma demanda prevista a um custo mínimo. A programação da produção, por sua vez, tem por função a alocação ótima de recursos às operações produtivas com a finalidade de cumprir com a fabricação das quantidades planejadas previamente. Este problema (programação) resulta sendo muito difícil de ser resolvido, sobretudo quando se trabalha em ambientes flexíveis, onde diferentes máquinas são capazes de realizar variadas operações. Neste sentido, o presente trabalho tem como objetivo apresentar as Redes de Petri como uma ferramenta de modelagem tanto gráfica como matemática, para resolver os problemas relacionados com o planejamento e a programação da produção, em ambientes flexíveis de manufatura do tipo job shop.
22

Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura

Souza, Rafael Roque de 30 August 2013 (has links)
Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T13:23:25Z No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:14:31Z (GMT) No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:14:31Z (GMT). No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-30 / FACEPE / Os data centers estão em constante crescimento, a fim de atender às demandas de novas tecnologias, como cloud computing e e-commerce. Em tais paradigmas, períodos de inatividade podem levar a perdas financeiras de milhões de dólares e danificar permanentemente a reputação de uma empresa. Vários fatores afetam a disponibilidade de sistemas de TI em data center, entre eles, as variações de temperatura ambiente. Este trabalho propõe modelos para contemplar o efeito de variação de temperatura nas infraestruturas do data center. Além destes modelos, também é proposta uma metodologia para auxiliar na elaboração e avaliação dos diferentes cenários. Esta metodologia permite a análise através de vários modelos intermediários que ajudam a encontrar o efeito de variação de temperatura na disponibilidade das infraestruturas de TI do data center. Nesta abordagem, a avaliação é realizada com modelos de rede de Petri estocásticas, modelo de Arrhenius, modelo de energia, e diagrama de blocos de confiabilidade. Por fim, três estudos de casos real, bem como, exemplos são apresentados com a finalidade de mostrar a aplicabilidade deste trabalho.
23

Modelagem e processamento de conhecimento baseados em Rede de Petri nebulosa estendida

Daltrini, Alexandre Moreira 21 June 1993 (has links)
Orientador: Fernando A. C. Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T15:26:53Z (GMT). No. of bitstreams: 1 Daltrini_AlexandreMoreira_M.pdf: 4304751 bytes, checksum: 40ce8b7b349c84d1c46e348802edecdf (MD5) Previous issue date: 1993 / Resumo: Atualmente, a Modelagem e Processamento de Conhecimento é um assunto muito explorado na área de pesquisa em Inteligência Artificial. A proposta deste trabalho é apresentar uma modificação das Redes de Petri, a Rede de Petri Nebulosa Estendida, baseada em conceitos da Lógica Nebulosa e das Redes de Petri. Esta nova metodologia é direcionada para a representação e processamento de conhecimento em sistemas com caracteristicas de incerteza ou aspectos vagos em sua modelagem. A Rede de Petri Nebulosa Estendida pretende fornecer uma ferramenta para representação de conhecimento que seja de amplo escopo de aplicação, adaptando-se à problemas nas mais diversas áreas de atuação, e que seja de fácil manipulação. Há ainda um exemplo de aplicação em simulação de sistemas de manufatura, onde se realiza a modelagem através de regras de produção nebulosas e, após o processamento sob o algoritmo proposto, apresentam-se os resultados e sua devida interpretação / Abstract: Nowadays, knowledge modelling and processing are topics of interest for Artificial Intelligence researchers. The proposal of this work is to develop a modification of classical Petri Nets, which one is based on principles of Fuzzy Logic and Petri Nets, called Extended Fuzzy Petri Nets. This new methodology is addressed to the Knowledge Representation and Processing of systems, in which there are some aspects of uncertainty and vagueness. The Extended Fuzzy Petri Nets intends to offer a Knowledge Representation tool, with several application areas and easy manipulation. There is an example of manufacturing systems simulation, with the cell modelling based on fuzzy production roles and, after the processing by the algorithm developed, the results and interpretation are presented. / Mestrado / Mestre em Engenharia Elétrica
24

Modelos baseados em extensões de rede de Petri para analise de protocolos de comunicação

Damasceno, Berenice Camargo 27 July 1989 (has links)
Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T17:26:38Z (GMT). No. of bitstreams: 1 Damasceno_BereniceCamargo_M.pdf: 9724675 bytes, checksum: e2ac5ac37aa8889d89a0a897d68b38ed (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica
25

Representação de conhecimento utilizando o 'lambda'-calculo tipado

Souza, João Nunes de 19 May 1989 (has links)
Orientador: Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1 Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5) Previous issue date: 1989 / Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de fórmulas são associados a critérios de derivação que determinam os argumentos das funções dos programas. estabelecendo o seqüenciamento da execução destas funções e possibilitando a derivação de novos conhecimentos. Propõe-se um conjunto de relações de complexidade entre as fórmulas do 'lambda¿-cálculo tipado. que se baseia em uma classificação destas fórmulas. A classificação se fundamenta na estrutura sintática dos símbolos para tipo associados às fórmulas. A ordem dos símbolos para tipo determina relações de ordem entre as fórmulas do 'lambda¿-cálculo tipado, definindo as relações de complexidade. As relações de complexidade são utilizadas em uma representação sintática das relações hierárquicas de complexidade do conhecimento representado em um sistema. Demonstra-se um conjunto de condições necessárias ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines the programms functions arguments and the execution function sequence. A typed 'lambda¿-calculus formulas complexity relationship based on a typed h-calculus formulas classification is proposed. The classification is based on the formulas and type simbols sintat ic structure. The type simbols orders determines typed 'lambda¿-calculus formulas order relations wich define the complexity relationship. The complexity relationship is used to represent a sintatic representation of a knowledge system hierarchic relationship complexity ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica
26

Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri

Tamura, Roberto Toshiyuki 02 September 1988 (has links)
Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T17:32:48Z (GMT). No. of bitstreams: 1 Tamura_RobertoToshiyuki_M.pdf: 5692280 bytes, checksum: 5060e1cac0598ce84d6c8f7ffee3b0b4 (MD5) Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica
27

Modelagem e avaliação de mecanismos de composição para redes de ambiente

PEREIRA, Leonardo Arcanjo da Fonseca 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T15:56:20Z (GMT). No. of bitstreams: 2 arquivo2917_1.pdf: 4541033 bytes, checksum: 4094fbc961a178b9ca5185e2bcc3d37d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes e uma das soluções propostas são as Redes de Ambiente. Redes de Ambiente visam prover sistemas de comunicação de alto desempenho que possibilitem amplo acesso aos novos serviços, a outros usuários e a conteúdo multimídia. Este é o principal objetivo do projeto de Redes de Ambiente (desenvolvido pelo WWI em parceria com várias empresas de telecomunicações, entre elas: Ericsson, Nokia, Elisa, France Telecom e Vodafone), além de prover sistemas sem fio viáveis que possibilitem a integração de pessoas e dispositivos. Neste escopo foi introduzido o conceito de composição de redes para compartilhamento de informações e recursos, de forma dinâmica, sob demanda e sem a necessidade (ou mínima) de interação de administradores de rede. As Redes de Petri representam uma especificação de sistemas através do uso da matemática e da exploração de recursos gráficos possibilitando diversos tipos de análise, como por exemplo, verificação das propriedades do sistema, análise de desempenho e corretude. O PBMAN (Policy-based Management for Ambient Networks) é um arcabouço que visa prover soluções de gerenciamento baseado em políticas para Redes de Ambiente. Este projeto teve como um dos seus objetivos o desenvolvimento de um protótipo que implementa os conceitos de composição de redes, compartilhamento de recursos e gerenciamento automático das redes baseado em políticas. Esta dissertação de mestrado teve como objetivo a modelagem do protótipo do PBMAN em redes de Petri para verificação da corretude do projeto e análise de desempenho. O desenvolvimento deste modelo foi importante para que fossem encontradas falhas de especificação de requisitos no protótipo PBMAN, além de possibilitar uma extrapolação do escopo do projeto. Essa modelagem permitiu a realização de testes rápidos sem a necessidade de modificar o protótipo em ambiente real, reduzindo significativamente custos e tempo de desenvolvimento
28

JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem

Delgado Arteiro, Roberto 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T15:56:59Z (GMT). No. of bitstreams: 2 arquivo3111_1.pdf: 7314545 bytes, checksum: b798714e0b187ec560d0acdc3aa2ef2e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Um dos maiores desafios atuais das organizações é a integração das aplicações corporativas permitindo o adequado gerenciamento dos processos de negócio. Atualmente, sistemas de middleware orientados a mensagem (MOMs) têm sido amplamente utilizados como ferramentas para realizar esta integração. Diante desse contexto, o seu planejamento e gerenciamento de capacidade passa a ter relevância significativa para o sucesso da integração, uma vez que, se o MOM falhar ou ficar indisponível, toda a interação entre as aplicações será comprometida. Este trabalho propõe o JMSCapacity, um toolkit formado por um processo, uma biblioteca de componentes e ferramentas para auxiliar no planejamento e gerenciamento de capacidade de MOMs baseados na especificação Java Message Service (JMS). O processo define como utilizar a biblioteca e as ferramentas para realizar o planejamento de capacidade sendo a principal contribuição deste trabalho. No processo proposto, adotou-se uma abordagem baseada em modelos para permitir que especificações de alto nível da integração sejam mapeadas em modelos formais em redes de Petri estocásticas. Isso viabiliza a realização de predições de desempenho em múltiplos cenários de carga, facilitando a identificação do ponto de saturação do MOM e da capacidade máxima de entrega de mensagens.
29

Avaliação de desempenho de servidores de aplicação utilizando redes de Petri

SOUZA, Fábio Nogueira de January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:34Z (GMT). No. of bitstreams: 2 arquivo5183_1.pdf: 2402030 bytes, checksum: 0c171b737eb1d33ccd399f546d49a3a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A plataforma J2EE (Java 2 Platform Enterprise Edition) especifica um ambiente de suporte ao desenvolvimento e execução de aplicações corporativas distribuídas. Diversos fornecedores oferecem implementações desta especificação, as quais são referenciadas como servidores de aplicação J2EE. Este mercado concorrido gera um novo desafio para departamentos de TI que compreende a avaliação e seleção de um produto J2EE adequado. A escolha de uma implementação é uma tarefa árdua uma vez que envolve uma avaliação conjunta de muitas características, tais como custo, desempenho, escalabilidade, flexibilidade e adaptabilidade, facilidades de uso e de gerenciamento, e conformidade com os padrões. Contudo, essa escolha é usualmente centrada em desempenho, uma vez que avaliar servidores de aplicação com base em todas as suas características é difícil. As abordagens atuais para avaliação de desempenho de servidores de aplicação têm se concentrado principalmente no uso da técnica de medição. Este trabalho, por sua vez, propõe a utilização de modelagem analítica e simulação, introduzindo uma abordagem para a avaliação de desempenho baseada em redes de Petri estocásticas. Para ilustrar a proposta, modelos para o servidor de aplicação JBoss são projetados e utilizados na derivação de métricas de desempenho. Os resultados obtidos são validados através da realização de medições em ambientes controlados
30

ISPN: Modelagem e avaliação estocástica intervalar

Mário Lins Galdino, Sérgio 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2 arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas. Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para modelar as situações em que os dados de entrada estão num determinado nível da exatidão. As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas. Tais incertezas incluem os erros dos dados que ocorrem durante os processos de medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método de análise relacionado permitem que a análise de desempenho seja realizada, considerando variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise. O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados

Page generated in 0.1363 seconds