Comparativa de las medidas de emisiones electromagnéticas en las normativas europea y americana para teléfonos duales

El objetivo del presente Proyecto Fin de Grado es la realización de una comparativa de los resultados obtenidos en las medidas de SAR (tasa de absorción específica) y potencia utilizando la normativa europea CENELEC (basada en la del IEC) y la americana FCC (basada en la del IEEE) para distintos dispositivos móviles duales. En primer lugar se ha realizado el estudio de sus características de potencia y de SAR, viendo la variación que hay con respecto a las distintas normativas y rangos de frecuencias. En algunos casos, aunque funcionan sin problema alguno en las diferentes bandas, la diferencia de niveles de emisiones obtenidos en las diferentes bandas puede ser notable. Como se ha comentado al comienzo, se han utilizado diferentes dispositivos duales y se realizaron en ellos las medidas pertinentes utilizando las diferentes normativas y el procedimiento indicado en cada una de ellas. Para observar las diferencias concretas que pudieran existir al utilizar las diferentes normativas, las medidas se han realizado en todas las bandas de funcionamiento del dispositivo y para cada una de ellas se han aplicado las diferentes normativas. Con esto se pretende evaluar si pudiera existir alguna discrepancia en los dispositivos que tienen el certificado de conformidad para una norma concreta cuando se utiliza en otra banda que no es exactamente la banda de utilización de esa norma. En resumen, se quería comprobar que un dispositivo que está certificado con la norma de una región, por ejemplo Europa (900 y 1800 MHz), también cumple si se utiliza en otra región, por ejemplo América (850 y 1900 MHz). La realización práctica del presente PFG se ha hecho en las instalaciones del Laboratorio de Radiofrecuencia de la Secretaría de Estado de Telecomunicación y para la Sociedad de la Información ubicado en El Casar (Guadalajara). En concreto se utilizó el robot articulado movible DASY4 y el software para su control DASY 52.8, disponible en el “banco de medida de Campos Electromagnéticos (Sala de SAR)”. La duración estimada del presente PFG ha sido aproximadamente de cuatro meses. Para llevar a cabo el presente PFG, se dispuso de todo tipo de material y recursos puestos a disposición por el Ministerio de Industria, Turismo y Comercio en el propio laboratorio, así como de los distintos terminales móviles duales con los que se realizaron las medidas pertinentes. Como bibliografía básica se han utilizado las diferentes normas indicadas anteriormente, es decir la norma europea CENELEC (basada en la del IEC) y la americana FCC (basada en la del IEEE), así como manuales de los equipos implicados en el bando de medida de SAR: analizadores de redes, robot articulado y software de control, así como el resto de dispositivos utilizados en las medidas. ABSTRACT. The goal of this Final Degree Project is to perform a comparison of the results obtained in SAR measurements (specific absorption rate) and power using the European standards CENELEC (based on IEC Regulation) and the American FCC (based on IEEE Regulation) to different mobile dual devices. If first place it was made the study of its power and SAR features, seeing that there is shift with respect to the different standards and frequency ranges. In some cases, although they work without any problem in different bands, the difference in levels of emissions obtained in the different bands can be significant. As mentioned at the beginning, different dual devices were used and relevant measurements were taken from them using the different standards and the procedure in each one of them. To see the specific differences that may exist when using the different standards, the measurements were made in all bands of the device operation and to each one it has been applied in the different standards. This attempted to assess whether there could be some discrepancy in the devices that have the certificate of compliance to a specify standard when used in another band that is not exactly the used band of this standard. To sum up, it was required to verify that a device which is certified to the standard of a region, for example (900 and 1800 MHz), also verifies if it is used in another region, for example America (850 and 1900 MHz). The practical realization of this Final Degree Project was made in the facilities of the Radio Frequency Laboratory of the Ministry of State for Telecommunications and the Information Society located in El Casar (Guadalajara). Specifically, the movable articulated robot DASY4 was used and the control software DASY 52.8, available in the “Measure Electromagnetic Field testbench (SAR room)”. The duration of this Final Degree Project has benn about four months. To carry out the present project, all kinds of materials and resources were provided by the Ministry of Industry, Tourism and Trade in its own laboratory, as well as the different mobile dual terminals with which relevant measurements were made. As basic references the different standards indicated above has been used, that is to say the European standard CENELEC (based on IEC standard) and the American FCC (based on IEEE standard), as well as the equipment manuals involved in the SAR measure testbench: network analyzers, articulated robot and control software, as well as the rest of the devices used in the measurements.

