Orientador: Rubén Augusto Romero Lázaro / Banca: José Roberto Sanches Mantovani / Banca: Marina Lavorato de Oliveira / Banca: Carlos Roberto Mendonca Rocha / Banca: Walmir de Freitas Filho / Resumo: O sistema de transmissão desempenha um papel muito importante na prevenção de cortes de cargas, blecaute (colapso), etc., fornecendo energia para todos os tipos de consumidores e às vezes em circunstâncias críticas. O problema de planejamento de expansão de sistemas de transmissão (PET) possibilita que a rede transmita a energia gerada para abastecer os centros de carga em todo instante de tempo, a fim de satisfazer a crescente demanda por energia elétrica. No problema PET, além de cumprir com todas as restrições técnicas, deve-se elaborar um plano de expansão econômico. O planejamento da expansão do sistema de transmissão é um tipo de atividade em que as decisões devem são tomadas e planejadas em nível nacional já que implica absorver recursos financeiros significativos. Consequentemente, elaborar um projeto de expansão ideal, com o mínimo custo possível e com a máxima confiabilidade é uma tarefa crucial. Do ponto de vista da estrutura dos sistemas de energia, pode-se afirmar que o problema PET é analisado nos sistemas regulados e desregulados. O principal objetivo do PET em um ambiente regulado é atender a demanda de carga, com mínimo custo, levando em consideração o critério da confiabilidade. Por outro lado, em sistemas de energia reestruturados, a expansão da transmissão destina-se a criar um ambiente competitivo sem qualquer discriminação de acesso à rede de transmissão. Esse mecanismo pode perfeitamente assegurar mercados competitivos. Em geral, o problema PET em ambientes regulados é um problema de programação não-linear inteira mista, o qual envolve algumas dificuldades, tais como um tempo prolongado para executar esse tipo de projetos, assim como a necessidade de uma técnica de otimização não-convexa. Além disso, devido à complicação dos problemas de otimização combinatória, e também por existir muitos mínimos locais neste caso, trata-se de um problema que exige tempos de... / Abstract: Transmission system plays an undeniable role to avoid load shedding, black out, etc. by supplying the power to all type of consumers under critical circumstances. A transmission network expansion planning (TNEP) enables a network to transmit enough generated power to load centers at a specified times to satisfy the increased electric power demand. In TNEP problem, in addition to satisfying all the technical constraints, an economic plan is demanded. The expansion of transmission network is one of the initiatives, in which the necessary decisions are made and planned at the national level to absorb significant financial resources. Therefore, planning for an optimal expansion project with the least cost and highest reliability is a crucial task. From the viewpoint of the structure of power systems, it can be stated that TNEP is analyzed in both regulated and deregulated environments. The main objective of TNEP in a regulated environment is to meet the load demand at the least cost while the reliability criterion is taken into account. On the other hand, in restructured power systems, the transmission expansion is primarily intended to create a competitive environment without any discrimination to access to the transmission network. This can perfectly ensure competitive markets. In general TNEP problem in regulated environments is a non-linear mixed integer programming problem, which subjects with some difficulties, such as the time- consuming nature of the problem as well as the need for a non-convex optimization technique. In addition, due to the complicacy of the combinatorial optimization problems and also, since there exist many local minima for this problem, it is considered as a time- consuming problem. Moreover, since the conventional mathematical programming methods do not necessarily work very satisfactorily, therefore, various meta-heuristic optimization techniques have been examined for this problem. However, the scope and ... / Doutor

