Nos últimos anos, as redes sociais na Web 2.0 vêm ganhando cada vez mais importância para trabalhar e compartilhar ideias. As redes sociais armazenam informações do usuário, como preferências, experiência profissional, dados pessoais e com quem o usuário interage. Essas informações são úteis para diversos fins, como oferecer produtos e serviços personalizados. Com a aparição de cada vez mais redes sociais, surgem problemas como a duplicação de perfis de usuários. Atualmente há algumas técnicas para interoperar as redes sociais, como serviços de autenticação única ou representação padrão para compartilhamento de dados. O objetivo deste trabalho foi realizar um estudo dessas técnicas e tecnologias disponíveis, implementá-las por meio de componentes do Groupware Workbench, e implantar e avaliar os componentes desenvolvidos na rede social Arquigrafia. A avaliação dos componentes foi realizada por meio dos aspectos e questões propostos pelo projeto DataPortability. A avaliação mostrou que as questões diretamente relacionadas com a interoperabilidade técnica e semântica foram respondidas. / In recent years, the importance of social networks for working and sharing ideas increased. Social networks store information such as user preferences, professional experience, personal data, and information about with whom the user interacts. This kind of information is useful for many purposes, such as offering personalized products and services. With the appearance of more social networks, problems as duplication of user profiles arise. Currently, there are some techniques for interoperating social networks, such as single authentication services and standard representation for data sharing. The objective of this work was to study techniques and technologies available, implement them as Groupware Workbench components, and deploy and evaluate the components in the social network Arquigrafia. The evaluation of the components was based on the DataPortability project. Issues related to technical and semantic interoperability have been successfully addressed.

International Telemetering Conference Proceedings / October 28-31, 1996 / Town and Country Hotel and Convention Center, San Diego, California / The tracking system is part of a telemetry ground station being developed for the UK Ministry of Defence. The design objective is a self-contained transportable system for field use in a vehicle or workshop environment, so that the system components are required to be man portable. Comprehensive facilities are required for the reception, display and analysis of telemetry data from a remote 1430-1450MHz airborne source at ranges of up to 205km. Since tracking over water is a prime requirement the system must accommodate severe multipath fading. A detailed analysis of the link budget indicates that there is a major conflict between cost, portability, antenna size and the receiver complexity required to achieve a satisfactory performance margin. A baseline system is analysed using a four foot antenna. Methods for improving the performance are then considered including polarisation, frequency and space diversity coupled with alternative antenna types and configurations. The optimum solution utilises two six foot diameter shaped beam single axis antennas of unique design in conjunction with a receiving system which economically combines the elements of polarisation, frequency and space diversity.

High performance and scientific computing take advantage of high-end and high-spec computer architectures. As these architectures evolve, and new architectures are created, applications may be able to run at greater and greater speeds. These changes persent challenges to implementors who wish to take advantage of the newest features and machines. Portability layers such as RAJA and Agency seek to abstract away machine-specific details and allow scientists to take advantage of new features as they become available. We enhance RAJA with a lower-level framework, Agency, to determine if these layered abstractions provide performance or maintainability benefits.