Desarrollo e implementación de espacios verdes inteligentes basados en tecnologías M2M

En esta memoria se muestra el desarrollo del proyecto realizado para la creación de un sistema implantado en espacios verdes de las ciudades. A partir del estudio previo del mercado en torno a las Smart Cities se plantea el desarrollo de un sistema que mejore la sostenibilidad, la eficiencia y la seguridad de sistemas de riego, de medidores de la calidad del aire o estaciones meteorológicas instalados en los espacios verdes y jardines de las ciudades. Sirve de demostrador de cómo mejorar la eficiencia del consumo de agua y energía, además de añadir la funcionalidad de monitorizar la información recibida por sensores instalados en estos espacios en tiempo real a través del sistema desarrollado. La finalidad de este proyecto es la de crear un demostrador que sirva de ejemplo e inspiración para proyectos futuros que se basen en las mismas herramientas que son ofrecidas por Telefónica. El demostrador consiste en el control, gestión y mantenimiento de estos espacios, de modo que se pueda realizar un control y un mantenimiento de los dispositivos y sensores instalados en cada localización y la monitorización de la información suministrada por dichos elementos gracias a la plataforma M2M mediante los simuladores de sensores que ofrece Telefónica para demostraciones. Desde la aplicación, y mediante tecnologías REST y WEB, se realiza la comunicación con los elementos ofrecidos por Telefónica. La información de los sensores almacenada se muestra mediante la creación de informes y gráficas, mostrando la información recibida de los distintos parámetros de medida posibles, como son consumo de agua, temperatura, humedad y medidas de calidad del aire entre otras disponibles. Además, hay un espacio disponible para localizar y gestionar los dispositivos de los que se disponga existiendo la posibilidad de creación de alertas y avisos en función de lo que requiera el usuario. La solución creada como demostrador tiene dos componentes realizados por el estudiante. El primer componente desarrollado consiste en una plataforma web mediante la cual se pueda gestionar en tiempo real los dispositivos instalados en estos espacios verdes, su localización, realizar informes y gráficas, mostrando la información recibida de los sensores y la gestión de reglas para controlar valores límites impuestos por el usuario. El segundo componente es un servicio REST al cual se accede desde la plataforma web creada en el anterior componente y realiza la comunicación con los servicios ofrecidos por Telefónica y la identificación del proveedor del servicio con Telefónica a través del uso de un certificado privado. Además, este componente lleva a cabo la gestión de usuarios, mediante la creación de un servicio de autenticación para limitar los recursos ofrecidos en el servicio REST a determinados usuarios. ABSTRACT. In this memorandum the development of the project carried out for the creation of an implanted into green spaces in cities system is shown. From the previous study of the market around the Smart Cities it arise development of a system to improve the sustainability, efficiency and safety of irrigation systems, meter air quality and green spaces installed weather stations and gardens of cities. It serves as a demonstrator of how to improve the efficiency of water and energy consumption, as well as adding functionality to monitor the information received by sensors installed in these spaces in real time through the system developed. The purpose of this project is to create a demonstrator to provide an example and an inspiration for future projects based on the same tools that are provided by Telefónica. The demonstrator consists of control, management and maintenance of these spaces, so that it can carry out checks and maintenance of devices and sensors installed at each location and monitoring of the information provided by these elements through the M2M platform sensor simulators offered by Telefónica. From the application, and using REST and Web technologies, communication with the items provided by Telefónica is performed. Information stored sensors is shown by creating reports and graphs showing information received from the different parameters as possible, such as water consumption, temperature, humidity and air quality measures among others available. Addition there is an available space to locate and manage devices which becomes available with the possibility of creating alerting and warnings based on what the user requires. The solution created as a demonstrator has two components made by the student. The first component consists of a developed web platform through which to manage real-time devices installed in these green spaces, displaying the information received from the sensors and management rules to control limit values by the user. The second component is a REST service which is accessible from the web platform created in the previous component and performs communication with the services provided by Telefónica and the identification of the service provider with Telefónica through the use of a private certificate. In addition, this component performs user management, by creating an authentication service to restrict the resources available on the REST service to certain users.

