• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 75
  • 3
  • 3
  • Tagged with
  • 81
  • 39
  • 29
  • 20
  • 18
  • 17
  • 11
  • 11
  • 11
  • 11
  • 10
  • 8
  • 8
  • 8
  • 8
  • 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.
41

Geração de especificação formal de sistemas a partir de documento de requisitos

da Fonseca Limaverde Cabral, Gustavo January 2007 (has links)
Made available in DSpace on 2014-06-12T15:59:36Z (GMT). No. of bitstreams: 2 arquivo5340_1.pdf: 1555764 bytes, checksum: d3735403fc535c9dd852536b0afde205 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, está sujeita a falhas, uma vez que os requisitos são escritos em Linguagem Natural, como Inglês, que pode conter definições ambíguas ou de difícil entendimento. Por outro lado, Linguagem Natural é a opção mais simples e flexível para se especificar um sistema, e é a linguagem de entendimento comum entre clientes e contratados. Desta forma, para minimizar a existência de erros nos documentos de requisitos, técnicas de validação com inspeção ou revisão de documentos são utilizadas. Entretanto, o custo de se realizar este tipo de validação é alto e sua eficácia é questionável; erros podem persistir. Além disso, requisitos escritos usando de linguagem natural são de difícil processamento, dificultando a geração de outros artefatos a partir do mesmo. Esta dissertação define uma estratégia que utiliza templates de especificação de casos de use e uma Linguagem Natural Controlada (LNC) para descrever requisitos. Os templates de casos de uso asseguram a estruturação correta do documento de requisitos e a LNC garante a exatidão da gramática do texto que especifica o comportamento do sistema. Foram criados dois templates de casos de uso, cada um com uma visão diferente do sistema. A visão mais abstrata se chama visão do usuário e a visão mais detalhada se chama visão de componentes. A partir dessa estruturação dos requisitos torna-se, possível definir uma estratégia de geração automática de uma especificação formal da aplicação em questão. A geração automática de especificação formal de sistemas reduz custo e necessidade de mão de obra especializada em projetos de desenvolvimento de software. Ou seja, uma vez que é possível realizar a geração automática do modelo formal de sistemas podemos fazer uso do mesmo na validação de propriedades do sistema. Além disso, artefatos como casos de teste e diagramas UML podem ser gerados a partir deste. Em particular, esta dissertação define uma estratégia para gerar modelos formais na álgebra de processo CSP a partir das duas visões de caso de uso, mantendo a consistência entre os artefatos. Também foi definida uma relação de refinamento entre os modelos gerados garantindo a consistência entre as visões. Finalmente, todo o processo foi automatizado através de ferramentas. Estas foram vali- dadas através de experimentos realizados no contexto de aplicação para celulares da Motorola, empresa parceira e financiadora do projeto de pesquisa com o CIn/UFPE
42

Efeitos da especificação incorreta da função de ligação no modelo de regressão beta / The impact of misspecification of the link function in beta regression

Augusto Cesar Giovanetti de Andrade 09 August 2007 (has links)
O ajuste de modelos de regressão beta requer a especificação de uma função de ligação. Algumas funções de ligação úteis são: logito, probito, complemento log-log e log-log. Usualmente, a ligação logito é utilizada pois permite interpretação simples para os parâmetros de regressão. O principal objetivo deste trabalho é avaliar o impacto da especificação incorreta da função de ligação em regressão beta. Estudos de simulação serão usados com esse prop´osito. Amostras da variável resposta serão geradas assumindo uma função de ligação conhecida (verdadeira) e o modelo de regressão beta será ajustado usando a função de ligação verdadeira (correta) e algumas funções de ligação incorretas. Resultados numéricos serão comparados para avaliar o efeito da especificação incorreta da função de ligação sobre as inferências em regressão beta. Adicionalmente, será introduzido um modelo de regressão beta com função de ligação de Aranda-Ordaz, a qual depende de um parâmetro que pode ser estimado através dos dados. / Fitting beta regression models requires the specification of the link function. Some useful link functions for beta regression are: logit, probit, complementary log-log and log-log. Usually, the logit link is used since it allows easy interpretation for the regression parameters. The main objective of this work is to evaluate the impact of misspecification of the link function in beta regression. Simulation studies will be used for this purpose. Samples of the response variable will be generated assuming a known (true) link function, and the beta regression will be fitted using the true (correct) link and some incorrect link functions. Numerical results will be compared to evaluate the effect of misspecification of the link function on inference in beta regression. Also, we will introduce a beta regression model with Aranda-Ordaz link function, which depends on an unknown parameter that can be estimated through the data.
43

