Optimització i personalització del càlcul de rutes en dispositius mòbils

Aquest estudi es centra en trobar la ruta que millor satisfaci les necessitats i preferències de l'usuari (personalització). Així, partint d'algorismes de routing existents, caldrà estudiar quin és el millor algorisme per implementar la funció de cost que doni la "bellesa" de la ruta per l'usuari.

Estudi comparatiu de l'algorisme basat en una colònia artificial d'abelles

La finalitat d'aquest projecte és la realització d'un estudi comparatiu de l'algoritme basat en una colònia artificial d'abelles, Artificial Bee Colony (ABC), comparat amb un conjunt d'algoritmes fonamentats en el paradigma de la computació evolutiva. S'utilitzarà l'eficàcia a l'hora d'optimitzar diverses funcions com a mesura comparativa. Els algoritmes amb els quals es comparara l'algoritme ABC són: algoritmes genètics, evolució diferencial i optimització amb eixam de partícules.

Infraestructura de comunicaciones para algoritmos colaborativos

Este proyecto intenta crear un sistema cliente/servidor de comunicaciones para distintas máquinas paralelas en C++ utilizando WCF como tecnología en el servidor.

Software para la representación gráfica a la solución de ruteo y carga de vehículos en algoritmo de tipo 2L-CVRP

El siguiente artículo presenta el trabajo realizado en la creación de una aplicación de software libre que representa gráficamente las rutas generadas y la distribución de los elementos transportados en el interior de un vehículo de carga.

Paralelización del algoritmo Rho de Pollard utilizando el protocolo de paso por mensajes MPI

El agoritmo Rho de Pollard es uno de los mejores conocidos para resolver el problema del logaritmo discreto. Se trata de una implementación de una paralelización utilizando MPI sobre un clúster. El lector encontrará en este proyecto el algoritmo de paralelización utilizado, así como, un conjunto de pruebas y resultados de la ejecución debidamente analizados.

¿Qué nos dice Internet sobre la naturaleza del terrorismo yihadista?

En los últimos años ha tenido lugar un debate teórico de gran interés sobre la naturaleza organizacional del terrorismo yihadista y su evolución a lo largo de la última década. El centro de dicha discusión ha sido ocupado por dos profesores estadounidenses: Marc Sageman (2004; 2008) y Bruce Hoffman (2008). Mientras que el primero argumenta que la respuesta contraterrorista posterior al 11 de septiembre de 2001 ha originado que el control efectivo de las acciones terroristas se haya desplazado a un nivel de base, dando lugar a una yihad sin líderes donde los grupos terroristas juegan un papel secundario, el segundo sostiene que las organizaciones formales, y mas concretamente Al Qaeda Central, continua ejerciendo un grado sustancial de control estratégico y operativo. Los partidarios de una y otra visión han analizado los complots terroristas ejecutad os o desarticulados en los últimos tiempos, llegando a conclusiones diferentes sobre la naturaleza de los procesos de formación de las células terroristas, su vinculación con organizaciones, y cual es el principal perfil de la amenaza terrorista en Occidente: si el proveniente de células independientes y terroristas por imitación (bunchof guysy wannabessegún la terminología usada por Sageman), o el procedente de la acción de organizaciones formales de alcance global. El propósito de este trabajo es realizar una contribución a este debate académico aportando información procedente del ámbito de las actividades terroristas en Internet. Estos datos aportan nuevos elementos de análisis para el debate sobre la naturaleza organizacional de la amenaza yihadista.

La teoría de Morales-Ramis y el algoritmo de Kovacic

La teor\'\ı a de Morales–Ramis es la teor\'\ı a de Galois en el contextode los sistemas din\'amicos y relaciona dos tipos diferentes de integrabilidad:integrabilidad en el sentido de Liouville de un sistema hamiltonianoe integrabilidad en el sentido de la teor\'\ı a de Galois diferencial deuna ecuaci\'on diferencial. En este art\'\i culo se presentan algunas aplicacionesde la teor\'\i a de Morales–Ramis en problemas de no integrabilidadde sistemas hamiltonianos cuya ecuaci\'on variacional normal a lo largode una curva integral particular es una ecuaci\'on diferencial lineal desegundo orden con coeficientes funciones racionales. La integrabilidadde la ecuaci\'on variacional normal es analizada mediante el algoritmode Kovacic.

Assinatura Digital Foco Smart Card

