Linear Logic
Mostrando 1-12 de 58 artigos, teses e dissertações.
-
1. A formação científica brasileira e o PISA 2006 / The brazilian scientific formation and the PISA 2006
This study investigated the Brazilian scientific formation through the PISA 2006 data. PISA - Programme for International Student Assessment - is a program of international comparative assessment applied to a sample of 15 years old students. The adequate teaching of science stimulates curiosity and logical reasoning, helps to form better able citizens to mee
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/05/2012
-
2. Estudo numÃrico da influÃncia da relaxaÃÃo da nÃo-linearidade Kerr e aplicaÃÃes com portas lÃgicas utilizando PAM em componentes de fibras Ãpticas: interferÃmetro de Sagnac e acoplador direcional / Numerical study of the Kerr nonlinearity relaxation influence and aplications with logic gates using PAM in optical fiber devices: Sagnac interferometer and nonlinear directional coupler
Neste trabalho de Tese, foram investigadas caracterÃsticas de operaÃÃo de dois dispositivos Ãpticos, o InterferÃmetro de Sagnac (NOLM) e o Acoplador Direcional NÃo- Linear (NLDC) Duplo SimÃtrico. Com o primeiro dispositivo, trabalhando com pulsos de 10ps , o que equivale a uma largura espectral em banda de 0,1 THz , em duas diferentes aplicaÃÃes: es
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/11/2011
-
3. A superação da ilegalidade urbana: o que é legal no espaço urbano
The urban set of legal order has undeniable influences in the production of the urban space in the Brazilian cities, directly affecting its forms, organization and sociospatial distribution. From the legal point of view of the urban law and its legislation, a great number of Brazilian cities are composed of illegal spaces, reaching in some cases 80% of the c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2011
-
4. Design, assembly and instrumentation of an experimental prototype system for the polymerization of different development and implementation of intelligent control techniques / Projeto, montagem e instrumentação de um protótipo experimental de sistema de polimerização para o desenvolvimento e implementação de diferentes técnicas de controles inteligentes
Através de processos de polimerização pode-se obter uma enorme diversidade de produtos de grande interesse industrial, devido a sua vasta gama de aplicações. Cada reação deve ser feita com finalidades específicas, e então os polímeros devem ser produzidos sob certas condições operacionais estabelecidas, que lhe atribuem características relaciona
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/08/2011
-
5. Análise da dispersão das populações nativas americanas: uma abordagem genético-fisiográfica / Dispersion analysis of the native american populations: a genetic-fisiographyc approach
Until recently, the settlement of the Americas was seen as the product of a \"bow wave\" human expansion from north do south. Under this scenario, the archaeological sites of the first americans should obey a chronological gradient following the same logic, independent of their longitude. Recently, however, specialists began to recognize that certain charact
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/05/2011
-
6. São Paulo na órbita do Império dos Felipes: conexões castelhanas de uma vila da América Portuguesa durante a União Ibérica (1580-1640) / São Paulo in the orbit of the empire of Philip: connections of a Castilian village of Portuguese America during the Iberian Union (1580-1640)
This study aims to examine some of the impacts of the macro-political process generated by the Union of Iberian Crowns (1580-1640) in the local logic of the colonial space represented by the village of São Paulo of the Piratininga. It is understood that the Portuguese world, both in its peninsular and colonial bias, was indeed incorporated into the framewor
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/03/2011
-
7. Controle preditivo robusto baseado em desigualdades matriciais lineares aplicado a um sistema de tanques acoplados
Este trabalho tem como objetivo desenvolver uma estratégia de controle on-line baseado no Controlador Preditivo Robusto (RMPC, acrônimo do inglês Robust Model Predictive Control) aplicado a um sistema real de tanques acoplados. Este processo consiste em sistema de dois tanques conectados, cujo liquido é enviado aos mesmos por uma bomba. O objetivo do con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/02/2011
-
8. Satisfazibilidade probabilística / Probabilistic satisfiability
Este trabalho estuda o problema da Satisfazibilidade Probabilística (PSAT), revendo a sua solução via programação linear, além de propor novos algoritmos para resolvê-lo através da redução ao SAT. Construímos uma redução polinomial do PSAT para o SAT, chamada de Redução Canônica, codificando operações da aritmética racional em bits, como v
Publicado em: 2011
-
9. Modelagem de sistemas não-lineares por base de funções ortonormais generalizadas com funções internas / Nonlinear sytems modeling based on ladder-strutured generalized orthonormal basis functions
Este trabalho enfoca a modelagem e identificação de sistemas dinâmicos não-lineares estáveis através de modelos fuzzy Takagi-Sugeno (TS) e/ou Volterra, ambos com estruturas formadas por bases de funções ortonormais (BFO), principalmente as bases de funções ortonormais generalizadas (GOBF - Generalized Orthonormal Basis Functions) com funções inte
Publicado em: 2011
-
10. Agreement index and fuzzy risk for the evaluation of waste stabilization pond systems / INDICE DE CONCORDÃNCIA E RISCO FUZZY NA AVALIAÃÃO DO DESEMPENHO DE SISTEMAS DE LAGOAS DE ESTABILIZAÃÃO
In the present study fuzzy arithmetic via triangular fuzzy numbers (TFNs) was applied to compute Fuzzy Agreement Index (FAI) and Fuzzy Risk (FR) for the evaluation of operational aspects, performance and effluent quality in 14 full-scale waste stabilization pond plants (6 primary facultative ponds â PFPs and 8 pond series- PSs) treating domestic sewage. Fin
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/10/2010
-
11. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
12. 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