Tratado de operaciones quirúrgicas /

Contiene: Sección I: Operaciones elementales (XV, 404 p.) -- Sección II: Operaciones generales ó comunes (667 p.) -- Sección III: Operaciones especiales (913 p.)

Intervención estadounidense en África: de “huella reducida” a ofensiva combinada. En: LaRivada, V. 2, n° 2

La siguiente investigación tiene como fin exponer algunas de las múltiples actividades a través de las cuales se despliega la estrategia estadounidense de intervención en Africa, poniendo el acento en dos cuestiones: 1) aquellas acciones habilitantes de infraestructura, entrenamiento y asesoría a fuerzas locales, realizadas con el objeto de abaratar los costos políticos de la injerencia para el proyecto imperial y de cuidar los intereses corporativos ligados al modelo de acumulación extractivo; 2) aquellos programas que buscan incidir sobre la subjetividad de determinados segmentos poblacionales -para el Pentágono potencialmente insurgentes- a partir de una combinación y rediseño de elementos de represión con otros mecanismos de dominación cultural.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Optimización en el cómputos de algoritmos de cuadratura para funciones especiales. Optimization of quadrature algorithms for special functions.

En nuestro proyecto anterior aproximamos el cálculo de una integral definida con integrandos de grandes variaciones funcionales. Nuestra aproximación paraleliza el algoritmo de cómputo de un método adaptivo de cuadratura, basado en reglas de Newton-Cote. Los primeros resultados obtenidos fueron comunicados en distintos congresos nacionales e internacionales; ellos nos permintieron comenzar con una tipificación de las reglas de cuadratura existentes y una clasificación de algunas funciones utilizadas como funciones de prueba. Estas tareas de clasificación y tipificación no las hemos finalizado, por lo que pretendemos darle continuidad a fin de poder informar sobre la conveniencia o no de utilizar nuestra técnica. Para llevar adelante esta tarea se buscará una base de funciones de prueba y se ampliará el espectro de reglas de cuadraturas a utilizar. Además, nos proponemos re-estructurar el cálculo de algunas rutinas que intervienen en el cómputo de la mínima energía de una molécula. Este programa ya existe en su versión secuencial y está modelizado utilizando la aproximación LCAO. El mismo obtiene resultados exitosos en cuanto a precisión, comparado con otras publicaciones internacionales similares, pero requiere de un tiempo de cálculo significativamente alto. Nuestra propuesta es paralelizar el algoritmo mencionado abordándolo al menos en dos niveles: 1- decidir si conviene distribuir el cálculo de una integral entre varios procesadores o si será mejor distribuir distintas integrales entre diferentes procesadores. Debemos recordar que en los entornos de arquitecturas paralelas basadas en redes (típicamente redes de área local, LAN) el tiempo que ocupa el envío de mensajes entre los procesadores es muy significativo medido en cantidad de operaciones de cálculo que un procesador puede completar. 2- de ser necesario, paralelizar el cálculo de integrales dobles y/o triples. Para el desarrollo de nuestra propuesta se desarrollarán heurísticas para verificar y construir modelos en los casos mencionados tendientes a mejorar las rutinas de cálculo ya conocidas. A la vez que se testearán los algoritmos con casos de prueba. La metodología a utilizar es la habitual en Cálculo Numérico. Con cada propuesta se requiere: a) Implementar un algoritmo de cálculo tratando de lograr versiones superadoras de las ya existentes. b) Realizar los ejercicios de comparación con las rutinas existentes para confirmar o desechar una mejor perfomance numérica. c) Realizar estudios teóricos de error vinculados al método y a la implementación. Se conformó un equipo interdisciplinario integrado por investigadores tanto de Ciencias de la Computación como de Matemática. Metas a alcanzar Se espera obtener una caracterización de las reglas de cuadratura según su efectividad, con funciones de comportamiento oscilatorio y con decaimiento exponencial, y desarrollar implementaciones computacionales adecuadas, optimizadas y basadas en arquitecturas paralelas.

Adaptacions curriculars individualitzades (ACI) per a alumnes amb necessitats educatives especials derivades de discapacitats : propostes des d'una perspectiva inclusiva. 'Adaptaciones curriculares individualizadas (ACI) para alumnos con necesidades educativas especiales derivadas de discapacidades : propuestas desde una perspectiva inclusiva'