A produção industrial de edificações pré-fabricadas requer que sejam executados, durante a fase de pesquisa e desenvolvimento, mockups e protótipos para que os responsáveis possam avaliar o desempenho dos componentes, durante a montagem. São tarefas típicas de artesanato, elaboradas à margem das linhas de produção industrial. A indústria de edificações, seja por processos muito ou pouco industrializados, não mostra preferência pelo uso de softwares de manufatura para elaboração de seus projetos.Muitas empresas preferem os softwares de desenho bidimensional ou os softwares com tecnologia BIM. Neste contexto o objetivo desta dissertação é demonstrar como o uso de software de manufatura contribui para a eficiência da prototipagem digital na produção de casas pré-fabricadas. São analisados quatro sistemas: estrutura; revestimentos verticais portáteis; forro magnético; e guarda corpo transparente para uma edificação de alta eficiência energética pré-fabricada, portátil, cujos projetos foram desenvolvidos com auxílio de software de manufatura onde a interoperabilidade entre o projeto e os meios de produção digital foram determinantes para alcançar o resultado obtido. Com auxílio do software de manufatura, os testes de avaliação de montagem foram executados utilizando componentes digitais, modelados com as informações sobre a forma e as características físicas dos materiais utilizados. O método utilizado, onde as avaliações de desempenho se realizaram partir de componentes digitais, com baixo custo e boa velocidade de produção, assegurou a qualidade da produção dos componentes físicos. Como resultado, uma equipe de 20 alunos, sem especialização na produção de edificações, montou uma edificação de alta eficiência energética, com área interna de 45 m2, em 150 horas, durante uma competição internacional entre universidades realizada em setembro de 2012 em Madri. Valorizou-se o ato de projetar. O projeto, utilizado como a principal ferramenta para tomada de decisões relacionadas com a produção, viabilizou a aplicação do método. A correta utilização dos recursos de projeto por meios digitais permite projetar cenários virtuais confiáveis antes de produzi-los com segurança. / Physical models (mock-ups and prototypes) are usually employed during design and development phases of prefab homes in order to assess the performance of the components during assembly phase.These are typical examples of craft developed on the margins of industrial processes.The building industry, regardless of level of industrialization, actually does not have shown preference in using manufacturing software for design development; many companies prefer two-dimensional CAD software or BIM system-based software. In this context, the aim of this dissertation is to demonstrate how the use of manufacturing software contributes to the efficiency of digital prototyping in the production of prefab homes. Four systems of an energy-efficient prefab home were analyzed: structure, portable vertical coatings, roof panels with magnetic attachment devices and transparent guardrails. The design of these systems were developed using manufacturing software whose interoperability with CNC machines was crucial to the achievement of the project´s goals. The assessment of the assembly process of the systems was made by means of manufacturing software using digital components modeled as from the shape of the designed components and of the physical characteristics of materials.Assembly simulations were made by using digital prototyping, avoiding expensive and time-consuming processes of producing and assessment physicalmodels.As a result a team of 20 students, not specialized in the production of buildings, have assembled an energy efficient house, with floor area of 45 m2, in 150 hours, during an international competition among universities held in Madrid, September 2012. Application of the method was possible due to the valuation of the team work during the design phase, when the main decisions concerning production were taken. The correct use of digital prototyping resources enables users to try reliable scenarios and ensure safety conditions during production.

As organizações precisam trocar informações de forma simples e eficiente, com custos tão baixos quanto possível. Essas informações às vezes são apresentadas na forma de documentos com formato e conteúdos pré-definidos. Esses documentos podem ser equivalentes ou quase equivalentes, porém bastantes distintos em diferentes organizações. Numa mesma organização, os documentos podem ser diferentes em contextos históricos. O propósito deste trabalho é facilitar a distribuição dos documentos, superando o problema dos formatos com os quais foram criados. O objetivo é possibilitar a interoperabilidade de documentos e atingir a portabilidade simples e confiável de documentos através da reutilização de formatos e conteúdos, em diferentes combinações plausíveis. Propomos, usar ontologias como solução ao problema da falta de interoperabilidade nas implementações de formatos de documentos. Como prova de conceito consideramos a portabilidade entre os formatos padrão ODF(Open Document Format) e (Office Open XML). / Organizations need to exchange information simple and efficient, with costs as low as possible. Such information is sometimes presented as documents and with pre-defined content. These documents may be equivalent or nearly equivalent, but quite distinct in different organizations. In the same organization, documents can be different historical contexts. The purpose of this work is to enable interoperability of documents and achieve portability of digital documents through the reuse of content and format in different plausible combinations. We propose the characterization of digital documents using ontologies as a solution to the problem of lack of interoperability in the implementations of document formats. As proof of concept we consider the portability between ODF(Open Document Format) and OOXML (Office Open XML) document formats.

Made available in DSpace on 2016-04-26T20:20:58Z (GMT). No. of bitstreams: 1 Dissertacao Katia Cilene Balugar Firmino.pdf: 568731 bytes, checksum: 03244d07a888cf18708c59ef01b9c481 (MD5) Previous issue date: 2005-10-05 / Abstract The main task of this work is to study the portability institute at the private insurance organization, its legal system and the updated regulations. It has begun with the study of the legal relations among the private insurance system, in order to check if the portability works exclusively on this system, or to verify if it is also related with any other area of the legal system. This study was done regarding the essentiality of the private insurance contracts and the social security contracts. After checked the law system of the private insurance, verifying the constitutional points, the order regulations and the technical point of the subject, it is possible to conclude thru the legal system of the portability, as a propper institute of the legal relations of the private insurance, inserted on an undisposable garantee of the private institute, regarding its instrumental functions related to the constitutional commands effectivity, regarding the private social security. After all these analysis, legal system and constitutional points, regarding the lawyers activity and to the rules of the private insurance, the study was developed from a critical check up of the legal system of the portability. So, it was carefully analised the conflicts and solutions of the portability. / O presente trabalho tem como objetivo a análise do instituto da portabilidade na previdência complementar, sua natureza jurídica e atual regulamentação normativa. O ponto de partida eleito a nortear a investigação foi o de destacar a relação jurídica de previdência privada, a fim de constatar se a portabilidade opera com exclusividade no âmbito das relações de previdência complementar, ou se também se faz presente em relações jurídicas concebidas em outras esferas, por meio da análise dos contornos essenciais ao contrato de seguro privado e ao contrato de seguro social. Traçados os aspectos jurídicos da relação de previdência privada, à luz dos princípios constitucionais e dos valores da Ordem Social, e os aspectos técnicos inerentes aos planos, foi possível concluir pela natureza jurídica da portabilidade como um instituto próprio da relação jurídica de previdência complementar, consubstanciado num direito indisponível do participante e numa garantia do regime complementar, tendo em vista sua função instrumental à efetividade dos comandos constitucionais atinentes à previdência social privada. Aferida a natureza jurídica do instituto, e examinados os vetores constitucionais balizadores à atividade do legislador e dos poderes reguladores em matéria de previdência complementar, o estudo desenvolveu-se no sentido de uma análise crítica quanto à disciplina normativa da portabilidade. Foram então analisados os pontos em que a prática da portabilidade mais suscita questionamentos, confrontando-os à solução presente no ordenamento jurídico.

