Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) / Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11 / Capes / Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos. / Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite that. there is no systematic approach to support verification between the behavioral design and the implemented source code. In this work, we propose an approach to verify this conformity. The use of this approach vvill help developers, architects, and engineers to maintain the software documentation updated. Its usage allows that the development team and managers to detect behavioral design implementation defects. We also present the tool support built for our approach using Model Driven Architecture (MDA) and a preliminary evaluation about this work.

Orientador: Maria de Lourdes Ortiz Gandini Baldan / Banca: Mário Henrique Simão D'Agostino / Banca: Diana Junkes Martha Toneto / Banca: Guacira Marcondes M. Leite / Banca: Renata M. Facuri C. Marchezan / Resumo: O presente trabalho parte da hipótese de que as contribuições dos escritos e da arquitetura de Le Corbusier para a poesia de João Cabral de Melo Neto transcendem as influências ditadas pelo clima intelectual e artístico da época. É conhecido o interesse do poeta pelas artes plásticas e a simpatia pela idéia da construção da obra literária, que resultam numa poesia racionalmente elaborada, calculada e medida. Como no fazer arquitetônico, em que o projeto antecede a construção, o fazer poético é assumido como um processo de construção material precedido pelo exercício projetual baseado em premissas rigorosas de lucidez, clareza, contenção e cálculo. Leitor de Le Corbusier, João Cabral toma do ideário modernista traços formais e procedimentos de composição que ressaltam o despojamento, a precisão e a geometrização das formas construídas. Nada é dado pelo acaso; tudo é cálculo, obedecendo a um sistema rigoroso de construção. "Máquina de habitar" e "máquina de comover" são duas expressões usadas por Le Corbusier para definir sua concepção da arquitetura, em geral, e da casa, em particular: as funções prática e mítica do edifício-casa serão satisfeitas pela construção de edifícios projetados segundo a economia e o cálculo a fim de responder a necessidades humanas de habitação e de emoção plástica, alcançada com as formas simples da geometria. No entanto, não foi apenas a lição da economia e do cálculo, aprendida do arquiteto franco-suíço, que o poeta incorporou à sua obra. "Máquina de habitar" e "máquina de comover", o objeto arquitetônico exige e pressupõe a criação de espaço interior que contenha o homem e com o qual ele possa interagir. E é nesse aspecto - da construção do espaço - que o diálogo de Cabral-Corbusier se mostra mais provocador: embora verbal e bidimensional, uma vez que as palavras... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This current work starts with the hipothesis that Le Corbusier's writings and architecture towards João Cabral de Melo Neto transcend the influences dictated by the intellectual and artistic ambience of that time. The poet's interest for plastic arts and likeness toward the idea of literary work construction is widely known, and it results in a rationally elaborate, calculated and measured poetry. As in the architectonic making, in which the project precedes the construction, poetic making is assumed like a process of material construction preceded by the projectual exercise based on strict lucidity, clarity, contention and calculation premises. A reader of Le Corbusier, João Cabral takes, from the modernist ideologies, formal features and composition procedures which emphasize the dispossession, accuracy and geometrization of the constructed forms. Nothing is given by chance; everything is calculated, obeying a strict construction system. "Machine à habiter" and "machine à émouvoir" are two expressions used by Le Corbusier to define his conception on architecture, in general, and on the house, in particular: the practical and mythical functions of the building/house will be met through the construction of buildings constructed according the economy and calculations in order to cater to human needs in living and plastic emotion, which is reached with the simple geometric forms. However, it was not only the economy and calculations lessons, learned from the French- Swiss architect, that the poet embodied into his work. "Machine à habiter" and "machine à émouvoir", the architectonic object demands and presupposes the creation of interior space that contains man and with which he can interact. It is in this aspect - space construction - that the Cabral-Corbusier dialogue is more provocative: albeit verbal and bidimensional, once words are displayed on a field... (Complete abstract click electronic access below) / Résumé: Ce travail part de l'hypothèse que l'apport des écrits et de l'architecture de Le Corbusier à la poésie de João Cabral de Melo Neto transcende les influences imposées par le climat intellectuel et artistique de l'époque. L'intérêt du poète pour les arts plastiques et son penchant pour l'idée de la construction de l'oeuvre littéraire sont bien connus. Il en résulte une poésie rationnellement élaborée, calculée et mesurée. Tout comme le faire architectonique où le projet précède la construction, le faire poétique est conçu comme un processus de construction matérielle qui est précédé par l'exercice projetuel, lui-même basé sur des prémisses rigoureuses de lucidité, de clareté, de contention et de calcul. En tant que lecteur de Le Corbusier, João Cabral reprend dans les idées modernistes, des traits formels et des procédés de composition qui font ressortir le dépouillement, la précision et la géométrisation des formes construites. Rien n'est dû au hasard; tout est calculé et obéit à un système rigoureux de construction. "Machine à habiter" et "machine à émouvoir" sont deux expressions de Le Corbusier pour définir sa conception de l'architecture, en général, et de la maison, en particulier; les fonctions pratique et mythique de l'édifice-maison seront respectées par la construction d'édifices projetés selon l'économie et le calcul, afin de répondre aux besoins humains d'habitation et d'émotion plastique, une émotion qui sera suscitée par les formes simples de la géométrie. Néanmoins, le poète n'a pas seulement incorporé dans son oeuvre la leçon d'économie et de calcul de l'architecte franco-suisse. "Machine à habiter" et "machine à émouvoir", l'objet architectonique exige et présuppose la création de l'espace intérieur qui renferme l'homme et avec qui ce dernier... (Résumé complet accès électronique ci-dessous) / Doutor

