Catálogo de publicaciones

El software distribuido que resulta de los nuevos paradigmas que están emergiendo, tales como el de computación orientada a servicios (SOC), computación en la nube e internet de las cosas, está transformando el mundo de los sistemas de software de modo de dar soporte a aplicaciones capaces de responder y adaptarse a los cambios en su entorno de ejecución, dando impulso a lo que se conoce como la economía de las APIs. La idea que subyace a la economía de las APIs es que es posible construir piezas de software a partir de componer servicios previamente registrados en repositorios y provistos por terceros. Esto promete una generación de aplicaciones ejecutando sobre recursos computacionales y una infraestructura de comunicación globalmente distribuidos que, en tiempo de ejecución son reconfiguradas dinámica y transparentemente mediante la intervención de un middleware dedicado. Esta reconfiguración está sujeta a la negociación de un acuerdo de nivel de servicio - SLA [25]. En este paradigma los servicios de software son accedidos a través de sus APIs. Muchos de los aspectos relacionados con la provisión de fundamentos formales y herramientas para dar soporte a estos nuevos paradigmos han sido resueltos en los últimos años [66], sin embargo algunos permanecen abiertos. En particular la habilidad para proveer una infraestructura capaz de llevar a cabo los procesos de discovery y bindig de manera completamente automática es aún un desafío abierto [33, 59]. En esta tesis contribuimos a este objetivo haciendo foco en dos aspectos del problema: (1) la provisión de elementos formales capaces de capturar las particularidades de estos paradigmas siendo la más relevante el hecho de que no es posible saber en tiempo de diseño qué servicio, si es que alguno, podrá satisfacer un determinado requerimiento y (2) la necesidad de ser capaces de determinar en tiempo de ejecución si existe un servicio particular, en un repositorio dado, capaz de satisfacer un determinado requerimiento. Como contribución al punto (1) proporcionamos una semántica operacional para las Asynchronous Relational Networks [24] que captura tanto las transiciones internas como las acciones de reconfiguración que ocurren durante la ejecución de un servicio. También extendimos esta semántica con la habilidad para capturar reconfiguraciones no incrementales con respecto a la estructura, de modo de dar soporte a la falta de confiabilidad derivada de la infraestructura de ejecución. Como contribución al punto (2) exploramos el uso de CFSMs [9] en nuestro modelo para expresar tanto requerimientos como contratos de provisión de servicio. De esta manera recurrimos al mecanismo dado en [38] para proveer un chequedo de interoperabilidad automático para servicios. También extendimos las CFSMs y las equipamos con datos y condiciones de tipo asunción/garantía en la forma de fórmulas de primer orden sobre esos datos. De este modo transformamos a las CFSMs en un mecanismo apropiado para expresar y chequear contratos funcionales restringidos.

