Specifying Statistical Models

Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software. Essas técnicas podem ser ou não formais, de acordo com o sistema em desenvolvimento. Neste trabalho, uma técnica de modelagem formal é aplicada num estudo de caso. Aqui, o modelo de Máquina de Estados Finita é usado para especificar as funcionalidades de uma calculadora, a qual modela as operações básicas de aritmética. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.

2014

Sendo uma epidemia, um problema de saúde pública, é importante modelar a sua propagação de maneira a que se possa atuar sobre ela. Existem duas grandes classes de modelos epidemiológicos: os determinísticos e os estocásticos. Os modelos determinísticos utilizam equações diferenciais para descrever a evolução do número de infetados (I) e de suscetíveis (S) de serem infetados numa determinada população. O modelo predador-presa, também conhecido por Lotka-Volterra, pode ser considerado como o primeiro modelo epidemiológico determinístico. Estes modelos são genéricos, podendo ser utilizados para a modelação da propagação de qualquer doença infetocontagiosa. O ajuste do modelo à doença faz-se através dos valores dos parâmetros envolvidos. Neste trabalho faz-se um levantamento dos principais modelos determinísticos, como os modelos Suscetíveis-Infetados-Suscetíveis (SIS), Suscetíveis-Infetados-Recuperados (SIR) e Suscetíveis-Infetados-Recuperados-Suscetíveis (SIRS) [1], e procede-se à sua...

2021

Serão apresentadas três metodologias de cálculo para a abordagem determinística. A primeira delas diz respeito ao método de Extrapolação Simples, a segunda diz respeito à obtenção do caminho através do conhecimento de seus componentes, que seria a metodologia de Decomposição da Série e a terceira e última é a Suavização Exponencial Linear - SEL.

É abordado o problema dos modelos de recuperação de informação, sob o ponto de vista estatístico, no sentido de estabelecer relações entre os diferentes algoritmos e apresentar uma visão unificada dos diferentes modelos com base em métodos estatísticos. É proposta uma notação comum para os mesmos conceitos apresentados por modelos diferentes evitando-se assim a grande diversidade das notações existentes, identificando-se os requisitos para um índice flexível capaz de fornecer matéria-prima para todos os modelos de pesquisa com base nas propriedades estatísticas dos documentos.

Acta cirúrgica brasileira / Sociedade Brasileira para Desenvolvimento Pesquisa em Cirurgia, 2005

The purpose of this study is to collect the main classifications of experimental research models and their possible applications in experimental research. Literature search was done using the most important data bank available on the internet (PUBMED, MEDLINE, SCIELO, LILACS, COCHRANE). A compilation of the experimental studies developed at the Plastic Surgery Post Graduate Program of the Federal University of São Paulo/Paulista School of Medicine was also done. Animals models were classified regarding sanitary and genotypical status. The understanding of the main classifications of the research experimental models is essential to improve and confirm procedures and techniques already described as well as the development of new ones.

2011

TCCP (especialização) - Universidade Federal de Santa Catarina.Este trabalho consiste no estudo da modelagem matemática através de equações diferencias ordinárias. A modelagem matemática é uma metodologia de pesquisa que permite modelar diversas situações do cotidiano. É a arte de transformar problemas da realidade em linguagem matemática. A proposta aqui é utilizar da modelagem matemática para resolver problemas relacionados a epidemiologia através de equações diferenciais ordinárias

O presente trabalho busca estudar a regressão sobre variáveis dummy, mais especificamente, revisar a teoria e os casos em que elas podem ser utilizadas, a fim de elaborar, de forma sucinta, um material simples e abrangente sobre o assunto, capaz de auxiliar em pesquisas e trabalhos. Após a formalização, apresentou-se os procedimentos operacionais para executá-los, com ajuda de recursos computacionais, utilizando-se o software Statistica versão 5.1. Palavras-chave: Regressão, Variável Dummy, Software Estatístico.

Building Information Modeling (BIM) - Princípios e Tendências, 2023

Building Information Modeling (BIM)-Princípios e tendências 4 Prefácio Começo este prefácio ao ressaltar a minha satisfação pelo convite para escrever este Prefácio. Fui apresentada ao BIM-Building Information Modeling, no ano de 2020, ao integrar a equipe da pós-graduação lato sensu da PUC Minas, juntamente com os organizadores deste livro, Professores Maria Aparecida Fernandes Almeida e Everaldo Bonaldo. A ideia surgiu em 2012 com a oferta do curso de Especialização em "Construção Civil Enxuta-Lean Construction", através do IEC-Instituto de Educação Continuada e naquele momento, foi planejado para atingir um público diversificado, com abordagem em tecnologias e processos produtivos, qualidade, gestão ambiental, gestão de custos, marketing, logística, gestão de projetos e ferramentas da produção enxuta na Construção Civil.

O Texto trata sobre a Modelagem na Educação Matemática.

Industrial Data, 2014

El artículo presenta una clase parser en Java para evaluar expresiones algebraicas empleando algoritmos fundamentales para la construcción de compiladores, pasando por la conversión de expresiones de infija a postfija, la evaluación de expresiones en notación postfija, el algoritmo de evaluación por precedencia de operadores, el algoritmo parsing de precedencia y el algoritmo de construcción de funciones de precedencia. El objetivo del artículo es escribir un analizador léxico en un lenguaje convencional de programación de sistemas, utilizando las posibilidades de entrada y salida del lenguaje Java para leer las expresiones a evaluar desde la entrada; procesarlas y enviar los resultados a la salida.