Estudio de los criterios de calidad, expectativas y satisfacción de los usuarios de las cartas de servicio de la Administración General del Estado aplicados al sector marítimo. Análisis de las necesidades de desarrollo de futuro

La aproximación de las organizaciones a la mejora de sus procesos ha venido por distintos caminos. Muchas Administraciones Públicas se acercaron a este universo a través del modelo EFQM de calidad y excelencia que surgió en la década de los 80 y que sirvió como referente en el ámbito de la Unión Europea como vía de autoevaluación y determinación de procesos de mejora continua. Está basado en la identificación de los puntos fuertes y débiles aplicados a diferentes ámbitos de la organización, siendo éstos el punto de partida para el proceso de mejora continua. Se trata de un modelo en el que puedes decir que estás en calidad aunque tu puntuación sea muy pequeña, por lo que, por imagen, muchas empresas públicas empezaron a implantarlo. La empresa privada sin embargo se decantó por los sistemas de calidad basados en normas ISO. En estos sistemas has de tener un nivel mínimo para poder exhibir una certificación o acreditación del sistema de calidad. La más extendida es la ISO 9001:2008 ya que es válida para todo tipo de empresa. Este sistema se centra en la satisfacción del cliente y está basada en gran medida en el PDCA, acrónimo de Plan, Do, Check, Act (Planificar, Hacer, Verificar y Actuar). Al tratarse de sistemas documentados, pasados los años se llega a la misma conclusión, aquellas empresas que simplemente tienen un certificado colgado en la pared y que arreglan los papeles antes de la auditoría no tienen nada que aporte valor añadido a la empresa y se autoengañan. La potencia de todo sistema de gestión de calidad reside en aprovechar el potencial de sus recursos humanos dirigiendo los recursos de la empresa de forma eficiente y haciendo participe de los objetivos de la organización a su personal para que se impliquen y sepan que se espera de cada uno. La formación de ingeniero siempre nos hace ser críticos con los modelos existentes y tratar de buscar caminos alternativos que sean más eficientes. Para ello es necesario tener un conocimiento muy preciso de la organización. Por ello, después de más de cinco años trabajando en la Organización, desempeñando diversos cometidos, analizando diferentes esferas de actuación y tras estudiar informes de diferentes organizaciones que supervisan el funcionamiento de la empresa me di cuenta que la Dirección General de la Marina Mercante podía cambiar de forma de actuar para modernizarse y ser más transparente, eficaz y eficiente. Esta tesis versa sobre la posibilidad de implantar un nuevo servicio en la Dirección General de la Marina Mercante que le permita mejorar su competitividad a nivel mundial, como estado de abanderamiento, y que, dentro de nuestras fronteras, haga que sus servicios se reorienten aprovechando el conocimiento de su personal, teniendo en cuenta las necesidades de sus usuarios y los recursos de la Organización. Las cartas de servicio permiten acercar al ciudadano al funcionamiento de la organización. Le informa de las condiciones en las que se presta el servicio, los compromisos de la empresa y la forma en la que puede participar para mejorarlos, entre otros. Por otra parte, la empresa no necesita previamente tener ningún sistema de calidad implantado, aunque, como veremos en el capítulo tres y cuatro siempre ayuda a la hora de tener sistemas de aseguramiento implantados. En el capítulo seis se detallan los objetivos que se lograrían con la implantación de las cartas de servicio en la DGMM y en el capítulo siete se discuten dichos resultados y conclusiones. ABSTRACT Different ways have been used by organizations to approach process improvement. Many Public Administrations chose quality and excellence EFQM model for that approachment. This quality program began in 80 decade and that it was the Europe Unión reference to continuous improvement autoevaluation and determination. It is based on strong and weak points of different organization fields, and they are considered as starting point for continuous improvement. This model allows enterprises to say that they are working on a quality scheme even though their score is very little, and this was why a lot of Public Administrations began using it. Nevertheless private enterprises chose quality management systems based on ISO standards. In these systems there is a threshold you must have to be able to have a certification or an accreditation of quality management system. ISO 9001:2008 is the standard most used because of it can be applied to a great range of enterprises. This system is focused on customer satisfaction and it is based on PDCA, Plan, Do, Check, Act. All these systems are documented ones, so once time goes by the same conclusion is reached: enterprises that have the certificate hung on the wall and that papers are fixed for audits have nothing that give them added value and they self-delusion. Quality management system power is related to the usage of human resources potential to lead enterprise resources efficiently and to make them participate in organization objectives. Naval architect training makes them to be critic with existing models and to try to find alternative ways to be more efficient. To achieve this goal, a precise knowledge of the organization is needed. That is the reason why, after five years in quality related issues in the Organization, in different chores, analyzing our scope and reports of organizations that supervise our operation, I realized that Merchant Marine Directorate could change the way of operation to modernize and be more transparent, efficient and effective. This thesis is about the possibility of implantation of a new service in Merchant Marine Directorate that will make it possible to improve their worldwide competitiveness as Flag State, and that to reorient all services taking into account citizens needs and Organization resources. Citizen’s charters able approachment to organization operation. It gives the following information: which are terms in which service is given, enterprise compromises, ways in which citizen can collaborate to improve them, and etc. Additionally, no quality management system is needed to be implemented. Although we’ll see in chapter three and four that having it is of great help. In chapter six are detailed goals achieved if citizen’s charters are implemented in Merchant Marine Directorate, and in chapter seven conclusions and results are discussed.