El objetivo principal de esta Tesis está centrado en el estudio de las fluctuaciones cuánticas de vacío y en particular del efecto Casimir para situaciones fuera del equilibrio. Para ello, en el presente trabajo se combinan, básicamente, dos métodos funcionales de gran poder: por una parte, se utiliza el formalismo de integrales de camino temporal cerrado (ó CTP de sus siglas en inglés) para el estudio de la evolución temporal de valores medios cuánticos; mientras que por otro lado, se incorpora el formalismo de la funcional de influencia de Feynman y Vernon como herramienta fundamental para el tratamiento de la dinámica de sistemas cuánticos abiertos. En una primera parte, se analizó una de las posibles formas de abordar el efecto Casimir en medios disipativos en un régimen estacionario y de equilibrio térmico, mediante un formalismo de cuantización canónica en el estado estacionario. En este punto, discutimos los posibles modelos físicos de permitividad de los medios materiales, conectando natural y necesariamente la teoría del movimiento Browniano cuántico al problema de la fuerza de Casimir con medios materiales reales. Luego, y como modelo más cercano al que representa el interés de la tesis, planteamos un problema de condiciones iniciales para un campo escalar en interacción con grados de libertad que representan a las principales propiedades de la materia. En este modelo, obtuvimos el régimen estacionario como el límite de tiempos largos, lo que nos llevó a una formulación conceptualmente correcta para la cuantización canónica en el límite estacionario. Posteriormente, extendimos el enfoque al caso del campo electromagnético. Logramos resolver las dificultades propias que impone un campo de gauge de tipo vectorial al momento de cuantizar, y ganamos generalidad en los modelos de medios materiales al poder representar materiales anisótropos (birrefringencia). Finalmente, a partir del formalismo desarrollado y de los modelos planteados, estudiamos el caso del efecto Casimir en su situación más realista: consideramos un campo electromagnético en interacción con materia en un contexto fuera del equilibrio. Abordamos el problema de dos placas paralelas semi-infinitas (problema de Lifshitz) de forma completa, estudiando al mismo tiempo varios de sus aspectos termodinámicos. Obtuvimos fórmulas analíticas exactas, demostrando que el estado estacionario de dicho escenario presenta dos contribuciones para la presión, una asociada a las condiciones iniciales del campo y la otra asociada a los baños térmicos que actúan de entorno sobre el material de las placas. Al mismo tiempo, la transferencia de calor (estudiada a través del vector de Poynting) presenta sólo una de las contribuciones, la asociada a los baños térmicos. Palabras claves: teoría de campos fuera del equilibrio - efecto Casimir - cuantización - sistemas cuánticos abiertos

Se analizan críticamente la detinición del estado de vacio u la renormalización del tensor energía-momento para la teoría cuántica de un campo escalar en presencia de un campo gravitatorio clásico; introducido a través de la geometria de fondo segun los métodos de la teoría de la relatividad general. El enfoque desarrollado se basa en la construcción explícita de todos los propagadores del campo escalar cuyo comportamiento local sea una generalización geométrica de la estructura, para longitud de arco geodésica pequeña, del propagador análogo para la misma teoria en el espacio de Minkomski. Se demuestra que no existe ningún propagador para campos no masivos con ese comportamiento en una geometria de fondo arbitraria, si bien la restricción a la Familia de métricas con tensor de Weyl nulo permite llevar a cabo la construcción propuesta. S establece la conexión entre este resultado y la imposibilidad de Formular una prescripción de renormalización geométrica tal que las divergencias eliminadas no resulten acompañadas por una contribución finita a la traza del tensor energia-momento, hecho que engendra el fenómeno conocido como anomalía de traza. Se manifiestan también, a partir de los resultados obtenidos, los aspectos no-covariantes de la definición del estado de vacio. Se particularizan luego los enfoques propuestos a universos de Robertson-Walker especialmente planos. Se demuestra, hasta el orden perturbativo involucrado en el proceso de renormalización, que el propagador obtenido mediante el desarrollo adiabático de los modos normales del campo coincide con el que determina el formalismo de tiempo propio, que es un propagador geométrico a partir del cual suele basarse el proceso de renormalizacidn. Se formula una hipótesis mínima que debe cumplir todo candidato a estado de vacio alternativo: las divergencias del tensor energía-momento en ese estado deben ser las mismas que las originadas en el vacio adiabático. La exigencia adicional de minimización instantánea de la energia sólo puede ser verificada si el acoplamiento del campo escalar con la curvatura es de tipo conforme. Finalmente se obtienen expresiones formales para el valor de expectación del tensor energia-momento, identificando un término de polarización y otro debido a las particulas creadas por la expansión del universo, en el estado cuántico que corresponde a la ausencia de particulas en la singularidad cosmológica. A partir de esas expresiones se desprenden conclusiones acerca de las condiciones de contorno que ese estado cuántico representa para la solución de un problema cosmológico.