Definição de requisitos para um sistema de monitoramento de veículos no transporte rodoviário de cargas. / Requirements definition for a monitoring system of vehicles in a transport of goods via roads.

Márcia Gatti Kouri 01 August 2007 (has links)
Esta dissertação apresenta o levantamento e definição dos requisitos necessários para um sistema de monitoramento de veículos no transporte rodoviário de cargas, cujo custo de implantação seja acessível a grande parte das empresas. Para isso são aplicados alguns métodos da Engenharia de Requisitos, tais como: Vord, Preview e Volere. O conjunto de requisitos obtido através deste levantamento é então utilizado como fonte para a especificação de requisitos do sistema proposto. / This dissertation shows the survey and definition of the necessary requirements regarding a monitoring system for vehicles that transport goods via roads, whose low cost implementation is accessible for most of the companies. For this purpose, some methods of the Engineering of Requirements are applied, such as: Vord, Preview and Volere. The set of requirements gotten via this survey is the source for the specification of requirements of the proposed system.
44

Estimation of DSGE Models: A Monte Carlo Analysis

Motula, Paulo Fernando Nericke 18 June 2013 (has links)
Submitted by Paulo Fernando Nericke Motula (pnericke@fgvmail.br) on 2013-06-29T15:45:20Z No. of bitstreams: 1 Dissertacao - Paulo Motula.pdf: 1492951 bytes, checksum: d60fce8c6165733b9666076aef7e2a75 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2013-07-03T13:29:49Z (GMT) No. of bitstreams: 1 Dissertacao - Paulo Motula.pdf: 1492951 bytes, checksum: d60fce8c6165733b9666076aef7e2a75 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2013-07-09T19:35:20Z (GMT) No. of bitstreams: 1 Dissertacao - Paulo Motula.pdf: 1492951 bytes, checksum: d60fce8c6165733b9666076aef7e2a75 (MD5) / Made available in DSpace on 2013-07-09T19:40:59Z (GMT). No. of bitstreams: 1 Dissertacao - Paulo Motula.pdf: 1492951 bytes, checksum: d60fce8c6165733b9666076aef7e2a75 (MD5) Previous issue date: 2013-06-18 / We investigate the small sample properties and robustness of the parameter estimates of DSGE models. Our test ground is the Smets and Wouters (2007)'s model and the estimation procedures we evaluate are the Simulated Method of Moments (SMM) and Maximum Likelihood (ML). We look at the empirical distributions of the parameter estimates and their implications for impulse-response and variance decomposition in the cases of correct specification and two types of misspecification. Our results indicate an overall poor performance of SMM and some patterns of bias in impulse-response and variance decomposition for ML under the types of misspecification studied. / Neste trabalho investigamos as propriedades em pequena amostra e a robustez das estimativas dos parâmetros de modelos DSGE. Tomamos o modelo de Smets and Wouters (2007) como base e avaliamos a performance de dois procedimentos de estimação: Método dos Momentos Simulados (MMS) e Máxima Verossimilhança (MV). Examinamos a distribuição empírica das estimativas dos parâmetros e sua implicação para as análises de impulso-resposta e decomposição de variância nos casos de especificação correta e má especificação. Nossos resultados apontam para um desempenho ruim de MMS e alguns padrões de viés nas análises de impulso-resposta e decomposição de variância com estimativas de MV nos casos de má especificação considerados.
45

O papel dos receptores nucleares na especificação atrial. / The role of nuclear receptors in atrial specification.

