A programação paralela é sem dúvida mais complexa do que a programação seqüencial. O controle de múltiplos processos e de suas interações são as principais razões para tal complexidade. Apesar da existência de algumas ferramentas que atendem à fase de desenvolvimento de programas paralelos, a complexidade é normalmente passada para as ferramentas paralelas, isto é, as ferramentas não são de fácil utilização. Assim, existe uma necessidade de ambientes e ferramentas realmente fáceis de usar no âmbito da programação paralela. Embora existam algumas ferramentas interessantes, inclusive algumas comerciais, seu uso permanece insuficiente, em parte devido à complexidade na utilização de algumas delas, em parte devido ao seu uso específico em determinadas plataformas. Portanto, existe ainda um grande campo de estudo no que diz respeito a melhorias de projeto sobre ferramentas existentes e desenvolvimento de ferramentas com um maior número de recursos. Provavelmente, a ferramenta paralela mais necessária aos programadores é o depurador paralelo. Por sua vez, ferramentas de depuração paralela estão entre as mais complexas de se desenvolver e talvez isso explique o motivo pelo qual poucas têm sido efetivamente utilizadas. Este trabalho descreve uma contribuição no campo da depuração paralela através da análise de interfaces de depuração paralela e da proposta de um modelo. A partir deste modelo, uma interface de depuração paralela – PADI (PArallel Debugger Interface) foi desenvolvida e seu principal objetivo é o de oferecer uma interface intuitiva e de fácil utilização. O modelo proposto e conseqüentemente a ferramenta PADI tratam da depuração paralela simbólica on-line. A depuração on-line trata do oferecimento de acesso aos símbolos do programa, como variáveis e registradores. A depuração on-line diferencia-se da off-line pelo tipo de interação com a execução do programa. A depuração on-line oferece interação direta com a aplicação, enquanto que a off-line interage com um arquivo de monitoração gravado durante a execução da aplicação paralela. A depuração on-line é similar à depuração seqüencial tradicional e, conseqüentemente, é de mais fácil utilização por parte da maioria dos programadores.

Orientador: Sandra Augusta Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-27T17:06:12Z (GMT). No. of bitstreams: 1 Thome_RobertoCarlosAntunes_M.pdf: 10721242 bytes, checksum: 92c405a05a49e956f694a10397e31ff1 (MD5) Previous issue date: 2001 / Resumo: Os métodos de programação quadrática seqüencial (PQS) são as generalizações do método de Newton para o problema geral de otimização com restrições. Neste trabalho, um algoritmo baseado no método PQS para resolver o problema geral de programação não linear na forma padrão é analisado. A função de mérito utilizada é do tipo Lagrangeano aumentado com uma atualização não-monótona para a seqüência dos parâmetros de penalidade. Apresentamos as demonstrações dos resultados de boa definição e convergência global. Introduzimos uma estratégia para lidar com os subproblemas quadráticos baseado na minimização em caixas. Duas escolhas para a matriz Hessiana do modelo quadrático são sugeridas. Um levantamento bibliográfico recente compõe a Introdução. Palavras-chave: Algoritmo PQS; boa definição, convergência global; subproblemas quadráticos; Lagrangeano aumentado; minimização em caixas. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Este trabalho contribui na busca de soluções para o problema de auxílio à programação paralela, apresentando uma abordagem orientada a objetos, como base para a construção de uma ferramenta que dá apoio ao desenvolvimento de programas paralelos. Diversas ferramentas com propostas análogas sac revisadas e suas características principais são destacadas, visando a busca de um modelo adequado para a ferramenta a ser proposta. A ferramenta desenvolvida, implementada e validada neste trabalho (FAPP - Ferramenta de Auxílio à Programação Paralela) baseia-se na tecnologia de orientação a objetos. A teoria dos grafos, modelada segundo a orientação a objetos, serve de base para a criação de modelos tanto para arquiteturas paralelas (hardware) como para programas paralelos (software). Os modelos criados para o hardware e software, permitem ao programador criar o ambiente para a programação, definindo a sua arquitetura paralela, os processos componentes de seu programa e o mapeamento lógico desses processos nos processadores. A ferramenta FAPP gera automaticamente o esqueleto para a aplicação paralela. Todo o desenvolvimento efetuado e validado através de uma implementação básica da ferramenta e são apresentadas às diretrizes para futuras extensões, visando outros ambientes de hardware e software, bem como melhoramentos objetivando futuros trabalhos / This work contributes to the solution of the parallel programming supporting problem, by proposing an object-oriented approach as the basis for building a tool to help the development of parallel programs. Several tools with similar goals are revised and their main features are highlighted aiming the search of an adequate model for the supporting tool to be developed. The tool developed, implemented and validated in this work (FAPP - Parallel Programming Supporting Tool) is based on the object orientation technology. The graph theory was modeled according to the object-orientation and used as the basis for the creation of models for both parallel architectures (hardware) and parallel programs (software). This allows the programmer to create the programming environment by defining his parallel architecture, the program processes and the logical mapping of the processes on the processors. The FAPP tool automatically generates the skeleton for the parallel application. The work is validated by means of a basic implementation of the tool. The guidelines for future extensions aiming other hardware and software environments as well as for future works are presented

