Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T09:40:45Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:02:08Z : No. of bitstreams: 1 138219.pdf: 45527745 bytes, checksum: 4bdcef90968ca97369b8ef9371a0f2ac (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T05:05:01Z (GMT). No. of bitstreams: 1 296872.pdf: 1897409 bytes, checksum: 109437d10a6b10646d5638bb03afd255 (MD5) / projeto de sistemas embarcados criticos exige o uso de metodologias adequadas, visto que falhas no sistema podem causar danos catastroficos. Neste contexto se enquadra o projeto Topcased, o qual propõe uma série de ferramentas capazes de suportar a verificação formal de propriedades. A linguagem AADL tem um papel fundamental neste processo, pois sua utilização permite o emprego da transformação de modelos e a aplicação da verificação formal de propriedades. Entretanto, a especificação das propriedades de verificação e a análise dos seus resultados são ainda topicos em aberto. Esta dissertação visa suprir esta carência propondo um assistente para especificação de propriedades de verificação na linguagem AADL e uma interface para a visualização dos resultados de verificação, juntamente com um simulador de contraexemplos. O assistente construido classica as propriedades em padrões pre-definidos, utilizando uma linguagem natural ao usuário. Para validar as ferramentas desenvolvidas realizou-se um estudo de caso, o qual consistiu da especificação e verificação de propriedades de um sistema de marcapasso. Desta forma, este trabalho contribui com a melhoria da cadeia de verificação da linguagem AADL no escopo do projeto Topcased.

Orientador: Érika Nogueira de Andrade Stupiello / Banca: Lauro Maia Amorim / Banca: Marileide Dias Esqueda / Resumo: O processo da globalização, que tem promovido crescente circulação de informações multilíngues em escala mundial, tem proporcionado notáveis mudanças no mercado da tradução. No contexto globalizado, para manterem-se competitivos e atenderem à demanda de trabalho, a qual conta com frequentes atualizações de conteúdo e prazos reduzidos, os tradutores passaram a adotar ferramentas de tradução assistidas por computador em sua rotina de trabalho. Duas dessas ferramentas, utilizadas principalmente por tradutores das áreas técnica, científica e comercial, são os sistemas de memórias de tradução e as tecnologias de tradução automática. O emprego de tais recursos pode ter influências imprevisíveis nas traduções, sobre as quais os tradutores raramente têm oportunidade de ponderar. Se os profissionais são iniciantes ou se lhes falta experiência em determinada ferramenta, essa influência pode ser ainda maior. Considerando que os profissionais novatos tendem a utilizar cada vez mais as ferramentas disponíveis para aumentar sua eficiência, neste trabalho são investigados os possíveis efeitos do uso de sistemas de memórias de tradução e tecnologias de tradução automática, especificamente o sistema Wordfast Anywhere e um de seus tradutores automáticos, o Google Cloud Translate API, nas escolhas de graduandos em Tradução. Foi analisada a aplicação dessas ferramentas na tradução (inglês/português) de quatro abstracts designados a dez alunos do quarto ano do curso de Bacharelado em Letras com... / Abstract: Globalization has promoted a growing flow of multilingual information worldwide, causing significant changes in translation market. In this scenario, translators have been employing computer-assisted translation tools (CAT Tools) in a proficient way to meet the demand for information translated into different languages in condensed turnarounds. Translation memory systems and machine translation are two of these tools, used especially when translating technical, scientific and commercial texts. This configuration may have inevitable influences in the production of translated texts. Nonetheless, translators seldom have the opportunity to ponder on how their production may be affected by the use of these tools, especially if they are novice in the profession or lack experience with the tools used. Seeking to examine how the work of translators in training may be influenced by translation memory systems and machine translation technologies they employ, this work investigates how a translation memory system, Wordfast Anywhere, and one of its machine translation tools, Google Cloud Translate API, may affect the choices of Translation trainees. To achieve this goal, we present an analysis of English-to-Portuguese translations of four abstracts assigned to ten students of the undergraduate Program in Languages with Major in Translation at São Paulo State University, divided into three groups: one aided by Wordfast Anywhere, one aided by Google Cloud Translate API, and one unassisted ... / Mestre

Com o aumento de informações disponíveis e das possibilidades de fazer comércio por meios eletrônicos, aumenta a complexidade de algumas tarefas, como comprar. Um dos possíveis caminhos para diminuir essa complexidade é dotar programas de computadores com conhecimentos sobre a realização de tais tarefas, incluindo como tomar decisões. Esta dissertação versa sobre a utilização de agentes de software nas empresas, que são programas de computadores delegados para a realização de funções específicas. Além de uma revisão sobre o atual uso de tais tecnologias, apresenta-se uma possível aplicação na área de Compras para uma empresa real. Para modelar o sistema proposto, utilizou-se uma extensão da Unified Modeling Language (UML), a Agent UML, que objetiva a adequação da primeira para representar sistemas multiagentes. As dificuldades encontradas para modelagem são uma discussão adicional, bem como as sugestões. Outras contribuições do presente trabalho são as apresentações de mecanismos de decisão e de negociação para a Função Compras, inspirados em funções de valor e na negociação colaborativa. Encerra-se, apontando algumas futuras direções, incentivando reflexões posteriores sobre este tema pioneiro na Escola de Administração da Universidade Federal do Rio Grande do Sul.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:34:32Z (GMT). No. of bitstreams: 1 323601.pdf: 3499862 bytes, checksum: 6f91e543fd542988c6ea40ea602ad442 (MD5) Previous issue date: 2013 / A flexibilidade de FPGAs baseadas em SRAM é uma opção atrativa para o projeto de sistemas embarcados. Contudo, estes sistemas críticos requerem a verificação funcional do projeto em HDL (Hardware Description Language) para assegurar o seu correto funcionamento. A verificação formal utilizando model checking representa um sistema em um modelo formal que pode ser automaticamente gerado por ferramentas de síntese. No entanto, as propriedades que descrevem o comportamento esperado, necessárias para provadores de modelo, são usualmente elaboradas de forma manual, o que é mais suscetível a erro humano, aumentando custo e tempo de verificação. Este trabalho apresenta uma nova abordagem para geração automática de propriedades para verificação de sistemas descritos em HDL. O estudo de caso industrial é o subsistema de comunicação de um satélite artificial que foi desenvolvido em parceria com o Instituto Nacional de Pesquisas Espaciais (INPE).<br> / Abstract: The flexibility of Commercial-Off-The-Shelf (COTS) SRAM-based FPGAs is an attractive option for the design of embedded systems. However, the functional verification of HDL-based designs is required and is of fundamental importance. Formal verification using model checking represents a system as formal model that are automatically generated by synthesis tools. On the other hand, the properties are represented by temporal logic expressions and are traditionally elaborated by hand, which is susceptible to human errors thus increasing the costs and verification time. This work presents a new method for automatic property generation for formal verification of Hardware Description Language (HDL) based systems. The industrial case study is a communication subsystem of an artificial satellite, which was developed in cooperation with the Brazilian Institute of Space Research (INPE).

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:34:50Z (GMT). No. of bitstreams: 1 324543.pdf: 1624497 bytes, checksum: 709561bb0de8fb3454502b861c80ab39 (MD5) Previous issue date: 2013 / O conceito de propriedade tem-se modificado ao longo dos tempos, de acordo com a concepção em vigor na sociedade a que se dirige. A inovação tecnológica promovida pela revolução informacional vem a gerar transformações na noção de riqueza e no próprio conceito de propriedade. Hoje, as maiores riquezas são bens imateriais e não mais bens materiais. Dessa forma, é preciso que os conceitos jurídicos progridam na mesma direção já apontada há tempos pela economia. Além disso, a gestão da Administração Pública também procura dinamizar-se para dar conta das demandas sociais. A prestação da Justiça, cada vez mais cobrada com o amadurecimento da democracia e a consolidação dos direitos a partir do final do século XX, não se furta a esse movimento. Novas medidas são tomadas para modernizar o Poder Judiciário, e a informatização adquire papel de destaque por imprimir maior agilidade ao serviço, ao viabilizar a gestão do fluxo de processos, com a ampla coleta de dados, e possibilitar a realização de planejamento, com a avaliação dos resultados. Para isso, são necessários programas de computador cada vez mais sofisticados e customizados que atendam às finalidades da Justiça. O desenvolvimento de tais programas alcança ocorrer dentro da própria administração ou envolve terceiros, através de contratos celebrados com a administração pública. Esses contratos podem abranger a aplicação de novas ferramentas e a participação de novos atores, como governo, universidades, empreendedores e pesquisadores. Na França, a criação da Agência do Patrimônio Imaterial do Estado (APIE) mostra ser exequível cuidar-se dos ativos intangíveis da administração pública. No Brasil, é preciso viabilizar o aproveitamento econômico desses bens dominicais imateriais. Para que tal aconteça, necessita-se de uma regulamentação que ofereça estabilidade e segurança para que o poder público e a iniciativa privada possam unir seus esforços na promoção do desenvolvimento nacional.<br> / Abstract : The concept of property has changed over time, according to the existing vision in the society to which it is addressed. The technological innovation promoted by the information revolution causes changes to the notion of wealth and the very concept of property. Today, the greatest assets are intangible property and no longer material goods. Thus, it is necessary that the legal concepts progress towards the same direction already indicated for quite some time by the economy. Furthermore, the management of public administration also seeks to become more dynamic to meet social demands. The provision of justice, demanded ever more with the maturing of democracy and the consolidation of rights from the end of the 20th century on, does not shy away from this movement. New measures are taken to modernize the Judiciary, with computerization taking a prominent role for speeding up the service, by facilitating case flow management, with extensive data collection, and enabling the achievement of planning with the evaluation of results. To achieve this, increasingly sophisticated and customized software are required to serve the purposes of justice. The development of such programs occurs within the administration itself or involves third parties through contracts entered into with the public administration. These contracts may include the application of new tools and the participation of new actors, such as the government, universities, entrepreneurs and researchers. In France, the creation of the Intangible Heritage of the State Agency (APIE) demonstrates that taking care of intangible assets of the public administration is feasible. In Brazil, it is necessary to enable the economic benefits of these proprietary intangible assets. For this to happen, a legislation that offers stability and security is pending, so that the public and private sectors may unite their efforts in promoting national development.

Tese (doutorado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2012 / Bibliografia: f. 91-97 / Problemas de classificação hierárquica multirr´otulo na atualidade são considerados complexos e desafiadores por apresentarem grandes diferen¸cas em relação `a classificação plana. Fundamentalmente, na classificação hierárquica as classes estão organizada / Hierarchical multilabel classification problems are considered nowadays complex and challenging because they had major dierences from the flat classification. Fundamentally, in hierarchical classification classes are organized in a taxonomy represented

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 87-89 / Aplicações dependentes de contexto utilizam informações do ambiente que as cercam para adaptarem o seu comportamento. Este trabalho propõe um infra-estrutura reflexiva, com baixo acoplamento e orientada a eventos, chamada CxFramework, para auxiliar no des / Context-aware applications use information from their surrounding environment to adapt their behavior. This paper proposes a reflexive, loose-coupled, event-based infrastructure named CxFramework to aid the development of such complex applications. CxFram

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 102-109 / No uso clássico de redes peer-to-peer (par-a-par / P2P) para compartilhamento de arquivo, principalmente música e filmes, geralmente não há uma preocupação com autenticidade e controle de acesso a conteúdo. Propostas de segurança encontradas atualmente na / In the classic use of P2P network for file sharing, mainly music and movies, there is not the same concern with authenticity and content access control. Security proposals currently found in technical literature attempt to adapt techniques of client-serve

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: p. 77-81 / Hoje em dia a Internet se tornou uma referência em aquisição de informações, graças à grande quantidade presente e a sua facilidade de acesso. Mas isto pode ser mal utilizado, já que alguém pode simplesmente acessar uma informação e usá-la como de sua pró / Nowadays the Internet has become a reference on information retrieval, thanks to its large amount and easiness to access it. But this can be misused, as one can simply access an information and take it as his own authorship. This constitutes an act of pla