Análisis de terminación para una plataforma de verificación de programas

De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.

Reconocimiento de una plataforma para aterrizaje de UAV mediante procesamiento de imágenes

En el año 2016 se vendieron en EE.UU más de un millón de Unmanned Aerial Vehicles (UAVs, Vehículos aéreos no tripulados), casi el doble que el año anterior, país del que se dispone de información. Para el año 2020 se estima que este mercado alcance los 5.600 millones de dólares en todo el mundo, creciendo a un ritmo del 30% anual. Este crecimiento demuestra que existe un mercado en expansión con muchas y diversas oportunidades de investigación. El rango de aplicaciones en los que se utiliza este tipo de vehículos es innumerable. Desde finales del s.XX, los UAVs han estado presentes en multitud de aplicaciones, principalmente en misiones de reconocimiento. Su principal ventaja radica en que pueden ser utilizados en situaciones de alto riesgo sin suponer una amenaza para ningún tripulante. En los últimos años, la fabricación de vehículos asequibles económicamente ha permitido que su uso se extienda a otros sectores. A día de hoy uno de los campos en los que ha adquirido gran relevancia es en agricultura, contribuyendo a la automatización y monitorización de cultivos, pero también se ha extendido su uso a diferentes sistemas, tales como seguridad, cartografía o monitorización, entre otros [1]. Es en esta situación en la que se propone el proyecto SALACOM [2], que explora la posibilidad de utilizar esta tecnología en sistemas de repuesta rápida para la detección y contención de vertidos contaminantes en entornos acuáticos con el apoyo de vehículos autónomos marinos de superficie (USV, Unmanned Surface Vehicles). En el mencionado proyecto se pretende utilizar sistemas UAVs para detectar y analizar las zonas de vertido y proveer la información respecto a la localización y las técnicas de contención adecuadas a los sistemas USV. Una vez se haya realizado el análisis de la situación del vertido, los USV trabajarían conjuntamente con los UAVs para desplegar las barreras de protección seleccionadas en la zona afectada. Para esto, los UAVs o drones, términos similares en lo que respecta a este proyecto y que a lo largo de esta memoria se usarán indistintamente, deben ser capaces de despegar desde los USV y volver a aterrizar sobre ellos una vez realizada su labor. El proyecto que se describe en la presente memoria se centra en la fase de aterrizaje y, más concretamente, en la detección de la plataforma seleccionada como plantilla mediante técnicas de tratamiento de imágenes. Esto serviría como sistema de apoyo para guiar el dron hacia la plataforma para que pueda realizar el descenso correctamente y finalizar así su misión o bien para realizar operaciones de recarga de la batería. El dron está equipado con la correspondiente cámara de visión a bordo, con la que obtiene las imágenes, las procesa e identifica la plataforma para dirigirse hacia ella, si bien, dado que el sistema de procesamiento de imágenes no se encuentra totalmente operativo, este trabajo se centra en el desarrollo de una aplicación software independiente del sistema de visión a bordo del dron, basada en el desarrollo de técnicas de reconocimiento de la plataforma. La plataforma a utilizar proviene de una patente [3], consistente en una figura geométrica con formas características, de muy difícil aparición en entornos de exterior. La figura pintada en negro se halla impresa sobre un panel de fondo blanco de 1m × 1m de superficie. En este trabajo se han explorado diversas opciones disponibles para realizar la identificación de las regiones de interés. El principal objetivo es realizar la selección de una tecnología que pueda cumplir potencialmente con los criterios necesarios para llevar a cabo la tarea y seleccionar los métodos de detección adecuados para realizar la identificación de la figura contenida en la plataforma. Se ha pretendido utilizar tecnologías de fácil uso, amplío soporte y, cuando ha sido posible, de código libre. Todo ello integrado en una aplicación informática, que es la que se presenta en el presente trabajo.

Plataforma para teleoperación vía internet

En este trabajo se analizan los posibles esquemas para el telecontrol de dispositivos electromecánicos en función del nodo de aislamiento. Además se indican los pasos y los requerimientos necesarios para la implementación de una plataforma de teleoperación vía Internet basada en software, costeable y de fácil instalación. Como aplicación se muestran los elementos utilizados en una plataforma para el telecontrol de un motor de inducción vía Internet localizado en las instalaciones del IRCCyN en Nantes, Francia.