Aportar algunos aspectos sobre las finalidades de las adaptaciones del curriculum dirigidas a alumnos con necesidades educativas especiales derivadas de discapacidades. Expresar un conjunto de reflexiones sobre el significado de la terminolog??a relacionada con el tema. Presentar algunas propuestas para el tratamiento de los diferentes niveles de concreci??n del curriculum escolar correspondiente a la estapa de la educaci??n primaria a la hora de hacer adaptaciones para los alumnos con necesidades educativas especiales.. Adapataciones curriculares individualizadas para ni??os con necesidades educativas especiales.. Describe y analiza las opciones generales sobre curriculum para el alumnado con discapacidades en este momento en Catalu??a, pasando por una descripci??n de algunos procesos que han llevado a las actuales posiciones. Aborda algunas aportaciones sobre programaciones educativas individualizadas formuladas en otros ??mbitos educativos, con especial atenci??n a las adaptaciones de la escuela inclusiva. Desarrolla un conjunto de acotaciones sobre el significado de algunos t??rminos relacionados con las adaptaciones del curriculum en Catalu??a y en el estado espa??ol. Formula propuestas sobre los ACI en la educaci??n primaria. Expone una serie de argumentos a modo de conclusiones o consideraciones finales.. Bibliograf??a. Algunas de las pr??cticas y conceptualizaciones propias de un enfoque escolar inclusivo nos pueden proporcionar algunas claves para plantear o replantear aspectos vinculados a la atenci??n de la diversidad. Existe una gran complejidad en las operaciones y procesos que se pueden llevar a t??rmino para intentar ser coherentes con la estructura del curriculum y de su desarrollo en nuestro sistema educativo, esto lo vemos al examinar el PSAMEP. Los ACI no tienen mucha eficacia ni en la consecuci??n de las metas propuestas ni para cambiar pr??cticas dirigidas a la mejora de la atenci??n a todo el alumnado, si no se unen a otros tipos de medidas de ense??anza como las medidas generalizadas de diversificaci??n, medidas de individualizaci??n de la ense??anza, etc..

Los programas de mejora cognitiva en un currículum para alumnos con necesidades educativas especiales. Los programas de mejora cognitiva en el currículum adaptado para alumnos con necesidades educativas especiales.

Proyecto de elaboración de un Programa de Intervención Psicoeducativa integrado en las diferentes áreas del currículo que ayude a desarrollar las capacidades intelectivas básicas y a modificar las funciones cognitivas deficientes del alumnado de Educación Especial. Los objetivos son: adquirir una formación teórico-práctica sobre las teorías de la modificabilidad estructural cognitiva; y diseñar unos principios metodológicos basados en la solución de problemas, la creatividad, el razonamiento y la metacognición. En la experiencia participan de forma conjunta todos los miembros del claustro y también algunos especialistas que realizan aportaciones importantes. Se aplica el método socio-pedagógico de planificación colectiva para llevar a cabo un análisis y evaluación de las necesidades y, una vez definidas, elaborar los programas de intervención, estableciéndose así los principios generales y metodológicos del Proyecto Curricular de Etapa. La experimentación del programa en el aula se realiza con actividades de temática libre (Conocimiento del medio, Matemáticas, Lengua, etc.) sobre mejora cognitiva que impliquen diferentes operaciones mentales (identificación, comparación, ordenación y clasificación, etc.) y desarrollo de capacidades (manipulativa, gráfica, numérica, verbal, etc.). Así, tras su análisis en grupo se pasa a la fase de intervención o modificación para mejorar los niveles de eficacia. La valoración de la experiencia se lleva a cabo de forma periódica y al final mediante cuestionarios. Como propuesta de continuidad se propone aplicar a todas las áreas curriculares los principios sobre los que se asientan los programas de mejora cognitiva. Se incluyen en la memoria los principios elaborados y una secuencia de contenidos para el área de Matemáticas.

Enseñar Matemáticas a alumnos con necesidades educativas especiales.

Resumen basado en el de la publicación

Matemáticas para alumnos de Primaria con dificultades de aprendizaje III : numeración, operaciones y medida.

El desarrollo curricular constituye una aportación y recurso para quienes se interesan por la Educación matemática de los niños con necesidades educativas especiales en la Educación Primaria. Predomina una preocupación por la Psicología infantil y la Enseñanza de la aritmética escolar, presentando como características: ofrecer al maestro un marco de referencia eficaz y práctico para comprender el aprendizaje de la Matemática elemental por parte de los niños. Se ofrecen actividades específicas para estimular el aprendizaje y la enseñanza de las Matemáticas elementales. Se elabora una mezcla entre Psicología y Pedagogía, al mismo tiempo que teóricamente sofisticada, eminentemente práctica. Este desarrollo curricular es prolongación del realizado por los mismos autores de los niveles I y II..