En la ciudad de Valencia a los 28 dias del mes mayo de 1756 el señor Don Sebastian del Castillo... dixo que mediante hallarse... abastecida la caxa... de todas las classes y especies de papel... [Texto impreso]

Texto certificado por Sebastián del Castillo

El proyecto de vivienda como laboratorio de estrategias para Sejima y Nishizawa de 1987 a 2010

Como indica el título, esta tesis plantea el estudio de la arquitectura doméstica elaborada por los arquitectos japoneses Kazuyo Sejima y Ryue Nishizawa. Más concretamente, la investigación se ciñe a un conjunto integrado por veinticinco casas que los arquitectos proyectaron entre 1987, momento en el que Sejima establece su propia oficina, y 2010, fecha en la que el reconocimiento del trabajo que ambos venían desarrollando queda certificado a nivel internacional, ya que ese año son galardonados con el premio Pritzker y comisarían la Bienal deVenecia. Del estudio conjunto y sistemático de estos proyectos, y de sus distintas versiones se espera poder obtener una serie de criterios exegéticos que permitan comprenderlos y explicarlos mejor, relacionándolos entre sí de manera coherente. A estos criterios es a lo que hemos denominado estrategias. En el momento en el que se inicia esta investigación se detectó un vacío editorial respecto al tema tratado, apenas había textos, propios o ajenos que abordaran esta faceta de la obra de Sejima y Nishizawa en profundidad. No en vano, algunos críticos han acuñado el apelativo de "arquitectos sin palabras" para referirse, tanto a ellos como a la generación de arquitectos que la pareja encabeza, dando a entender que se trata de una arquitectura carente de explicación.1 Sin embargo, esta investigación sostiene que el hecho de que los arquitectos no hablen en exceso de su obra y mantengan una actitud centrada en desarrollar de forma práctica su trabajo no quiere decir que prescindan de realizar operaciones compositivas altamente idealizadas y abstractas, refrendadas por un marco cultural y teórico que se pueda describir. Tras recopilar, ordenar y analizar un número lo suficientemente amplio como para ser significativo de las manifestaciones verbales que los arquitectos han realizado a lo largo del periodo estudiado, se ha observado que de entre todos los términos que los dos socios que integran SANAA emplean para describir sus proyectos, uno de los más relevantes y quizás también el más general resulta la palabra “sistema”.2 El modo en el que ambos describen los principios de su arquitectura, diferenciando entre los componentes del programa, y las relaciones que se establecen entre éstos, y entre ellos y el exterior permiten sostener que no se trata de un uso accidental término. Paralelamente, al mismo tiempo que se indaga sobre el corpus intelectual de esta teoría se intenta detallar las circunstancias que favorecieron tal trasvase de ideas entre Occidente y Japón y como acabaron llegando al ámbito de estos arquitectos. Al amparo de este marco teórico y tras redibujar las viviendas documentadas, se intentará describir los rasgos de la estructura material de las viviendas analizadas, así como cartografiar los patrones organizativos que las caracterizan. Para ello se empleará el rigor instrumental que aporta la teoría de grafos como método habitual para la representación, estudio y caracterización de sistemas. Los resultados de la investigación evidencian que hay una serie de estrategias — tanto materiales como organizativas— que enunciadas en sus primeros proyectos se van desarrollando en obras posteriores, conformado sistemas que están paulatinamente más organizados. Y que llegado un punto en la trayectoria de estos arquitectos, se observa que tales estrategias, se van superponiendo de distinta forma en diversos proyectos, por lo que es posible agruparlos y hablar de ellos atendiendo a características comunes. Finalmente, el estudio concluye que tanto a nivel material como reladonal, bien podría decirse que en el periodo estudiado, las estrategias empleadas por Sejima y Nishizawa para elaborar su arquitectura doméstica persiguen un objetivo común que se fundamenta en la elaboración de planteamientos sintéticos que les permiten explorar y responder creativamente ante las disyuntivas previamente establecidas, precisamente explotando el potencial de las paradojas que las originan. ABSTRACT As the title suggest itself, this thesis deals about the study of domestic architecture developed by Japanese architects Kazuyo Sejima and Ryue Nishizawa. More specifically, research focus its attention on a group of twenty five houses that both architects projected from 1987, when Sejima establishes her own practice, and 2010, as the moment in which their work obtains international acknowledgment, since this year they are awarded the Pritzker prize and cúrate the Venice Biennale. From the combined and systematic study of all these projects, and their different versions are expected to obtain a series of exegetical criteria to relate to each other, understand and explain better. These criteria are what we cali strategies. By the time when this research began, an editorial emptiness about the treaty issue was detected; there were barely texts that addressed this aspect of the work of Sejima and Nishizawa in depth, neither the ones written by the architects themselves ñor by other authors. Some critics have coined the ñame "wordless generation" to refer to both them as to the generation of architects that the couple leads, implying that it is an architecture devoid of explanation.3 However, this study argües that the fact that architects do not speak too much about his work and keep themselves focused on developing practical work attitude does not mean that dispense perform highly idealized and abstract compositional operations, fueled by a frame cultural and theoretical that can be described. After collect, sort and analyze a large enough number of verbal statements done by the architects about their work as to be meaningful, it was observed that of all the terms that the two partners that intégrate SANAA used to describe their projects, one of the most important and, perhaps one of the most general, is the word "system".4 The way in which both describe the principies of their architecture distinguishing between program components and the relationships established between them, and between them and the outside allow us the view that it is not accidental use of a term. Similarly, while it investigates the intellectual corpus of this theory it attempts to explain some of the circumstances that favored such transfer of ideas between the West and Japan and how eventually reaching the scope of these architects. Under this framework and after redraw the documented houses we attempt to describe the characteristics of the material structure of the projects tested, as well as mapping the organizational patterns that characterize them. For this, we use the instrumental rigor that brings graph theory, as a regular method of representation, study and characterization of systems used. The research results show that there are a number of strategies -both material and organizational level- that once they are set out in its first projects are developed in later works. Bringing up systems that are gradually more and more organized. And at one point in the career of these architects, such strategies are observed, they are superimposed differently on various projects, making it possible to group them and discuss them according to common characteristics. Finally, the study condueles that both materially and organizational it could be said that in the period studied, the strategies employed by Sejima and Nishizawa to develop its domestic architecture pursue a common goal, which is based on the development of synthetic approaches that allow them explore and respond creatively to the previously established dilemmas precisely exploiting the paradoxical potential that originates them.