Empregabilidade nos recém licenciados da Faculdade de Motricidade Humana

Esta investigação enquadra-se nos estudos sobre o percurso académico e inserção profissional dos recém-licenciados dos anos letivos de 2007/08, 2008/09 e 2009/10 da Faculdade de Motricidade Humana (FMH) em colaboração com o Observatório da Empregabilidade da FMH. Tem como principal objetivo a caracterização do emprego dos recém-licenciados pela Faculdade. A metodologia aproveitou e aperfeiçoou uma plataforma eletrónica proprietária (AgonScopio v.1.7.51), para o desenvolvimento de questionários online, no meio Web. O universo do estudo foi representado pelos recém-licenciados dos três (3) anos letivos em estudo, das seguintes Licenciaturas: Ciências do Desporto, Ergonomia, Gestão do Desporto, Reabilitação Psicomotora e Dança. A amostra foi representada pelos resultados obtidos das duzentas e vinte e quatro (224) respostas conseguidas, de um universo de seiscentos e oitenta e seis (686) licenciados, permitindo caracterizar o comportamento dos recém-licenciados, de acordo com nove (9) dimensões estudadas, nomeadamente: dados gerais, enquadramento sociocultural com o objeto da FMH, primeiro emprego, formação, experiência profissional, trabalho e remuneração, expetativas, mobilidade e formação pós licenciatura. Aferimos que os recém-licenciados da FMH têm uma boa emprega-bilidade e o emprego é maioritariamente na sua área de formação. A maioria dos licenciados está empregada ao fim de 12 meses após a conclusão das suas licenciaturas (79,4%).

El trabajo como plataforma para la felicidad

Este ensayo es un análisis para entender cuáles son las motivaciones y necesidades de los seres humanos, que determinan su tendencia a desarrollar un trabajo remunerado. Se considerarán los aspectos de la psicología positiva, la teoría de las compensaciones y las expectativas desde la perspectiva de la gestión del capital humano. A través de la historia, ha sido necesario visualizar cómo nos desarrollamos para alcanzar nuestras metas con el trabajo que desempeñamos, considerando que el esfuerzo designado será con la fuerza para actuar considerando que el llegar a la felicidad siempre estará limitada por la fragilidad de la vida que esto conlleva.

Empregabilidade nos récem licenciados da Faculdade de Motricidade Humana

A presente investigação enquadra-se nos estudos sobre o percurso académico e inserção profissional dos recém-licenciados dos anos letivos de 2010/11 e 2011/12 da Faculdade de Motricidade Humana, em colaboração com o Observatório da Empregabilidade da FMH. Tem como principal objetivo a caraterização do emprego dos recém-licenciados pela Faculdade. A metodologia aproveitou e aperfeiçoou uma plataforma eletrónica proprietária (AgonScopio v.1.7.51), para o desenvolvimento de questionários online, no meio Web. O universo do estudo foi representado pelos recém-licenciados dos dois anos letivos em estudo, das seguintes licenciaturas: Ciências do Desporto, Dança, Ergonomia, Gestão do Desporto e Reabilitação Psicomotora. A amostra foi representada pelos resultados obtidos das 105 respostas conseguidas, de um universo de 334 licenciados, permitindo caraterizar o comportamento dos recém-licenciados, de acordo com nove dimensões estudadas, nomeadamente: dados gerais, enquadramento sociocultural com o objeto da FMH, primeiro emprego, formação, experiência profissional, trabalho e remuneração, expetativas, mobilidade e formação pós licenciatura. Aferimos que os recém-licenciados da FMH possuem um bom índice de empregabilidade e o emprego é maioritariamente na sua área de formação. A maioria dos licenciados obtém emprego até 12 meses após a conclusão das respetivas licenciaturas (71%).

Programa cultural Aequilibrium (26 enero 2016) :Historias alternas en plataforma virtual Fanfix y Wattpad.

El periodista Renato Jaén y la poeta Stephanie Jiménez hablan sobre la creación de historias alternas en plataforma virtual Fanfix y Wattpad como una herramienta para fomentar la creatividad literaria.