Atualmente, os sistemas robóticos têm sido necessários para uma diversidade de novos produtos, como em robôs de serviço e em robôs para ambientes perigosos. Como consequência, um aumento da complexidade desses sistemas e observada, exigindo também atenção considerável para a qualidade e a produtividade. Vale destacar que a complexidade de parte desses sistemas decorre, parcial ou totalmente, da necessidade de se utilizar diversos robôs para compor a solução. Em outra perspectiva, arquiteturas de referência surgiram como um tipo especial de arquitetura de software que consegue agregar conhecimento de domínios específicos, facilitando o desenvolvimento, padronização e evolução de sistemas de software. Nessa perspectiva, arquiteturas de referência foram também propostas para o domínio de robótica e de têm sido consideradas como um elemento importante para o desenvolvimento de sistemas para esse domínio. No entanto, existe uma falta de arquiteturas de referência especializadas em sistemas multirrobóticos de serviço. Assim, a principal contribuição desse trabalho e o apoio ao desenvolvimento de sistemas multirrobóticos de serviço. Para isso, o principal resultado, aqui apresentado, e o estabelecimento da SiMuS, uma arquitetura de referência que agrega o conhecimento e a experiência de como organizar sistemas multirrobóticos de serviço, visando a escalabilidade, evolução e reuso. Para o estabelecimento dessa arquitetura, foi utilizado o ProSA-RA, um processo que sistematiza o projeto, representação e avaliação de arquiteturas de referência. Resultados alcançados por uma inspeção, por meio de checklist, e estudo de caso conduzidos evidenciam que a SiMuS e uma arquitetura de referência viável e reusável para o desenvolvimento de sistemas multirrobóticos de serviço / Currently, robotic systems have been more and more required for a diversity of new products, such as in service robots and in robots for dangerous environments. As a consequence, an increase in the complexity of these systems is observed, requiring also considerable attention to their quality and productivity. One of the main complexities faced by systems is the problem of control multiple robots to complete a task. In another perspective, reference architectures have emerged as a special type of software architecture that achieves well-recognized understanding of specific domains, facilitating the development, standardization, and evolution of software systems. In this perspective, reference architectures have also been proposed for the robotic domain and they have been considered an important element to the development of systems for that domain. However, there is a lack of reference architectures specialized in multi-robotic systems for service robots. Thus, the main contribution of this work is to support the development of multi-robotic for service robots. For that, the main result presented here is the establishment of SiMuS, a reference architecture that combines the knowledge and experience of how to organize multi-robotic systems for service robots, aiming at scalability, evolution and reuse. For establishing this architecture, was used the ProSA-RA, a process that systematizes the design, representation and evaluation of reference architectures. Results achieved by a checklist inspection and case study conduction, show that the SiMuS is a viable and reusable reference architecture for developing multi-robotic systems service robots

