A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

Análise não linear física e geométrica de pórticos espaciais

Apresenta-se uma formulação do tipo incrementaliterativa destinada a análise não linear de pórticos espaciais. Considera-se os efeitos não lineares introduzidos pelas mudanças de configuração geométrica da estrutura e também pela combinação destes efeitos com aqueles inerentes ao comportamento plástico exibido pelo material. As relações cinemáticas empregadas permitem a consideração de deslocamentos arbitrariamente grandes, acompanhadas de pequenas deformações . A modelagem do comportamento plástico do material é efetuada através do conceito de rótula plástica, estabelecido a partir de um critério de plastificação generalizado. Adota-se uma matriz de rigidez geométrica de barra baseada em momentos semitangenciais. Para elementos com extremos plastificados, é deduzida uma matriz de rigidez elasto-plástica. Emprega-se um método numérico do tipo incremental-iterativo, que utiliza como condição básica de controle da análise a constância do trabalho realizado pelos incrementos de cargas, em cada passo incremental (Método de Controle por Trabalho).A formulação permite uma descricão completa do desempenho mecânico da estrutura, inclusive em estágio de deformação pós-crítico em que ocorre regressão do carregamento com aumento de deslocamentos, ou vice-versa. A formulação foi implementada em um programa computacional elaborado em linguagem FORTRAN. Vários exemplos numéricos são apresentados para mostrar a eficiência das procedimentos propostos.

A lateral pós-vocálica no português gaúcho : análise variacionista e representação não-linear

Este trabalho é um estudo da lateral pós-vocálica no que se refere à sua realização como variante velarizada ou vocalizada, sob a perspectiva variacionista. O corpus utilizado é a fala de vinte e oito indivíduos de quatro regiões representativas de diferentes grupos étnicos existentes no Rio Grande do Sul. São examinadas as variáveis lingüísticas e extralingüísticas envolvidas na variação em estudo, confirmando-se a variável grupo étnico como a que mais favorece a presença das duas variantes. Além disso, apresentam-se as regras de velarização e de vocalização da lateral pós-vocálica em termos de traços fonológicos na linha de Clements e discute-se a posição destas no sistema de acordo com a linha da Fonologia Lexical.

Solução do problema de controle H [infinito] não-linear

Este trabalho apresenta novos resultados matemáticos sobre a positividade local de funções escalares multivariáveis. Estes resultados são usados para resolver de forma quantitativa o problema de controle +¥ não-linear. Por solução quantitativa, entende-se uma solução (uma lei de controle) associada a uma região de validade. A região de validade é a região do espaço de estados onde os requerimentos de estabilidade e desempenho são satisfeitos. Para resolver o problema de forma eficiente, foi desenvolvido um procedimento que visa maximizar a região de validade do controlador enquanto garante um desempenho mínimo. A solução deste problema de otimização é estudada e alternativas para sua simplificação são apresentadas. Uma aplicação experimental a um sistema de controle de pH é apresentada. A utilidade dos resultados teóricos desenvolvidos na teoria de estabilidade de Lyapunov também é estudada.

Solução de um problema não linear do tipo reação-difusão na modelagem dispersão de insetos

Neste trabalho tratamos da solução de um problema não linear do tipo tração-difusão, na modelagem de dispersão de insetos. Começamos estabelecendo uma lei de conservação e a partir desta, deduzimos algumas equações importantes para o desenvolvimento do nosso estudo, tais como a equação de convecção, de difusão e simultaneamente convecção e difusão. Se considerarmos uma escala de tempo que possibilite a adição ou retirada de indivíduos no meio, conforme seja considerada reprodução, migração ou morte, podemos acrescentar ao processo difusivo um termo de reação, obtendo então, a equação do tipo reação-difusão. Se o temp de reação for deendendee da densidade populacional e do tipo logístico, obtém-se a equação de Fischer. Dessa equação abordamos alguns aspectos, tais como, determinação dos estados estacionários, análise da estabillidade dos mesmos, representação gráfica no plano de fase e por último investigamos a existência de solução do tipo onda viajante. Abordamos, também, alguns exemplos apresentados na literatura, envolvendo equação da difusão com coeficiente constante e com coeficiente dependente da densidade populacional. Além disso, apresentamos o resultados obtidos com a modelagem em tempo discreto, a partir de um trabalho experimental com besouros marcados para o experimento e depois liberados Banks et al (1985) , em que os autores admitiram uma variação temporal e a partir dos dados obtidos fizeram uma estimativa para o coeficiente de difusão D (t), bem como para o coeficiente de decaimento α(t) do termo de reação linear em u. Construimos curvas que se ajustam a essas alternativas e apresentamos esses coeficientes em versão continua D (t) e α(t), dependentes da variável tempo t. Através de uma abordagem numérica, os modelos foram comparadas da variável tempo t. Através de uma abordagem numérica, os modelos foram comparados para diversos casos, usando diferentes combinação de D constante e D variando no tempo, a constante e a variando no tempo. Além disso, analisamos tambén, o efeito da substituição do coeficiente de difusão D constante por D(t) na equação de Fisher.

