Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Resumo não disponível

A utilização de versões permite o armazenamento de diferentes alternativas de projeto no desenvolvimento de uma aplicação. Entretanto, nem todo o histórico das alterações aplicadas sobre os dados é registrado. Modificações importantes podem ser realizadas e os valores anteriores são perdidos. O histórico completo somente é acessível através da junção de versões com um modelo temporal. Os conceitos de tempo e de versão aplicados em conjunto possibilitam a modelagem de aplicações complexas. Uma extensão que implemente simultaneamente estes dois conceitos em um banco de dados comercial não está disponível. O Modelo Temporal de Versões (TVM – Temporal Version Model) fornece a base para esta funcionalidade. O objetivo deste trabalho é projetar um extender para oferecer suporte aos conceitos de tempo e versão no sistema DB2, utilizando como base o TVM. A extensão engloba o mapeamento da hierarquia do TVM; a criação de tabelas administrativas; procedimentos para especificação das classes, atributos e relacionamentos; a definição de gatilhos e restrições para a manipulação dos dados diretamente nas tabelas criadas; e a especificação de procedimentos e UDFs para controle de versões e valores temporais e de outras UDFs que permitem consultas envolvendo os dois conceitos. Apesar do SGBD não ser totalmente orientado a objetos, como é definido no modelo utilizado (TVM), oferece mecanismos que permitem o mapeamento para um modelo objetorelacional. Através da utilização desta extensão, a união de tempo e de versões pode ser utilizada em aplicações reais.