Framework para el desarrollo con el DNIe

El proyecto se trata de una API de desarrollo para el DNI electrónico que permita crear de forma sencilla aplicaciones cuya funcionalidad se apoye en el uso del DNI electrónico. De esta forma, el framework facilita el acceso a las principales operaciones soportadas por el DNIe mediante la invocación de métodos sencillos. Una de las funcionalidades es la de realizar un proceso de autenticación con el DNIe utilizando para ello las capacidades criptográficas del chip que incorpora y el certificado de autenticación. Esta funcionalidad puede ser accedida también de forma dividida en dos pasos, para dar soporte a aplicaciones con arquitectura cliente-servidor. El framework también ofrece la funcionalidad de firma electrónica con el DNIe, una firma legalmente válida y que permite chequear también la integridad del mensaje firmado. También se soporta por el framework la comprobación de un certificado mediante el protocolo OCSP, funcionalidad que si bien no implica directamente al DNIe, sí que es importante en el marco de procesos que se ven involucrados en cualquier Infraestructura de Clave Pública. ABSTRACT The project is a development API for DNIe card that allows easily create applications whose functionality is supported in the use of DNIe. Thus, the framework provides access to the main operations supported by the DNIe by invoking simple methods. One of the features is to perform an authentication process with the DNIe using its chip’s capabilities and authentication certificate. This functionality can also be accessed so divided into two steps, to support applications with client-server architecture. The framework also provides the functionality of electronic signatures with DNIe, a legally valid signature and allows also check the integrity of the signed message. Verification of a certificate using OCSP, functionality but does not imply directly to DNIe is also supported by the framework, yes it is important in the context of processes that are involved in any Public Key Infrastructure.