A assinatura digital é um processo de assinatura electrónica baseado no sistema criptográfico assimétrico composto por um algoritmo ou série de algoritmos, mediante o qual é gerado um par de chaves assimétricas exclusivas e complementares. Tal como a assinatura manuscrita, a assinatura digital não pode ser falsificada, pelo que se adiciona uma função hash ao valor da chave gerada, para garantir a segurança do sistema. A assinatura digital permite, ao mesmo tempo, a identificação positiva do autor de uma mensagem (ou do signatário de um documento) e a verificação da integridade da mesma. Refira-se, porém, que a assinatura digital pode ser anexa a qualquer mensagem, seja esta decifrada ou não, apenas para que o receptor tenha a certeza da identidade do emissor e de que a mensagem chegou intacta ao destino. Baseia-se na criptografia da chave pública, que usa um algoritmo de duas chaves, a privada e a pública, diferentes mas matematicamente associadas: a primeira cria a assinatura digital e decifra os dados; a segunda verifica a assinatura e devolve-a ao formato original. O autor da mensagem mantém secreta a sua chave privada e divulga a chave pública, e vice-versa. A identidade do dono da chave pública é atestada pelo certificado digital emitido por uma entidade certificadora (uma espécie de notário). Independentemente da forma que assume, a assinatura electrónica, e a digital em particular, deve cumprir três funções: a autenticação (tal como acontece com o habitual gatafunho a que chamamos assinatura, apenas o indivíduo deve ser capaz de a reproduzir); não repudiação (quando o indivíduo assina não pode voltar atrás); e integridade (é necessário assegurar que os documentos assinados não são alterados sem o consentimento dos signatários).

O Primal e o Dual na programação Linear

O tema da Programação Linear, com as suas particularizações do Problema dos Transportes e do Problema da Afectação de Recursos, é hoje estudado em cursos diversos onde uma disciplina de Investigação Operacional esteja presente. Trata-se, em última análise, de um problema de cálculo de extremos condicionados, seja de máximo ou de mínimo, que apresenta características muito particulares e de grande elegância simbólica. Também os Problemas dos Transportes e da Afectação de Recursos se podem resolver como problemas de Programação Linear, através do Algoritmo Simplex, embora seja preferível o recurso a algoritmos próprios, de muitíssimo maior simplicidade: o Algoritmo dos Transportes e o Algoritmo Húngaro, respectivamente. De molde a facilitar a compreensão do que realmente está em jogo, consideram-se aqui dois casos de determinação de extremos e de extremos condicionados, mas ao nível do final do ensino secundário.

Reconstrucció 3D : comparativa d'algoritmes de correspondència

En aquest projecte s'analitzen dos algoritmes de correspondència entre imatges amb l'objectiu d'accelerar el procés de reconstrucció 3D mitjançant MVS. S'analitza tot el procés de reconstrucció i a partir d'un software existent es fa la comparació de l'algoritme SIFT i l'algoritme BRISK. A partir dels tests realitzats es conclou que el BRISK és més ràpid i millor per a una reconstrucció 3D.

Um algoritmo prático para determinação da variância do estimador de um contraste de parâmetros

Testes de significância de contrastes de efeitos de níveis de um fator ou de combinações de níveis de dois ou mais fatores requerem o conhecimento das estimativas das variâncias dos estimadores desses contrastes. As expressões dessas estimativas para experimentos com delineamentos complexos, em geral, não são disponíveis em textos. Sua derivação algébrica a partir da equação do modelo estatístico é trabalhosa. Expõe-se um algoritmo prático para a obtenção da variância do estimador de qualquer contraste de parâmetros para delineamentos completos balanceados. O algoritmo baseia-se nos valores esperados dos quadrados médios.

A hybrid algorithm combining metaheuristic with Monte Carlo simulation for solving the Stochastic Flow Shop problem

In this paper, a hybrid simulation-based algorithm is proposed for the StochasticFlow Shop Problem. The main idea of the methodology is to transform the stochastic problem into a deterministic problem and then apply simulation to the latter. In order to achieve this goal, we rely on Monte Carlo Simulation and an adapted version of a deterministic heuristic. This approach aims to provide flexibility and simplicity due to the fact that it is not constrained by any previous assumption and relies in well-tested heuristics.

A hybrid algorithm combining metaheuristic with Monte Carlo simulation for solving the Stochastic Flow Shop problem

In this paper, a hybrid simulation-based algorithm is proposed for the StochasticFlow Shop Problem. The main idea of the methodology is to transform the stochastic problem into a deterministic problem and then apply simulation to the latter. In order to achieve this goal, we rely on Monte Carlo Simulation and an adapted version of a deterministic heuristic. This approach aims to provide flexibility and simplicity due to the fact that it is not constrained by any previous assumption and relies in well-tested heuristics.

Geotecnologias aplicadas à avaliação de parâmetros biofísicos do Pantanal

O objetivo deste trabalho foi avaliar parâmetros biofísicos de superfície do Bioma Pantanal com a aplicação de geotecnologias. Foram utilizados o algoritmo Sebal ("surface energy balance algorithm for land"), imagens do sensor Modis ("moderate‑resolution imaging spectroradiometer") e o mapa de classes de uso e cobertura da terra. Os resultados obtidos para NDVI, temperatura da superfície, albedo, fluxo de calor sensível diário, saldo de radiação diário e evapotranspiração real diária foram consistentes com dados de literatura para os diferentes usos e cobertura da terra, e corroboram a eficiência da capacidade analítica e sinóptica das estimativas do Sebal. Tais resultados mostram o potencial de geotecnologias na implementação de modelos ou algoritmos voltados para a compreensão da dinâmica de processos biofísicos de interação solo‑planta‑atmosfera do Pantanal.