A colaboração entre a escola e os serviços de saúde na intervenção junto de crianças com necessidades especiais

Dissertação de mest. Psicologia da Educação, Faculdade de Ciências Humanas e Sociais, Escola Superior de Educação, Univ. do Algarve, 2002

Plano de negócios de uma plataforma de e-recruitment

Mestrado em Ciências Empresariais

As Forças Armadas de Cabo Verde : Missões de interesse público e a colaboração com entidades civis

O presente trabalho de investigação pretende analisar as missões das Forças Armadas de Cabo Verde e a colaboração com as entidades civis na realização das designadas “Outras Missões de Interesse Público”, em prol da segurança e do desenvolvimento de Cabo Verde. O trabalho começa com a revisão de literatura, fazendo-se o enquadramento geoestratégico e geopolítico de Cabo Verde, o enquadramento das Outras Missões de Interesse Pública imputadas às Forças Armadas de Cabo Verde com recurso à Constituição da República de Cabo Verde, Conceito Estratégico de Defesa e Segurança Nacional e o Regime Geral das Forças Armadas. De seguida, apresenta-se a colaboração das Forças Armadas com as Forças e Serviços de Segurança e Sistema Nacional de Proteção Civil. Abordam-se ainda os conceitos de segurança, defesa, ameaça e risco, tendo por base o modelo Português. De acordo com o modelo de análise aplicado, conclui-se que as Forças Armadas cabo-verdianas participam ativamente na realização das Outras Missões de Interesse Público em colaboração com entidades civil, nomeadamente as Forças e Serviços de Segurança, autarquias locais e empresas privadas que prestam serviço público, e maioria das vezes em regime permanente. As Forças Armadas possuem várias capacidades e meios para realização das Outras Missões de Interesse Público, e apresentam alguns constrangimentos, nomeadamente: a falta de pessoal, recursos financeiros e alguns meios técnicos (transportes, unidades de engenharia e meios de telecomunicação). Num país como Cabo Verde, a participação das Forças Armadas nestas missões é uma mais-valia, contribuindo para a segurança, desenvolvimento do país e para a própria sobrevivência das Forças Armadas. A colaboração da Forças Armadas com as entidades civis funciona normalmente e as principais dificuldades devem-se à complexidade de coordenação e articulação, que devem ser melhoradas. A estrutura e a organização das Forças Armadas de Cabo Verde, de um modo geral, são adequados ao cumprimento deste tipo de missões. Em suma, perante o quadro geoestratégico e geopolítico de Cabo Verde, é indispensável a colaboração das Forças Armadas com entidades civis na realização de Outras Missões de Interesse Público.

A participação das forças armadas na segurança pública de Cabo Verde: que colaboração?

Tendo em conta o nível de desenvolvimento que Cabo Verde tem vindo a conhecer, o crescimento rápido da sua população, o aparecimento de novos factos criminais e ainda o facto de possuir um enorme Zona Económica Exclusiva, associado ao facto de ser um país de fracos recursos económicos, é motivo para que se optimizem os recursos, encontrando respostas legalmente adequadas, eficazes e eficientes ao fenómeno do crime e da insegurança, projectados pelas novas ameaças. Com a revisão Constitucional de 1999, as Forças Armadas (FA) ganharam competência no âmbito de segurança interna, para colaborem com as Forças e Serviços de Segurança (FSS) e sob a responsabilidade destas. Este estudo debruça sobre “A Participação das Forças Armadas na Segurança Pública em Cabo Verde”, no intuito de analisar e perceber que tipo de colaboração prevê a Constituição, perceber à que nível pode ocorrer a actuação das FA na segurança e ordem pública e quais os limites dessa actuação. Para fazer o estudo recorreu-se à análise documental e fez-se uso do método de qualitativo, tendo como instrumento de recolha de informação a entrevista (semiestruturada), seguido de uma análise de conteúdo permitindo confrontar os resultados com as ideias existentes no enquadramento teórico. Conclui-se que as FA têm competências para actuar na segurança interna somente em colaboração com as FSS. Mas mostra-se que perante o quadro socioeconómico de Cabo Verde não se pode dispensar esta colaboração.