La calidad y su impacto sobre la rentabilidad y la volatilidad

El objetivo del presente estudio consiste en analizar el impacto que la publicación de la noticia de obtención de un certificado de calidad (ISO 9000) tiene sobre el valor de mercado de la empresa y sobre la volatilidad del precio de cotización de las acciones. La muestra utilizada incluye todas las empresas que, habiendo obtenido un certificado de calidad, han cotizado en el mercado secundario de valores español entre los años 1993 y 1999. Para medir el impacto de la obtención un certificado de calidad sobre los resultados se ha analizado los excesos de rentabilidad, mientras para medir la variación en la volatilidad se han realizado cuatro test, dos paramétricos, uno no paramétrico y una propuesta de test semiparamétrico. Los resultados indican que el mercado de capitales reacciona positivamente a la obtención de este certificado, provocando además un incremento en la volatilidad de los precios de cotización.

Influencia de la calidad sobre la rentabilidad y la volatilidad

El objetivo del presente estudio consiste en analizar el impacto que la publicación de la noticia de obtención de un certificado de calidad (ISO 9000) tiene sobre el valor de mercado de la empresa y sobre la volatilidad del precio de cotización de las acciones. Adicionalmente se examinan diversos factores determinantes del impacto de la obtención del certificado sobre la rentabilidad. La muestra utilizada incluye todas las empresas que, habiendo cotizado en el mercado continuo entre los años 1993 y 1999, han obtenido un certificado de calidad. Para medir el impacto de la obtención de un certificado de calidad sobre los resultados se ha analizado los excesos de rentabilidad, mientras que para medir la variación en la volatilidad se han realizado cuatro test, dos paramétricos, uno no paramétrico y una propuesta de test semiparamétrico. Los resultados indican que el mercado reacciona positivamente a la obtención de este certificado, provocando además un incremento en la volatilidad de los precios de cotización.

Contramedidas en la suplantación de autoridades de certificación. Certificate pinning

La importancia de asegurar la comunicación entre personas ha crecido a medida que se ha avanzado en la sofisticación y el alcance de los mecanismos provistos para ello. Ahora, en la era digital, el alcance de estas comunicaciones es global y surge la necesidad de confiar en infraestructuras que suplan la imposibilidad de identificar a ambos extremos de la comunicación. Es la infraestructura de autoridades de certificación y la gestión correcta de certificados digitales la que ha facilitado una aproximación más eficiente para cubrir esta demanda. Existen, sin embargo, algunos aspectos de esta infraestructura o de la implementación de algunos de sus mecanismos que pueden ser aprovechados para vulnerar la seguridad que su uso debe garantizar. La presente investigación profundiza en alguno de estos aspectos y analiza la validez de las soluciones propuestas por grandes productores de software frente a escenarios realistas.