A orientação a objetos, enquanto modelo de organização de linguagens de programação,vem tomando espaço e importância cada vez maiores a partir do início da década de 80. Entre as linguagens de programação orientadas a objetos existentes, destacam-se por seu poder de expressão as extensões orientadas a objetos da linguagem Lisp. Lisp é uma importante linguagem de programação, de características funcionais, cujas origens remontam aos primórdios da Computação. Um passo à frente nesse panorama se coloca o Common Lisp Object System(eLOS). Mais que apenas uma extensão de Lisp orientada a objetos, o CLOS se propõe a fundir os paradigma funcional à orientação a objetos em uma linguagem rica, poderosa e eficientemente implementável. Neste trabalho, apresentamos uma implementação didática, portável e extensível do CLOS, apontando as soluções dadas aos principais problemas que foram deixados em aberto na sua especificação. Além disso, propomos um framework para descrição e análise de linguagens de programação orientadas a objetos,'; que servirá. de arcabouço para uma análise comparativa das principais extensões de Lisp orientadas a objetos (Flavors, Loops, ObjVlisp, CommonObjects, CLOS) e de uma descrição de duas das mais importantes linguagens orientadas a objetos: Smalltalk e C++. Por fim, propomos uma extensão do eLOS para solução distribuída de problemas baseada na arquitetura do Quadro-Negro (Blackboard), o DCK (a Distributed CLOS Kernel). Essa proposta utiliza um kernel para solução distribuída de problemas que opera sob Unix, chamado DPSK.

Esta dissertação apresenta uma linguagem de programação orientada a objetos como ferramenta para. produzir linguagens de composição e para dar suporte aos diversos seg~ mentos que compõem o Projeto Fábrica de Software. Signo-C, a linguagem em proposição,foi implementada utilizando~se as funcionalidades do gerenciador de objetos SIGNO, uma das ferramentas desenvolvidas no projeto. Atualmente a linguagem conta com um Bancode Objetos, o Banco número um, um dos quinze Bancos de Objetos disponíveis para o SIGNO. Signo-C deverá suprir as deficiências da linguagem até então disponível no pro~jeto no que diz respeito a mensagens. A linguagem foi desenvolvida no ambiente UNIX, utilizando-se estação de trabalho SUN e tendo como base a linguagem C. A linguagem proposta. pode ser enquadrada no grupo de linguagens híbridas orientadas a objetos. Signo-C apresenta ainda sintaxe apropriada para mensagens e possibilidade de escolha do uso de early binding ou de late binding na amarração de métodos. A linguagem conta ainda com uma Cache de Afétodos que visa a reduzir o tempo de pesquisa dos métodos nas mensagens que utilizam late binding. A verificação de tipos dos parâmetros da mensagem é feita em tempo de compilação e, nos casos em que tal prática não é possível, a verificação é efetuada em tempo de execução. A sintaxe proposta para o envio de mensagens assegura maior simplicidade de codificação, va1endo-se de parâmetros default, reduzindo a possibilidade de erros. Finalmente a linguagem apresenta recursos para futuras pesquisas sobre a utilização de early binding e late binding em mensagens.

Quando contando apenas com o que é oferecido por linguagens orientadas a objetos, como o Java, os desenvolvedores tendem a utilizar apenas chamadas síncronas a métodos, utilizando-se de artifícios para obter comportamento assíncrono, o que comumente quebra o modelo original do sistema, acrescentando uma série de efeitos colaterais indesejados, tais como acoplamento desnecessário entre classes e construções passíveis de erros. O acoplamento desnecessário normalmente aparece quando uma classe precisa ser notificada sobre a ocorrência de eventos em outra classe na mesma pilha de chamadas em tempo de execução. Propomos uma extensão à linguagem Java para permitir a execução assíncrona de métodos, a notificação e o tratamento assíncronos de eventos ocorridos durante a execução normal do programa em classes presentes na pilha de chamadas corrente, como uma alternativa nativa, simples e que não force acoplamento adicional entre as classes envolvidas. Denominamos JavAsync à linguagem Java assim estendida. Com essa extensão, esperamos que os desenvolvedores possam utilizar comunicação assíncrona desde o início do ciclo de desenvolvimento, sem que precisem realizar modificações à estrutura original do software em desenvolvimento e sem que precisem se preocupar com threads e com o registro dos tratadores de eventos.