Um Sistema gerenciador de Bancos de Dados (SGBD) possui como principal característica a capacidade de gerenciar bases de dados que representam parte do mundo real. Para que essa representação seja fiel, os dados presentes em uma base de dados devem obedecer a diversas regras conhecidas como restrições de integridade. Estas podem ser provenientes da realidade modelada, da implementação ou do modelo de dados utilizado. O suporte oferecido por sistemas gerenciadores de bancos de dados tradicionais não é suficientemente adequado a certas aplicações com necessidades que vão além das convencionais. Diversas aplicações necessitam armazenar dados históricos em conjunto com seus períodos de validade. Outras precisam armazenar versões de conjuntos de dados, gerenciando suas agregações e formas de representação. Através do suporte aos conceitos de tempo e de versão, provido por um SGBD, grande parte dessas necessidades é suprida. Este tipo de banco de dados usa o conceito de tempo para armazenar e controlar dados históricos enquanto o conceito de versão permite a gerência de alternativas de projeto. Existem atualmente diversos trabalhos e implementações relacionados à manutenção de restrições de integridade sobre bancos de dados tradicionais. Entretanto, restrições que consideram a gerência de tempo e de versões sobre dados ainda representam uma área de pesquisa praticamente inexplorada. De acordo com essa realidade, o primeiro objetivo do presente trabalho consiste em definir uma classificação de restrições de integridade para bases de dados com suporte a tempo e versões, a fim de prover uma base para o desenvolvimento de pesquisas relacionadas à sua especificação e manutenção. O segundo objetivo consiste em agregar ao Modelo Temporal de Versões (TVM), que suporta os conceitos de tempo e de versão, uma linguagem que permita a especificação de restrições de integridade. Esta linguagem considera características relacionadas à temporalidade e ao versionamento dos dados e das próprias restrições.

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Apesar das vantagens das funcionalidades de banco de dados temporais, já amplamente demonstradas na literatura, ainda não existe, comercialmente, um SGBD totalmente temporal. Algumas propostas já foram feitas, embora um pouco discretas, dando ênfase em apenas parte das funcionalidades temporais, já sinalizando que em breve será possível existir um SGBD puramente temporal. Uma dessas propostas se constitui na implementação de uma camada de software que simula um banco de dados temporal, chamada Pacote de Tempo de Validade – PTV. Ela foi desenvolvida para demonstrar algumas funções temporais de banco de dados de tempo de validade. Embora o PTV tenha funções para garantir a integridade de dados temporais na inserção de tuplas, além de outros controles, não apresenta funções de consultas temporais. Essas funções foram desenvolvidas neste trabalho com base no TSQL2, aumentando, portanto, as funcionalidades temporais do PTV. Elas foram desenvolvidas para o SGBD Oracle 9i e consistem da principal proposta desse trabalho, permitindo inclusive validar as funções de consultas temporais de outras propostas da literatura. A segunda proposta desse trabalho é prover aos desenvolvedores e pesquisadores dessa área, uma interface visual apropriada para o uso do PTV, permitindo, assim, a exploração máxima dos recursos temporais desse pacote.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Estatística, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2015-11-30T12:42:27Z No. of bitstreams: 1 2015_PauloHenriqueDouradoSilva.pdf: 9041166 bytes, checksum: 3d672fa250aa071f9747498f35ab5395 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-11T10:54:59Z (GMT) No. of bitstreams: 1 2015_PauloHenriqueDouradoSilva.pdf: 9041166 bytes, checksum: 3d672fa250aa071f9747498f35ab5395 (MD5) / Made available in DSpace on 2016-01-11T10:54:59Z (GMT). No. of bitstreams: 1 2015_PauloHenriqueDouradoSilva.pdf: 9041166 bytes, checksum: 3d672fa250aa071f9747498f35ab5395 (MD5) / Nesta dissertação foram desenvolvidos modelos dinâmicos para dados de contagem quando estes apresentam quebras estruturais. Os métodos aqui desenvolvidos são baseados nos modelos de regressão dinâmica proposto por McCormick et al. (2012), e nos filtros de partículas propostos por Chopin (2007), Fearnhead e Liu (2007) e Caron et al.(2012). Inicialmente apresentam-se os principais aspectos metodológicos a respeito dos modelos dinâmicos, tais como os modelos dinâmicos lineares e os modelos dinâmicos lineares generalizados. Posteriormente, sãao abordados os principais métodos existentes na literatura sobre filtros de partículas. A partir desses estudos, propomos, também, extensões inéditas para o modelo de regressãao dinâmica e para o filtro de partículas de Chopin (2007) para a estimação de parâmetros estáticos, além dos estados do sistema. Tais algoritmos são denominados como Algoritmo de McCormick com parâmetros estáticos (McPE) e Filtro de Chopin com Aprendizado de Partículas (FChAP). Nesta dissertação desenvolvemos extensões para dados que apresentam superdispersão e/ou inalação de zeros por meio das distribuções Binomial Negativa, Poisson Inacionada de zeros e Binomial Negativa Inacionada de zeros. Tais modelos foram ilustrados por meio de dados simulados e, posteriormente, foram feitas aplicações a cinco séries temporais reais de dados de contagem. / In this thesis were developed dynamic models for count data when they have structural breaks, based on dynamic regression models proposed by McCormick et al. (2012), and particle lters proposed by Chopin (2007), Fearnhead and Liu (2007) and Caron et al. (2012). Initially we present the main methodological aspects about the dynamic models such as Dynamic Linear Models and Generalized Linear Dynamic Models. Subsequently, we present the main existing methods in the literature on particle lters. From these studies, we propose new extensions for dynamic regression model and the particle lter methods proposed by Chopin (2007) for the estimation of static parameters, in addition to the states. We named these new algorithms by McCormick algorithm with static parameters (McPE) and Chopin Filter with Particles Learning (FChAP). Based on McPE and FChAP, it was possible to develop extensions for data that show overdispersion and / or zero in ation through the Negative Binomial, Zero In ated Poisson (ZIP) and Zero In ated Negative Binomial (ZINB) distributions.Those models were illustrated using both simulated data and ve real counting time series data.

Orientador: José Silvio Govone / Resumo: Recentemente, métodos estatísticos para estudar variáveis distribuídas no espaço e/ou no tempo vêm sendo desenvolvidos, isto se deve aos avanços tecnológicos que permitem a construção de modelos de estrutura complexa, com intuito de descrever melhor a realidade. O presente trabalho abordou o caso dos modelos bayesianos hierárquicos espaço-temporais. Além dos modelos espaço-temporais, dois modelos espacias, que incorporam a autocorrelação espacial presente nos dados, foram definidos, sendo eles o modelo de defasagem e de erro espacial. Através deles foi possível analisar a distribuição da dengue e relacioná-la com variáveis socioeconômicas para o ano de 2011 em Rio Claro -- SP. Diferentes abordagens espaço-temporais, baseadas na literatura recente para dados de área, foram analisadas e compõem as três técnicas apresentadas. Estes modelos tem por objetivo o mapeamento de doenças, como conhecer o seu comportamento ao longo de anos, identificar regiões de maior risco e capturar a estrutura espacial e temporal. Cada técnica apresenta uma particularidade como variação do tempo de forma linear, quadrática ou por coortes de nascimento. / Abstract: Recently, statistical methods to study distributed variable in space and/or on time has been developed, this is due to technological advances that allow the construction of model with complex structure, to better describe the reality, as the case of Bayesian hierarchical model. In addition to the spatio-temporal models, two spatial models incorporating spatial autocorrelation present in the data set were defined, being them spatial lag model and spatial error model, through them was possible to analyze the dengue distribution and relate it with socioeconomic variables for 2011 in Rio Claro - SP. Different approaches spatio-temporal, based on recent literature for areal data were analyzed and form the three techniques presented. These models aims at diseases mapping such as knowing their behavior over the years, identify areas with high risk and capture the spatial and temporal structure. Each technique presents a particularity, for example the time variation that can be analysed by different ways as linear, quadratic or by birth cohorts. / Mestre

