Equações de onda generalizadas e quantização funtorial para teorias de campo escalar livre

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre.

Método da propagação de feixe de ângulo largo para análise de guias de ondas ópticos não-lineares

Este trabalho propõe uma extensão do método de propagação de feixe (BPM - Beam Propagation Method) para a análise de guias de ondas ópticos e acopladores baseados em materiais não-lineares do tipo Kerr. Este método se destina à investigação de estruturas onde a utilização da equação escalar de Helmholtz (EEH) em seu limite paraxial não mais se aplica. Os métodos desenvolvidos para este fim são denominados na literatura como métodos de propagação de feixe de ângulo largo. O formalismo aqui desenvolvido é baseado na técnica das diferenças finitas e nos esquemas de Crank-Nicholson (CN) e Douglas generalizado (GD). Estes esquemas apresentam como característica o fato de apresentarem um erro de truncamento em relação ao passo de discretização transversal, Δx, proporcional a O(Δx2) para o primeiro e O(Δx4). A convergência do método em ambos esquemas é otimizada pela utilização de um algoritmo interativo para a correção do campo no meio não-linear. O formalismo de ângulo largo é obtido pela expansão da EEH para os esquemas CN e GD em termos de polinômios aproximantes de Padé de ordem (1,0) e (1,1) para CN e GD, e (2,2) e (3,3) para CN. Os aproximantes de ordem superior a (1,1) apresentam sérios problemas de estabilidade. Este problema é eliminado pela rotação dos aproximantes no plano complexo. Duas condições de contorno nos extremos da janela computacional são também investigadas: 1) (TBC - Transparent Boundary Condition) e 2) condição de contorno absorvente (TAB - Transparent Absorbing Boundary). Estas condições de contorno possuem a facilidade de evitar que reflexões indesejáveis sejam transmitidas para dentro da janela computacional. Um estudo comparativo da influência destas condições de contorno na solução de guias de ondas ópticos não-lineares é também abordada neste trabalho.

A gauge theory for continuous spin particles

In this dissertation we explore the features of a Gauge Field Theory formulation for continuous spin particles (CSP). To make our discussion as self-contained as possible, we begin by introducing all the basics of Group Theory - and representation theory - which are necessary to understand where the CSP come from. We then apply what we learn from Group Theory to the study of the Lorentz and Poincaré groups, to the point where we are able to construct the CSP representation. Finally, after a brief review of the Higher-Spin formalism, through the Schwinger-Fronsdal actions, we enter the realm of CSP Field Theory. We study and explore all the local symmetries of the CSP action, as well as all of the nuances associated with the introduction of an enlarged spacetime, which is used to formulate the CSP action. We end our discussion by showing that the physical contents of the CSP action are precisely what we expected them to be, in comparison to our Group Theoretical approach.

Reutilización del Treebank de dependencias del euskera para la construcción del gold standard de la sintaxis superficial de la gramática de restricciones (CG)

El objetivo del trabajo consiste en reutilizar el Treebank de dependencias EPECDEP (BDT) para construir el gold standard de la sintaxis superficial del euskera. El paso básico consiste en el estudio comparativo de los dos formalismos aplicados sobre el mismo corpus: el formalismo de la Gramática de Restricciones (Constraint Grammar, CG) y la Gramática de Dependencias (Dependency Grammar, DP). Como resultado de dicho estudio hemos establecido los criterios lingüísticos necesarios para derivar la funciones sintácticas en estilo CG. Dichos criterios han sido implementados y evaluados, así en el 75% de los casos se derivan automáticamente las funciones sintácticas para construir el gold standard.

Contribuciones al estudio analítico del movimiento de rotación de una Tierra deformable

Esta memoria para optar al grado de doctor por la Universidad de Alicante, en el área de Matemática Aplicada, se divide en ocho capítulos. En los cuatro primeros se lleva a cabo una revisión del problema de la rotación de la Tierra rígida y elástica, en formalismo hamiltoniano, y se introducen algunas alternativas originales a la construcción de ciertos elementos de la teoría. En los otros cuatro se presentan nuevas contribuciones al estudio analítico de los movimientos de precesión y nutación de la Tierra deformable. Estas se pueden agrupar en dos categorías: la obtención de fórmulas que describen el movimiento de rotación del eje de figura, que completan las existentes hasta la fecha, y la extensión del formalismo para hacerlo compatible con modelos reológicos de la Tierra más generales.