A produção industrial de edificações pré-fabricadas requer que sejam executados, durante a fase de pesquisa e desenvolvimento, mockups e protótipos para que os responsáveis possam avaliar o desempenho dos componentes, durante a montagem. São tarefas típicas de artesanato, elaboradas à margem das linhas de produção industrial. A indústria de edificações, seja por processos muito ou pouco industrializados, não mostra preferência pelo uso de softwares de manufatura para elaboração de seus projetos.Muitas empresas preferem os softwares de desenho bidimensional ou os softwares com tecnologia BIM. Neste contexto o objetivo desta dissertação é demonstrar como o uso de software de manufatura contribui para a eficiência da prototipagem digital na produção de casas pré-fabricadas. São analisados quatro sistemas: estrutura; revestimentos verticais portáteis; forro magnético; e guarda corpo transparente para uma edificação de alta eficiência energética pré-fabricada, portátil, cujos projetos foram desenvolvidos com auxílio de software de manufatura onde a interoperabilidade entre o projeto e os meios de produção digital foram determinantes para alcançar o resultado obtido. Com auxílio do software de manufatura, os testes de avaliação de montagem foram executados utilizando componentes digitais, modelados com as informações sobre a forma e as características físicas dos materiais utilizados. O método utilizado, onde as avaliações de desempenho se realizaram partir de componentes digitais, com baixo custo e boa velocidade de produção, assegurou a qualidade da produção dos componentes físicos. Como resultado, uma equipe de 20 alunos, sem especialização na produção de edificações, montou uma edificação de alta eficiência energética, com área interna de 45 m2, em 150 horas, durante uma competição internacional entre universidades realizada em setembro de 2012 em Madri. Valorizou-se o ato de projetar. O projeto, utilizado como a principal ferramenta para tomada de decisões relacionadas com a produção, viabilizou a aplicação do método. A correta utilização dos recursos de projeto por meios digitais permite projetar cenários virtuais confiáveis antes de produzi-los com segurança. / Physical models (mock-ups and prototypes) are usually employed during design and development phases of prefab homes in order to assess the performance of the components during assembly phase.These are typical examples of craft developed on the margins of industrial processes.The building industry, regardless of level of industrialization, actually does not have shown preference in using manufacturing software for design development; many companies prefer two-dimensional CAD software or BIM system-based software. In this context, the aim of this dissertation is to demonstrate how the use of manufacturing software contributes to the efficiency of digital prototyping in the production of prefab homes. Four systems of an energy-efficient prefab home were analyzed: structure, portable vertical coatings, roof panels with magnetic attachment devices and transparent guardrails. The design of these systems were developed using manufacturing software whose interoperability with CNC machines was crucial to the achievement of the project´s goals. The assessment of the assembly process of the systems was made by means of manufacturing software using digital components modeled as from the shape of the designed components and of the physical characteristics of materials.Assembly simulations were made by using digital prototyping, avoiding expensive and time-consuming processes of producing and assessment physicalmodels.As a result a team of 20 students, not specialized in the production of buildings, have assembled an energy efficient house, with floor area of 45 m2, in 150 hours, during an international competition among universities held in Madrid, September 2012. Application of the method was possible due to the valuation of the team work during the design phase, when the main decisions concerning production were taken. The correct use of digital prototyping resources enables users to try reliable scenarios and ensure safety conditions during production.