Made available in DSpace on 2014-06-11T19:27:25Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-25Bitstream added on 2014-06-13T18:31:34Z : No. of bitstreams: 1 ferreira_mt_me_botib.pdf: 1296142 bytes, checksum: b87978808d056c330197d1345a497191 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho fazemos um estudo de métodos lineares e não llineares utilizados na análise de séries temporais experimentais e aplicamos tais métodos na análise da Variabilidade da Frequência Cardíaca (VFC) de jovens saudáveis. Os métodos lineares são baseados na análise estatística, enquanto os não lineares estão relacionados à teoria dos sistemas dinâmicos determinísticos, da qual a teoria do caos é parte integrante. Chamamos de VFC o estudo das variações dos intervalos existentes entre os batimentos cardíacos, medidos sempre entre os intervalos RR do sinal cardíaco, pois estes apresentam maior potencial para serem captados. As séries temporais obtidas destas medidas são chamadas séries de intervalos RR (ou simplesmente séries RR)... / In this work we study methods linear and nonlinear used in the analysis of experimental time series apply such methods in the analysis of Heart Rate Variability (HRV) of healthy young people. The linear methods are based on statistical analysis, while the nonlinear methods are related to deterministic dynamical systems, including the chaos theory. The HRV is known as the study of variation in the intervals between the heart beats, measured as the RR intervals of the cardiac signal, because they have greater potential to be captured. Time series obtained from these measurements are called series of RR intervals (or simply RR series). Based on the methods studied, we performed HRV analysis of 88 volunteers with 86 present no clinical disease diagnosed and are taken a healthy young people and two are young people who have some clinical pathology diagnosed... (Complete abstract click electronic access below)

Resumo: Um dos principais problemas enfrentados no planejamento estratégico da cadeia de suprimentos de qualquer empresa é a previsão de demanda dos produtos e/ou serviços necessários. Obter informações da tendência do comportamento da demanda futura é imprescindível para a melhoria do nível de serviço em todos os setores de uma empresa. O problema abordado neste trabalho é a previsão de vendas de produtos aplicada a um sistema de reposição no varejo supermercadista. A programação de reposição de produtos pode ser otimizada de forma a maximizar a satisfação dos clientes (encontrando seus produtos nas lojas), minimizando a ruptura (falta de produtos nas gôndolas) dos mesmos e evitando a superestocagem. Estuda-se neste trabalho, de uma forma particular, o problema da ruptura que pode ocorrer na transição de produtos do Centro de Distribuição (CD) à Loja (CD-Loja). Utiliza-se, para isso, um método quantitativo clássico para a previsão de séries temporais, o algoritmo das Redes Neurais Artificiais de Função de Base Radial ou, simplesmente, Redes de Bases Radiais (RBF). Propõe-se neste trabalho, além de uma modificação no algoritmo das RBF, também um método qualitativo de interpretação dos resultados de previsão, com o estabelecimento de limites de estoque para cada produto de cada loja da rede. Analisou-se vários algoritmos de agrupamentos de padrões que podem ser utilizados na 2ª etapa do algoritmo das RBF e uma forma otimizada para se definir os seus parâmetros. Para melhor ilustrar a proposta, tomou-se por base dados reais de uma rede supermercadista, a qual utilizava o algoritmo das médias móveis para a previsão das séries temporais aplicado a um método de reposição baseada no tradicional método do ponto de pedido. Os resultados obtidos foram altamente satisfatórios reduzindo a ruptura CD-Loja, em média, de 12% para menos de 1% nos hipermercados e de 15% para cerca de 2% nos supermercados, gerando inúmeras vantagens competitivas para a empresa.