Geometric Logic
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Geração de b-splines via FPGA / B-spline generation via FPGA
The b-splines are used in CAD/CAM/CAE systems to represent and define complex curves and surfaces, being adopted by the main computer graphics standards due to features like compact mathematic representation, flexibility and affine transformations. In 3D acquisition systems and integrated CAM-CNC systems, the use of the b-spline in the geometric information
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/08/2012
-
2. Virtual boundary method applied to a problem of computational aerolastic analysis / Método da fronteira virtual aplicado em um problema de análise aeroelástica computacional
The behavior study of a profile of a typical aerolastic section, with Reynolds in range of micro aerial vehicle, is the main focus of this work, taking as objective the estimation of parameters of flutter phenomenon. The research analyzes of the flow of a incompressible fluid on a body (cylinder and airfoil profile) at steady state and oscillating with const
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/02/2011
-
3. Dimensionamento de portas lógicas através de programação geométrica / Logic gate sizing through geometric programming
O presente trabalho consiste na aplicação dos conceitos de programação geométrica ao dimensionamento de portas lógicas, no contexto da concepção de circuitos integrados digitais. A programação geométrica é um modelo matemático que pode constituir um método de otimização simples e eficiente, onde a melhor solução global é sempre encontrada,
Publicado em: 2010
-
4. Triangular forms for nonlinear systems with two inputs and control of driftless systems on SU(n) with applications in quantum mechanics. / Formas triangulares para sistemas não-lineares com duas entradas e controle de sistemas sem arrasto em SU(n) com aplicações em mecânica quântica.
A presente tese aborda dois problemas distintos e independentes: triangularização de sistemas não-lineares com duas entradas e controle de sistemas sem arrasto que evoluem no grupo especial unitário SU(n). Em relação ao primeiro, estabeleceu-se, através da generalização de resultados bem conhecidos, condições geométricas para que um sistema com d
Publicado em: 2010
-
5. 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
-
6. Análise multi-temporal de cenas do satélite quickbird usando um novo paradigma de classificação de imagens e inferências espaciais. Estudo de caso: Belo Horizonte, MG / Multi-temporal analysis of quickbird images using a new classification paradigm and spatial inferences. A case study: Belo Horizonte - MG, Brazil
Due to the strong urbanization process occurring in Brazil and of population increase in cities, and consequently to serious impacts on environment, there is a growing need to develop methodologies and technologies which allow to monitor, analyze and to make an intervention at the urban expansion. Belo Horizonte (State Capital of Minas Gerais) is a highly co
Publicado em: 2006