A Engenharia de Software tem desenvolvido técnicas e métodos para apoiar o desenvolvimento de software confiável, flexível, com baixo custo de desenvolvimento e fácil manutenção. A avaliação da manutenibilidade contribui para fornecer meios para produzir software com alta qualidade. Este trabalho apresenta um experimento controlado para avaliar a manutenibilidade entre as abordagens de web services: RESTful e SOAP-WSDL. Esta avaliação foi conduzida usando 3 programas implementados na linguagem de programação Java e com a mesma arquitetura. Com base na arquitetura projetada, os web services desenvolvidos foram utilizados como objetos em estudos de caso, possibilitando avaliar e comparar a sua manutenibilidade. Os resultados obtidos demonstraram relações entre as informações sobre o custo e a qualidade dos serviços web, que contribuíram para esclarecer os critérios para a obtenção de uma boa relação entre o custo da manutenção e a evolução dos serviços web. Para concluir, os resultados indica que os web services RESTful são mais manuteníveis do lado do servidor, e os web services SOAP-WSDL são mais manuteníveis do lado do cliente. Os estudos realizados no experimento controlado são promissores e podem auxiliar na redução de custo na manutenção dos serviços web, melhorando dessa forma a qualidade do software no geral / Software Engineering has developed techniques and methods to support the development of reliable software, exible, low development cost and easy maintenance. The evaluation of maintainability contributes in this direction, providing the means to produce software with high quality. This paper presents an controlled experiment to evaluate the maintainability between the approaches of web services: RESTful and SOAP-WSDL. This evaluation was conducted using four programs implemented in the Java programming language, using the same architecture. Based on the designed architecture, Web services were developed as objects used in case studies, allowing to evaluate and compare its maintainability. The results showed relationships between the information on the cost and quality of web services, which contributed to clarify the criteria for obtaining a good relationship between the cost of maintenance and evolution of web services. In conclusion, the results indicate the RESTful web services are more maintainable server side in contrast to the SOAP-WSDL web services are more maintainable client side. Studies in controlled experiments are promising and may help reduce the maintenance cost of web services, thus improving overall software quality

Orientador: Milton Terumitsu Sogabe / Banca: Mirian Celeste Ferreira Dias Martins / Banca: Lúcio Agra / ABSTRACT: The idea of this paper is to propose an art study possibility helped by the computer connected to the web, using communication technologies and virtual reality simulation, checking on VRML language as a tool for creation, by simulation, of environments in 3D virtual reality to study some particular art aspects such as the 3D perception and putting together the main results, obtained from many different researches on the usage of VRML and its educational application, aiming to achieve the dimension of this possibility. I intend, as the main objective of the research, to study the VRML language as a support tool to optimize the construction on the art knowlegment. This proposal has, as the idea of an application, the development of a bigger concept comprehension in art's studies and still the learning of arts, on distance learning, through the experiences in art appreciation and sensorial involvement using virtual reality by the VRML language to promote the simulation e reproduction of visual master pieces in virtual reality and so on. This proposal doesn't intend to be an idea on the replacement of teachers and tutors on teaching and learning of virtual arts, quite the opposite, the idea is to offer access to materials in a different way and to a bigger number of people, through the anytime / anywhere possibilities of learning that are available on the distance learning digital technologies by the using of computers connected to the web, called e-learning. Basically, the paper is divided in three parts. 1. To propose the art study couting n the computer, communication techonologies and virtual reality simulation, 2. To research the VRML language as a tool to create the environment in virtual reality to study the 3D representation, and. 3. To put together the results already otained in many researches about the usage of VRML language its educational applicability, to get tlhe dimension of this proposal. / Mestre

A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados por evento. A UML-RT não possui semântica formal, logo não é possível realizar verificação formal do modelo. O presente trabalho propõe o mapeamento dos elementos de comunicação da UML-RT para a álgebra de processos p-calculus, a fim de prover semântica formal à UML-RT. Com objetivo de automatizar o mapeamento, foi desenvolvido um protótipo de tradutor que captura o modelo UML-RT especificado na ferramenta RoseRT e determina suas definições p-calculus. As definições p-calculus geradas utilizam a sintaxe da gramática do HAL-JACK, que é uma ferramenta integrada para verificação e análise de sistemas expressos em p-calculus, assim as definições p-calculus podem ser submetidas ao HAL-JACK para verificação formal de propriedades. Este trabalho detalha o mapeamento UML-RT para p-calculus, descreve o protótipo desenvolvido e apresenta alguns exemplos do mapeamento do modelo UML-RT para definições p-calculus.