Uso de metamaterial em antenas de microfita com supercondutor

Metamaterials have attracted great attention in recent decades, due to their electromagnetic properties which are not found in nature. Since metamaterials are now synthesized by the insertion of artificially manufactured inclusions in a specified homogeneous medium, it became possible for the researcher to work with a wide collection of independent parameters, for example, the electromagnetic properties of the material. An investigation of the properties of ring resonators was performed as well as those of metamaterials. A study of the major theories that clearly explain superconductivity was presented. The BCS theory, London Equations and the Two-Fluid Model are theories that support the application of superconducting microstrip antennas. Therefore, this thesis presents theoretical, numerical and experimental-computational analysis using full-wave formalism, through the application of the Transverse Transmission Line – LTT method applied in the Fourier Transform Domain (FTD). The LTT is a full wave method, which, as a rule, obtains the electromagnetic fields in terms of the transverse components of the structure. The inclusion of the superconducting patch is performed using the complex resistive boundary condition. Results of resonant frequency as a function of antenna parameters are obtained. To validate the analysis, computer programs were developed using Fortran, simulations were created using the commercial software, with curves being drawn using commercial software and MATLAB, in addition to comparing the conventional patch with the superconductor as well as comparing a metamaterial substrate with a conventional one, joining the substrate with the patch, observing what improves on both cas

Bi anisotropia em antenas de microfita retangular e estruturas circulares modificadas

The microstrip antennas in your simplest form consist of a ground plane and a dielectric substrate which supports a conductive tape. As these antennas have some limitations, this work presents a study of anisotropic substrates, as well as some results in microstrip antennas with circular patch, aiming to overcome these limitations, especially in applications at 4G technology. These anisotropic substrates are those in which electrical permittivity and magnetic permeability are represented by tensors of second order. The study consists of a theoretical analysis of substrates and development of a mathematical formalism, the Transverse Transmission Line Method, aimed the application of these substrates in microstrip antennas. Among the substrates used in this study, there are the ferrimagnetic and metamaterials, in which some miniaturizations of the antennas are achieved. For antennas with circular patch, are considered arrays and modified ground planes in order to achieve improvement in parameters, in particular, gain and bandwidth. Several simulations have been made and antennas were constructed so that the measured values could be compared with the simulated values.

Metodologia para análise da dependabilidade de Smart Grids

Smart Grids are a new trend of electric power distribution, the future of current systems. These networks are continually being introduced in order to improve the reliability of systems, providing alternatives to energy supply and cost savings. Faced with increasing electric power grids complexity, the energy demand and the introduction of alternative sources to energy generation, all components of system require a fully integration in order to achieve high reliability and availability levels (dependability). The systematization of a Smart Grid from the Fault Tree formalism enable the quantitative evaluation of dependability of a specific scenario. In this work, a methodology for dependability evaluation of Smart Grids is proposed. A study of case is described in order to validate the proposal. With the use of this methodology, it is possible to estimate during the early design phase the reliability, availability of Smart Grid beyond to identify the critical points from the failure and repair distributions of components.

Função compras no setor público: fatores preponderantes para o alcance da celeridade dos pregões eletrônicos da Base Aérea de Natal

This study discusses the issue of deadlines in the purchasing process within the Federal Public Administration. Your main goal is to analyze the main factors that influenced, mainly in the implementation of sub-phases of electronic trading in BANT, in 2014, as service to the principle of celerity. The research is descriptive since they were identified and analyzed the factors that influenced in terms of purchases, through direct observation and interviews. Based on the theoretical framework, the purchasing function, four dimensions of analysis were established: "Legislation and procurement processes", "Structure and Organization of the purchasing department", "purchasing systems" and "Human Resources of the purchasing department." Analysis showed that, unlike what happens in the private sector, the public procurement sector has not reached a strategic status within organizations, which brings harmful consequences to the speed of the purchases. It was found that there is a need for greater involvement of the purchasing department staff and criers in the formulation of the organization's purchasing strategies and that these purchases elements present, about their attitudes, a hybrid profile, proactive regarding specifications of the items, but reactive in relation to the need to urgently purchase, due to the lack of a better plan, which overloads the work of the sector. The observation of these strategic aspects of the procurement function in BANT influenced the finding that the lack of staff and expertise in investments plus the lack of rigor and formality of legislation, among other factors, contributed mainly to the lack of speed of processes.

