A programação orientada a aspectos é uma abordagem que utiliza conceitos da separação de interesses para modularizar o software de maneira mais adequada. Com o surgimento dessa abordagem vieram também novos desafios, dentre eles o teste de programas orientados a aspectos. Duas estratégias de ordenação de classes e aspectos para apoiar o teste de integração orientado a aspectos são propostas nesta tese. As estratégias de ordenação tem o objetivo de diminuir o custo da atividade de teste por meio da diminuição do número de stubs implementados durante o teste de integração. As estratégias utilizam um modelo de dependências aspectuais e um modelo que descreve dependências entre classes e aspectos denominado AORD (Aspect and Oriented Relation Diagram) também propostos neste trabalho. Tanto o modelo de dependências aspectuais como o AORD foram elaborados a partir da sintaxe e semântica da linguagem AspectJ. Para apoiar as estratégias de ordenação, idealmente aplicadas durante a fase de projeto, um processo de mapeamento de modelos de projeto que usam as notações UML e MATA para o AORD é proposto neste trabalho. O processo de mapeamento é composto de regras que mostram como mapear dependências advindas da programação orientada a objetos e também da programação orientada a aspectos. Como uma forma de validação das estratégias de ordenação, do modelo de dependências aspectuais e do AORD, um estudo exploratório de caracterização com três sistemas implementados em AspectJ foi conduzido. Durante o estudo foram coletadas amostras de casos de implementação de stubs e drivers de teste. Os casos de implementação foram analisados e classificados. A partir dessa análise e classificação, um catálogo de stubs e drivers de teste é apresentado / Aspect-oriented programming is an approach that uses principles of separation of concerns to improve the sofware modularization. Testing of aspect-oriented programs is a new challenge related to this approach. Two aspects and classes test order strategies to support integration testing of aspect-oriented programs are proposed in this thesis. The objective of these strategies is to reduce the cost of testing activities through the minimization of the number of implemented stubs during integration test. An aspectual dependency model and a diagram which describes dependencies among classes and aspects called AORD (Aspect and Object Relation Diagram) used by the ordering strategies are also proposed. The aspectual dependency model and the AORD were defined considering the syntax constructions and the semantics of AspectJ. As the proposed estrategies should be applied in design phase of software development, a process to map a desing model using UML and MATA notations into a AORD is proposed in order to support the ordering strategies. The mapping process is composed by rules that show how to map both aspect and object-oriented dependencies. A characterization exploratory study using three systems implemented with AspectJ was conducted to validate the ordering strategies, the aspectual dependency model and the AORD. Interesting samples of stubs implementations were collected during the study conduction. The stubs were analyzed and classified. Based on these analysis and classification a catalog of stubs and drivers is presented

A aquisição de novas informações de sondagem é realizada por intermédio do infill de furos de sonda e esta é uma prática utilizada em diversas etapas da exploração mineral. Métodos de otimização são largamente utilizados em várias fases e processos na vida da mina, por exemplo na otimização de cavas, na otimização do sequenciamento de lavra, entre outros. Contudo a utilização de métodos de otimização aplicados à locação de furos de inifill não é usual. Neste trabalho propõem-se utilizar a otimização matemática para melhorar a distribuição espacial dos novos furos, bem como para definir a quantidade adequada de furos a serem realizados. Métodos de otimização meta-heurísticos foram testados com o objetivo de minimizar duas funções objetivo que tratam das incertezas associadas à simulação dos dados, que são a soma da variância e a soma dos coeficientes de variação dos blocos simulados. O método que apresentou melhores resultados na otimização da função objetivo no menor tempo e custo computacional foi o método simulated annealing com resfriamento rápido e memória. Com base neste método de otimização comparou-se as funções objetivo propostas. Para efetuar a comparação amostraram-se os 11 furos definidos pela otimização para ambas as funções objetivo. O infill amostral foi realizado no corpo sintético e as comparações realizadas foram: a estatística descritiva - dos dados de infill comparados à população - e o gráfico Q-Q entre o e-type das simulações realizadas na base com infill e a população. A estatística descritiva do infill permitiu interpretar que a amostragem atualizada (soma das amostragens inicial e a nova) apresentou-se mais representativa do que a amostragem incial. Baseado no resultado dos gráficos Q-Q, a simulação calculada com o infill otimizando a minimização da soma dos coeficientes de variação apresentou maior aderência à população. / The acquisition of new drillhole information can be accomplished by the drill hole infill, a practice used in several steps of the mineral exploration. Optimization methods are widely used in several stages and processes of the mine life cycle, for example, mine pit optimization, mine scheduling optimization among others. However the optimization of drill hole infill locations are unusual. This work proposes the use of mathematical optimization to improve the spatial distribution and the number of the new drill holes to be made. Metaheuristics optimization methods were tested to minimize two objective functions that deal with the uncertainty associated to simulated data, the sum of the simulated blocks variance and the sum of the simulated blocks coefficient of variation. The best processing cost, processing time and results were obtained by simulated annealing method with fast cooling and memory for both objective functions. Based on this optimization method both proposed objective functions were compared. In order to perform the comparison 11 optimized drill holes locations by both objective functions were sampled. Sampling infill were done in the synthetic ore body and the made comparisons were: statistics - comparison between the infill data and population - and the QQ plot of the e-type statistics computed for simulation based on infill and population. Statistics for infill allowed to interpret that updated sample (the addition of new sampling in the initial data) was more representative than the initial sampling. Based on Q-Q plot the simulation computed for optimized infill location by the sum of the coefficient of variation minimization has more adherence to population.