Made available in DSpace on 2019-03-30T00:01:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2016-12-22 / The forensic work is of extreme relevance for police investigation and important material evidence during the stage of criminal trial. Computer science forensic work mainly involves extracting and analyzing data from smartphone-type mobile devices that are seized at crime scenes or in search and seizure operations. The Forensic Departments, however, can not meet the demand due to the growing number of requests and the volume of data and texts to analyze. The problem lies partly in the forensic tools used to analyze mobile instant messaging, which have low reliability in their results, and the dynamic nature of the linguistic expressions used by the suspects. This work proposes a methodology for automatic identification of messages of police interest using techniques of Natural Language Processing (PLN), specifically Semantic Role Labeling (SRL). The methodology is based on the semantics of frames that defines linguistic situations and the semantic roles involved. For example, it is possible to identify not only that a message contains terms that indicate a crime (drug trafficking) but also the elements involved in the crime (such as the drug marketed, the place of sale, the amounts involved etc.). Another contribution of the work was the definition of a database of forensic semantic frames - FrameFor.BR, generated from FrameNet. Experimental evaluations of the system and the FrameFor.BR base evidenced an increase in coverage in relation to the current approaches used by forensic experts, contributing to improve reliability and reduce the time required for compiling computer expert reports. Keywords: Computer forensic, FrameNet, natural language processing, mobile devices. / O trabalho pericial é de extrema relevância para investigação policial e importante prova material durante a etapa de processo penal. A perícia de computação envolve, principalmente, a extração e análise de dados de dispositivos móveis do tipo smartphones que são apreendidos em locais de crime ou em operações de busca e apreensão. Os institutos de perícias, porém, não conseguem atender à demanda devido à crescente quantidade de solicitações e ao volume de dados e textos para analisar. O problema está, em parte, nas ferramentas forenses utilizadas para análise de mensagens instantâneas de dispositivos móveis, as quais apresentam baixa confiabilidade em seus resultados, além do caráter dinâmico das expressões linguísticas utilizadas pelos suspeitos, sendo necessária a completa leitura do material analisado, pelos peritos. Esse trabalho propõe uma metodologia para identificação automática de mensagens de interesse policial através do uso de técnicas de Processamento de Linguagem Natural (PLN), especificamente de anotação de papeis semânticos (em inglês, Semantic Role Labeling - SRL). A metodologia é baseada na semântica de frames que define situações linguísticas e os papéis semânticos envolvidos. Por exemplo, é possível identificar não somente que uma mensagem contém termos que indiciam um crime (tráfico de drogas) mas também os elementos envolvidos no crime (como a droga comercializada, local da venda, valores envolvidos etc). Outra contribuição do trabalho, foi a definição de uma base de frames semânticos forenses - FrameFor.BR, gerada a partir da FrameNet. Avaliações experimentais do sistema e da base FrameFor.BR evidenciaram um aumento na cobertura em relação as atuais abordagens utilizadas pelos peritos forenses, contribuindo para melhoria da confiabilidade e na redução do tempo necessário para elaboração de laudos periciais de informática. Palavras-chave: Computação forense, FrameNet, processamento de linguagem natural, dispositivos móveis.

