Theory Of Computation
Mostrando 1-12 de 68 artigos, teses e dissertações.
-
1. Finite strip method computer application for buckling analysis of thin-walled structures with arbitrary cross-sections
Abstract The Direct Strength Method (DSM) is a well-known formulation presented in the Brazilian standard ABNT NBR 14762:2010, that estimates the strength capacity of cold-formed steel (CFS) members. However, this formulation requires the elastic critical buckling loads as point of departure, regarding local (L), distortional (D) and global (G) modes, which
REM, Int. Eng. J.. Publicado em: 2021-09
-
2. Service levels of highway toll plazas: the influence of factors on manual customer service
Abstract Paper aims To analyze service levels offered in a highway toll plaza and to test the influence of operational and human factors on manual customer service. Originality The methodology is an approach which involves systematic and efficient examination of multiple factors. This approach has been widely used in multiple areas; however, little researc
Prod.. Publicado em: 04/11/2019
-
3. On the Free Vibration Analysis of Laminated Composite and Sandwich Plates: A Layerwise Finite Element Formulation
Abstract In this paper, a new higher-order layerwise finite element model, developed earlier by the present authors for the static analysis of laminated composite and sandwich plates, is extended to study the free vibration behavior of multilayer sandwich plates. In the present layerwise model, a first-order displacement field is assumed for the face sheets,
Lat. Am. j. solids struct.. Publicado em: 2017-12
-
4. Análise e controle de sistemas com folga / Analysis and control of systems with backlash
Este trabalho trata da eliminação dos efeitos indesejáveis da não linearidade tipo folga via desenvolvimento de três novos métodos computacionais para a análise de estabilidade, e controle de sistemas resultantes da interconexão de sistemas lineares com uma folga. Para solucionar o problema da análise de estabilidade, utilizam-se condições constru
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/05/2012
-
5. O setor de internet no Brasil : uma análise da competição no mercado de acesso / The internet sector in Brazil : an analysis of the competition in the access market
The objective of this dissertation is the study of the dynamics of competition in the access market of the Brazilian internet sector, through the application of a History-friendly agent-based simulation methodology, from a complexity theory perspective. The focus of research is the analysis of the processes of sectoral structure organization and change and t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2012
-
6. A Review of Gradient Algorithms for Numerical Computation of Optimal Trajectories
Abstract: In this paper, two classic direct methods for numerical computation of optimal trajectories were revisited: the steepest descent method and the direct one based upon the second variation theory. The steepest descent method was developed for a Mayer problem of optimal control, with free final state and fixed terminal times. Terminal constraints on t
J. Aerosp. Technol. Manag.. Publicado em: 2012-06
-
7. Entre mecánica cuántica y estructuras químicas: ¿a qué refiere la química cuántica?
The aim of this article is to address the question of the ontology of quantum chemistry. To this end we will focus on the concept of chemical bond, from the perspective of the two approaches by means of which the Schrödinger equation is applied to molecular chemical systems: the Theory of Valence Bond (VB) and the Theory of Molecular Orbital (MO). On the ba
Sci. stud.. Publicado em: 2012
-
8. Experimentos em simulações paralelas do Dilema do Prisioneiro com n jogadores. / Experiments in parallel simulations of the n-player Prisoner\ s Dilemma.
O Dilema do Prisioneiro com n jogadores é um problema que ilustra a dificuldade na formação da cooperação em sociedades de indivíduos racionais. Diversos trabalhos foram feitos no sentido de compreender melhor os fatores que influenciam o surgimento e a evolução da cooperação nessas sociedades, sendo que muitos desses mostraram que a simulação de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2011
-
9. Uma Proposta de Estudo da Incerteza Integrando a Teoria dos Conjuntos Fuzzy e a Computação Quântica / A PROPOSAL OF UNCERTAINTY STUDY INTEGRATING FUZZY SET THEORY AND QUANTUM COMPUTING
Este trabalho propoe um estudo da incerteza integrando conceitos da teoria dos conjuntos fuzzy e da computac ao quantica. Enquanto a logica fuzzy busca obter uma forma de representar a incerteza e a imprecisao dos sistemas reais dentro da teoria dos conjuntos fuzzy, a computac ao quantica busca a modelagem de algoritmos quanticos considerando o princıpi
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2011
-
10. Uma álgebra de Clifford de assinatura (n,3n) e os operadores densidade da teoria da informação quântica / A Clifford algebra of signature (n,3n) and the density operators of quantum information theory
Este trabalho apresenta uma linguagem algébrica para dois elementos básicos da teoria da informação quântica (os bits quânticos e os operadores densidade), baseada nas propriedades de uma álgebra de Clifford de assinatura (n,3n). Demonstramos que a nova descrição desses elementos preserva as mesmas propriedades matemáticas obtidas com a descrição
Publicado em: 2011
-
11. Modelagem geológica por simplóides de Bézier / Geological modeling using Bézier simploids
The exploration and monitoring of a hydrocarbon reservoir demand a very detailed knowledge about the geological structures of the target area. The mathematical and computation representation of this knowledge is a geophysical model. In this thesis, we describe a general system for geophysical modeling based on polynomial finite elements of arbitrary degree.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2010
-
12. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção
The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator there exists a great quantity of variations of this computational system in which the operation of substitution is treated explicitly. In this work we investigate intersection type systems for
Publicado em: 2010