Ceremony analysis : strengths and weaknesses

We investigate known security flaws in the context of security ceremonies to gain an understanding of the ceremony analysis process. The term security ceremonies is used to describe a system of protocols and humans which interact for a specific purpose. Security ceremonies and ceremony analysis is an area of research in its infancy, and we explore the basic principles involved to better understand the issues involved.We analyse three ceremonies, HTTPS, EMV and Opera Mini, and use the information gained from the experience to establish a list of typical flaws in ceremonies. Finally, we use that list to analyse a protocol proven secure for human use. This leads to a realisation of the strengths and weaknesses of ceremony analysis.

HIRFL束流发射度测量

本论文利用三剖面法和梯度法对HIRFL束流发射度进行了测量，并对这两种测量方法的系统误差，测量最佳条件和数据处理作了较详细地研究。通过测量，给出了HIRFL束流剖面。相图、横向密度分布和束流百分比-发射度特性曲线。对两种方法的测量结果作了比较，在误差范围内二者基本一致。测量结果如下：水平方向：束流百分比76%：EMH = 4.987 ± 0.287 mm mrad 90%：EMH = 9.887 ± 0.829 mm mrad垂直方向：束流百分比76%：EMV = 3.800 ± 0.254 mm mrad 90%：EMV = 7.554 ± 0.740 mm mrad

Coordenação e gestão de obras em ambiente empresarial

O estágio foi um complemento da formação académica, disponibilizado pelo Instituto Superior de Engenharia do Porto, permitindo o contacto e a inserção do estagiário no mercado de trabalho. Este relatório retrata o percurso realizado durante o estágio, e representa o culminar do Curso de Mestrado em Engenharia civil no Ramo de Gestão de Obras. O estágio, com duração de 6 meses, realizou-se na empresa Cogedir – Gestão de Projetos S.A. sediada em Vila Nova de Gaia. A integração na empresa permitiu adquirir e desenvolver competências que habilitaram o estagiário a prestar funções de direção e fiscalização de obras, pois durante o período de estágio foram atribuídas diversas funções do ramo de gestão, como a coordenação e gestão de obras, resposta a concursos públicos e privados, orçamentação, entre outras, sendo que o estágio se focalizou sobretudo na coordenação e gestão da execução de um empreendimento destinado a um Hotel e Spa na região de Águeda. Este relatório tenta demonstrar que os conhecimentos obtidos ao longo do curso foram devidamente interiorizados e aplicados em ambiente empresarial e para isso serão abordadas as principais funções, responsabilidades e atividades desempenhadas ao longo da execução do empreendimento em foco tentando dar exemplos de cada atividade. Para além disso haverá lugar a um capítulo inteiramente dedicado à gestão do planeamento a nível de prazos e custos de uma das fases de execução do empreendimento. Essa gestão será realizada com recurso à ferramenta de gestão designada por Método EVM, incorporada no programa Microsoft Project 2013. Este método oferece a possibilidade de cálculo de vários indicadores de um projeto e será explicado de forma intuitiva, simples e completa, possibilitando a sua fácil consulta ao longo da vida profissional.

Un contrat pédagogique : l'entente sur mesures volontaires dans l'application de la Loi sur la protection de la jeunesse

"Thèse présentée à la Faculté des études supérieures en vue de l'obtention du grade de Docteur en droit (LL.D.)"

Essays on bootstrap in econometrics