O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos / THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage

A compressão de dados é uma área de muito interesse em termos computacionais devido à necessidade de armazená-los e transmiti-los. Em particular, a compressão de malhas possui grande interesse em função do crescimento de sua utilização em jogos tridimensionais e modelagens diversas. Nos últimos anos, uma nova teoria de aquisição e reconstrução de sinais foi desenvolvida, baseada no conceito de esparsidade na minimização da norma L1 e na incoerência do sinal, chamada Compressive Sensing (CS). Essa teoria possui algumas características marcantes, como a aleatoriedade de amostragem e a reconstrução via minimização, de modo que a própria aquisição do sinal é feita considerando somente os coeficientes significativos. Qualquer objeto que possa ser interpretado como um sinal esparso permite sua utilização. Assim, ao se representar esparsamente um objeto (sons, imagens) é possível aplicar a técnica de CS. Este trabalho verifica a viabilidade da aplicação da teoria de CS na compressão de malhas, de modo que seja possível um sensoreamento e representação compressivos na geometria de uma malha. Nos experimentos realizados, foram utilizadas variações dos parâmetros de entrada e técnicas de minimização da Norma L1. Os resultados obtidos mostram que a técnica de CS pode ser utilizada como estratégia de compressão da geometria das malhas. / Data compression is an area of a major interest in computational terms due to the issues on storage and transmission. Particularly, mesh compression has wide usage due to the increase of its application in games and three-dimensional modeling. In recent years, a new theory of acquisition and reconstruction of signals was developed, based on the concept of sparsity and in the minimization of the L1 norm and the incoherency of the signal, called Compressive Sensing (CS). This theory has some remarkable features, such as random sampling and reconstruction by minimization, in a way that the signal acquisition is done by considering only its significant coefficients. Any object that can be interpreted as a sparse sign allows its use. Thus, representing an object sparsely (sounds, images), you can apply the technique of CS. This work explores the viability of CS theory on mesh compression, so that it is possible a representative and compressive sensing on the mesh geometry. In the performed experiments, different parameters and L1 Norm minimization strategies were used. The results show that CS can be used as a mesh geometry compression strategy.