Certificación medioambiental, competitividad y resultado empresarial: un estudio híbrido en el sector hotelero

La Responsabilidad Social en general, y la Gestión Medioambiental en particular, pueden influir sobre el resultado y la competitividad de las empresas. El objetivo principal de este trabajo es analizar la relación entre certificación medioambiental, rendimiento medioambiental, competitividad y resultado empresarial en el sector hotelero español. Además, también se analizan y comparan los niveles alcanzados de proactividad medioambiental para el grupo de hoteles certificados y no certificados. El método de investigación utilizado es híbrido, combinando una parte cualitativa con otra cuantitativa. Los resultados indican que los hoteles que tienen certificado su sistema de Gestión Medioambiental alcanzan mayores niveles de resultado en términos de porcentaje de ocupación e ingresos por habitación disponible (RevPAR). Además, los hoteles certificados obtienen un mejor rendimiento medioambiental. Con relación a la ventaja competitiva, los hoteles certificados desarrollan una ventaja en diferenciación significativamente superior.

Verificación de Sistemas Basada en Teoría de Tipos

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.

O controlo interno e a implementação de auditorias online no Safex em contexto de e-governance: Tecnologias, desafios e oportunidades

O presente Relatório Detalhado de Atividade Profissional é apresentado no âmbito da obtenção do Grau de Mestre dos Oficiais do Exército licenciados pré-Bolonha pela Academia Militar na Área específica de Administração Militar. A sua redação e estruturação tem por base o definido na NEP 520 e NEP 517/1ª da AM, para esta tipologia de trabalhos, tendo o autor, optado por desenvolver um tema no âmbito da sua atividade profissional, considerado como pioneiro e inovador. O Tenente-Coronel de Administração Militar do Exército Português, Luís Miguel Gonçalves, nasceu a 25 de Novembro de 1971. Do seu percurso académico e formativo, consta frequência pré-Universitária, em estabelecimento militar de ensino, no Instituto Militar dos Pupilos do Exército, na área de Contabilidade e Administração; a Licenciatura em Ciências Militares, na especialidade de Administração Militar, pela Academia Militar, em 1995, com a Classificação final de 13,58 valores; o tirocínio para Oficiais de Administração Militar, com a nota final de 15,38 valores; o Curso de Operações Irregulares, tendo obtido a classificação de 17,67 valores; o Curso de Promoção a Capitão, com 16,63 valores; e o Curso de Promoção a Oficial Superior do Instituto de Altos Estudos Militares, com a classificação final de 14,50 valores. No âmbito da formação de pós-graduação, tem averbado créditos no módulo de Metodologia de Investigação Cientifica, pela Academia Militar, no Ano Letivo 2013/14, com a classificação final de 16,00 valores. Para além destes, o Environmental Course For Portugal – NATO School/ SHAPE; formação em Gestão de Projetos/ Exército - Microsoft Enterprise Project Management; o Curso de Formação Pedagógica Inicial de Formadores do Instituto de Emprego e Formação Profissional, com Homologação das Competências Pedagógicas; e vários certificados de formações no âmbito da Contabilidade, Administração, Finanças Públicas e Auditorias Financeiras, atribuídas pela Direção de Finanças do Exército e pelo Instituto de Gestão e Administração Pública do Porto. Ao longo dos 25 anos de serviço prestado ao Exército Português, como Oficial de Administração Militar, desempenhou diversos cargos e funções de Comando e Chefia, em várias UEO, nas áreas setoriais e funcionais, da formação, da instrução, da componente operacional, da logística, do pessoal, das finanças públicas, das inspeções e auditorias, da gestão e da Administração Militar. Atualmente o Tenente-Coronel Miguel Gonçalves, desempenha as Funções de Comandante de Batalhão na Escola dos Serviços. Para além dos cargos e funções averbadas no seu Curriculum Vitae detalhado, constituiu em 1996 o Núcleo Logístico de Projeção, Implantação, Acompanhamento e Ajuda Técnica no âmbito do emprego dos meios táticos e operacionais da Área de Responsabilidade FND/ IFOR na Bósnia-Herzegovina (Jugoslávia). Tem publicado na Revista da Administração Militar, vários artigos no âmbito da logística operacional, na função de combate Apoio de Serviços. Na área da formação, foi orientador e supervisor de vários trabalhos, individuais e de grupo aos cursos de promoção a capitão; e constitui-se como elemento primariamente responsável pelo planeamento e implementação dos primeiros cursos no Exército, com formação certificado pela Agência Nacional para a Qualificação e Ensino Profissional, I.P., do Sistema Nacional de Qualificações, certificação inserida no Catálogo Nacional de Qualificações. Na área Inspetiva, integrou várias equipas de Inspeção-Geral do Exército, como inspetor responsável pelas áreas de Logística e Finanças, bem como as de Inspetor, para a área dos recursos humanos – Despesas com Pessoal, nas equipas de inspeção do Comando do Pessoal do Exército. No desempenho das funções de Auditor Financeiro do Centro de Finanças do Comando do Pessoal, realizou diversas auditorias financeiras às UEO do Comando do Pessoal, na sua dependência, tendo desenvolvido e implementado um sistema pioneiro e inovador de monitorização e controlo interno, de auditorias “Online” com análise e reporte mensal, às contas das UEO do Comando do Pessoal, tendo em vista a validação das Demonstrações Financeiras para a Conta de Gerência Anual do Exército. A escolha do tema, “O Controlo Interno e a implementação de Auditorias Online no SAFEx em contexto de e-Governance: Tecnologias, desafios e oportunidades” surge na sequência da implementação destes procedimentos pelo autor, numa altura em que o Exército entrava em operativo com o Sistema Integrado de Gestão (SIG/DN), tendo sido à data reconhecido publicamente pelo TGEN Comandante do Pessoal do Exército, como sendo um procedimento inovador, com notáveis vantagens para a eficiência e eficácia do sistema administrativo-financeiro do Comando do Pessoal e consequentemente do Exército.