Las aplicaciones de técnicas provenientes de la Geometría Diferencial moderna y la Topología han ayudado a una mayor comprensión de los problemas provenientes de la teoría de Sistemas Dinámicos. Estas aplicaciones han reformulado la mecánica analítica y clásica en un lenguaje geométrico que junto a nuevos métodos analíticos, topológicos y numéricos conforman una nueva área de investigación en matemática y física llamada Mecánica Geométrica. La Mecánica Geométrica se configura como un punto de encuentro de disciplinas diversas como la Mecánica, la Geometría, el Análisis, el Álgebra, el Análisis Numérico, las Ecuaciones en Derivadas Parciales, entre otras. Actualmente, la Mecánica Geométrica es un área de investigación pujante con fructíferas conexiones con otras disciplinas como la Teoría de Control no-lineal y los Sistemas Dinámicos. El objetivo de la Teoría de Control es determinar el comportamiento de un sistema dinámico por medio de acciones externas de forma que se cumplan ciertas condiciones prefijadas, como por ejemplo, que haya un extremo fijo, los dos, que ciertas variables no alcancen algunos valores u otro tipo de situaciones más o menos complicadas. Las aplicaciones de la Mecánica Geométrica en Teoría de Control han causado grandes progresos de esta área de investigación. Por otro lado, los sistemas híbridos son sistemas dinámicos que poseen dos componentes particulares en su dinámica: una dinámica a tiempo continua y una dinámica discreta. Estos sistemas son capaces de modelar varios sistemas ingenieriles como por ejemplo robots bípedos y el trabajo cooperativo con drones. La teoría de reducción es uno de los temas más estudiados de la Mecánica Geométrica. El punto de partida de todos los trabajos que estudian este tema es eliminar variables asociadas con un grupo de simetrías para reducir los grados de libertad de un sistema mecánico. En Mecánica Geométrica, las variedades simplécticas son utilizadas como espacios de fases de momentos, es decir, fibrados cotangentes en un espacio de configuración Q. En ese caso, las variedades simplécticas son los espacios naturales en las cuales se realiza la formulación Hamiltoniana de la Mecánica Clásica en el sentido autónomo. Dado un grupo de Lie, si el grupo de Lie actúa en Q, entonces se puede reducir la variedad simpléctica con respecto a la correspondiente acción levantada al cotangente y la aplicación momento canónica. Una de la formulaciones modernas de la teoría de reducción es conocida como reducción simpléctica o reducción de Marsden-Weinstein. La idea principal es la siguiente: suponer que un grupo de Lie actúa simplécticamente en una variedad simpléctica y que la aplicación momento está dada. El conjunto de nivel de esta aplicación, está equipado con una 2-forma canónica cerrada que generalmente no es no-degenerada. Bajo ciertas condiciones, se puede cocientar con respecto al grupo de isotropía para así eliminar las variables degeneradas y obtener una nueva 2-forma que resulta ser simpléctica. En el marco de sistemas que dependen explícitamente del tiempo, la situación es diferente. El espacio de configuraciones es una variedad diferenciable con su parte en el conjunto de números reales. Uno puede pensar en aplicar nuevamente los resultados conocidos a este nuevo marco y realizar una teoría análoga dependiente en el tiempo. En esta Tesis, el estudio de reducción por simetrías para sistemas Lagrangianos y Hamiltonianos híbridos es desarrollado en profundidad generalizando los resultados ya conocidos. Todos los distintos procesos de reducción que aparecen en mecánica de sistemas a tiempo continuo, de una u otra manera, pueden ser llevados a cabo en el contexto híbrido y así conseguir un sistema equivalente (que luego recuperará la solución del original) más fácil de resolver. El presente trabajo de investigación incluye nuevos resultados en el área de la Mecánica Geométrica que permiten el estudio de sistemas mecánicos (en particular sobre técnicas de reducción aplicadas en distintos contextos), su aplicación a la teoría de control y a los sistemas híbridos con y sin dependencia del tiempo. Presentamos una nueva formulación geométrica para la dinámica de los sistemas mecánicos de orden superior reducidos y la existencia de términos magnéticos, tanto en estos sistemas como en los sistemas mecánicos híbridos, que aparecen luego de aplicar un proceso de reducción Hamiltoniana. El trabajo desarrollado en esta Tesis contribuye a la Mecánica de Orden Superior, la Mecánica Discreta, la Teoría de reducción, la estabilidad y reducción de los Sistemas Mecánicos Híbridos, la Geometría Cosimpléctica y la Teoría de Control Geométrico.