Ma thèse est composée de trois essais sur l'inférence par le bootstrap à la fois dans les modèles de données de panel et les modèles à grands nombres de variables instrumentales #VI# dont un grand nombre peut être faible. La théorie asymptotique n'étant pas toujours une bonne approximation de la distribution d'échantillonnage des estimateurs et statistiques de tests, je considère le bootstrap comme une alternative. Ces essais tentent d'étudier la validité asymptotique des procédures bootstrap existantes et quand invalides, proposent de nouvelles méthodes bootstrap valides. Le premier chapitre #co-écrit avec Sílvia Gonçalves# étudie la validité du bootstrap pour l'inférence dans un modèle de panel de données linéaire, dynamique et stationnaire à effets fixes. Nous considérons trois méthodes bootstrap: le recursive-design bootstrap, le fixed-design bootstrap et le pairs bootstrap. Ces méthodes sont des généralisations naturelles au contexte des panels des méthodes bootstrap considérées par Gonçalves et Kilian #2004# dans les modèles autorégressifs en séries temporelles. Nous montrons que l'estimateur MCO obtenu par le recursive-design bootstrap contient un terme intégré qui imite le biais de l'estimateur original. Ceci est en contraste avec le fixed-design bootstrap et le pairs bootstrap dont les distributions sont incorrectement centrées à zéro. Cependant, le recursive-design bootstrap et le pairs bootstrap sont asymptotiquement valides quand ils sont appliqués à l'estimateur corrigé du biais, contrairement au fixed-design bootstrap. Dans les simulations, le recursive-design bootstrap est la méthode qui produit les meilleurs résultats. Le deuxième chapitre étend les résultats du pairs bootstrap aux modèles de panel non linéaires dynamiques avec des effets fixes. Ces modèles sont souvent estimés par l'estimateur du maximum de vraisemblance #EMV# qui souffre également d'un biais. Récemment, Dhaene et Johmans #2014# ont proposé la méthode d'estimation split-jackknife. Bien que ces estimateurs ont des approximations asymptotiques normales centrées sur le vrai paramètre, de sérieuses distorsions demeurent à échantillons finis. Dhaene et Johmans #2014# ont proposé le pairs bootstrap comme alternative dans ce contexte sans aucune justification théorique. Pour combler cette lacune, je montre que cette méthode est asymptotiquement valide lorsqu'elle est utilisée pour estimer la distribution de l'estimateur split-jackknife bien qu'incapable d'estimer la distribution de l'EMV. Des simulations Monte Carlo montrent que les intervalles de confiance bootstrap basés sur l'estimateur split-jackknife aident grandement à réduire les distorsions liées à l'approximation normale en échantillons finis. En outre, j'applique cette méthode bootstrap à un modèle de participation des femmes au marché du travail pour construire des intervalles de confiance valides. Dans le dernier chapitre #co-écrit avec Wenjie Wang#, nous étudions la validité asymptotique des procédures bootstrap pour les modèles à grands nombres de variables instrumentales #VI# dont un grand nombre peu être faible. Nous montrons analytiquement qu'un bootstrap standard basé sur les résidus et le bootstrap restreint et efficace #RE# de Davidson et MacKinnon #2008, 2010, 2014# ne peuvent pas estimer la distribution limite de l'estimateur du maximum de vraisemblance à information limitée #EMVIL#. La raison principale est qu'ils ne parviennent pas à bien imiter le paramètre qui caractérise l'intensité de l'identification dans l'échantillon. Par conséquent, nous proposons une méthode bootstrap modifiée qui estime de facon convergente cette distribution limite. Nos simulations montrent que la méthode bootstrap modifiée réduit considérablement les distorsions des tests asymptotiques de type Wald #$t$# dans les échantillons finis, en particulier lorsque le degré d'endogénéité est élevé.

La desensibilización sistemática como estrategia de intervención para la fobia a viajar en transporte aéreo.

