de modelos
Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos
... Apresentamos nesta se¸c˜ao o algoritmo de colora¸c˜ao para a verifica¸c˜ao de modelos com jogos para l´ogica de trˆes valores proposto em (SHOHAM; GRUMBERG, 2007). O algo- ritmo aqui apresentado ´e uma adapta¸c˜ao ...
107
Modelos e famílias de modelos para matrizes estocásticas simétricas
... os modelos anteriores, aquando da realização da ...destes modelos a resultados de eleições autárquicas realizadas em Portugal continental entre 1985 e 2001, tendo sido possível com a aplicação destes ...
124
Alocação de modelos de produtos a equipes de trabalhadores baseada em modelos de curvas de aprendizagem.
... de modelos com corridas de curta duração Em casos de corridas de curta duração, a proposta é utilizar a análise de regressão sobre o parâmetro de taxa de aprendizado (r) como balizadora da alocação de ...
14
Estudo da volatilidade da série de preços da soja por meio de modelos GARCH e modelos...
... Estudo de volatilidade da série de preços da soja por meio de modelos GARCH e modelos ARFIMA / Gabriel Tambarussi Avancini.[r] ...
100
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
... A conversão automática de modelos SAN proposto no algoritmo deste capítulo foi implementada na ferramenta PEPS. Ou seja, a partir de um modelo SAN, é feita uma análise dos eventos definidos por taxas ou ...
132
Redução de escala de dados de vento de modelos regionais para Modelos de Dispersão Atmosférica.
... de modelos numéricos regionais de previsão de tempo, que considera-se neste caso como pré- processador meteorológico ...em modelos de dispersão Eulerianos. Atualmente, estes modelos estão sendo ...
8
Aplicações de modelos markovianos ocultos em modelos dinâmicos não-lineares e não gaussianos
... O modelo de espa¸co de estado, tamb´ em conhecido como modelagem dinˆ amica, teve in´ıcio na d´ ecada de 60, primeiramente com Kalman(1960) [ 3 ] e posteriormente pela solu¸c˜ ao encontrada por Kalman e Bucy (1960) [ 4 ...
47
Uma abordagem para obtenção de modelos arquiteturais SOA a partir de modelos organizacionais
... Em SOA, as mensagens são utilizadas para promover a troca de informações entre provedores e consumidores de um serviço (OMG, 2012). Nos diagramas do framework i*, as informações de mensagens são requeridas explicitamente ...
152
Avaliação de modelos microbiológicos e modelos biomiméticos no metabolismo estereosseletivo...
... enantiômeros começaram a surgir a partir de 168 horas de biotransformação.. Figura 28 – A) Cromatograma representativo de meio de cultura líquido Czapeck incubado com o # - # ATCC 8688A [r] ...
126
Renda mínima no Brasil: avaliações de modelos implantados e dos modelos de James Meade
... Os modelos de Meade, diferentemente do Programa de Renda Mínima Garantida do Senador Eduardo Suplicy, estabelecem o valor da renda mínima e estimam a alíquota de imposto de renda necessá[r] ...
80
Modelos de exaurimento. 2 - Optimização dos parâmetros dos modelos de exaurimento composto
... dos modelos de esgotamento composto, nomeadamente quando tais modelos visam a interpretação do escoa mento, como é o caso do modelo MEC (Nutbrown and Downing, ...de modelos para a interpretação do ...
32
Uma Abordagem Ágil para Transformar Modelos Cognitivos em Modelos Comportamentais e de Domínio
... Recaindo sobre o BehaviorMap, esta linguagem foi o foco da dissertação e teve mais escrutínio na sua construção. Baseamos a sua estrutura na Lógica de Hoare, como muitas outras linguagens de verificação formal o fizeram. ...
219
Consistência entre modelos de equilíbrio dos mercados financeiros e modelos de avaliação de opções
... de modelos não podem ser consistentes com os preços observados, pelo que as opções não são activos redundantes nem instrumentos de cobertura ideais os preços das puts e do underlying podem descer ...
37
Um Método para o Alinhamento entre Modelos de Processos e Modelos Objetivos Baseados de Contribuição.
... • Bizagi BPMN Process Modeler: aplicativo desktop de licença freeware 1 , que permite modelar e documentar processos. Apesar de ser uma aplicação desktop, ela permite a colaboração dos diagramas desenvolvidos pelo ...
194
Modelos COM-Poisson correlacionados
... No artigo de Luceño ( 1995 ) foi realizado um estudo direcionado a situações em que os indivíduos estão sujeitos a eventos repetidos durante um intervalo de tempo e os dados de um indivíduo consistem no número de ...
175
modelos atomicos
... 58. (UNB 1998) uma das perguntas que estudantes de Química do ensino médio fazem com frequência é: "Qual o modelo de átomo que devo estudar?" Uma boa resposta poderia ser. "Depende para que os átomos ...
12
MODELOS MENTAIS
... de modelos mentais tem sido muito citado são de Kleer e Brown ...desenvolver modelos sobre como o indivíduo compreende o funcionamento de dispositivos tais como máquinas, aparelhos eletrônicos, hidráulicos, ...
40
Modelos de Colaboração
... Esta rápida visão geral da pesquisa sobre diferentes aspectos da colaboração passou por quatro das questões-chave que necessitam ser consideradas. Isso definiu implicitamente um espaço de modelos possíveis de ...
8
A Natureza dos Modelos
... reconhece nenhum modelo generalizado. H ull & King 32 concluem que, apesar da dificuldade de definições precisas, a literatura aponta uma trajetória evolucionária para a área de modelos semânticos de dados. As ...
10