Analise Estatica De Programas
Mostrando 1-12 de 25 artigos, teses e dissertações.
-
1. CS-ASA: uma nova ferramenta computacional, para análise avançada de estruturas de aço
Esse trabalho apresenta uma nova ferramenta computacional, para análise avançada estática e dinâmica de estruturas de aço reticuladas planas, desenvolvida com base no Método dos Elementos Finitos. Duas fontes de não linearidades são consideradas nas análises: a geométrica, que considera os efeitos da deslocabilidade da estrutura; e a física, causa
Rem: Rev. Esc. Minas. Publicado em: 2013-09
-
2. Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas
Ataques do tipo variáveis contaminadas ocorrem quando entradas de programas são manipuladas maliciosamente a afim de explorar falhas de segurança inerentes ao software afetado. Ataques deste tipo são comuns em linguagens de scripts como PHP, originadas no lado do servidor. Em 1997, Orbaek e Palsberg formalizaram o problema de detectar essas explorações
Publicado em: 2010
-
3. EXTENDING THE TOOL SAFE FOR JBOSS AOP / ESTENDENDO A FERRAMENTA SAFE PARA JBOSS AOP
O paradigma de orientação a aspectos é utilizado em vários frameworks e aplicações com o objetivo de melhorar a modularidade e a separação de interesses. Contudo, a combinação do paradigma de orientação a aspectos com mecanismos de captura de exceção pode elevar o número de cenários sujeitos a falhas. Pois, os elementos que compõem os aspect
Publicado em: 2010
-
4. Granlog : um modelo para analise automatica de granulosidade na programacao em logica / Granlog a model for automatic granulariy analysis in logic programming
A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. De
Publicado em: 2010
-
5. Engineering java byte code to detect exception information flow / Detecção do fluxo de informações no contexto de exceções através da engenharia de byte code Java
Segurança de dados é um tópico muito importante em ciência da computação. Sistemas e sites da Internet retém cada dia mais informações pessoais sobre seus usuários. Muitos dos dados inseridos pelos usuários são confidenciais, e, ao inserí-los em um determinado sistema, eles esperam que estas informações estejam seguras, ou seja, algum mecanism
Publicado em: 2010
-
6. Static analysis of self-supporting latticed steel towers for transmission lines / Análise estática de torres metálicas treliçadas autoportantes para linhas de transmissão
Este trabalho descreve o estudo do comportamento de torres metálicas autoportantes submetidas à ação do vento. Inicialmente foram modificadas algumas sub-rotinas dos programas desenvolvidos por Menin (2002). Assim, foram desenvolvidos novos programas: GTAU que gera a geometria das torres autoportantes e AETAU que realiza a análise estática. Nesses prog
Publicado em: 2009
-
7. Recuperação de visão estrutural de software combinando análise de semântica estática e latente
A compreensão de software ainda é um desafio para a manutenção de sistemas desconhecidos. Isto ocorre porque grande quantidade das informações não está disponível de forma explícita. Este trabalho propõe apoiar a compreensão de software através do uso de uma ferramenta visual e interativa, criando uma visão estrutural do sistema alvo. Para tal
Publicado em: 2009
-
8. Ao som da radiola, danÃando bem juntinho: configuraÃÃes e identidades no reggae midiÃtico de SÃo LuÃs do MaranhÃo
O trabalho traz em seu conteÃdo uma anÃlise do processo de constituiÃÃo, configuraÃÃes atuais e respectivas dinÃmicas de identidade do chamado movimento reggae de SÃo Luis do MaranhÃo. O reggae à uma mÃsica surgida na Jamaica em fins dos anos 60, tendo como principal referÃncia mundial o cantor e compositor Bob Marley e a banda The Wailers. Em S�
Publicado em: 2009
-
9. Modelagem por elementos finitos do sistema de amplificaÃÃo de um equipamento de usinagem por abrasÃo ultrassonora
Este trabalho estuda o sistema de amplificaÃÃo de onda de uma mÃquina de usinagem por abrasÃo ultrassonora por meio de modelos de elementos finitos implementados nos programas computacionais MSC Patran e ANSYS. O sistema à constituÃdo por um amplificador fixado ao gerador de ondas de 20 kHz, um amplificador intercambiÃvel de perfil exponencial (sonotr
Publicado em: 2009
-
10. Geração de processador para aplicacao especifica / Application specific processor generation
Este trabalho propõe a geração de uma arquitetura dedicada a aplicações específicas, baseadas no microcontrolador MCS8051. Por ser utilizado na solução de problemas em indústrias locais, este processador foi escolhido para servir como base em um sistema dedicado. O 8051 dedicado gerado deverá permitir a integração completa do sistema, proporciona
Publicado em: 2009
-
11. Projeto e análise estrutural estática de pilone em fase conceitual de aeronave com motor na cauda.
Quando o negócio da empresa gira em torno de um produto extremamente técnico, como no caso da aviação, inevitavelmente as diversas incertezas em cada fase também precisam ser avaliadas na profundidade exigida pelo produto. Inevitavelmente, ferramentas antes utilizadas no projeto detalhado passam por adequação para o uso antecipado nas fases de concep�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2008
-
12. Efeitos de um protocolo de reeducação sensorial da mão: estudo de caso
Uma paciente em pós-operatório de reparo das lesões dos tendões flexores e nervo digital do 5o dedo da mão direita foi estudada com o objetivo de avaliar os efeitos da aplicação de um protocolo de reeducação sensorial da mão. A paciente foi avaliada antes e após três meses da aplicação do protocolo. Nessas avaliações foram aplicados: teste de
Fisioterapia e Pesquisa. Publicado em: 2008-12