Improving the mortality information system in Portugal

The inability to invest in and develop mortality information systems has been considered the single most critical failure in health information systems. Health information systems are an integral part of health systems. This includes strengthening not only the information content but also the information systems themselves, health information platforms and infrastructure. In this article, particular focus has been placed on the regional and inter-sectoral approach to implementation adopted in Portugal. The article shows how legal and operational barriers have been overcome and focuses on the potential of the new system to improve the quality and timeliness of mortality statistics.

La Academia de Medicina Practica del estado de México. Satisfecha del talento, ilustracion y filantropìa del ciudadano Juan José Fernadez y muy particularmente de su decidido empeño en favor de las ciencias médicas, acordó en junta ordinaria del dia 23 de Febrero nombrarle Académico de escuela ... mandò estenderle este diploma sellado con el sello de la misma, suscrito por su director y refrendado por sus secretarios. Mèxico 20 de Marzo de 1825.

Mode of access: Internet.

Determinantes da remuneração do spread de certificados de recebíveis do agronegócio no mercado brasileiro

O objetivo deste trabalho é avaliar os fatores que afetam a determinação dos spreads nas operações de Certificado de Recebível do Agronegócio (CRA). Foram selecionadas na amostra todas as emissões registradas na ANBIMA entre os anos de 2012 e maio de 2016. Verificou-se que a remuneração desse título é influenciada principalmente pela presença de reforço de crédito/garantias, pelo setor originador dos recebíveis e pela companhia securitizadora. Em uma segunda análise mais detalhada e acrescentando as variáveis uma a uma de forma a testar a aderência do modelo, encontraram-se evidências de que o tamanho da emissão e o percentual de subordinação são importantes variáveis de controle na determinação do spread. Ao incluirmos a variável rating, esta passa a ser relevante e da mesma forma acontece com a garantia, demonstrando que o percentual de subordinação reduz o spread do título, mas quando se acrescenta garantia, ele deixa de ser significativo. O sinal da variável garantia é positivo e demonstra que se há a necessidade de incluir garantias na emissão, é porque provavelmente é essencial para que a emissão ocorra. Por fim, a variável securitizadora mostrou-se relevante, indicando que o investidor leva em consideração a qualidade da mesma para a precificação do título.