Les systèmes carbonatés, anciens et actuels, se retrouvent au coeur d’enjeux économiques et sociétaux majeurs, notamment dans le domaine énergétique où ils représentent une part considérable des réserves prouvées de gaz et de pétrole. La présente thèse se focalise sur la plate-forme urgonienne Provençale (Barrémien supérieur–Aptien inférieur), analogue d’affleurement prouvé de réservoirs carbonatés du Moyen-Orient. Près d’une trentaine de coupes stratigraphiques, incluant notamment deux forages réalisés dans le cadre de ce travail, ont été considérées sur l’ensemble du domaine Provençal. La reconnaissance de surfaces d’émersion et d’ennoiement contraintes biostratigraphiquement permet d’appréhender régionalement l’évolution paléogéographique et l’architecture stratigraphique. Plusieurs phases de progradation en direction des bassins adjacents, entrecoupées d’épisodes de perturbation de la production carbonatée, sont identifiées en Provence. Un scénario stratigraphique comparable est proposé pour les plates-formes urgoniennes du Pourtour Vocontien. En Provence, la compartimentation réservoir de la plate-forme urgonienne est principalement contrôlée par le contexte séquentiel des dépôts qui induit une dualité entre des carbonates cimentés précocement et ceux préservant un certain espace poreux. Les règles géologiques définies dans cette étude 1) servent à la réalisation d’un modèle numérique 3-D destiné aux simulations des écoulements à l’échelle de l’aquifère karstique de Fontaine-de-Vaucluse, dont le débit à l’exutoire est classé au cinquième rang mondial, et 2) aident à la prédiction des hétérogénéités sédimentaires et pétrophysiques des systèmes carbonatés / The analysis of carbonate systems is at the heart of major economic and societal challenges, especially in the energy field since they represent significant oil and gas reserves. The present thesis focuses on the Urgonian Provence platform (upper Barremian–lower Aptian interval) which is considered as a valid outcrop analogue of middle East carbonate reservoirs. About thirty stratigraphic sections, including newly acquired cores, are considered throughout the Provence domain. The recognition of biostratigraphically constrained exposure and drowning surfaces enables us to restore the regional palaeogeographic evolution along with the stratigraphic architecture. Several phases of platform progradation toward the adjacent basins, interrupted by episodes of changes in carbonate production, are identified in Provence. A comparable stratigraphic scenario is proposed for the peri-Vocontian Urgonian platforms. In Provence, the reservoir compartmentalisation of the Urgonian platform is mainly controlled by the sequence stratigraphic context that induced a distinction between early cemented carbonates and those preserving part of their original porosity. The geological rules provided in this study 1) are implemented into a 3-D numerical model intended for fluid-flow simulations at the scale of the Fontaine-de-Vaucluse karstic aquifer, whose karst spring is the fifth largest in the world, and 2) help in predicting the sedimentary and petrophysical heterogeneities of carbonate systems