Co-simulación HW/SW en Raspberry Pi

En el mundo de la simulación existen varios tipos de sistemas reales, entre los que se encuentran los sistemas de eventos discretos. Para poder simular estos sistemas se pueden utilizar, entre otras, herramientas basadas en el formalismo DEVS (Discrete EVents system Specification), como la utilizada en este proyecto: xDEVS. La simulación posee una importancia muy elevada en campos como la educación y la ciencia, y en ocasiones es necesario incluir datos del medio físico o sacar información al exterior del simulador. Por ello es necesario contar con herramientas que puedan realizar simulaciones utilizando sensores, actuadores, circuitos externos, etc., o lo que es lo mismo, que puedan realizar co-simulaciones entre software y hardware. De esta forma se puede facilitar el desarrollo de sistemas por medio de modelado y simulación, pudiendo extraer el hardware gradualmente y analizar los resultados en cada etapa. Este proyecto es de carácter incremental, y trata de extender la funcionalidad de la plataforma xDEVS para poder realizar co-simulaciones entre hardware y software sobre una Raspberry Pi. Para ello se van a utilizar circuitos lógicos como hardware externo y se enlazarán al simulador a través de ficheros de dispositivo, gestionados por módulos del kernel de Linux. Como caso de estudio se desarrolla la co-simulación entre hardware y software completa de un ascensor de siete plantas para mostrar el uso y funcionamiento en xDEVS, extrayendo los circuitos integrados de uno en uno.

Einige Erwägungen zur juristischen Untersuchung in Mexiko

Die neuen Paradigmen der Rechtswissenschaft nötigen uns beim Erwerb juristischen Wissens dazu, uns in eine kreativere und problemorientiertere Dynamik des Lehrens-Lernens einzugliedern. Die neuen Generationen der Rechtsgelehrten sollten darum bemüht sein, die verschiedenen theoretisch-methodologischen Strömungen des Rechts, z.B. des juristischen Realismus, den juristischen Strukturalismus sowie die angewandte juristische Soziologie zu studieren und zu analysieren. Andererseits sollten sie nicht dogmatisch und ausschliesslich den juristischen Positivismus des 19. Jahrhunderts vertreten. Die juristischen Fakultäten und Schulen der Republik Mexiko zeichnen sich dadurch aus, dass sie die traditionelle juristische Lehre bewahren. Darin liegt der Grund, dass es nur wenige Juristen gibt, die sich der juristischen Forschung und der wissenschaftlichen Praxis widmen.

Perfil de complejidad aplicado al modelamiento de procesos de negocio

En el presente trabajo se aplica el perfil de complejidad al modelamiento de procesos de negocio, desarrollado a partir del formalismo de Event-driven Process Chain (EPC). Al ser el perfil de complejidad una función de la información mutua entre elementos de un sistema, para cada nivel de escala de este, su aplicación al modelamiento de procesos permitirá establecer cuánta información recogen estos y cómo se distribuye esta información en cada posible secuencia de sus subprocesos. Se explora, en un inicio, las características cualitativas que tiene dicho perfil según cómo se encuentre estructurado el diagrama y qué significado esconden las estructuras más básicas con las que puede construirse un proceso. En la medida en que el modelado de procesos se realiza con el objetivo de optimizar el funcionamiento de un negocio, la aplicación del perfil de complejidad podrá ofrecer también una medida cuantitativa con la cual establecer cuánto afecta en el resultado final la modificación de un subproceso.

Argumentación jurídica y estado constitucional