Se pretende validar un programa de intervención de desensibilización sistemática en una fobia específica que tradicionalmente ha sido poco estudiada en el mundo de los tratamientos psicológicos, concretamente la fobia a viajar en avión. La muestra global de personas fóbicas seleccionadas estuvo compuesta por 73 personas, de las cuales 27 eran varones y 46 mujeres. Las edades oscilaban entre los 16 y los 59 años. En cuanto al nivel académico ninguna de estas personas poseían estudios inferiores a EGB. La muestra no fóbica estuvo compuesta por 46 personas de las cuales 20 eran varones y 26 mujeres, con edades comprendidas entre los 18 y los 63 años. Se utilizó en un primer momento un diseño experimental de medidas repetidas, aunque no todas las variables evaluadas en primer lugar pasaron un postest de evaluación. Concretamente las variables consideradas en el postratamiento fueron las derivadas de la intrumentación específica sobre el miedo a volar (IDG, FV, EMV, EPAVA, EPAVB, AS y registros psicofisiológicos) con la intención de evaluar los efectos directos del programa de tratamiento y los cuestionarios CAP-REL, IM, PSI-2 y ESEFAC con la intención de evaluar los efectos de generalización. Posteriormente se comparó la evolución acaecida en los grupos experimentales con un grupo no fóbico extremo. 1. Entrevista de información diagnóstica general para la fobia a volar (IDG-FV); 2. Instrumentos específicos sobre el miedo a volar: Escala de miedo a volar (EMV), Escala de Expectativas de Peligro y Ansiedad para el miedo a volar (EPAV-A y EPAV-B), Test de evaluación del miedo a volar a través de una situación análoga a un viaje en avión; 3. Instrumentos de evaluación psicopatológica: Inventario de síntomas psicopatológicos (PSI-2) y el Inventario de Miedos (IM); 4. Instrumentos de funcionamiento personal (nivel específico): Cuestionario de capacidad de relajación (CAP-REL); 5. Instrumentos de funcionamiento personal (nivel intermedio): Locus de control (LUCAM) y el cuestionario de Motivación y Ansiedad de Ejecución (MAE); 6. Instrumentos de funcionamiento personal (nivel básico): Cuestionario de Extroversión y Neuroticismo (E-N) y Cuestionario de Rigidez (R3); 7. Instrumentos de personalidad y expectativas de éxito terapéutico: ESEFAC y EVEX-MV. 1. Parece no existir entre las variables consideradas en este estudio alguna variable que por sí sola sea capaz de explicar con un amplio margen de posibilidades los resultados terapéuticos de este programa. Se impone, pues, en principio, una explicación de multideterminación predictiva del éxito terapéutico. 2. De los análisis correlacionales destacaron, por su relación con la variable éxito, la facilidad para relajarse, la tensión muscular durante el vuelo en la prueba análoga y la sintomatología hipocondriaca. 3. Todas las áreas analizadas contribuyeron en mayor o menor medida (en cuanto al número de factores implicados) a la predicción de los resultados terapéuticos. En este sentido destacan tres áreas por el número de contribuciones: los miedos (con cuatro factores implicados), y la sintomatología psiquiátrica y las estrategias de afrontamiento (ambas con tres factores implicados). 4. Al considerar una posible optimización multivariada del fenómeno predictivo, varios caminos se han abierto para futuras investigaciones. El programa de tratamiento parece haber logrado demostrar su eficacia para producir una modificación positiva y perdurable de este fenómeno fóbico. Los distintos análisis efectuados demuestran la utilidad del procedimiento para modificar un amplio repertorio de manifestaciones ansiosas, cognitivas y análogo-objetivas relacionadas íntimamente con este problema. También produce claros efectos de generalización sobre otras variables relacionadas con la capacidad de relajación en la vida cotidiana de personas tratadas, determinados miedos más o menos cercanos al trastorno en cuestión, y sobre ciertas estrategias pesimistas y de atribución externa en el afrontamiento del problema.

El entrenamiento en biofeedback como estrategia de intervención para la fobia a viajar en avión.

Diseñar un programa de entrenamiento en biofeedback, con el fin de eliminar o reducir el miedo a viajar en avión. Se utilizó una muestra de 56 personas fóbicas divididas en rupo de control de espera y de tratamiento, y un grupo de 46 personas no fóbicas. Se utilizó un diseño experimental de medidas repetidas de todas las variables a estudiar en tres momentos: pretratamiento, post-tratamiento y seguimiento. Se comparó también la evolución de los grupos experimentales frente al grupo de personas no fóbicas. Concretamente, las variables consideradas fueron las derivadas de la instrumentalización específica sobre el miedo a volar (IDG-FV, EMV, EPAV-A, EPAV-B, AS y registros psicofisiológicos), con la intención de evaluar los efectos directos del programa de tratamiento. Además se emplearon los cuestionarios CAP-REL, IM, PSI-2 y ESAFAC con el objetivo de valorar los posibles efectos de generalización. El tratamiento constaba de las siguientes fases: Primera Fase: pretratamiento: dos sesiones: presentación y toma de contacto con el programa, registro de respuestas psicofisiológicas y de estímulos visuales ansiógenos; Segunda Fase: Biofeedback, cinco sesiones: entrenamiento en auto-control de respuestas psicofisiológicas; Tercera Fase: cinco sesiones: exposición en imágenes ante estímulos ansiógenos con feedback por parte del terapeuta. 1. Entrevista de información diagnóstica general para la fobia a volar (IDG-FV); 2. Escala de miedo a volar (ENV); 3. Escala de expectativas de peligro y ansiedad para el miedo a volar; 4. Video-tape como situación análoga de un viaje en avión; 5. Cuestionario de ansiedad situacional (AS); 6. Cardioback; 7. Mioback; 8. Thermoback; 9. Inventario de Miedos (IM); 10. Inventario de saíntomas psicopatológicos (PSI-2); 11. Cuestionario de capacidad de relajación (CAP-REL); 12. Cuestionario sobre estrategias de afrontamiento (ESAFAC); 13. Cuestionario de expectativas de éxito terapéutico; 14. Paquete de 20 diapositivas relacionadas con distintos momentos de un vuelo en avión. Como conclusiones generales, y considerando lo que se desprende de los datos, podemos afirmar que el tratamiento-entrenamiento en biofeedback reduce no sólo de forma importante los niveles de miedo subjetivos, sino que en alguna ocasión los elimina totalmente. También incide en la reducción de sintomatología psicopatológica relacionada principalmente con el componente de ansiedad, y ha incidido de forma favorable en que las personas se perciban más autocontroladas, y se infravaloren y autocritiquen negativamente en menor medida. Sin embargo, tenemos que resaltar que hay un porcentaje de personas que no consiguen superar el problema, y también debemos contemplar el hecho de que tanto los registros psicofisiológicos como la ansiedad situacional, salvando el seguimiento, no establecen diferencias entre antes y después del tratamiento, así como tampoco en su comparación con el grupo control. Este tipo de tratamiento puede ser utilizado en aquellas personas cuyos niveles de miedo sean moderados y que exhiban una menor temperatura en la línea base, y en aquellas que posean un mayor nivel educativo que les permita 'comprender' mejor la terapia.