O estudo teve por finalidade a redução do lodo gerado nos sistema aeróbios mediante recirculação do lodo em excesso, após passar por uma desintegração com ultra-som, ao tanque de aeração de cada reator. Foram utilizados dois reatores seqüenciais aeróbios (A e B) operando em sistema de batelada e com idades do lodo diferentes: 12 e 8 dias respectivamente, e com ciclos de doze horas. Os reatores foram operados em duas etapas. Na etapa inicial, chamada controle, os reatores foram operados por 130 dias sem reciclo do lodo, para se poder avaliar o comportamento e fazer futuras comparações com a etapa posterior, denominada teste. Na etapa controle foram analisados o comportamento da DQO, dos sólidos e dos nutrientes além de serem realizados testes com o ultra-som para a escolha do tempo de exposição e volume de amostra.. O reator A apresentou uma boa remoção de DQO (90,9%), entretanto não apresentou nitrificação completa, chegando apenas na transformação de nitrogênio orgânico a amoniacal. Já a remoção de fósforo foi da ordem de 60%. O reator B também apresentou uma boa remoção de DQO (87,7%) e houve formação de nitrato, embora não completa, e a remoção de fósforo se situou em 57%. Na etapa teste, que durou aproximadamente 90 dias, os reatores foram operados com retorno total do lodo após desintegração com ultra-som. Houve um aumento na DQO afluente devido ao retorno do lodo desintegrado, bem como um aumento nos teores de nitrogênio e fósforo. Houve também um aumento na concentração de sólidos dos reatores, sendo o reator A que apresentou um maior acréscimo. Ambos reatores apresentaram uma mesma eficiência na remoção de DQO (92,0% para o reator A, e 91% para o reator B) se comparado com a etapa controle. Com relação aos nutrientes os reatores apresentaram sensível melhora na nitrificação. O reator A apresentou uma quase completa redução no nitrogênio orgânico, embora não tenha chegado a nitrificação completa. O reator B apresentou uma remoção completa do nitrogênio orgânico. Com relação ao fósforo, a etapa teste apresentou um decréscimo na sua remoção (42% para o reator A e 44% para o reator B). As análises indicaram que a desintegração do lodo e seu retorno ao tanque de aeração não causaram problemas no funcionamento dos reatores, houve uma melhora na nitrificação e não houve uma sensível redução na remoção de fósforo. Comparando com o problema de transporte, tratamento e disposição final de lodo, o estudo de redução de lodos é uma grande alternativa e que merece mais estudos. / The study aims to reduce the sludge generation in aerobic systems by recirculation of the excess sludge after disintegration with a ultrasound set. Two aerobic sequential batch reactors (A and B) were utilized operating with two different sludge ages: 12 and 8 days respectively. The reactors were operated in two stages. In the first stage, called control, the reactors were operated for 130 days, without total sludge recirculation, to promote an assessment and compare with the next stage, called test. In the control stage the behavior of COD, solids and nutrients were analyzed, and tests with ultrasound were performed. The reactor A presented a good COD removal, but not a good nitrification, and a phosphorus removal of 60%. The reactor B presented a good COD removal and a good nitrification, but not complete, and a phosphorus removal of 57%. The test stage the reactors were operated for 90 days, with sludge recirculation after disintegration by ultrasound. There was an increase in influent COD, nitrogen and phosphorus because of sludge recirculation. There was an increase in MLVSS, but reactor A presented a greater increase. Both reactors presented good results in COD removal comparing with control stage. The reactors present a good improvement in nitrification, but not good phosphorus removal regarding to control stage. The analysis showed that sludge disintegration and recirculation to aeration tank not caused any problem in the behavior of the reactors. Comparing to transport, treatment and final disposal problems, the study of sludge reduction is a great alternative that deserves attention.

Máquinas de Estados Finitos, além de suas inúmeras aplicações, são amplamente utilizadas na Engenharia de Software para modelar especificações de sistemas. Nesses modelos, projetistas podem inserir, inadvertidamente, estados redundantes, ou seja, que exibem o mesmo comportamento. A eliminação desses estados traz diversos benefícios para as atividades que utilizam o modelo, como menor complexidade e menos recursos físicos para implementação. O processo de eliminação desses estados é denominado minimização, e pode ser realizado em tempo polinomial para máquinas completamente especificadas. Por outro lado, a minimização de máquinas parciais, cuja especificação não cobre todo o domínio de entrada, somente pode ser obtida em tempo polinomial com o uso de abordagens não determinísticas, ou seja, trata-se de um problema NP-Completo. Este trabalho apresenta uma estratégia para a minimização de máquinas de estados finitos parciais que faz o uso de heurísticas e otimizações para tornar o processo mais eficiente. Visando mensurar tal ganho de eficiência, foram realizados experimentos, nos quais os tempos de execução de uma implementação do método proposto foram medidos, juntamente com os tempos de implementações de dois outros métodos conhecidos. Os resultados mostraram vantagens significativas de performance para o novo método em relação aos métodos anteriores / Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on implementations. The process of eliminating redundant states is known as minimization, and can be accomplished in polynomial time for completely specified machines. On the other hand, the minimization of partially specified machines, i.e., machines which have undefined behavior for some inputs, can only be done in polynomial time when non-deterministic approaches are applied. It is a known NP-Complete problem. This work presents a deterministic approach to minimize incompletely specified Finite State Machines, using heuristics and optimizations to accomplish the task more efficiently. In order to measure the performance improvements, experiments were done, observing the running time of an implementation of the proposed method, along with running times of implementations of two other known methods. The results revealed a significant performance advantage when using the proposed approach