Bárbara Santos Pires da Silva 24 April 2014 (has links)
Foi definido que elementos regulatórios da expressão atrial-específica do promotor da SMyHC3 estão contidos em um elemento complexo de resposta a receptores nucleares (ECRRN). Ensaios de transativação celular indicam que alguns receptores nucleares se ligam nesta região. A partir destes ensaios verificamos a ativação do promotor por um receptor nuclear, o COUP-TFII. Ele regula muitos processos biológicos, como angiogênese e o próprio desenvolvimento atrial. Através da deleção do ECRRN observamos que o promotor não era ativado por COUP-TFII, indicando a sua ligação nessa região. Verificamos ainda que somente o domínio de ligação ao ligante do COUP-TFII é capaz de ativar o promotor, sugerindo a necessidade de uma interação com outros RNs para ativar o promotor. Uma análise proteômica indica que a maioria dos interactores de COUP-TFII está relacionada com complexos reguladores da transcrição e com a via de sinalização do receptor de andrógenos (AR). Ensaios de transativação celular mostram que juntos, COUP-TFII e AR, são capazes de aumentar a ativação do promotor. / It was determined that regulatory elements of the atrial-specific expression of the promoter SMyHC3 are contained in a complex nuclear receptor response element (CNRRE). Cellular transactivation assays indicated certain nuclear receptors (NR) can bind in this region. From these trials, was observed the promoter activation by a nuclear receptor, COUP-TFII. It regulates many biological processes such as angiogenesis and atrial development. Deletion of CNRRE resulted in no activation of the promoter by COUP-TFII, indicating their connection in this region. We also verified that only the ligand binding domain of COUP-TFII is able to activate the promoter, suggesting interaction with other NRs to activate it. A proteomic analysis revealed that most of COUP-TFII partners relates to complexes of transcription regulators and the androgen receptor (AR) signaling pathway. Cell transactivation assays showed that together, COUP - TFII and AR, are able to increase promoter activation.
46

Engenharia de sistema em redes eusociais. / Systems engineering in eusociais networks.

Sanches, Fábio Leandro Lazo 14 September 2010 (has links)
Este trabalho apresenta a abordagem sistêmica, a complexidade e as propriedades emergentes de um sistema de atividades humanas utilizando métodos da Engenharia de Sistemas utilizando como referência para a prova de conceito a metáfora das redes eusociais da Biologia. A análise do sistema foi feita por meio de uma comparação entre as redes eusociais, e as redes de cooperação entre universidades, após esta comparação, que levantou características relevantes para uma comunidade de sucesso, foram aplicados os 7 estágios da metodologia Soft System Methodology para a proposta de um protótipo de uma Rede Temática, aqui analisada como um sistema sociotécnico, abordando a interação entre pessoas e a tecnologia. Nesta prova de conceito foram utilizadas as informações coletadas durante reuniões das partes interessadas. Estas informações foram utilizadas para a criação de um protótipo que foi comparado com a situação real e depois modificado e melhorado pelas partes interessadas. / This work presents a systemic approach, the complexity and emergent properties of a human activities system using systems engineering methods using as reference for the proof of concept, the metaphor of networks eusocial Biology. The analysis system was made through a comparison between the eusocial networks and networks of cooperation between universities, after this comparison, which raised relevant features to a success community, were applied 7 stages of Soft System Methodology for a Thematic Network prototype proposed, here regarded as a sociotechnical system, addressing the interaction between people and technology. In this proof of concept we used the information gathered during meetings with stakeholders. This information was used to create a prototype that was compared with the actual situation and then modified and improved by stakeholders.
47

Diretrizes para especificação de serviços para governo eletrônico baseado em reuso. / Guidelines for the specification of e-government based on reuse.