Tese de mestrado. Multimédia. Faculdade de Engenharia. Universidade do Porto. 2010

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-Graduação em Matemática e Computação Científica. / Made available in DSpace on 2012-10-23T16:31:05Z (GMT). No. of bitstreams: 1 258571.pdf: 4103462 bytes, checksum: e408cf9b53562ebbc62cffe0b1b88595 (MD5) / Neste trabalho ser´a apresentado o programa POLIEDRO V1 que tem como objetivo visualizar poliedros limitados (em R2 e R3), para auxiliar na compreens#ao da evoluc¸#ao dos algoritmos Simplex e Branch-and-Bound. Primeiramente, ser#ao estudados alguns conceitos fundamentais de otimizac¸ #ao irrestrita e restrita, as condic¸ #oes de otimalidade e o problema dual em Programac¸ #ao Linear (PL). A segunda fase do texto concentra-se no estudo te´orico de poliedros, formas de representar poliedros e caracterizac¸ #ao de faces. Ap´os, ´e apresentado o programa POLIEDRO V1 em linguagem Matlab, que consiste em visualizar politopos, gerando faces atrav´es da selec¸ #ao e ordenac¸ #ao de v´ertices. A ´ultima fase do trabalho concentra-se no estudo e desenvolvimento dos algoritmos Simplex e Branch-and-Bound. Aplica-se o programa POLIEDRO V1 em Programac¸ #ao Linear visualizando a regi#ao vi´avel como politopo e apresentase a evoluc¸ #ao, passo a passo, do m´etodo Simplex. J´a em Programac¸ #ao Inteira (PI) visualiza-se graficamente o m´etodo Branch-and-Bound, resolvendo o problema de Programac¸ #ao Linear Inteira (PLI) atrav´es de subproblemas gerados por planos de corte. Os subproblemas s#ao resolvidos recursivamente pelo m´etodo Simplex. This work presents the program POLIEDRO V1, whose objective is to visualize bounded polyhedra in R2 and R3, to help the understanding of the evolution of the simplex and branch and bound algorithms. Initially some fundamental concepts in unconstrained and constrained optimization are studied, including the optimality conditions and the dual problem in Linear Programming. The second part of the text is dedicated to the theoretical study of polyhedra, ways of representing polyhedra and the characterization of faces. The program POLIEDRO V1 is then presented in the languageMatlab, consisting in the visualization of polytopes by generating facets through the selection and ordering of vertices. The last phase of the work concentrates on the study and development of the Simplex and Branch-and-Bound algorithms. The program POLIEDRO V1 is applied to visualize the feasible region of a linear programming problem, on which the step by step evolution of the simplex method is drawn. In Integer Programming, the branch-and-bound algorithm is graphically represented by solving recursively the linear programming subproblems generated by adding cutting planes. These subproblems are solved by the simplex method and visualized.

Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2014-11-20T16:36:46Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_PrinsMatheurísticaProblemas.pdf: 1066532 bytes, checksum: 4feb1b525e8f414603c45698cea9f6ea (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2014-11-20T16:39:12Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_PrinsMatheurísticaProblemas.pdf: 1066532 bytes, checksum: 4feb1b525e8f414603c45698cea9f6ea (MD5) / Made available in DSpace on 2014-11-20T16:39:12Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_PrinsMatheurísticaProblemas.pdf: 1066532 bytes, checksum: 4feb1b525e8f414603c45698cea9f6ea (MD5) Previous issue date: 2014 / Uma importante técnica para resolver problemas de otimização é por meio de Programação Inteira Mista (MIP, do inglês Mixed Integer Programming). Uma formulação MIP de um problema envolve um conjunto de variáveis, um conjunto de restrições sobre estas variáveis, um conjunto de restrições de integralidade e uma função objetivo linear a otimizar. Aplicações em otimização inteira são encontradas em diversas àreas do conhecimento, incluindo-se roteamento de veículos, alocação de enfermeiros, programação de horários, entre outros. O uso de métodos heurísticos tem sido empregado na resolução de problemas MIP como uma forma de acelerar o processo de busca na árvore de branching. Este trabalho propõe uma adaptação da heurística MIP Relaxation Induced Neighborhood Search (RINS), que explora a ideia de fixar variáveis de mesmo valor na solução inteira e fracionária corrente. O método proposto, denominado pRINS, explora explicitamente técnicas de pré-processamento, procurando sistematicamente por um número ideal de fixações, visando a produzir sub-problemas de tamanho controlado. As variáveis a fixar são organizadas por meio de um vetor de prioridade, sendo propostas três maneiras de escolha destas variáveis, cada uma delas dando origem a uma variante do método. Em seguida, os problemas são criados e resolvidos de modo semelhante ao método Variable Neighborhood Descent até que um critério de parada seja satisfeito. Os resultados das variantes do método foram comparados com os do resolvedor COIN-OR e CBC stand-alone e com o método RINS original. Pelos resultados obtidos, o método proposto se mostrou com desempenho superior a essas duas técnicas. ______________________________________________________________________________________________ / ABSTRACT: An important technique for solving optimization problems is Mixed Integer Programming (MIP). A MIP formulation for a problem involves a set of variables, a set of constraints on these variables, a set of integrality constraints and a linear objective function to optimize. Applications in integer programming are found in many areas of knowledge, including vehicle routing, traveling salesman problem, nurse scheduling and school timetabling. Heuristic methods have been employed in solving MIP problems as a way to accelerate the search process in the branching tree. This dissertation proposes an adaptation of the MIP heuristic Relaxation Induced Neighborhood Search (RINS), which explores the idea of fixing variables with same value in integer and fractional current solutions. The proposed method, named pRINS, explicitly explores pre-processing techniques, systematically searching for the ideal number of fixations to produce sub-problems of controlled size. Candidate variables to be fixed are ranked and three different strategies to select among them were evaluated. Then, problems are created and solved similarly to the Variable Neighborhood Descent method until a stopping criterion is met. The results of the variants were compared to the COIN-OR CBC stand-alone solver and the original RINS method. The results indicate that pRINS presents a better heuristic behavior than other techniques.