ARGUMENTACION JURIDICA Y ESTADO CONSTITUCIONAL 1. La tesis de que existe una estrecha relación entre el Estado constitucional y la argumentación jurídica no pasa de ser una obviedad, pero quizás no sea ya tan obvio precisar como hay que entender esa relación. Como se sabe, por “Estado constitucional” no se entiende simplemente el Estado en el que está vigente una constitución, sino el Estado dotado de una Constitución (o incluso sin una constitución en sentido formal, sin un texto constitucional) con ciertas características: la constitución del “Estado constitucional” no supone sólo la distribución formal del poder entre los distintos órganos estatales (el “principio dinámico del sistema jurídico-político” [véase, Aguiló 2.001]), sino la existencia de ciertos contenidos (los derechos fundamentales) que limitan o condicionan la producción, la interpretación y la aplicación del Derecho. El Estado “constitucional” se contrapone así al Estado “legislativo”, puesto que ahora el poder del legislador (y el de cualquier órgano estatal) es un poder limitado y que tiene que justificarse en forma mucho más exigente. No basta con la referencia a la autoridad (al órgano competente) y a ciertos procedimientos, sino que se requiere también (siempre) un control en cuanto al contenido. El Estado constitucional supone así un incremento en cuanto a la tarea justificativa de los órganos públicos y, por tanto, una mayor demanda de argumentación jurídica (que la requerida por el Estado liberal de Derecho). En realidad, el ideal del Estado constitucional supone el sometimiento completo del poder al Derecho, a la razón: el imperio de la fuerza de la razón, frente a la razón de la fuerza. Parece por ello bastante lógico que el avance del Estado constitucional haya ido acompañado de un incremento cuantitativo y cualitativo de la exigencia de justificación de las decisiones de los órganos públicos; y que el desarrollo de la teoría de la argumentación jurídica haya corrido también paralela a la progresiva implantación del modelo del Estado constitucional. 2. En los últimos tiempos ha sido frecuente señalar que la nueva realidad de los sistemas jurídicos (en los países occidentales desarrollados) requería también la elaboración de nuevos modelos teóricos; en particular, el debate se ha centrado en la necesidad de superar el positivismo jurídico y sustituirlo por una concepción del Derecho (no positivista) que permita dar cuenta de la nueva realidad. En mi opinión, la inadecuación del positivismo jurídico es un hecho [en contra véase, por ejemplo, Comanducci 2.002]. O, dicho con más precisión: de las dos tesis que supuestamente caracterizan al positivismo jurídico, la primera, la de las fuentes sociales del Derecho, es sin duda verdadera, pero por sí sola no permite caracterizar una concepción del Derecho; y la segunda, la de la separación entre el Derecho y la moral, no permite reconstruir satisfactoriamente el funcionamiento real de nuestros sistemas jurídicos. Por supuesto, esta última distinción (entre el Derecho y la moral) puede trazarse con sentido en el contexto de cierto tipo de discurso jurídico, pero no en otros; en particular, el discurso jurídico justificativo contiene o presupone siempre un fragmento moral. Para decirlo en el lenguaje de Carlos Nino [1985]: las normas jurídicas no son razones autónomas para justificar decisiones, sino que toda justificación es una justificación moral (lo cual, ciertamente, no es otra cosa que una reformulación de la tesis de Alexy [1978] de que la argumentación jurídica es un caso especial de la argumentación práctica de carácter general). La crítica al positivismo jurídico no supone, por lo demás, la rehabilitación de alguna otra de las diversas concepciones que han tenido algún grado de vigencia en el siglo XX. En particular, no me parece que las insuficiencias del positivismo puedan superarse recurriendo a alguna versión de la teoría iusnaturalista. Es cierto, como ha hecho notar Ferrajoli [1989], que el constitucionalismo moderno “ha incorporado gran parte de los contenidos o valores de justicia elaborados por el iusnaturalismo racionalista e ilustrado” y, desde luego, ha pulverizado la tesis positivista (no de todos los positivistas) de que el Derecho puede tener cualquier contenido. Pero ello, por sí mismo, no permite tampoco (como ocurría antes en relación con la tesis de las fuentes sociales) caracterizar una concepción del Derecho. También es cierto -si se quiere- que el papel que desempeñaba antes el Derecho natural respecto del soberano lo desempeña ahora la constitución respecto del legislador [sobre esto, Prieto, p. 17], pero dar cuenta del paralelismo es una cosa, y contar con instrumentos teóricos que permitan reconstruir y orientar los procesos de producción, interpretación y aplicación del Derecho (y, en particular, cómo articular la relación entre el Derecho legal y el constitucional), otra bastante distinta. El iusnaturalismo (concretamente, el del siglo XX), no parece haberse interesado mucho por el discurso jurídico justificativo interno al propio Derecho (las argumentaciones de los jueces, de los abogados, de los legisladores...), ni siquiera cuando ha elaborado teorías (como en el caso de la de Fuller [1964]) que, en muchos aspectos, preanunciaba el constitucionalismo contemporáneo. En realidad, ninguna de las principales concepciones del Derecho del siglo XX ha sido proclive a desarrollar una teoría de la argumentación jurídica, a ver el Derecho como argumentación. Dicho en forma sumaria: El formalismo ha adolecido de una visión excesivamente simplificada de la interpretación y la aplicación del Derecho y, por tanto, del razonamiento jurídico. El iusnaturalismo tiende a desentenderse del Derecho en cuanto fenómeno social e histórico, o bien a presentarlo en forma mixtificada, ideológica (Holmes [1920] comparó en una ocasión a los juristas partidarios del Derecho natural con los caballeros a los que no basta que se reconozca que su dama es hermosa; tiene que ser la más bella que haya existido y pueda llegar a existir). Para el positivismo normativista el Derecho -podríamos decir- es una realidad dada de ante mano (las normas válidas) y que el teórico debe simplemente tratar de describir; y no una actividad, una praxis, configurada en parte por los propios procesos de la argumentación jurídica. El positivismo sociológico (el realismo jurídico) centró su atención en el discurso predictivo, no en el justificativo, seguramente como consecuencia de su fuerte relativismo axiológico y de la tendencia a ver el Derecho como un mero instrumento al servicio de fines externos. Y las teorías “críticas” del Derecho (marxistas o no) han tropezado siempre con la dificultad (o imposibilidad) de hacer compatible el escepticismo jurídico con la asunción de un punto de vista comprometido (interno) necesario para dar cuenta del discurso jurídico justificativo. 3. Me parece que los déficits anteriores (y los cambios en los sistemas jurídicos provocados por el avance del Estado constitucional) es lo que explica básicamente que en los últimos tiempos se esté gestando una nueva concepción del Derecho que, en un trabajo reciente [Atienza 2.000], he caracterizado con los siguientes rasgos: 1) La importancia otorgada a los principios como ingrediente necesario -además de las reglas- para comprender la estructura y el funcionamiento de un sistema jurídico. 2) La tendencia a considerar las normas -reglas y principios- no tanto desde la perspectiva de su estructura lógica, cuanto a partir del papel que juegan en el razonamiento práctico. 3) La idea de que el Derecho es una realidad dinámica y que consiste no tanto -o no sólo- en una serie de normas o de enunciados de diverso tipo, cuanto -o también- en una práctica social compleja que incluye, además de normas, procedimientos, valores, acciones, agentes, etc. 4) Ligado a lo anterior, la importancia que se concede a la interpretación que es vista, más que como resultado, como un proceso racional y conformador del Derecho. 5) El debilitamiento de la distinción entre lenguaje descriptivo y prescriptivo y, conectado con ello, la reivindicación del carácter práctico de la teoría y de la ciencia del Derecho que no pueden reducirse ya a discursos meramente descriptivos. 6) El entendimiento de la validez en términos sustantivos y no meramente formales (para ser válida, una norma debe respetar los principios y derechos establecidos en la constitución). 7) La idea de que la jurisdicción no puede verse en términos simplemente legalistas -de sujeción del juez a la ley-, pues la ley debe ser interpretada de acuerdo con los principios constitucionales.8) La tesis de que entre el Derecho y la moral existe una conexión no sólo en cuanto al contenido, sino de tipo conceptual; incluso aunque se piense que la identificación del Derecho se hace mediante algún criterio como el de la regla de reconocimiento hartiana, la aceptación de la misma parece tener carácter moral. 9) La tendencia a una integración entre las diversas esferas de la razón práctica: el Derecho, la moral y la política. 10) Como consecuencia de lo anterior, la idea de que la razón jurídica no es sólo razón instrumental, sino razón práctica; la actividad del jurista no está guiada -o no está guiada exclusivamente- por el éxito, sino por la corrección, por la pretensión de justicia. 11) La importancia puesta en la argumentación jurídica -en la necesidad de tratar de justificar racionalmente las decisiones-, como característica esencial de una sociedad democrática. 12) Ligado a lo anterior, la convicción de que existen criterios objetivos (como el principio de universalización o el de coherencia o integridad) que otorgan carácter racional a la práctica de la justificación de las decisiones, aunque no se acepte la tesis de que existe una respuesta correcta para cada caso. 13) La consideración de que el Derecho no es sólo un instrumento para lograr objetivos sociales, sino que incorpora valores morales y que esos valores no pertenecen simplemente a una determinada moral social, sino a una moral racionalmente fundamentada. 4. Ahora bien, aunque yo señalaba entonces como uno de los rasgos de esta “nueva” -o relativamente nueva- concepción del Derecho la importancia creciente de la argumentación jurídica, prácticamente todas las otras características están ligadas con eso, esto es, llevan a un aumento cuantitativo y cualitativo de los procesos de argumentación jurídica. Para mostrarlo, me referiré únicamente a dos de esas notas: la importancia de los principios y la creencia de que existen ciertos criterios objetivos que guían la práctica del discurso jurídico justificativo. 4.1. Como es bien sabido, la distinción entre reglas y principios es una cuestión sumamente controvertida, en la que no cabe entrar aquí. Me parece, sin embargo, que existe un consenso amplio en cuanto a la mayor dificultad -dificultad argumentativa- que supone el manejo de principios. Visto desde la perspectiva de la justificación de las decisiones judiciales (y los principios no operan únicamente en esta instancia del Derecho), cabría decir que la justificación supone varios niveles [Atienza y Ruiz Manero, 1996]. El primero es el nivel de las reglas. La aplicación de las reglas para resolver casos (casos fáciles) no requiere deliberación en el sentido estricto de la expresión, pero ello no supone tampoco que se trate de una operación meramente mecánica. En todo caso, el nivel de las reglas no es siempre suficiente. Con una frecuencia que puede cambiar de acuerdo con muchos factores, los jueces tienen que enfrentarse con casos para los que el sistema jurídico de referencia no provee reglas, o provee reglas contradictorias, o reglas que no pueden considerarse justificadas de acuerdo con los principios y valores del sistema. Naturalmente, esto no quiere decir que en tales supuestos el juez pueda prescindir de la reglas, sino que tiene que llevar a cabo un proceso de deliberación práctica (de ponderación) para transformar ciertos principios en reglas. Ello supone realizar operaciones como las siguientes: la construcción de una tipología de clases de casos a partir de un análisis de las semejanzas y de las diferencias consideradas relevantes; (en algunas ocasiones) la formulación de un principio a partir del material normativo establecido autoritativamente (la explicitación de un principio implícito); la priorización de un principio sobre otro, dadas determinadas circunstancias (el paso de los principios a las reglas). La argumentación jurídica en estos casos no puede reducirse, obviamente, a su esquematización en términos deductivos; el centro radica más bien en la confrontación entre razones de diversos tipos: perentorias o no perentorias, autoritativas o substantivas, finalistas o de corrección, institucionales o no... 4.2. La creencia en la existencia o no de criterios objetivos que controlan la justificación de las decisiones jurídicas es de radical importancia para abordar el problema de la discrecionalidad. Me limitaré a considerar la discrecionalidad de los órganos administrativos (la discrecionalidad jurídica no se agota aquí), sobre la que últimamente ha tenido lugar en España una interesante polémica [sobre ella, Atienza 1995] . La importancia de la cuestión radica en que, por un lado, se reconoce que las transformaciones del Estado contemporáneo, y en particular, el cambo en la función de la ley (el paso de una “vinculación positiva” a una “vinculación estratégica”) lleva a una revalorización de la discrecionalidad administrativa (la actividad administrativa no es mera ejecución jurídica); y, por otro lado, la Constitución española (en el art. 9, apartado 3) garantiza “la interdicción de arbitrariedad de los poderes públicos”. ¿Son entonces los actos discrecionales de la Administración (el ejercicio de la potestad de planeamiento urbanístico, las intervenciones y regulaciones económicas, etc.) susceptibles de control judicial? Si a la cuestión se desea responder en forma positiva (si se quiere respetar la prohibición de arbitrariedad), no queda en mi opinión más remedio que partir de la idea de que las decisiones de los órganos públicos no se justifican simplemente porque provengan de cierta autoridad, sino que se precisa además que el órgano en cuestión aporte razones intersubjetivamente válidas a la luz de los criterios generales de la racionalidad práctica y de los criterios positivizados en el ordenamiento jurídico (los cuales, a su vez, no pueden ser otra cosa -si pretenden estar justificados- que concreciones de los anteriores); o sea, hay que presuponer una concepción suficientemente amplia de la razón. El escepticismo en este campo no puede conducir a otra cosa que al decisionismo, a considerar que la cuestión decisiva es simplemente la de “quien está legitimado para establecer la decisión”. Es interesante darse cuenta de que la existencia de la discrecionalidad (en sentido estricto [sobre el concepto de discrecionalidad, Lifante 2.001]) es el resultado de regular de una cierta forma la conducta: no mediante normas de acción (normas condicionales), sino por medio de normas de fin, que otorgan la posibilidad de optar entre diversos medios para alcanzar un determinado fin y también (hasta cierto punto) de contribuir a la concreción de ese fin; el razonamiento con ese tipo de norma no es el razonamiento clasificatorio, subsuntivo, sino el razonamiento finalista que parece encajar en el esquema de lo que Aristóteles llamó “silogismo práctico”. Digamos que los principios (los principios en sentido estricto), por un lado, y las normas de fin, por el otro, ponen de manifiesto que la argumentación jurídica no puede verse únicamente en términos de subsunción, sino también en términos de ponderación y en términos finalistas. La teoría de los enunciados jurídicos tiene, pues, mucho que ver con la teoría de la argumentación jurídica lo que, naturalmente, no tiene nada de sorprendente. 5. Lo dicho hasta aquí podría quizás resumirse de esta manera: una idea central del Estado constitucional es que las decisiones públicas tienen que estar motivadas, razonadas, para que de esta forma puedan controlarse. Dado que el criterio de legitimidad (del poder) no es aquí de carácter carismático, ni tradicional, ni sólo formal-procedimental, sino que, en una amplia medida, exige recurrir a consideraciones materiales, substantivas, se comprende que el Estado constitucional ofrezca más espacios para la argumentación que ninguna otra organización jurídico-política. Ahora bien, eso no debe llevar tampoco a pensar que el Estado constitucional sea algo así como un Estado argumentativo, una especie de imperio de la razón. Las “teorías constitucionalistas del Derecho” ( Bongiovanni [2.000] incluye bajo el anterior título -como casos paradigmáticos- las obras de Dworkin y de Alexy) corren el riesgo de presentar una imagen excesivamente idealizada del Derecho, probablemente como consecuencia de que son teorías formuladas preferentemente o casi exclusivamente desde la perspectiva del aceptante, del “hombre bueno”. Por eso, conviene no perder de vista que, como ya hace tiempo advirtió Tugendhat [1980], el Derecho del Estado constitucional no es el mejor de los imaginables, sino simplemente el mejor de los realmente existentes. Por un lado, no cabe duda de que el Estado constitucional sigue dejando amplios espacios a un ejercicio del poder que para nada hace uso de instrumentos argumentativos. Pongamos algunos ejemplos. Por razones de economía comprensibles, muchas de las decisiones que toman los órganos públicos (incluidos los órganos judiciales) y que se considera no revisten gran importancia no son motivadas: si no fuera así, se haría imposible un funcionamiento eficiente de las instituciones. Además, la burocratización creciente, el aumento de la carga de trabajo de los jueces, etc. lleva a que la no argumentación (la práctica de utilizar modelos estereotipados es, con frecuencia, una forma de no motivar) se extienda a decisiones que pueden tener consecuencias graves. Tampoco son motivadas, como se sabe, las decisiones de los jurados; en España, precisamente, hay una experiencia interesante, pues recientemente se introdujo el jurado (un jurado de legos) y se estableció la obligación de que motivaran sus decisiones, lo cual (dada la dificultad de la tarea) es probablemente una de las causas del (relativo) fracaso de la institución. La argumentación legislativa presenta notables debilidades: el proceso de elaboración de las leyes exhibe, en nuestras democracias, más elementos de negociación que de discurso racional; y las exposiciones de motivos son paralelas, pero no equivalen del todo, a las motivaciones de las decisiones judiciales. Y, en fin, una de las consecuencias del 11 de septiembre es el incremento creciente (y la justificación) de los actos del poder ejecutivo que quedan al margen de cualquier tipo de control (jurídico o político). Por otro lado, el carácter argumentativamente deficitario de nuestras sociedades es especialmente preocupante en relación con el fenómeno de la globalización, esto es, en relación con importantes ámbitos de poder que escapan al control de las normas del Estado. Parece, por ejemplo, obvio que las instituciones empresariales (las grandes empresas multinacionales) detentan un inmenso poder sobre las poblaciones y que sería absurdo considerar simplemente como un poder privado regido básicamente por el principio de autonomía. Y no parece tampoco que haya ninguna razón sólida para limitar el campo del Derecho al Derecho del Estado y al Derecho internacional entendido como aquel que tiene por objeto las relaciones entre los Estados soberanos. Twining ha insistido recientemente en que uno de los retos que la globalización plantea a la teoría del Derecho es precisamente el de superar esa visión estrecha de lo jurídico [Twinning 2.000, p. 252], y creo que no le falta razón. El pluralismo plantea sin duda muchos problemas de carácter conceptual y puede resultar, por ello, una construcción insatisfactoria desde el punto de vista de una teoría exigente. Pero el paradigma jurídico estatista (prescindir de los fenómenos jurídicos -o, si se quiere, parajurídicos- que se producen más allá y más acá del ámbito estatal) cercena el potencial civilizatorio del Derecho y tiene el riesgo de condenar a la irrelevancia a la teoría del Derecho.

