Integração no laboratório da Lameirinho e controlo aos tecidos acabados

Dissertação de mestrado em Técnicas de Caraterização e Análise Química

Ganadería sustentable en la reserva hídrica provincial Pampa Achala. Estudio sobre la producción de camélidos sudamericanos domésticos. Proyecto de conservación de la biodiversidad (TF-028372), subcomponente desarrollo de actividades sustentables

El objetivo general de este proyecto es demostrar la factibilidad de implementar una producción sustentable CSD (Llamas) en la reserva Hídrica Provincial de Pampa de Achala (RHPPA). Los objetivos específicos son: • Medir la adaptación de los CSD a los hábitos de producción de los pobladores del área de estudio. • Medir la calidad de la fibra obtenida mediante procesamientos textiles artesanales e industriales • Evaluar la calidad de la carne mediante la realización de faenas protocolizadas y análisis de calidad. • Analizar el desempeño productivo de un plantel experimental de CSD teniendo en cuenta la sustentabilidad. • Desarrollar criterios a través de los cuales se puedan fijar los requisitos técnicos para diseñar un certificado de calidad de producción orgánica para fibra y para carne. Se trabajará con dos planteles experimentales: en la zona de influencia de la Escuela Martín Fierro, y en el Cerro El Lindero en Yacanto-San Javier. Se totalizarán 30 animales por cada lugar y se controlará el manejo y el procesamiento de los productos: fibra y carne. El estudio de la artesanía tradicional y la recuperación de las técnicas tradicionales de los artesanos de la zona será otra actividad importante de este proyecto

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

La Imagen de los espacios de alta montaña en la Prehistoria : el caso de los Pirineos Catalanes Occidentales

Derivado de los trabajos de sistematización de la Prehistoria de Catalunya realizados por P. Bosch-Gimpera (Bosch – Gimpera, 1919; 1932), la prehistoria de la alta montaña catalana ha quedado fusionada al concepto de “Cultura Pirenaica”. Este modelo ha sido certificado por una amplia serie de autores a lo largo de los últimos 60 años. Este trabajo pretende realizar una aproximación crítica a esta conceptualización mediante la revisión cualitativa de la investigación arqueológica realizada en la zona pirenaica a lo largo del periodo 1894 – 2006.

Auditoria ambiental de l'edifici de l'Àrea de Territori, Medi Ambient, Paisatge i Espai Urbà de l'Ajuntament de Sitges

Aquest projecte realitza una auditoria ambiental de l’edifici de l’Àrea de Territori, Medi Ambient, Paisatge i Espai Urbà de l’Ajuntament de Sitges, com a primer pas per a la implantació d’un sistema de gestió ambiental (SGA), en acord amb el Reglament (CE) nº 761/2001, i la posterior obtenció d’un certificat de gestió i auditories ambientals (EMAS). L’auditoria s’inicia amb la identificació dels aspectes ambientals de l’edifici, mitjançant la recopilació de dades sobre consums energètics i hídrics, la estimació de la generació de residus i enquestes de mobilitat als treballadors. Aquestes dades són utilitzades per determinar els aspectes ambientals significatius i posteriorment, exposar una sèrie de propostes de millora per tal de corregir-los o minimitzar-los, com ara sistemes d’estalvi d’aigua, d’enllumenat, de producció d’electricitat i l’educació ambiental dels treballadors. Per a la implantació d’un SGA en la situació actual de l’edifici, es necessària, entre altres coses, la implantació d’un sistema de registre que arxivi els consums d’aigua, energia i generació de residus, per tal de dur un control de les despeses de cadascun dels vectors. A més, caldrà implementar un Programa de bones pràctiques ambientals en l’oficina per tal de reduir el consum elèctric, d’aigua i generació de residus, i la seva classificació per part dels treballadors.

Autoritat de certificació PKI amb serveis en línia

Autoritat de certificació (CA) per l'emissió de certificats digitals en una infraestructura de clau pública (PKI) amb una interfície web bàsica.

Escenari segur client-servidor amb un proveïdor d'identitat i control d'accés extern

El projecte consisteix en desenvolupar un sistema que permeti a un client poder connectar-se auna pàgina web, validar-se sense contrasenya (amb un certificat idCat), i accedir als seus recursos.

Gestió de factures electròniques amb VSTO

El present treball de final de carrera s¿ha realitzat en el context de l¿àrea temàtica .NET amb l¿objectiu de crear una aplicació basada en aquesta plataforma tecnològica, utilitzant VSTO (Visual Studio Tools for Office) i generant documentsamb certificat digital.