Neste trabalho, o estudo do controle de um manipulador robótico é abordado do ponto de vista da simulação computacional e da implementação prática do sistema de controle do robô, ora em contrução na Divisão de Engenharia Mecânica e Aeronáutica do ITA do ponto de vista da simulação, obtivemos o modelo dinâmico do manipulador robótico de seu sistema de acionamento. Diversas estratégias de controle foram consideradas, em particular estratégias adaptativas do tipo LPAC (Linear Perturbed Adaptive Control) e Torque Computado. A implementação do sistema de controle envolveu p desenvolvimento de software em tempo real na linguagem de programação "C", utilizando o hardware composto de microcomputador IBM-PC compatível e placas de aquisição AD/DA. É implementado em controlador PID adaptativo do tipo MRAC (Model Reference Adaptive Control). O Software desenvolvido pode ser utilizado no controle do robô completo com 3 graus de liberdade, assim que estiver completa a montagem mecânica do manipulador.

O processo de resolução de um problema inclui diversas fases e tarefas. A fase de modelagem do sistema estudado é parte integrante de várias metodologias disponíveis atualmente. Uma tarefa comum na fase de modelagem é a especificação de modelos, que pode ser realizada com o apoio de editores gráficos ad hoc. Uma das restrições de editores gráficos é a capacidade limitada de prover formas efetivas de edição de grafos de grandes proporções. Uma forma de amenizar o problema é a possibilidade de estruturar os grafos em forma hierarquizada. O desenvolvimento tecnológico ocorrido nas últimas décadas disponibilizou muitos recursos para auxiliar na execução das tarefas. Entre eles pode-se citar o poder de processamento dos computadores, a capacidade de armazenamento de informações, a diversidade de aplicativos, e a rede de comunicação global, conhecida por Internet, que permitiu não só o compartilhamento de informações numa escala nunca antes imaginada, como também está servindo de base para o desenvolvimento de uma nova linhagem de sistemas que permitem o trabalho cooperativo. Sistemas que utilizam o computador e possibilitam o trabalho cooperativo de várias pessoas com um objetivo comum são chamados de groupware. A proposta deste trabalho é a de implementar uma ferramenta de groupware baseado na Internet para a edição de grafos hierárquicos. Para a implementação do mecanismo responsável para manter a consistência do grafo entre as partes envolvidas é utilizado o algoritmo de replicação total sem migração. Para a implementação da ferramenta utilizou-se a plataforma Java incluindo a interface de programação de aplicação RMI para comunicação. A fim de endereçar a questão de conscientização em groupware, alguns mecanismos de percepção como por exemplo o telepointer foram implementados. Foram realizados alguns estudos de caso para avaliar a ferramenta. A partir desses estudos de caso pode-se verificar a viabilidade e flexibilidade da ferramenta. Pode-se também identificar algumas limitações e propostas de melhorar a ferramenta.

Atividades de pesquisa enfocando a síntese de sistemas dedicados ou de aplicação específica têm sido bastante intensa, motivada, entre outras causas pela diversidade de aplicações desta classe de sistemas, usados seja em eletrodomésticos, seja em processamento tridimensional, navegação e guiagem, entre outros. Este trabalho trata da implementação de processadores para sistemas dedicados a partir de um conjunto de instruções específicas para uma aplicação. Este conjunto de instruções é a especificação inicial e se deseja dispor de um hardware que o suporte. A fim de auxiliar o projetista nesta situação, neste trabalho é proposta uma abordagem de projeto baseada na visão de um processador constituído de duas partes: o processador de instruções, responsável pela coordenação das operações e o processador de dados onde os dados são transformados. Neste trabalho a função do processador de instruções é desempenhada por um software enquanto que o processador de dados é implementado usando uma ferramenta de síntese para componentes programáveis.