Hemos estudiado algunos aspectos de la cuantificación de la gravedad. Utilizando la teoría de concomitantes, encontrarnos un teorema que generaliza el teorema de Weyl, resolviendo rigurosa y unívocamente el problema del lagrangiano de las teorías semiclásicas. Estudiamos, también haciendo uso de la teoría de concomitantes, expresiones para el valor renormalizado del campo escalar al cuadrado en cuatro y seis dimensiones. Finalmente nos ocupamos de las modificaciones que producen los cambios de topología en la teoría de campos. Hallamos las soluciones de la ecuación de campo, las funciones de Green y el valor renormalizado del tensor de energía-impulso, para el caso de observadores acelerados cualesquiera en un espacio-tiempo en el que se han realizado identificaciones antipodales. Relacionamos el problema de la norma nula de los elementos de la base de Fock con la presencia de horizontes de eventos y la periodicidad de las funciones de Green con la existencia de simetría esférica.

El estudio de las alteraciones bioquímicas y hematimétricas que sufre la sangre entera (SE) durante su almacenamiento es un objetivo importante en Hematología. Conocer los cambios que experimentan células como los glóbulos rojos (GR) permite determinar los períodos máximos de estabilidad de la misma. Una de las maneras de prolongar el tiempo de conservación de la SE es mediante la estabilización de las membranas de las células. En 1991, fue propuesta por Reardon et al., una muestra de sangre entera estabilizada con una mezcla de glutaraldehído y formaldehído (SEE). En este Trabajo de Tesis se estudiaron parámetros hematimétrícos, morfológicos y bioquímicos en 12 lotes de SEE almacenada a 4°C midiendo diferentes variables, cada 10 días, por un período de 4 meses, con la finalidad de profundizar en el conocimiento de las alteraciones de dichos parámetros y definir los límites de estabilidad de los mismos.

El objetivo del trabajo integrador final fue analizar la actividad del escribano como contribuyente y como agente de retención e información en los distintos impuestos nacionales, provinciales y municipales. Asimismo se trataron temas relacionados con los recursos de la seguridad social, procedimiento tributario, entre otros, vinculados a la actividad notarial.

Partiendo del supuesto que la protección de la salud no es una fase escindida del proceso de especialización de derechos humanos y que el respeto a la coherencia interna es un estándar esperable de todo sistema, esta investigación analiza la naturaleza jurídica del ejercicio de las competencias profesionales del ingeniero biomédico en Argentina, describe, armoniza y contrasta la actividad de estos profesionales con los principios fundamentales de un sistema democrático, y describe y analiza el derecho al acceso a la tecnología médica desde la perspectiva de los mecanismos de tutela en derecho internacional de derechos humanos que ponen en foco al paciente como centro del sistema normativo. En la primera sección se delimita el campo epistemológico. En la segunda, se exponen los conceptos fundamentales que operan en la tesis. Posteriormente, se estudian los sujetos del sistema sanitario argentino. Luego, se analizan las competencias profesionales en materia de higiene y seguridad hospitalaria; en la producción, comercialización, importación y exportación de Productos Médicos; y, en instalaciones eléctricas domiciliarias en la Ley 27351. El último capítulo desarrolla una teoría de responsabilidad civil por mala praxis del ingeniero biomédico en el ejercicio de sus competencias profesionales. Se culmina la tesis con las conclusiones generales.