Plataforma de información financiera como herramienta de apoyo para la gestión y toma de decisiones en las Pymes

Las pymes se encuentran envueltas en problemas derivados en distorsiones del sistema empresarial, que incide en la mortalidad de las mismas: la falta de criterios para la toma de decisiones asertivas, lo cual tiene un impacto directo también en la economía en general, y contribuye al aumento del desempleo, la desaceleración económica y, finalmente, a la reducción de la calidad de vida de la sociedad -- El objetivo general de esta investigación consiste en proponer una plataforma de información financiera integral que se constituya en una herramienta de análisis para las pymes en Medellín, Colombia -- Para resolverlo, se desarrollan los siguientes objetivos específicos: 1. Diagnosticar la gestión empresarial en la toma de decisiones -- 2. Describir la información financiera necesaria para la toma de decisiones empresariales -- 3. Indicar los aspectos constitutivos de una plataforma financiera para la gestión empresarial -- Para mitigar esta problemática, la implementación del sistema de información financiero propuesto contribuye al entorno competitivo de las pymes, lo cual permite automatizar procesos, estabilidad laboral y empresarial, reducción de costos, accesibilidad a nuevas tecnologías y crear las bases para la toma de decisiones, con la finalidad de mejorar la competitividad de las micro, pequeñas y medianas empresas

Creación y diseño de la plataforma web y aplicación móvil para la realización de la revista digital de carácter académico-estudiantil (ARKHÉ).

El proyecto titulado Creación y diseño de la plataforma web y aplicación móvil para la realización de la revista digital de carácter académico-estudiantil (Arkhé), tuvo como objetivo instaurar un medio propio para la Carrera de Comunicación Social, destinado a la publicación de trabajos e investigaciones de docentes y estudiantes. El proyecto fue estructurado visual y conceptualmente. En cuanto a la estructura visual, se crearon elementos que identifican a la revista, como: logotipo, colores y todo lo relacionado al diseño visual y funcional de la página y su aplicación móvil. En lo referente a la parte conceptual, se elaboraron las bases fundamentales para que exista una revista como: misión, visión, sostenibilidad, concepto de su nombre, creación de la línea editorial, Consejo Editorial, políticas de calidad y normas de publicación; para convertir a Arkhé en una fuente de referencia confiable con posibilidades de indexación. El presente proyecto comprende una investigación teórica y práctica. En el primer capítulo se partió de un marco teórico y se desarrollaron conceptos indispensables para la elaboración de una revista digital. En el segundo se mostró los resultados de la aplicación de encuestas y entrevistas realizadas a estudiantes y profesores. En el tercero se elaboraron las bases de la revista académica y de la estudiantil. Finalmente en el cuarto capítulo se creó el espacio web en donde consta toda la información de la revista para que puedan publicar sus trabajos. En consecuencia, Arkhé es un medio que apoya al proceso de aprendizaje, en el que profesores y estudiantes desarrollan sus habilidades a través de la práctica.

Aspectos biológicos do peixe-olhudo-dentinho, Synagrops bellus (Actinopterygii: Acropomatidae), da plataforma externa e talude superior do estado de São Paulo, Brasil.

Biological aspects of the blackmouth bass Synagrops bellus from the outer shelf and upper slope along the coast of São Paulo, southeastern Brazil, are presented. The species represented about 71.6% and 9.7% in number of the total catch performed by balloom trawl in the isobaths of 300m and 500m respectively. Body sizes of 266 individuals ranged between 130 and 265mm total length, with sex ratio of 55.9% males, and 44.1% females, where most individuals were in maturation stage. Twenty two food items were found, pointing out Myctophidae fishes, Penaeidea and Caridea shrimps, Brachyuran megalopae, Enoploteuthidae and Cranchiidae cephalopods, pteropods and tunicates. The intestinal coefficient increases as the body size increase, and the number of gill rakers ranged between 16 and 17. Length-weight relationship was WT = 6.0 x 10-6 x TL3.12, r2 = 0.9495. Synagrops bellus is an important link between zooplankton and micronekton, and demersal and pelagic predators in the outer shelf and upper slope in southwestern Brazilian coast.

La plataforma como intersticio

65 p.