Signatura digital

Aquest projecte tracta la Signatura Digital des del punt de vista d'un Enginyer de Software que ha d'iniciar un projecte que doni serveis de Signatura Digital a un projecte més ampli d'Administració Electrònica. El projecte contempla: els conceptes bàsics de la Signatura Digital, les particularitats de la Signatura Digital, les funcionalitats i serveis que pot proporcionar a una plataforma de tramitació electrònica, els requeriments de Signatura Electrònica per l'AE, la selecció d'un proveïdor de serveis de Signatura que cobreixi els nostres requeriments i els de l'AE, les funcionalitats del proveïdor CATCert (plataforma PSIS); i a través d'aquests estudis, la realització de l'anàlisi, disseny i construcció d'un mòdul que pugui subministrar autenticació, identificació i signatura digital a una plataforma d'AE.

Memòria TFC : gestió de Factures electròniques

El projecte que s'ha desenvolupat és la gestió de factures amb firma electrònica, on la finalitat és integrar una aplicació completament funcional a la suit d'ofimàtica Microsoft Office, amb certs requisits com la firma amb certificat digital, la qual cosa fa que les factures sigui vàlides per Hisenda.

Estudi de la seguretat i privadesa dels historials mèdics en format electrònic

El PFC s'emmarca dins de l'àrea de seguretat informàtica. D'acord amb la legislació, la informació de caràcter personal ha de ser protegida ja que es tracta d'informació molt sensible.Cal aplicar mesures que garanteixin la seguretat i privadesa de la informació.En el cas específic de la informació relativa a les dades de salut de les persones, el nivell de protecció ha de ser encara més elevat.A més, en el cas dels historials mèdics electrònics la informació es transmet per xarxes de comunicacions per la qual cosa cal aplicar mesures addicionals de seguretat per tal de garantir la seguretat i privadesa de la informació.L'objectiu d'aquest PFC és estudiar la legislació actual i extreure els requeriments de seguretat i privadesa exigits, per tal de determinar el grau de compliment d'aquests requeriments per part de les implementacions existents.

Implantación de un sistema de gestión medioambiental en una empresa panificadora

El trabajo final de carrera tiene como objetivo realizar la implantación de un Sistema de Gestión Medioambiental desde la fase de evaluación inicial de la situación medioambiental de una empresa panificadora, hasta la posible obtención de un certificado otorgado por ENAC una vez que se hayan cumplido todos los requisitos establecidos por la “International Organization Standaritzation“ (ISO), en este caso la Norma Internacional UNE-EN ISO 14001:2004

Disseny i implementació d¿una plataforma per a la recollida i signatura d'iniciatives legislatives populars

Aquest projecte implementa una plataforma web per a la creació i signatura digital d'iniciatives legislatives populars. La solució es basa en la implementació d'un sistema d'autenticació mitjançant SSL i certificats digitals.

Qualidade no Atendimento ao Cliente como Estratégia Competitiva

Na busca de um melhor posicionamento competitivo no mercado global, as empresas com uma visão estratégica não desperdiçam mais seu tempo ocupando-se apenas em conquistar eficiência operacional. Os objectivos específicos definidos para este trabalho de pesquisa propiciaram o levantamento das dimensões indicadas pela literatura que determinam a qualidade no atendimento a clientes e identificá-las na prática, no caso estudado. O facto da empresa apresentar gaps críticos nas dimensões consideradas mais importantes para os inquiridos nos resultados obtidos com o estudo. Isto demonstram que a CVTelecom necessita de acções de melhoria para adaptar à realidade do mercado global proporcionando um atendimento com qualidade desejada que promove a fidelização de seus mais de 57.000 clientes. Dentre os diversos processos que vêm sendo melhorados para o alcance da maior satisfação dos clientes podem ser citados os investimentos recentes feitos no processo de apoio ao cliente que já teve o certificado da ISO 9001:2000 pela APCER. Em suma, concluiu-se com o estudo de caso, CVTelecom apresenta uma razoável performance no atendimento aos seus clientes, necessitando de algumas acções estratégicas que podem favorecer-lhe na minimização ou na eliminação dos gaps apresentados, dentre elas a necessidade de se conhecer e implementar o Marketing de Relacionamento (CRM), promover uma acção de melhoria no processo de apoio ao cliente, viabilizar a adopção de um manual de procedimento de atendimento ao cliente.

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).