Prevalencia de patologías osteomusculares del miembro superior y su relación con factores ocupacionales en trabajadores de una empresa de flores. Bogotá 2015

Antecedentes: Las patologías osteomusculares del miembro superior son una importante causa de morbilidad laboral a nivel mundial y en nuestro país, particularmente en el sector de la floricultura. Del desarrollo de estos desórdenes se derivan importantes costos derivados del ausentismo laboral, incapacidades y secuelas. Objetivo: determinar la prevalencia de patología osteomuscular de miembro superior con calificación de origen de enfermedad laboral, en los trabajadores con diagnóstico de patología musculo esquelética de miembro superior y su relación con algunos factores ocupacionales y demográficos. Metodología: Estudio de corte transversal en el que se revisaron datos secundarios procedentes de una base de datos del servicio de salud ocupacional entre enero y mayo de 2015, correspondiente a 465 operarios (no administrativos) a término indefinido de una empresa floricultora de Bogotá, incluyendo únicamente aquellos trabajadores con patologías osteomusculares de miembro superior, que contaban con la clasificación en el diagnóstico ya sea como enfermedad laboral o enfermedad común y mayores de edad. Se excluyeron 19 trabajadores, quienes habían sido reubicados en nuevos sitios de trabajo y no se contó con la información para determinar su actividad antes de realizar el cambio. Se evaluaron las siguientes variables: sexo, edad, antigüedad y el cargo desempeñados por los operarios. La relación entre variables se realizó con la prueba de chi2 de Pearson. Se midió la magnitud de la asociación por medio de OR con sus respectivos intervalos de confianza del 95%. Resultados: Se incluyó a 373 operarios a término fijo, con una media de edad de 39 años (DE=5.55) y una media de antigüedad en el cargo de 6 años (DE=1.15). El 82.84% correspondió al sexo femenino. La prevalencia de enfermedad laboral osteomuscular de miembro superior fue del 54,4%. En el análisis de relación entre la calificación de la enfermedad, y demás variables (sexo, antigüedad en el cargo, edad, actividad desempeñada, localización de la lesión); se encontró que: estar entre los 40 a 49 años (OR= 1,7; IC-95%:1,12 – 2,79), diagnóstico de síndrome de manguito (OR= 4.45; IC-95%: 2.48 – 8.23) y el síndrome de túnel de carpo (OR= 4.22; IC-95%: 2.45 – 7.41) se asociaron a enfermedad laboral. Conclusiones: La prevalencia de enfermedad laboral de patología osteomuscular de miembro superior en los operarios de un cultivo de flores de la Sabana de Bogotá es del (54,4%). Se encontró una mayor asociación con el síndrome del manguito rotador y enfermedad laboral. No se encontró asociación entre la enfermedad laboral y la actividad desempeñada, el tiempo de exposición, ni con el sexo del trabajador.

Efeito da temperatura ambiente e da idade do frango sobre o valor energético do farelo de soja

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Agregação e viés em medidas de diversidade: uma abordagem computacional intensiva

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Enzimas exógenas em dietas para frangos de corte

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)