Influência da rigidez vertical no comportamento mecânico e dimensionamento da via permanente ferroviária.

A via permanente representa um elemento imprescindível na composição do transporte ferroviário e seu desempenho deve ser adequado, de forma a garantir tanto segurança quanto conforto. Assim, diversos aspectos devem ser analisados ainda na fase de projeto, através de dimensionamentos que confrontem diferentes parâmetros da resposta da via e os limites estabelecidos. Dessa forma, o conhecimento do comportamento mecânico da via, devido aos esforços impostos pela passagem do material rodante, passa a ser essencial no projeto de uma estrutura que garanta os requisitos necessários, sem ser inviável economicamente. Visto que esse comportamento mecânico é muito sensível à rigidez vertical da estrutura, o presente trabalho apresenta análises da influência desse parâmetro na resposta da via e, consequentemente, no seu dimensionamento. Nesse contexto, o trabalho abrange tanto o caso de vias em lastro solicitadas por trens de carga, quanto o caso de vias em laje solicitadas por trens de passageiros em meios urbanos. No primeiro caso são realizados estudos paramétricos, por meio de modelos clássicos e um modelo mecanicista, para a análise de momentos fletores e deflexões nos trilhos, bem como tensões verticais nas camadas de lastro, sub-lastro e subleito. Já no segundo caso, são realizados estudos paramétricos relativos à transmissibilidade e à atenuação de vibrações causadoras de ruído secundário. Também é feita uma análise da influência da rigidez vertical na amplificação dinâmica das cargas estáticas, que pode ser aplicada a ambos os casos citados e até extrapolada para casos de vias de alta velocidade. Os resultados mostraram que aumentos de rigidez vertical resultam em ganhos do ponto de vista de momentos fletores e deflexões nos trilhos, além de maior resistência e capacidade de dissipação de tensões verticais nas camadas de lastro, sub-lastro e subleito. Por outro lado, esses aumentos também levaram a maiores tensões nas camadas subjacentes à grade citadas, além de atenuações de vibrações em menores intervalos de frequência e maiores amplificações dinâmicas das cargas estáticas em vias de alta velocidade. Assim, é mostrado que a influência da rigidez vertical, tanto da via como um todo quanto de alguns elementos específicos, não deve ser analisada de forma genérica, pois, dependendo do parâmetro da resposta da via considerado no dimensionamento, seu aumento pode representar uma influência positiva ou negativa.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.