12 resultados para Programas de Seguridad

em Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina


Relevância:

30.00% 30.00%

Publicador:

Resumo:

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Se examinará con un criterio sistemático e integrativo la regulación de la prescripción liberatoria en el derecho privado argentino, tanto a nivel legal como jurisprudencial, tanto en los códigos generales como en las leyes especiales, con el objeto de verificar si el sistema es simple o complejo, genera seguridad jurídica o se muestra desordenado e inseguro, es compatible con parámetros de justicia o conduce a resultados axiológicamente inaceptables, considera debidamente la situación de los débiles jurídicos o no los tiene en cuenta y da lugar a espacios de desprotección. Se realizará este estudio considerando los diferentes aspectos técnicos implicados (plazos, cómputo de plazos, interrupción, suspensión, requisitos, etc.), trazando un panorama general del sistema. Si del estudio realizado surge la imperfección o deficiencia del sistema, por resultar demasiado complejo, inseguro, injusto o insuficientemente tuitivo de los débiles jurídicos, se propondrán los criterios adecuados para maximizar su simplicidad, la satisfacción de la seguridad jurídica y la justicia y la adecuada tutela de los débiles, proyectando en caso de considerarse pertinente las reformas legales respectivas, con su respectiva fundamentación general y en particular.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El proyecto tiene por objetivo la aplicación de Tecnología en informáticas, electrónica y telecomunicaciones en Granjas Avícolas. En la actualidad las granjas cuentan con sistemas automáticos, que controlan la cantidad de alimento, la temperatura, y algunos otros parámetros que permiten el funcionamiento de las mismas. Pero no poseen un sistema integral que permita un control que optimice su funcionamiento, quedando el mismo a la pericia del encargado o del Granjero. Se ha constatado que en ciertas condiciones, debido a problemas no percibidos por los encargados, se produjeron muertes de pollos en cantidades importantes, por ejemplo la elevada temperatura en verano o la baja temperatura en invierno. Las granjas avícolas son muy sensibles a los cambios de temperatura y humedad. En general las condiciones ambientales incorrectas afectan a la producción. El desarrollo de sistemas informáticos y equipos que logren crear un clima controlado permitirá conseguir resultados óptimos en la producción. El proyecto plantea la aplicación de TIC, (Tecnologías en Informática y Comunicaciones) en particular las inalámbricas y el uso de Internet, para que las granjas puedan ser visualizadas y supervisadas simultáneamente por varias personas (propietarios, veterinarios, nutricionistas, etc.). La información estaría centralizada y se replicaría en distintos puntos, permitiendo responder ante eventos que puedan comprometer parcial o totalmente la producción. Además se pretende modelizar informativamente el sistema de crianza para poder simular eventos, estudiar las alternativas a ejecutar y garantizar la trazabilidad del ave desde que ingresa a la granja en su categoría pollito hasta que sale con destino al mercado. La flexibilidad de la tecnología a implementar permitirá ajustar el proceso de crianza de acuerdo con los requerimientos ambientales y nutricionales del pollo en las distintas etapas del crecimiento. La tecnología propuesta no pretende reemplazar al equipamiento instalado actualmente en las granjas, sino complementarlo, logrando de esta manera mejor eficiencia y mayor seguridad

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El problema que abordaremos es la transformación y la toma de decisiones en los procesos de formación y capacitación de las instituciones de seguridad, específicamente, los motivos y fundamentos de los cambios en los planes de estudios, en relación a los contenidos curriculares de los institutos de formación de los profesionales en seguridad. Esto sobre la hipótesis de que las organizaciones educativas policiales y penitenciarias han llevado a cabo transformaciones en su organización y gestión curricular para adecuarse a las nuevas demandas sociales y políticas. El objetivo del presente proyecto es analizar críticamente los contenidos curriculares de los institutos de formación y capacitación de la Policía y Servicio Penitenciario de la Provincia de Córdoba. Abordaremos el análisis de los planes de dichas instituciones en los últimos 10 años, sus modificaciones y criterios utilizados para responder a los nuevos escenarios sociales. Se hará una exploración de la información y la documentación existente en los ámbitos oficiales. Asimismo, la investigación contará con la realización de entrevistas y encuestas a directivos, docentes, alumnos y demás actores claves, con la finalidad de recabar la opinión de los mismos respecto de las transformaciones en la educación policial y penitenciaria. A partir del proyecto de investigación se pretende construir conocimiento acerca de las políticas educativas en el área de seguridad especialmente sobre la formación y capacitación de recursos profesionales específicos, dentro del ámbito local. De tal modo, se pretende aportar elementos teóricos de análisis al modo en que se han instituido la oferta educativa y las transformaciones en los planes de estudios en las instituciones de formación profesional de la seguridad y cómo éstos han sido implementados a la luz de los nuevos escenarios políticos y sociales. Esto nos permitirá aportar al incipiente campo de los estudios sobre la seguridad, específicamente sobre la formación de los profesionales en seguridad, poniendo a diposición de los responsables gubernamentales e institucionales un estudio que explora y sistematiza las transformaciones y fundamentos de la politica de educación en el campo de la seguridad provincial. Este desarrollo investigativo nos permitirá inagurar la actividad de producción de conocimiento dentro del ámbito académico de la Licenciatura en Seguridad de la Universidad Nacional de Villa María a través del presente proyecto que describirá el proceso de formación y capacitación policial y penitenciaria y los cambios que con el transcurso del tiempo se han verificado.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A través de la presente investigación, se procura organizar un Observatorio de Gestión de Riesgo de Desastres para la Provincia de Córdoba como un espacio de interacción entre la investigación académica y las prácticas políticas y ciudadanas en torno a los temas de gestión de riesgo desde la perspectiva de la seguridad humana. A través de las actividades realizadas por el Observatorio, tanto teóricas como prácticas, se intentará monitorear: 1. las políticas públicas sobre la gestión de riesgo de desastres de la Provincia de Córdoba (todos aquellos planes, programas y proyectos); 2. la preparación y administración de las emergencias y de los riesgos de desastres de la Provincia de Córdoba (latentes y manifiestos); 3. las prácticas ciudadanas de la Provincia de Córdoba en torno a la temática (percepción del riesgo y la participación de la gestión del riesgo); Este monitoreo busca como fin evaluar críticamente los tópicos antes mencionados con vistas a futuras recomendaciones y/o asesoramiento para la implementación de políticas públicas. Asimismo, el Observatorio funcionaría como un ámbito propicio para la generación de conocimiento y de pensamiento crítico acerca de la cultura del riesgo en la sociedad cordobesa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A través de la presente investigación se procura organizar un Observatorio de Gestión de Riesgo de Desastres para la Provincia de Córdoba, como un espacio de interacción entre la investigación académica, y las prácticas políticas y ciudadanas en torno a los temas de gestión de riesgo desde la perspectiva de la seguridad humana. A través de las actividades realizadas por el Observatorio, tanto teóricas como prácticas, se intentará monitorear: 1. las políticas públicas sobre la gestión de riesgo de desastres de la Provincia de Córdoba (todos aquellos planes, programas y proyecto). 2. la preparación y administración de las emergencias y de los riesgos de desastres de la Provincia de Córdoba (latentes y manifiestos). 3. las prácticas ciudadanas de la Provincia de Córdoba en torno a la temática (percepción del riesgo y la participación de la gestión del riesgo). Este monitoreo busca como fin evaluar críticamente los tópicos antes mencionados con vistas a futuras recomendaciones y/o asesoramiento para la implementación de políticas públicas. Asimismo, el Observatorio funcionaría como un ámbito propicio para la generación de conocimiento y de pensamiento crítico acerca de la cultura del riesgo en la sociedad cordobesa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La Gestión del Riesgo de Desastres es una una temática actual en nuestra sociedad y en el mundo moderno, y que en la Ciudad de Córdoba tiene una incumbencia particular debido a la importancia del nivel local de gobierno en este temática. A través de la presente investigación se procura realizar un diagnóstico de las capacidades institucionales del Gobierno de la Ciudad de Córdoba para la Gestión del Riesgo de Desastres, pensado como un espacio de interacción entre la investigación académica, y las prácticas políticas y ciudadanas en torno a los temas de gestión de riesgo desde la perspectiva de la seguridad humana. A partir de ello se intentará identificar: 1. las políticas públicas que orienten hacia la gestión del riesgo de desastres a nivel local (todos aquellos planes, programas y proyectos). 2. la preparación y administración de las emergencias y de los riesgos de desastres de la Ciudad de Córdoba (latentes y manifiestos). Este diagnóstico tiene como fin evaluar críticamente los tópicos antes mencionados con vistas a futuras recomendaciones y/o asesoramiento al Gobierno de la Ciudad de Córdoba para la implementación de políticas públicas. Asimismo, el grupo busca funcionar como un ámbito propicio para la generación de conocimiento y de pensamiento crítico acerca de la cultura del riesgo en la sociedad cordobesa.