Monotonicidade
Mostrando 1-12 de 15 artigos, teses e dissertações.
-
1. Otimização de interconexões através de AIGs / Interconnections optimization through AIGs
A tecnologia VLSI tem experimentado uma constante redução na dimensão de seus dispositivos (i.e. o tamanho mínimo do transistor), permitindo uma densidade que hoje ultrapassa a casa de centenas de milhões de transistores por chip. Essa contínua redução da dimensão dos dispositivos VLSI tem forte impacto sobre a tecnologia de várias formas. Em prime
Publicado em: 2011
-
2. Propriedades de simetria e monotonicidade para soluções positivas de EDP'S semi lineares elípticas
Nesta dissertação, estudamos propriedades de monotonicidade e simetria da solução do problema de valor de fronteira da forma. É claro que são feitas algumas hipóteses sobre f e o domínio. Começamos apresentando os pré-requisitos necessários ao entendimento do trabalho. A seguir introduzimos algumas definições e provamos alguns lemas preliminares
Publicado em: 2010
-
3. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
4. Soluções Fracas para um Sistema Não-Linear Envolvendo o Operador p-Laplaciano
Neste trabalho provaremos a existência de soluções fracas para um problema misto de equações diferenciais parciais n~ao-lineares do tipo Klein-Gordon envolvendo o operador pseudo-Laplaciano. Com esse fim, usaremos o método de Faedo-Galerkin juntamente com argumentos de compacidade e monotonicidade.
Publicado em: 2010
-
5. Otimização de interconexões através de posiocionamento e síntese lógica / Interconnects optimization through placement and logic synthesis
No fluxo atual de projeto de circuitos digitais modernos é difícil estimarmos os atrasos que ocorrem nas interconexões, especialmente antes do posicionamento das células. E quando os atrasos são corretamente avaliados, após o posicionamento, devido às diferentes estruturas de dados utilizadas para as diferentes etapas do projeto, eles não podem ser r
Publicado em: 2010
-
6. Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema
Publicado em: 2010
-
7. Reducing the impact of state space explosion in Stochastic Automata Networks
A solução de modelos markovianos com grande espaço de estados é um dos maiores desafios da área de avaliação de desempenho de sistemas. Os formalismos estruturados, como as Redes de Autômatos Estocásticos (SAN), foram propostos para descrever múltiplos componentes através de autômatos, cujas transições são regidas por eventos locais ou sincron
Publicado em: 2009
-
8. Estudo da noção de taxa de variação no ensino médio
O conceito de taxa de variação é muito útil no estudo das funções reais de uma variável real e, por ser elementar, pode ser apresentado e discutido no Ensino Médio. A proposta deste trabalho é fazer um estudo detalhado e criterioso do uso da taxa de variação no estudo das funções afins, quadráticas e cúbicas. Com isso, pretende-se desenvolver
Publicado em: 2009
-
9. Concepções sobre limite: imbricações entre obstáculos manifestos por alunos do ensino superior
Este trabalho insere-se na linha de pesquisa História, Epistemologia e Didática da Matemática no quadro do processo de ensino-aprendizagem do Cálculo Diferencial e Integral. Tem por objetivo investigar as concepções de alunos do Ensino Superior sobre limite e possíveis imbricações entre obstáculos epistemológicos relacionados a essas concepções.
Publicado em: 2008
-
10. Test of hypothesis in majoritarian election / Testes de hipóteses em eleições majoritárias
The problem of inference about a proportion, widely explored in the statistical literature, plays a key role in the development of several theories of statistical inference and, invariably, is the object of investigation and discussion in comparative studies among different schools of inference. In addition, the estimation of proportions, as well as test of
Publicado em: 2008
-
11. Medidas maximizadoras para sistemas dinâmicos fracamente hiperbólicos
Dado um sistema dinâmico g : M → M e uma função A : M → R, chamada de observável, uma medida invariante v que satisfaz ƒ Adv = sup{ RAdµ ; µ ´e invariante para g} é chamada uma medida maximizadora. Neste trabalho vamos analisar medidas maximizadoras em duas classes de sistemas dinãmicos que apresentam pontos fixos indiferentes: Na primeira clas
Publicado em: 2007
-
12. Modelo computacional paralelo para a hidrodinâmica e para o transporte de substâncias bidimensional e tridimensional / Parallel computational model for hydrodynamics and for the scalar two-dimensional and three-dimensional transport of substances
Neste trabalho desenvolveu-se e implementou-se um modelo computacional paralelo multifísica para a simulação do transporte de substâncias e do escoamento hidrodinâmico, bidimensional (2D) e tridimensional (3D), em corpos de água. Sua motivação está centrada no fato de que as margens e zonas costeiras de rios, lagos, estuários, mares e oceanos são
Publicado em: 2007