<p>^{Ethernet functionality testing as a generic term used for checking connectivity,throughput and capability to transfer packets over the network. Especially in the packet-switchenvironment, Ethernet testing has become an essential part for deploying a reliable network.Over a long distance Ethernet testing parameter for analyzing network performance must havetwo devices attached and synchronized.}</p><p>Saab Microwave Systems is among the leading suppliers of radar systems developing groundbased,naval and air-borne radar systems. To ensure the correct functionality, the developerwants to verify the performance of computer network and looking for a suitable solution.</p><p>A software application is required to verify and test the functionality of the Ethernet network andto verify the functionality and performance of the TCP/IP stack of newly added node. Theprograms shall be easily ported to different operating systems and must not depend on specificproduct properties.A software application, <em>“NetBurst”</em>, is developed for Ethernet functionality testing. Theapplication is vendor and platform independent.</p><p><strong> </strong></p>

Verification and debug of integrated circuits for embedded applications has grown in importance as the complexity in function has increased dramatically over time. Various modeling and debugging techniques have been developed to overcome the overwhelming challenge. This thesis attempts to address verification and debug methods by presenting an accurate C model at the bit and algorithm level coupled with an implemented Hardware Description Language (HDL). Key concepts such as common signal and variable naming conventions are incorporated as well as a stepping function within the implemented HDL. Additionally, a common interface between low-level drivers and C models is presented for early firmware development and system debug. Finally, selfchecking verification is discussed for delivering multiple test cases along with testbench portability.

Les approches de parallélisme structuré sont un compromis entre la parallélisation automatique et la programmation concurrentes et réparties telle qu'offerte par MPI ou les Pthreads. Le parallélisme à squelettes est l'une de ces approches. Un squelette algorithmique peut être vu comme une fonction d'ordre supérieur qui capture un algorithme parallèle classique tel qu'un pipeline ou une réduction parallèle. Souvent la sémantique des squelettes est simple et correspondant à celle de fonctions d'ordre supérieur similaire dans les langages de programmation fonctionnels. L'utilisation combine les squelettes disponibles pour construire son application parallèle. Lorsqu'un programme parallèle est conçu, les performances sont bien sûr importantes. Il est ainsi très intéressant pour le programmeur de disposer d'un modèle de performance, simple mais réaliste. Le parallélisme quasi-synchrone (BSP) offre un tel modèle. Le parallélisme étant présent maintenant dans toutes les machines, du téléphone au super-calculateur, il est important que les modèles de programmation s'appuient sur des sémantiques formelles pour permettre la vérification de programmes. Les travaux menés on conduit à la conception et au développement de la bibliothèque Orléans Skeleton Library ou OSL. OSL fournit un ensemble de squelettes algorithmiques data-parallèles quasi-synchrones. OSL est une bibliothèque pour le langage C++ et utilise des techniques de programmation avancées pour atteindre une bonne efficacité. Les communications se basent sur la bibliothèque MPI. OSL étant basée sur le modèle BSP, il est possible non seulement de prévoir les performances des programmes OSL mais également de fournir une portabilité des performances. Le modèle de programmation d'OSL a été formalisé dans l'assistant de preuve Coq. L'utilisation de cette sémantique pour la preuve de programmes est illustrée par un exemple. / Structured parallelism approaches are a trade-off between automatic parallelisation and concurrent and distributed programming such as Pthreads and MPI. Skeletal parallelism is one of the structured approaches. An algorithmic skeleton can be seen as higher-order function that captures a pattern of a parallel algorithm such as a pipeline, a parallel reduction, etc. Often the sequential semantics of the skeleton is quite simple and corresponds to the usual semantics of similar higher-order functions in functional programming languages. The user constructs a parallel program by combined calls to the available skeletons. When one is designing a parallel program, the parallel performance is of course important. It is thus very interesting for the programmer to rely on a simple yet realistic parallel performance model. Bulk Synchronous Parallelism (BSP) offers such a model. As the parallelism can now be found everywhere from smart-phones to the super computers, it becomes critical for the parallel programming models to support the proof of correctness of the programs developed with them. . The outcome of this work is the Orléans Skeleton Library or OSL. OSL provides a set of data parallel skeletons which follow the BSP model of parallel computation. OSL is a library for C++ currently implemented on top of MPI and using advanced C++ techniques to offer good efficiency. With OSL being based over the BSP performance model, it is possible not only to predict the performances of the application but also provides the portability of performance. The programming model of OSL is formalized using the big-step semantics in the Coq proof assistant. Based on this formal model the correctness of an OSL example is proved.