Las nuevas tecnologías en el invernadero escolar : la interpretación de instrumentos y medidores climáticos por parte de los alumnos con necesidades educativas especiales.

No consta publicación

Biblioteca Aritmética de operaciones en Tiempo Real para Números en Coma Flotante

Lenguaje de alto nivel utilizado: Java

Herramientas de auditoría interna para los fondos de actividades especiales del sector público, orientadas a contribuir a la efectividad de su funcionamiento.

Las instituciones gubernamentales con el paso del tiempo han experimentado el reto de obtener mayores ingresos que permitan cubrir los gastos inherentes a su funcionamiento; también, al resultar limitadas con los recursos monetarios que les son otorgados por el Estado, emerge la necesidad de crear la figura de los Fondos de Actividades Especiales mejor conocidos como FAE’S, tal iniciativa surge en el año de 1953 en la “Ley General del Presupuesto” y es hasta el año de 1954 cuando se constituye el primer FAE. Por consiguiente, los FAE’S adquieren gran relevancia puesto a que las instituciones gubernamentales pueden crearlos, siempre y cuando cumpla con los requerimientos exigidos por la Ley; además, conviene destacar que tales fondos observan la peculiaridad de ser similares a pequeñas empresas privadas debido a que se les exigen formalidades legales diferentes a las del Ministerio del cual dependen, los que implica cumplir con aspectos gubernamentales, fiscales y financieros. En cuanto al objetivo principal de los Fondos de Actividades Especiales, se tiene la captación de ingresos mediante la venta de bienes y servicios que contribuya a cubrir los gastos de funcionamientos de los mismos e incluso generar superávit para transferirlos a la institución de quien dependen, resultando de esta manera que el FAE creado, posee la finalidad de inyectar más efectivo a las instituciones de gobierno, prueba de ello es que, mediante un análisis comparativo de los resultados obtenidos por éstos, se observó en la actualidad, un incremento sustancial de efectivo. Ahora bien, es primordial manifestar que para realizar el fin antes señalado, el uso de los recursos con eficiencia, economía y eficacia son un factor clave. Aunado a lo anterior, se observan los requerimientos de transparencia en cada operación que realizan los FAE’S; asimismo, se espera que hagan buen uso de los recursos monetarios asignados, que en su mayoría provienen de la población salvadoreña, por esta razón es importante que tales instituciones no se conviertan en un mecanismo para enriquecer a sus encargados, quienes representan la minoría, en consecuencia se afirma que es un grave error el restarle importancia por ser fondos adicionales al presupuesto; así pues, el trabajo de investigación está orientado al proceso de auditoría interna que permita contribuir en la efectividad del funcionamiento de las instituciones antes expresadas. La investigación de campo realizada y cuyo diagnóstico se presenta en el capítulo II, apoya la idea que la auditoría interna desarrollada en los FAE´S, carece del enfoque moderno que postula el promover la mejora continua en las operaciones realizadas, debido a que la mayor parte de auditores internos determina la estrategia de auditoría de forma generalizada dejando de lado las características específicas de las entidades antes señaladas. El capítulo III contiene el fin principal de la investigación, el cual es proporcionar a las Unidades de Auditoría Interna Gubernamental, una propuesta de herramientas especializadas que facilite su labor en los Fondos de Actividades Especiales, contribuyendo de esta manera a la efectividad en su funcionamiento. Finalmente, se presentan las conclusiones y recomendaciones, que derivan del análisis realizado a toda la información recabada.

Las Regiones "especiales" en el proceso de reforma de los tratados de la Unión Europea

El presente trabajo analiza el proceso de la Convención de la Unión Europea en relación con las llamadas “regiones especiales”, concepto que usan los autores para referirse a aquellas regiones “caracterizadas por una singularidad a nivel institucional, del sistema de partidos, lingüística o cultural, o en el nivel de conciencia colectiva (y la prueba demoscópica de todo ello), o en su preeminencia en el proceso europeo (como su presencia en foros y asociaciones, y su capacidad de propuesta y liderazgo)”. El objeto de este análisis es el estudio del desarrollo de esta noción y su significado en el proceso constitutivo de la Convención, así como su influencia, lo cual nos lleva de la Europa de las Regiones a la Europa con la Regiones.

Operaciones de prensa: [Barcelona'92]

Clase impartida por el director de la División de Operaciones de Prensa del COOB'92 en el curso universitario sobre Olimpismo organizado por el CEO-UAB en febrero de 1992 sobre la planificación de las operaciones de prensa en los Juegos Olímpicos de Barcelona'92.