No passado, o processo de rebarbação era tratado como uma etapa secundária dentro do processo de manufatura de uma peça. Entretanto, a indústria vem cada vez mais reconhecendo sua importância, fato que veio a motivar este estudo. Várias soluções podem ser encontradas na literatura visando eliminar o problema de formação de rebarba, bem como para a remoção automática das mesmas. Contudo, ainda existem pontos a serem explorados dentro do desenvolvimento destas soluções. Desta forma, é proposta principal deste trabalho identificar lacunas não exploradas na literatura e propor ações para cada uma destas. Neste contexto, será inicialmente proposto um novo algoritmo para minimização de rebarba em furação, baseado em um novo movimento de avanço da ferramenta. Adicionalmente, propõe-se identificar os requisitos reais da operação de rebarbação e classificar os problemas de rebarbação em cenários que apresentem características similares, considerando: morfologia da rebarba, geometria da peça e precisão do sistema de fixação. Subseqüentemente, para cada cenário, uma solução de rebarbação robótica é indicada. No caso de controle ativo do robô, um novo parâmetro de controle será criado (Fast Abrasive Power - FAP), baseado na fusão dos sinais de emissão acústica e potência. / In the past, deburring used to be treated as a secondary operation within the manufacturing sequence of a part. However, the industry came to realize its importance, which becomes the motivation for this study. In the literature, several solutions for burr minimization and automatically burr removal can be found. However, some topics need more investigation in order to establish a final solution. Thus, the main objective of this research is to identify these topics and to propose solutions for each of them. Therefore, a new algorithm for drilling burr minimization will be defined, based on a vibratory movement of the tool in feed direction. Additionally, it is proposed to identify the real requirements of the deburring operation and to classify the deburring problem into classes with similar characteristics, taking into account: burr morphology, workpiece geometry and precision of the fixture system. Subsequently, for each class, a robotic deburring solution is proposed. In the case of active robotic control, a new control parameter will be defined (Fast Abrasive Power, FAP) based on the fusion of acoustic emission and power signals.

No Brasil, a parcela orgânica dos resíduos sólidos urbanos (RSU) representa mais de 50% de sua composição, na grande maioria dos municípios. No entanto, a compostagem, como método de tratamento dos resíduos orgânicos, não é empregada como poderia, somente 1,5% dos RSU no país é compostados; mesmo a compostagem caseira sendo prática de baixo custo e apropriada a áreas residenciais não é usual. O presente trabalho enfatiza a educação ambiental (EA) como instrumento para a organização e participação social, visando à minimização de resíduos sólidos urbanos, através da implantação de composteiras caseiras. O enfoque é dado no envio dos resíduos orgânicos domiciliares para compostagem caseira e na incorporação de novos hábitos, após execução de programa de educação ambiental em uma comunidade, do município de Campos do Jordão, São Paulo, Brasil. No presente estudo, partiu-se das seguintes hipóteses; comunidades de baixos ingressos e pouca instrução, localizadas em bairros periféricos de centros urbanos, são capazes de se organizar e alterar seu comportamento com relação à questão da geração e descarte de RSU, quando convidados a integrar grupos submetidos a programa de Educação Ambiental, com metodologia participativa; aliando-se atividades teóricas e práticas elaborado de acordo com as necessidades específicas da comunidade e implantados considerando-se a realidade local. Os resultados alcançados foram a organização social da comunidade, com o desvio de 83,5% dos resíduos orgânicos do aterro para a compostagem, isso quando não foram minimizados antes, no aproveitamento completo dos alimentos. A prática da compostagem possibilitou testar vários tipos de composteira caseira e garantiu melhorias nas condições de disposição dos RSU, reduzindo os impactos ambientais. / In Brazil, the organic portion of the solid wastes represents more than 50% of its composition in most of the cities. However, the composting , as a method of organic wastes treatment, is not applied as it could be, only 1.5% of the Urban Solid Waste (USW or in Portuguese, RSU) is recycled; even the home composting, which has a low cost and is appropriated in residential areas, is not common. This current paper emphasizes the environmental education as an instrument for the social organization and participation as well as minimization of solid wastes, which are essential elements for a sustainable development. The approach is based on the reduction of solid wastes by sending the home organic waste to home composting and the incorporation of new habits after the execution of an environmental education program in a community from the city of Campos do Jordão (São Paulo - Brazil). The research was originated on the hypothesis that communities with lack of basic facilities and lower education rates located in surrounding areas of urban centers are capable of organizing and changing its habits in relation to production and discarding of USW. This is possible especially when people are invited to integrate groups committed to an environmental education program according to the specific needs of the community and considering the local reality. The obtained results were the social organization of the community, with the allocation of 83,5% of the organic wastes from landfills to composting, that is when it was not minimized before, with the complete use of food. The composting made it to possible to test various types of home composting and assured improvements in the disposal conditions of the USW, reducing environmental impact.

O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos / THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-19T11:27:00Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Alvaro Moreira Neto.pdf: 1177417 bytes, checksum: 8eec9ca4c85a0eebfd029a0c50df7cbe (MD5) / Made available in DSpace on 2014-08-19T11:27:00Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Alvaro Moreira Neto.pdf: 1177417 bytes, checksum: 8eec9ca4c85a0eebfd029a0c50df7cbe (MD5) Previous issue date: 2008-05-29 / In this work.... / Nessa dissertação ....