Modos em vigas com secção transversal de variação linear

O objetivo principal deste trabalho é a obtenção dos modos e as freqüências naturais de vigas de variação linear e em forma de cunha, com condições de contorno clássicas e não-clássicas, descritas pelo modelo estrutural de Euler-Bernoulli. A forma dos modos foi determinado com o uso das funções cilíndricas. No caso forçado se considera uma força harmônica e se resolve o problema pelo método espectral, utuilizando o software simbólico Maple V5. Realiza-se uma análise comparativa dos resultados obtidos com os resultados existentes na literatura para vigas uniformes.

Preparação e avaliação das propriedades de misturas de polietileno de baixa densidade com polietileno linear de baixa densidade

Misturas de Polietileno de Baixa Densidade (PEBD) com diferentes tipos e proporções de Polietilenos Lineares de Baixa Densidade (PELBD) foram preparadas em extrusora de rosca simples ou dupla a fim de verificar a influência destes últimos nas propriedades das misturas e a eficiência das extrusoras na preparação das mesmas. Para tanto foram utilizados polietilenos lineares comerciais, com estruturas moleculares diversas devido ao tipo de comonômeros de 1-octeno (C8), 1-hexeno (C6) ou 1-buteno (C4) e diferentes processos de polimerização. Polietilenos lineares de baixa densidade e polietileno de baixa densidade puros foram avaliados a fim de relacionar suas propriedades com suas estruturas. As misturas de PEBD com PELBD foram avaliadas através de reometria capilar e rotacional, calorimetria diferencial de varredura (DSC), plastometria e análise dinâmico-mecânica (DMA). As misturas de PEBD com PELBD com comonômero 1-buteno e 1-octeno, preparadas em extrusora de rosca simples ou dupla, não apresentaram diferenças no perfil das curvas de viscosidade, observando-se, entretanto, diferenças no perfil das mesmas para as misturas de PEBD com o PELBD com comonômero 1-hexeno. Verificou-se que os valores de índice de fluidez não variaram linearmente com a adição do PELBD na mistura Verificou-se que a adição de PELBD no PEBD modifica significativamente a viscosidade aparente da mistura na faixa de taxa de cisalhamento avaliada. Os polietilenos lineares de baixa densidade apresentaram deformação majoritariamente viscosa quando submetidos a condições cisalhantes e o módulo de perda G” foi superior ao módulo de armazenamento G’. Verificou-se que com o aumento da massa molar do PELBD e do teor deste na mistura ocorreu um aumento do módulo de perda G”. O aumento de cerca de 2% no teor de comonômero não modifica o comportamento viscoelástico do PELBD puro. Pela avaliação dos termogramas das misturas, observou-se que o aumento da concentração de PELBD, causa uma variação no comportamento térmico das mesmas com o conseqüente alargamento da faixa de fusão. O aumento na massa molar dos PELBD de 67.200 g/mol a 153.500 g/mol não influencia significativamente o comportamento térmicos dos mesmos.

Análise estática e dinâmica, linear e não-linear geométrica, através de elementos hexaédricos de oito nós com um ponto de integração

Para a análise estática e dinâmica, linear e não-linear de placas, cascas e vigas, implementa-se neste trabalho o elemento hexaédrico com integração reduzida, livre de travamento volumétrico e travamento de cisalhamento e que não apresenta modos espúrios. Na formulação do elemento, utiliza-se apenas um ponto de integração. Desta forma, a matriz de rigidez é dada de forma explícita e o tempo computacional é significativamente reduzido, especialmente em análise não-linear. Os modos espúrios são suprimidos através de um procedimento de estabilização que não exige parâmetros especificados pelo usuário. Para evitar o travamento de cisalhamento, desenvolve-se o vetor de deformações num sistema co-rotacional e remove-se certos termos não constantes nas componentes de deformações de cisalhamento. O travamento volumétrico é resolvido fazendo-se com que a parte dilatacional (esférica) da matriz gradiente seja avaliada apenas no ponto central do elemento. Como a eliminação do travamento de cisalhamento depende de uma abordagem no sistema local, emprega-se um procedimento co-rotacional para obter o incremento de deformação no sistema local e atualizar os vetores de tensões e forças internas na análise não-linear Para a solução das equações de equilíbrio na análise estática, utilizam-se métodos diretos baseados na eliminação de Gauss ou métodos iterativos de Gradientes Conjugados Precondicionado elemento-por-elemento (EBE). Para a análise dinâmica, as equações de equilíbrio são integradas através do método explícito de Taylor-Galerkin ou do método implícito de Newmark. Através de exemplos numéricos demonstra-se a eficiência e o potencial do elemento tridimensional na análise de casca, placas e vigas submetidas a grandes deslocamentos e grande rotações. Os resultados são comparados com trabalhos que utilizam elementos clássicos de placa e casca.