A interpretação de Copenhague e os estados relativos de Hugh Everett III : o problema do realismo científico

Dissertação (mestrado)—Universidade de Brasília,Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2015.

Diseño e implementación del kernel de xDEVS, versión distribuida

Para entender nuestro proyecto, debemos comprender DEVS. Dentro de los formalismos más populares de representación de sistemas de eventos discretos se encuentra DES. En la década de los 70, el matemático Bernard Zeigler propuso un formalismo general para la representación de dichos sistemas. Este formalismo denominado DEVS (Discrete EVent System Specification) es el formalismo más general para el tratamiento de DES. DEVS permite representar todos aquellos sistemas cuyo comportamiento pueda describirse mediante una secuencia de eventos discretos. Estos eventos se caracterizan por un tiempo base en el que solo un número de eventos finitos puede ocurrir. DEVS Modelado y Simulación tiene múltiples implementaciones en varios lenguajes de programación como por ejemplo en Java, C# o C++. Pero surge la necesidad de implementar una plataforma distribuida estable para proporcionar la mecánica de interoperabilidad e integrar modelos DEVS diversificados. En este proyecto, se nos dará como código base el core de xDEVS en java, aplicado de forma secuencial y paralelizada. Nuestro trabajo será implementar el core de manera distribuida de tal forma que se pueda dividir un sistema DEVS en diversas máquinas. Para esto hemos utilizado sockets de java para hacer la transmisión de datos lo más eficiente posible. En un principio deberemos especificar el número de máquinas que se conectarán al servidor. Una vez estas se hayan conectado se les enviará el trabajo específico que deberán simular. Cabe destacar que hay dos formas de dividir un sistema DEVS las cuales están implementadas en nuestro proyecto. La primera es dividirlo en módulos atómicos los cuales son subsistemas indivisibles en un sistema DEVS. Y la segunda es dividir las funciones de todos los subsistemas en grupos y repartirlos entre las máquinas. En resumen el funcionamiento de nuestro sistema distribuido será comenzar ejecutando el trabajo asignado al primer cliente, una vez finalizado actualizará la información del servidor y este mandara la orden al siguiente y así sucesivamente.