O objetivo do presente estudo foi demonstrar que as informações produzidas pelos trabalhos científicos, quando organizadas e colocadas em formato eletrônico (digital), facilitam a utilização por pessoas a quem venham interessar. Foi desenvolvido um projeto em mapeamento geotécnico, utilizando-se um sistema de informação geográfica e um projeto dentro do ambiente de uma linguagem de programação(elaboração de um aplicativo). Observou-se que esses instrumentos proporcionam facilidade e rapidez na manipulação, na busca, no armazenamento, na visualização, na consulta e na análise da informação. A Pesquisa teve lugar na região de Ribeirão Preto (SP) e, utilizando-se o desenvolvimento do projeto de mapeamento geotécnico na escala 1:50.000 (escala regional), foi feita a análise das formas de organização das informações no formato eletrônico considerando o sistema de informação geográfica e usando um aplicativo externo ao SIG. Puderam- e verificar vantagens e desvantagens do uso desses instrumentos, em relação ao formato não-eletrônico (e forma de papel). Além do SIG (SPRING4.0, desenvolvido pelo Instituto Nacional de Pesquisas Espaciais – INPE) e o aplicativo desenvolvido na linguagem de programação Visual Basic (comercializada pela Microsoft), recorreu- e a um visualizador de informações georeferenciadas (TERRAVIEW, desenvolvido pelo INPE) e um programa (um anplet SPRINGWEB, desenvolvido pelo INPE) que ajuda a disponibilizar as informações na Internet. Ficou comprovado que a informação armazenada eletronicamente é mais fácil de ser manipulada, organizada e consultada. / This research had proposed to show that the information produced by scientific jobs, when this information is organized and electronically, this facilitated the use for other interested people. Therefore, a geological engineering mapping design was developed using a geographical information system (GIS) and another project about the elaboration computer program. It was observed that theese tools proposed easier and faster manipulation, search, storage, display, reference and the analysis of geo-referential information. The research was realized in Ribeirão Preto and region in the state of São Paulo, using the development of the geological engineering mapping desing on a scale of 1:50,000 (regional scale). Analyse of the ways of organizing of the information electronically: in GIS and using a computer program apart from GIS. You can verify the advantages and disadvantages when using these tools on paper as well. In addition to using GIS (SPRING, it was developed by Instituto de Pesquisas Espaciais - INPE) and the computer program, in this research which was developed in Visual Basic (it was sold by Microsoft), a displayer for geo-referential information (TERRAVIEW, it was developed by INPE) and a software were also used, wich offers the visualization of the information in the internet (SPRINGWEB is an anplet which was developed by INPE). And it proved that the electronically stored information is easier to be manipulated, visualized, organized and consulted

