Teoria Do Programas De Computador
Mostrando 1-12 de 44 artigos, teses e dissertações.
-
1. Extração dos parâmetros de módulos fotovoltaicos a partir da solução de um sistema de equações não lineares utilizando técnicas da região de confiança / Extraction of parameters of photovoltaic modules from the solution of nonlinear equation systems using thrust region techniques
Este trabalho apresenta uma metodologia para extração dos parâmetros característicos de um painel fotovoltaico. A partir dessa metodologia é possível verificar a mudança dos parâmetros de um painel ao longo do tempo. Após a apresentação da teoria na qual se fundamenta a metodologia aplicada e a descrição de programas de computador, é apresentad
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/04/2012
-
2. Estudo paramétrico das curvas de propagação de trinca da aeronave F-5M
Este trabalho apresenta uma abordagem paramétrica de monitoramento do acúmulo de dano em pontos críticos em fadiga da estrutura de aeronaves, considerando, individualmente, o seu perfil de operação. Para isso, são utilizadas Curvas de Crescimento de Trinca Normalizadas (CCTN), uma vez que elas relacionam o dano causado pelo crescimento de trinca à vid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/03/2012
-
3. Implementation of supervisory control in PLCs using high-level language / Implementação de controle supervisório em CLPs usando linguagem de alto nível
Hoje em dia a competitividade entre as empresas está cada vez maior. Em um sistema de produção, a eficácia, a velocidade e a flexibilidade são importantes, pois significam redução de custos. Os sistemas de automação atuais estão cada vez mais complexos, justificando a necessidade de programas de controle mais eficientes, sem erros e de fácil manut
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/02/2012
-
4. Desenvolvimento de ambiente virtual de aprendizagem em eventos adversos em enfermagem
O estudo teve como objetivo desenvolver um ambiente virtual de aprendizagem (AVA) sobre gerenciamento em eventos adversos, para educação permanente de enfermeiros, abordando as temáticas: úlcera por pressão, erros de medicação, flebite, queda e perda de sonda nasogastroenteral. O referencial pedagógico foi fundamentado na teoria de processamento de i
Revista Latino-Americana de Enfermagem. Publicado em: 2011-10
-
5. Teorias do projeto e representação : investigação sobre uma lacuna epistemológica
O tema central da tese é o projeto arquitetônico e a constatação de que há uma lacuna epistemológica entre a ação projetual e sua atualização como objeto arquitetônico. A tese delineia um quadro teórico de cunho explicativo que visa estabelecer a base para a compreensão do estatuto epistêmico do processo projetual, do ponto de vista do pensamen
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
6. Estudo da diversidade tumoral e desenvolvimento de ferramentas de bioinformática para análise citogenética e molecular de neoplasias sólidas
A progressão das neoplasias sólidas é um processo complexo, não segue uma seqüência universal e é caracterizada pela marcada heterogeneidade tumoral na ocasião do diagnóstico. Anormalidades cromossômicas, mutações somáticas e alterações epigenéticas estão entre as principais alterações celulares decorrentes da instabilidade do genoma desta
Publicado em: 2011
-
7. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
8. Introdução à física moderna no ensino médio através da discussão do dualismo onda-partícula
Este trabalho relata a experiência obtida com alunos de ensino médio de um curso de caráter extracurricular onde foram tratados temas tais como: Efeito Fotoelétrico, Efeito Compton, Radiação do Corpo Negro, Difração e Interferência de Ondas, Princípio da Incerteza e a Interpretação do Experimento da Fenda Dupla com Fótons e Elétrons, tendo como
Publicado em: 2010
-
9. Metarrepresentação em tradução: uma análise relevantista dos processos inferenciais de tradutores expertos na tradução de textos sensíveis (sagrados)
Esta tese objetiva discutir o fenômeno da metarrepresentação em tradução a partir de uma análise relevantista dos processos inferenciais de tradutores expertos quando lidam com contextos desconhecidos, ou seja, um texto-fonte situado a uma distância considerável de tempo, espaço e cultura com relação ao público atual. Partindo-se de um questionam
Publicado em: 2010
-
10. Leitura nas interfaces gráficas de computador: compreendendo a gramática da interface
A leitura das interfaces gráficas de computador, que utiliza rede interdisciplinar de estudos sobre texto, design, leitura e cognição para conhecer estratégias de construção de sentido e de textualização (COSTA VAL, 2000, 2004) nos ambientes digitais é o objeto desta pesquisa. Concebemos a interface como um texto, ponto de contato entre os autores (
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/11/2009
-
11. MMPE: um método de modelagem de processo educacional basedo na modelagem de processo de negócio e na teoria da atividade
Este trabalho propõe um método de levantamento de requisitos de software educacional, denominado Método de Modelagem de Processos Educacionais (MMPE), que se baseia na metodologia de Modelagem de Processo de Negócio (MPN) e na Teoria da Atividade (TA). Por realizar uma integração entre a Modelagem de Negócio e a Teoria da Atividade, o MMPE define a ar
Publicado em: 2009
-
12. Implementação computacional de uma gramática gerativa para música tonal
O presente trabalho apresenta a implementação computacional de uma gramática gerativa que visa a análise automática de trechos musicais. É baseado na Teoria Gerativa de Música Tonal (Lerdahl, F. &Jackendoff, R., 1996, A Generative Theory of Tonal Music, second ed., MIT Press, Cambridge, Massachusets), daqui por diante chamada de TGMT, a qual tem por o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/05/2008