Fonseca, Wannessa Rocha da 23 April 2014 (has links)
A evolução dos processos de negócio para uma visão de serviços alavancou um novo modelo computacional, o modelo orientado a serviços. Nesse modelo, os processos de negócio são modelados e implementados sob a ótica de serviços. O governo mostra-se como um domínio potencial de implantação de soluções orientadas a serviços. Embora as organizações governamentais estejam adotando o uso de serviços a fim de alcançar a interoperabilidade de sistemas de informação de governo, os serviços são geralmente criados a partir dos princípios elementares, sem considerar o reuso de soluções orientadas a serviços concebidas por outras entidades públicas. Assim, esta pesquisa tem como propósito fornecer diretrizes para auxiliar a especificação de serviços de governo eletrônico baseadas em padrões de serviços, para subsidiar o desenvolvimento de sistemas de governo, alinhados aos benefícios de computação orientada a serviços e o reuso de soluções para o governo eletrônico. Esta tese apresenta o MESe-gov, um modelo para especificação de serviços de governo eletrônico e o DESe-gov, um conjunto de diretrizes para especificação de serviços de governo eletrônico. Também é proposto um ciclo de vida de serviço para a especificação de novos serviços a partir dos padrões de serviços. A concepção de serviços, aliada ao conceito de padrões de serviços, ajuda engenheiros de software identificar elementos funcionais recorrentes e reduzir a redundância de esforços para a concepção de serviços com propósitos similares. Nesta pesquisa, foram realizados estudos de casos em que foram aplicadas as diretrizes a partir dos serviços existentes na área financeira do governo. Como resultado, os estudos de casos mostram que as diretrizes auxiliam a especificação de padrões de serviços. / The evolution of business processes for an insight on services has boosted a new computational model, the service-oriented model. The business processes in the service-oriented computational model are modelled and implemented from the perspective of services. The government appears to be a high potential scenario for the deployment of service-oriented applications. Although government organizations are adopting the use of services in order to achieve interoperability of government systems, those services are usually created from basic principles, without considering the reuse of service-oriented solutions adopted by other public entities. Thus, this research aims to provide guidelines to assist the specification of e-government services based on service patterns, to support the development of government systems, aligned with the benefits of service-oriented computing and the reuse of solutions for e-government. This thesis presents the MESe-gov, a model for the services specification of electronic government and the DESe-gov, a set of guidelines for the services specification of electronic government. A service lifecycle is also proposed for the specification of new services from service patterns. The conception of services combined with the concept of service patterns can help software engineers to identify recurrent functional elements and reduce redundant efforts in the conception of services with the same purposes. In this research, case studies were conducted in which the guidelines from existing services in the governments financial area were implemented. As a result, the case studies show that the guidelines help to specify service patterns.
48

Framework formal para composição automática de serviços em sistemas de internet das coisas. / Formal framework for automatic service composition in internet of things system.

