Spelling suggestions: "subject:"redes dde petri estocásticas"" "subject:"redes dde petri stocásticas""
1 |
ISPN: Modelagem e avaliação estocástica intervalarMá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
|
2 |
Modelagem e simulação de uma solução de integração do sistema de currículos da Ag~encia nacional de Ciência e Tecnologia de Portugal para a redução de gargalos de desempenhoLencina, Alexsandro Queiroz 08 August 2017 (has links)
A grande maioria das empresas possui um ecossistema de software composto por um conjunto de aplicações, para auxiliar na tomada de decisões ou na melhoria dos seus processos de negócio. O campo de estudo integração de aplicações empresariais oferece ferramentas e metodologias para criar soluções de integração que possibilita que as aplicações do ecossistema, geralmente heterogêneas, possam trabalhar de maneira conjunta e sincronizada. Esta dissertação utiliza como caso de estudo uma solução de integração projetada para o problema de integração do sistema de currículos da agência nacional e tecnologia de Portugal. Esta solução, projetada com uma linguagem de modelagem de alto nível de abstração, é caracterizada como um sistema de eventos discretos. Existem vários paradigmas para a modelagem de sistemas de eventos discretos, dentre eles aqueles baseados em modelos probabilísticos. nesta dissertação, utiliza-se uma abordagem baseada em simulação com redes de Petri estocásticas para a identificação de gargalos de desempenho em soluções de integração, caracterizando, assim, uma solução como um processo probabilístico. Para a redução desses gargalos utilizou-se as redes de Petri Estocásticas Generalizadas. A simulação de uma solução de integração, a partir do seu modelo conceitual, possibilita a análise do seu comportamento ainda na fase de projeto, reduzindo custos, riscos e tempo no desenvolvimento da solução. Os resultados da simulação mostram que os gargalos de desempenho podem ser identificados ainda na fase de projeto e que é possível reduzi-los dedicando recursos computacionais às tarefas mais críticas do modelo. / 97 f.
|
3 |
Modelagem e Avaliação de Desempenho Operacional e Ambiental em Cadeias de Suprimentos VerdesALBUQUERQUE JÚNIOR, Gabriel Alves de 04 February 2013 (has links)
Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-09T13:39:20Z
No. of bitstreams: 2
tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T13:39:20Z (GMT). No. of bitstreams: 2
tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Previous issue date: 2013-02-04 / As atuais exigências de questões ambientais fizeram com que a análise de cadeias de suprimentos
e sistemas de manufatura precisasse levar em consideração indicadores de desempenho
ambiental, além das tradicionais métricas de desempenho. A quantidade de energia consumida
para produzir um bem de consumo e o total de emissões de gases de efeito estufa (GEE)
são exemplos desses indicadores. Diversas organizações e empresas vêm se envolvendo na
definição de metodologias e ferramentas que auxiliem na avaliação de desempenho ambiental
(ADA). O gerenciamento de cadeias de suprimentos verdes (GSCM), do inglês green supply
chain management, surgiu da necessidade de se avaliarem metas relacionadas ao desempenho
das cadeias de suprimentos e seu impacto ambiental. As redes de Petri vêm sendo aplicadas
constantemente na avaliação de sistemas de manufatura e cadeias de suprimentos. Este trabalho
propõe um framework baseado na utilização das stochastic Petri nets (SPN), especificamente
as stochastic reward nets (SRNs), para a modelagem e aferição de indicadores das atividades
do GSCM. Para alcançar esse objetivo, utiliza-se uma abordagem baseada em componentes
para modelar os elementos do sistema. A composição desses componentes resulta em um modelo
cujas propriedades são garantidas e que provê um conjunto de indicadores de desempenho
ambiental e do sistema.
|
4 |
Uma abordagem para mapeamento de redes virtuais confiáveisCavalcanti, Victor Antônio Ribeiro de Lira 29 April 2014 (has links)
Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T19:35:09Z
No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T19:42:47Z (GMT) No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Made available in DSpace on 2015-03-10T19:42:47Z (GMT). No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5)
Previous issue date: 2014-04-29 / A Internet possui um papel vital na sociedade atual, possibilitando a existência de aplicações
e serviços em diferentes áreas, como saúde, entretenimento, educação e segurança.
Entretanto, apesar da Internet ter evoluído consideravelmente em aspectos como velocidade
e capacidade, inovações arquiteturais necessárias, por exemplo, para melhor suporte
à mobilidade, sofrem resistência em virtude de sua estrutura atual. Nesse contexto,
a virtualização de redes de computadores é uma abordagem promissora para resolver o
problema atual de ossificação da Internet. Um grande desafio associado a esse conceito
é o mapeamento das redes virtuais, devido à natureza NP-difícil do problema. Com isso,
diversas heurísticas têm sido propostas com o objetivo de alcançar alocações eficientes.
Contudo, apesar de as abordagens existentes aperfeiçoarem métricas de desempenho,
como o custo e a taxa de aceitação das requisições, questões de dependabilidade não são
consideradas no mapeamento. Dependabilidade envolve métricas como confiabilidade e
disponibilidade, as quais impactam diretamente a qualidade do serviço. Logo, tais métricas
são de grande importância e devem ser consideradas na formulação de problemas
de otimização para alocação de redes virtuais. Este trabalho propõe um algoritmo baseado
na metaheurística GRASP (Greedy Randomized Adaptive Search Procedure) para o
mapeamento de redes virtuais confiáveis. Políticas de redundância são consideradas na
alocação para satisfazer requisições de redes virtuais com restrições de alta disponibilidade.
Além disso, é proposta uma abordagem hierárquica e heterogênea, com modelos
formais em redes de Petri estocásticas (SPN) e diagramas de bloco de confiabilidade
(RBD) para representar e avaliar disponibilidade das redes virtuais. Esses modelos são
gerados e avaliados automaticamente pela ferramenta Mercury, ao longo do processo de
mapeamento. Estudos de caso são propostos para demonstrar a aplicabilidade dos modelos
e algoritmo adotados. Os resultados experimentais demonstram o impacto da adoção
de questões de dependabilidade na alocação, bem como a relação entre a disponibilidade
e o custo das redes virtuais.
|
5 |
ASTRO- uma ferramenta para avaliação de dependabilidade e sustentabilidade em sistemas data centerSilva, Bruno 31 January 2011 (has links)
Made available in DSpace on 2014-06-12T15:55:22Z (GMT). No. of bitstreams: 2
arquivo2234_1.pdf: 7802626 bytes, checksum: 1cb84477d378fe2e57a785c1609ceac9 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Aspectos de sustentabilidade têm recebido grande atenção pela comunidade científica,
devido às preocupações com a satisfação das necessidades atuais de energia sem comprometer,
por exemplo, recursos não-renováveis para as gerações futuras. Na verdade,
uma crescente demanda de energia é uma questão que tem impactado a forma de como
os sistemas são concebidos (data centers, por exemplo), no sentido de que os projetistas
necessitam verificar vários trade-offs e selecionar uma solução viável considerando a
utilização da energia e outras métricas, tais como confiabilidade e dispobilidadade. As
ferramentas são importantes neste contexto para automatizar várias atividades de projeto
e obter resultados o mais rápido possível. Este trabalho apresenta um ambiente
integrado, denominado, ASTRO, que contempla: (i) Diagramas de Blocos de Confiabilidade
(RBD) e Redes de Petri Estocásticas (SPN) para avaliação de dependabilidade , (ii)
um método baseado na avaliação do ciclo de vida (LCA) para a quantificação do impacto
da sustentabilidade. ASTRO foi concebido para avaliar infra-estruturas de centros de dados,
mas o ambiente é genérico o suficiente para avaliar sistemas em geral. Além disso,
um estudo de caso é fornecido para demonstrar a viabilidade do ambiente proposto
|
6 |
Avaliação do impacto de uma política de manutenção na performabilidade de sistemas de transferência eletrônica de fundosTeixeira Gomes de Sousa, Erica 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T15:52:45Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2009 / Os sistemas de transferência eletrônica de fundos (TEF) promovem benefícios financeiros
para as instituições que utilizam esse serviço e conveniências para seus clientes.
Os sistemas TEF realizam operações de crédito e débito em contas bancárias através
de terminais de pontos de vendas (PDVs) em diferentes empresas. Assim, a avaliação
de desempenho de sistemas TEF tem fundamental importância para as empresas que
promovem o serviço de transferência eletrônica de fundos, uma vez que os recursos computacionais
devem ser utilizados eficientemente, objetivando atingir os requisitos definidos
nos acordos de nível de serviço (SLA). A ocorrência de eventos de falhas podem causar
uma severa degradação no desempenho de sistemas. Assim, os resultados da modelagem
de sistemas sem considerar os efeitos da dependabilidade sobre o desempenho são
incompletos ou imprecisos. Este trabalho apresenta uma metodologia para avaliação da
performabilidade composta de um método para avaliação de desempenho, um método
para avaliação da dependabilidade e uma técnica de decomposição e composição. Este
trabalho também apresenta dois modelos estocasticos expolinomiais para avaliação de
performabilidade os quais são o modelo de desempenho de sistemas TEF e o modelo
de dependabilidade de sistemas TEF. O modelo de desempenho de sistemas TEF proporciona
a avaliação do desempenho dos recursos de processamento e armazenamento
do servidor TEF, considerando variações na carga de trabalho (transações comerciais de
crédito e débito). Já o modelo de dependabilidade de sistemas TEF promove a avaliação
dos efeitos da ocorrência de eventos de falhas e de uma política de manutenção na disponibilidade
e confiabilidade da infraestrutura de sistemas TEF. Os modelos de desempenho
e de dependabilidade são combinados para a avaliação do impacto da dependabilidade
no desempenho de sistemas TEF. A política de manutenção é empregada para prevenir a
ocorrência de eventos de falhas no sistema TEF e permitir a recuperação de falhas para
assegurar as expectativas de desempenho dos clientes através dos ajustes dos intervalos
entre manutenções preventivas, dos intervalos entre substituições dos equipamentos, do
número máximo de manutenções preventivas antes da substituição dos equipamentos, do
tempo médio para reparo, do dimensionamento da equipe de manutenção e dos custos
relacionados às manutenções. Estudos de caso são apresentados para análise do impacto
das variações da carga de trabalho no desempenho de sistemas TEF, para análise do
impacto de uma política de manutenção na performabilidade de sistemas TEF e para
análise dos efeitos das variações de temperatura na performabilidade de sistemas TEF
|
7 |
Avaliação de desempenho de processos de testes de softwareLuiz Monteiro Marinho, Marcelo 31 January 2010 (has links)
Made available in DSpace on 2014-06-12T15:56:43Z (GMT). No. of bitstreams: 2
arquivo2981_1.pdf: 3215822 bytes, checksum: 207b7ae6534fc85e3430543b64c88b38 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2010 / A procura por softwares com maior qualidade tem motivado a definição de métodos e
técnicas para o desenvolvimento de softwares que atinjam os padrões de qualidade impostos.
Com isso, o interesse pela atividade de teste de software vem aumentando nos
últimos anos. As fábricas de software enfrentam dificuldades na elaboração de processos
de testes adequados ao projeto de maneira que sejam efetivos com relação à qualidade
do produto e, ao mesmo tempo, tenham execução eficiente. Esses aspectos concorrentes
podem afetar os níveis de qualidade almejado ou induzir o desenvolvimento de processos
rebuscados e ineficientes. Parte desse problema ocorre tanto devido à dificuldade enfrentada
pelas organizações na definição de processos a cada projeto particular, quanto pela
ausência de mecanismos que possibilitem a provisão de meios para escolha das alternativas
mais convenientes a cada projeto particular em termos de desempenho e critérios de
qualidade.
Dessa forma, ambientes que proporcionem a avaliação do desempenho dos processos e
que possibilitem estimativa do uso de recursos são mecanismos que concorrem para melhoria
dos índices de qualidade e produtividade das organizações. Modelos de execução
de processo voltados para estimativa de desempenho que levem em consideração combinações de cenários diversos e ativos podem trazer ganhos substanciais de produtividade
tanto na customização dos processos quanto na efetividade do processo definido para o
projeto.
Este trabalho propõe uma metodologia de avaliação de desempenho aplicada a Processos
de Testes de Software. Com a aplicação da metodologia proposta, é possível verificar
o impacto de mudanças no processo, avaliar o desempenho do processo de testes, realizar
simulações com o objetivo de obter estimativas mais precisas e, principalmente, ajudar na
garantia da qualidade do produto. Além disso, essa metodologia possibilitará a avaliação
de diferentes alternativas de implementações, bem como a verificação de melhor composição de recursos pessoais para as atividades do processo. Isso tudo pode ser realizado
sem a necessidade da real implementação do processo, tornando mais ágil e barato todo
o processo
|
8 |
A framework for availability, performance and survivability evaluation of disaster tolerant cloud computing systemsSILVA, Bruno 26 February 2016 (has links)
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-10-31T13:02:48Z
No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Bruno_Silva_Doutorado_Ciencia_da_Computacao_2016.pdf: 7350049 bytes, checksum: f6bc77a5446b293d932df5ac54dad560 (MD5) / Made available in DSpace on 2016-10-31T13:02:48Z (GMT). No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Bruno_Silva_Doutorado_Ciencia_da_Computacao_2016.pdf: 7350049 bytes, checksum: f6bc77a5446b293d932df5ac54dad560 (MD5)
Previous issue date: 2016-02-26 / CNPq / Cloud Computing Systems (CCSs) allow the utilization of application services for users around the world. An important challenge for CCS providers is to supply a high-quality service even when there are failures, overloads, and disasters. A Service Level Agreement (SLA) is often established between providers and clients to define the availability, performance and security requirements of such services. Fines may be imposed on providers if SLA’s quality parameters are not met. A widely adopted strategy to increase CCS availability and mitigate the effects of disasters corresponds to the utilization of redundant subsystems and the adoption of geographically distributed data centers. Considering this approach, services of affected data centers can be transferred to operational data centers of the same CCS. However, the data center synchronization time increases with the distance, which may affect system performance. Additionally, resources over-provisioning may affect the service profitability, given the high costs of redundant subsystems. Therefore, an assessment that include performance, availability, possibility of disasters and data center allocation is of utmost importance for CCS projects. This work presents a framework for geographically distributed CCS evaluation that estimates metrics related to performance, availability and disaster recovery (man-made or natural disasters). The proposed framework is composed of an evaluation process, a set of models, evaluation tool, and fault injection tool. The evaluation process helps designers to represent CCS systems and obtain the desired metrics. This process adopts a formal hybrid modeling, which contemplates CCS high-level models, stochastic Petri nets (SPN) and reliability block diagrams (RBD) for representing and evaluating CCS subsystems. An evaluation tool is proposed (GeoClouds Modcs) to allow easy representation and evaluation of cloud computing systems. Finally, a fault injection tool for CCSs (Eucabomber 2.0) is presented to estimate availability metrics and validate the proposed models. Several case studies are presented and analyze survivability, performance and availability metrics considering multiple data center allocation scenarios for CCS systems. / Sistemas de Computação em Nuvem (SCNs) permitem a utilização de aplicações como serviços para usuários em todo o mundo. Um importante desafio para provedores de SCN corresponde ao fornecimento de serviços de qualidade mesmo na presença de eventuais falhas, sobrecargas e desastres. Geralmente, um acordo de nível de serviço (ANS) é estabelecido entre fornecedores e clientes para definição dos requisitos de disponibilidade, desempenho e segurança de tais serviços. Caso os parâmetros de qualidade definidos no ANS não sejam satisfeitos, multas podem ser aplicadas aos provedores. Nesse contexto, uma estratégia para aumentar a disponibilidade de SCNs e mitigar os efeitos de eventuais desastres consiste em utilizar subsistemas redundantes e adotar de centros de dados distribuídos geograficamente. Considerando-se esta abordagem, os serviços de centros de dados afetados podem ser transferidos para outros centros de dados do mesmo SCN. Contudo, o tempo de sincronização entre os diferentes centros de dados aumenta com a distância entre os mesmos, o que pode afetar a performance do sistema. Além disso, o provisionamento excessivo de recursos pode afetar a rentabilidade do serviço, dado o alto custo dos subsistemas redundantes. Portanto, uma avaliação que contemple desempenho, disponibilidade, possibilidade de desastres e alocação de centro de dados é de fundamental importância para o projeto de SCNs. Este trabalho apresenta um framework para avaliação de SCNs distribuídos geograficamente que permite a estimativa de métricas de desempenho, disponibilidade e capacidade de recuperação de desastres (naturais ou causados pelo homem). O framework é composto de um processo de avaliação, conjunto de modelos, ferramenta de avaliação e ferramenta de injeção de falhas. O processo de avaliação apresentado pode auxiliar projetistas de SCNs desde a representação do sistem de computação em nuvem até a obtenção das métricas de interesse. Este processo utiliza uma modelagem formal híbrida, que contempla modelos de SCN de alto nível, redes de Petri estocásticas (RPEs) e diagramas de bloco de confiabilidade (DBCs) para representação e avaliação de SCNs e seus subsistemas. Uma ferramenta de avaliação é proposta (GeoClouds Modcs) que permite fácil representação e avaliação de sistemas de computação em nuvem. Por fim, uma ferramenta de injeção de falhas em SCN (Eucabomber 2.0) é apresentada para estimar métricas de disponibilidade e validar os modelos propostos. Vários estudos de caso são apresentados e estes analisam a capacidade de recuperação de desastres, desempenho e disponibilidade de SCNs distribuídos geograficamente.
|
Page generated in 0.0961 seconds