Orientador: Paulo Lício de Geus / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-10-08T19:16:40Z (GMT). No. of bitstreams: 1 Afonso_VitorMonte_M.pdf: 1149302 bytes, checksum: 7db349dd13a346a3b3e7175d2f7eeaae (MD5) Previous issue date: 2011 / Resumo: Páginas Web com conteúdo malicioso são uma das grandes ameaças à segurança de sistemas atualmente. Elas são a principal forma utilizada por atacantes para instalar programas maliciosos (malware) no sistema operacional dos usuários. Para desenvolver mecanismos de proteção contra essas páginas, elas precisam ser estudadas e entendidas profundamente. Existem diversos sistemas de análise que são capazes de analisar páginas Web, prover informações sobre elas e classificá-las como maliciosas ou benignas. Entretanto, estes sistemas possuem diversas limitações em relação ao tipo de código que pode ser analisado e aos tipos de ataque que podem ser detectados. Para suprir tal deficiência nos sistemas de análise de páginas Web maliciosas foi desenvolvido um sistema, chamado de BroAD (Browser Attacks Detection), que faz a análise destas páginas de forma dinâmica, monitorando tanto as chamadas de sistemas realizadas pelo navegador enquanto as processa, quanto as ações realizadas pelo código JavaScript contido na página. A detecção dos comportamentos maliciosos é feita em quatro etapas, utilizando técnicas de aprendizado de máquina e assinaturas. Estas etapas incluem a detecção de shellcodes, a detecção de anomalias no comportamento do JavaScript e a análise de chamadas de sistema e assinaturas de código JavaScript. Foram realizados testes que demonstram que o sistema desenvolvido possui taxas de detecção superiores aos sistemas do estado-da-arte de análise de páginas Web maliciosas e ainda provê mais informações a respeito delas, levando a um entendimento melhor das amostras. Além disso, são apresentados códigos que podem detectar e evadir facilmente a análise de parte desses sistemas usados na comparação, demonstrando a fragilidade deles / Abstract: Malicious Web applications are a significant threat to computer security today. They are the main way through which attackers manage to install malware on end-user systems. In order to develop protection mechanisms to these threats, the attacks themselves need to be deeply studied and understood. Several analysis systems exist to analyze Web pages, provide information about them and classify them as malicious or benign. However, these systems are limited regarding the type of attacks that can be detected and the programming languages that can be analyzed. In order to fill this gap, a system, called BroAD (Browser Attacks Detection), that is capable of analyzing malicious Web pages, was developed. It monitors both system calls and JavaScript actions and the detection of the malicious behavior is performed in four steps, by the use of machine learning techniques and signatures. These steps include the detection of shellcodes, the anomaly detection of the JavaScript behavior and the analysis of system calls and JavaScript signatures. The results of the performed tests show that the developed system has better detection rates than the state-of-the-art systems in malicious Web pages analysis and also provides more information about these pages, giving a better understanding about their behavior. Besides, codes that can be used to easily detect and evade the analysis of part of those systems are presented, showing their fragility / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por estes CPs podem ser desenvolvidos de forma que não estejam em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução de tais programas de controle, erros estes que podem levar os SPs sob controle a um estado que poderá implicar em acidentes envolvendo equipamentos, pessoas e o meio-ambiente. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção destes erros e garantir, conseqüentemente, maior confiabilidade operacional. O presente trabalho tem por objetivo identificar a existência de erros em programas de controle baseados em LD (Ladder Diagram). Para isto, propõe-se um procedimento de desenvolvimento de modelos baseados em máquinas de estados finitos estendidas (MEFEs), que são gerados a partir do mapeamento de cada um dos rungs contidos no programa de controle que se deseja identificar erros. Uma vez desenvolvidos os modelos em MEFEs, torna-se possível a utilização de uma ferramenta computacional de verificação, própria para estabelecer se os modelos verificados satisfazem determinadas proposições estabelecidas em lógica temporal. Uma proposição em lógica temporal está relacionada a um estado específico do programa de controle modelado, sendo que o objetivo da verificação é o de estabelecer se a proposição estipulada é atendida ou não. Se um determinado estado específico for, por exemplo, um estado indesejado do programa de controle modelado, e este estado for possível de ser alcançado como resultado do processo de verificação realizado, isto impactará na não conformidade do programa de controle com as especificações comportamentais estipuladas na forma de proposição em lógica temporal, indicando haver, portanto, um erro neste programa de controle modelado. Palavras-chave: Controladores programáveis. Linguagem de programação LD. Modelagem e verificação de máquinas de estados finitos estendidas (MEFEs). / Productive systems (PS) can use programmable logic controllers (PLCs) as the devices of accomplishment of the control. In this context, control programs executed by these PLCs can be developed in a way so that they can be in non-conformity with the project specifications, and this fact may result in functional errors related to the control programs execution. These errors can take the PS under control to a state which can lead into accidents involving equipment, people and the environment. This fact has motivated the appearance of different approaches so as to identify the existence of these errors in PLC control programs so that they can be corrected and assure a greater operational reliability. This work aims at identifying the existence of errors in control programs based on Ladder Diagram (LD). In order to accomplish that, a modeling procedure that generates extended finite state machines (EFSMs) is proposed from the mapping of each one of the rungs in the control program whose errors are to be identified. Once the models based on EFSMs are developed it becomes possible to use a computational verification tool, specifically designed to determine if the verified models fulfill determined propositions established in temporal logic. A proposition in temporal logic is related to a specific state of the modeled control program and the objective of the verification is to establish whether the proposition is fulfilled or not. If a determined specific state, for example, is an unwanted state of the modeled control program and if this state is reachable as a result of the verification process, this will impact in the non-conformity of the control program with the behavior specifications established in a temporal logic proposition, indicating an error in this modeled control program.