Silva, André Luís Meneses 01 March 2018 (has links)
É cada vez mais notável o desenvolvimento da indústria micro-eletrônica. A criação de dispositivos eletrônicos menores, que apresentam maior autonomia de energia, aliados ao aumento do poder de processamento, armazenamento e comunicação sem fio de alta velocidade favoreceram o surgimento e disseminação de novas tecnologias e paradigmas, dentre elas a Internet das Coisas (IoT). Do ponto de vista tecnológico, IoT é uma rede de objetos físicos que possuem tecnologia embarcada de sensoriamento e atuação. Agências de consultoria empresarial, tais como a McKinsey & Company, afirmam que IoT apresenta valor de mercado bilionário e poderá ultrapassar a casa dos trilhões antes de 2020. Dessa forma, o mercado de IoT vem se apresentando como um dos mercados mais promissores para os próximos anos. Alguns dos problemas que podem postergar este crescimento são os problemas decorrentes da dificuldade de integração e escalabilidade das aplicações de IoT. Em IoT, problemas de interoperabilidade são corriqueiros, seja pela alta diversidade de dispositivos empregados, seja pela incompatibilidade entre fabricantes. Em relação a escalabilidade, sistemas de IoT possuem uma demanda natural por alta escala, visto que buscam atender demandas comuns a vários setores, seja na indústria, transporte, domótica, segurança pública, comércio, entre outros. Este trabalho apresenta uma solução para esses problemas através do SWoTPAD, um framework formal que auxilia o projetista no desenvolvimento de soluções para IoT. SWoTPAD oferece uma linguagem para especificar dispositivos e serviços, descrever o ambiente e realizar requisições. Adicionalmente, ele gera o módulo de descoberta, composição automática de serviços e execução. Aplicações SWoTPAD são facilmente integráveis, pois usam e estendem um mesmo conjunto de ontologias, o que garante a compatibilidade nos dados gerados e consumidos por essas aplicações. A escalabilidade advém da associação de anotações semânticas a cada um dos elementos que compõem a aplicação de IoT. Essas anotações permitem ao SWoTPAD descobrir, classificar, selecionar e compor automaticamente serviços do ambiente. Dessa forma, SWoTPAD pode procurar por soluções alternativas, quando o serviço original apto a atender uma determinada demanda se encontra sobrecarregado ou indisponível. Para validação do framework, foram adotados dois estudos de caso. O primeiro deles, o problema de implantação de serviços em um ambiente de nuvem, e o segundo, uma aplicação de segurança residencial. O estudo de caso demonstrou que é possível desenvolver aplicações completas de IoT no framework proposto. Adicionalmente, o mecanismo de composição automática gerado pelo framework para essas aplicações apresenta uma piora média de 45% de desempenho quando comparado à composição manual. / The development of the micro-electronics industry is becoming more and more remarkable. The creation of smaller electronic devices, with higher degree of autonomy, processing, storage, and wireless communication favor the emergence and dissemination of new technologies and paradigms, such as the Internet of Things (IoT ). From the technological point of view, IoT is a network of physical objects that have embedded technology of sensing and actuation. McKinsey & Company says the IoT market is already reaching billionaire numbers and may exceed the trillions by 2020. Thus, the IoT market is proving to be one of the most promising markets in the next years. Problems that can delay this growth come from the difficulty of integration and scalability of IoT applications. In IoT, interoperability problems are common, either because of the high diversity of devices used, or because of the incompatibility between manufacturers. Regarding scalability, IoT systems have a natural demand for high scale, since they seek to meet common demands in various sectors, be it in industry, transportation, home automation, public safety, commerce, among others. This work solves these problems through SWoTPAD, a formal framework that assists the designer in developing solutions for IoT. SWoTPAD provides a language for specifying devices and services, describing the environment, and performing requests. Additionally, it generates the discovery, automatic service composition, and execution module. SWoTPAD applications are easily integrable, since they use and extend the same set of ontologies, which guarantees compatibility in the data generated and consumed by these applications. Scalability comes from the association of semantic annotations to each of the elements that compose the IoT application. These annotations allow SWoTPAD to discover, rank, select, and automatically compose services. In this way, SWoTPAD can search for alternative solutions, when the original service able to meet a particular demand is overloaded or unavailable. Two case studies were developed for validation of the framework. The first one, the problem of deploying services in a cloud environment, and the second, a home security system. The case study demonstrated that it is possible to develop complete IoT applications in the proposed framework. Also, the automatic service composition module generated by SWoTPAD for these applications has a mean worsening of 45 % of performance when compared to the manual composition.
49

InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.

Maria de Fátima Mattiello-Francisco 15 December 2009 (has links)
Os estudos realizados no presente trabalho de tese abrangem o processo de integração de subsistemas de tempo real intensivos em software e o formalismo de geração de casos de teste. A integração de subsistemas é uma fase altamente onerosa em tempo e recursos de teste de projetos de sistemas críticos tais como plataformas de satélites. São investigados testes baseados em modelos de estado que representam a interação dos subsistemas comunicantes. O problema pesquisado é o formalismo adequado para representar requisitos de tempo no modelo comportamental da interação de modo que casos de teste possam ser derivados por métodos automáticos. Com foco na modelagem dos serviços providos pelos subsistemas em integração, propõe-se um arcabouço para teste de interoperabilidade e de robustez composto por cinco elementos estruturantes: (1) perfil do serviço, (2) modelo nominal do serviço, (3) perigos de tempo, (4) modelo aumentado do serviço, e (5) propósito de teste. O arcabouço, denominado InRob, orienta a construção de modelos formais de interoperabilidade os quais representam o comportamento de um serviço em um dado estágio de integração. Os modelos são estendidos com propriedades de tempo de modo que possam ser derivados casos de teste de robustez, relativos a desvios de tempo na troca de mensagens entre os subsistemas. A validação da abordagem InRob é feita no domínio de subsistemas espaciais, na integração dos subsistemas que compõem um instrumento imageador (telescópio) de raios X a bordo de uma missão de satélite de astronomia. Nesse estudo de caso, o InRob é instanciado em um processo de teste composto por três etapas, duas delas apoiadas por ferramentas existentes para geração e execução de casos de teste.
50

Guides for CCS to UML-RT and UML-RT to CCS conversions.

Mauro Eidi Villela Assano 14 December 2009 (has links)
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits.

Page generated in 0.0974 seconds