Made available in DSpace on 2014-06-11T19:32:47Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-10-20Bitstream added on 2014-06-13T19:22:21Z : No. of bitstreams: 1 roland_mtf_dr_arafcl.pdf: 1608085 bytes, checksum: c9a35bfcf166cc28425e3543078be4ae (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Ce travail part de l’hypothèse que l’apport des écrits et de l’architecture de Le Corbusier à la poésie de João Cabral de Melo Neto transcende les influences imposées par le climat intellectuel et artistique de l’époque. L’intérêt du poète pour les arts plastiques et son penchant pour l’idée de la construction de l’oeuvre littéraire sont bien connus. Il en résulte une poésie rationnellement élaborée, calculée et mesurée. Tout comme le faire architectonique où le projet précède la construction, le faire poétique est conçu comme un processus de construction matérielle qui est précédé par l’exercice projetuel, lui-même basé sur des prémisses rigoureuses de lucidité, de clareté, de contention et de calcul. En tant que lecteur de Le Corbusier, João Cabral reprend dans les idées modernistes, des traits formels et des procédés de composition qui font ressortir le dépouillement, la précision et la géométrisation des formes construites. Rien n’est dû au hasard; tout est calculé et obéit à un système rigoureux de construction. “Machine à habiter” et “machine à émouvoir” sont deux expressions de Le Corbusier pour définir sa conception de l’architecture, en général, et de la maison, en particulier; les fonctions pratique et mythique de l’édifice-maison seront respectées par la construction d’édifices projetés selon l’économie et le calcul, afin de répondre aux besoins humains d’habitation et d’émotion plastique, une émotion qui sera suscitée par les formes simples de la géométrie. Néanmoins, le poète n’a pas seulement incorporé dans son oeuvre la leçon d’économie et de calcul de l’architecte franco-suisse. “Machine à habiter” et “machine à émouvoir”, l’objet architectonique exige et présuppose la création de l’espace intérieur qui renferme l’homme et avec qui ce dernier... (Résumé complet accès électronique ci-dessous) / O presente trabalho parte da hipótese de que as contribuições dos escritos e da arquitetura de Le Corbusier para a poesia de João Cabral de Melo Neto transcendem as influências ditadas pelo clima intelectual e artístico da época. É conhecido o interesse do poeta pelas artes plásticas e a simpatia pela idéia da construção da obra literária, que resultam numa poesia racionalmente elaborada, calculada e medida. Como no fazer arquitetônico, em que o projeto antecede a construção, o fazer poético é assumido como um processo de construção material precedido pelo exercício projetual baseado em premissas rigorosas de lucidez, clareza, contenção e cálculo. Leitor de Le Corbusier, João Cabral toma do ideário modernista traços formais e procedimentos de composição que ressaltam o despojamento, a precisão e a geometrização das formas construídas. Nada é dado pelo acaso; tudo é cálculo, obedecendo a um sistema rigoroso de construção. “Máquina de habitar” e “máquina de comover” são duas expressões usadas por Le Corbusier para definir sua concepção da arquitetura, em geral, e da casa, em particular: as funções prática e mítica do edifício-casa serão satisfeitas pela construção de edifícios projetados segundo a economia e o cálculo a fim de responder a necessidades humanas de habitação e de emoção plástica, alcançada com as formas simples da geometria. No entanto, não foi apenas a lição da economia e do cálculo, aprendida do arquiteto franco-suíço, que o poeta incorporou à sua obra. “Máquina de habitar” e “máquina de comover”, o objeto arquitetônico exige e pressupõe a criação de espaço interior que contenha o homem e com o qual ele possa interagir. E é nesse aspecto – da construção do espaço – que o diálogo de Cabral-Corbusier se mostra mais provocador: embora verbal e bidimensional, uma vez que as palavras... / This current work starts with the hipothesis that Le Corbusier´s writings and architecture towards João Cabral de Melo Neto transcend the influences dictated by the intellectual and artistic ambience of that time. The poet´s interest for plastic arts and likeness toward the idea of literary work construction is widely known, and it results in a rationally elaborate, calculated and measured poetry. As in the architectonic making, in which the project precedes the construction, poetic making is assumed like a process of material construction preceded by the projectual exercise based on strict lucidity, clarity, contention and calculation premises. A reader of Le Corbusier, João Cabral takes, from the modernist ideologies, formal features and composition procedures which emphasize the dispossession, accuracy and geometrization of the constructed forms. Nothing is given by chance; everything is calculated, obeying a strict construction system. “Machine à habiter” and “machine à émouvoir” are two expressions used by Le Corbusier to define his conception on architecture, in general, and on the house, in particular: the practical and mythical functions of the building/house will be met through the construction of buildings constructed according the economy and calculations in order to cater to human needs in living and plastic emotion, which is reached with the simple geometric forms. However, it was not only the economy and calculations lessons, learned from the French- Swiss architect, that the poet embodied into his work. “Machine à habiter” and “machine à émouvoir”, the architectonic object demands and presupposes the creation of interior space that contains man and with which he can interact. It is in this aspect – space construction – that the Cabral-Corbusier dialogue is more provocative: albeit verbal and bidimensional, once words are displayed on a field... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:22:30Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-04-16Bitstream added on 2014-06-13T19:27:55Z : No. of bitstreams: 1 cabanaspedro_cc_me_ia.pdf: 5295856 bytes, checksum: a8c9a5039b8aa9967830938958a1f32a (MD5) / Universidade Estadual Paulista (UNESP) / O presente trabalho concentra-se no estudo de um conjunto específico de obras da artista Niki de Saint Phalle, analisados sob o viés da arquitetura espontânea. Esse termo, bastante, desconhecido, é empregado para definir obras quer, pela sua escala e forma podem ser compreendidas como construções arquitetônicas diferenciadas, produzidas por “não-arquitetos”. Essa produção é geralmente associada à produção de artistas outsiders , aproximando-se mais da arte e da fantasia. Essas construções vão surgindo gradualmente na obra do artista Niki de Saint Phalle, que são destacadas uma a uma nesta investigação. Para maior embasamento foi feito o levantamento de de outras manifestações da arquitetura espontânea, compreendendo o trabalho construtivo de artistas e arquitetos espontâneos. Esses esforços criativos podem ser encontrados em várias partes do mundo, principalmente na Europa e América. A segunda parte da dissertação é dedicada inteiramente ao Jardim de Tarô, parque de esculturas projetado e construído por Niki, na Toscana, Itália. O jardim recebeu a influência do Park Guell do arquiteto Gaudi e é construido por esculturas monumentais que representam as cartas do tarô. A escolha do foco da segunda parte da dissertação neste jardim justifica-se por ele concentrar a maior quantidade de exemplos da arquitetura e espontânea na obra da artista. / The present work is concentrated on the study of a set specify of works of the artist Niki de Saint Phalle, analised under the slant of the spontaneous architecture. This term quite unknown, is employed in order that define works that , by the scale and form there can be understood how differential architectural constructions produced by non-architets This producation is generally associate to the outsider's artist production bringing near more near more than the art and the fantasy. These constructions are appearing gradually in the work of the artist Niki de Saint Phalle, that I detach one to one in this investigation. For bigger foundation, I do the lifting of other demonstrations of the spontaneous architecture, understanding the constructive work of these artists and spontaneous architects. These creative efforts can be found in several parts of the world, mainly in Europe and America. The second part of the work is dedicated completely to the Tarot Garden, park of sculptures projected and built bu Niki, in Tuscay, Italy. The garden received great influence of the Park Guell of the architect Gaudi, and it is constituted by monumental sculputures represented by letters of the tarot. I chose to focus the second part of the dissertation on this garden because it concentrats the biggest quantity of examples of the spontaneous architecture in the work of the artist.