Search results for "Formalism"
showing 10 items of 357 documents
Size-consistent single-reference methods for electronic correlation: a unified formulation through intermediate hamiltonian theory
1996
Using the intermediate hamiltonian theory as a unique conceptual frame and the technique of CI matrix dressing, a wide series of single-reference methods for the treatment of the ground state correlation are reviewed, compared, and sometimes improved. These methods range from independent excitation approximation (the very next step beyond MP2) to coupled cluster, going through the so-called electron pair approximations and the (SC)2CI formalism. A hierarchy of these methods can be established according to two criteria: These formulations in terms of diagonalizations of dressed CI matrices avoid convergence problems, but their main advantage is their flexibility, since they apply to multi-re…
Robust Predictive Control of a variable speed wind turbine using the LMI formalism
2014
This paper proposes a Robust Fuzzy Multivariable Model Predictive Controller (RFMMPC) using Linear Matrix Inequalities (LMIs) formulation. The main idea is to solve at each time instant, an LMI optimization problem that incorporates input, output and Constrained Receding Horizon Predictive Control (CRHPC) constraints, and plant uncertainties, and guarantees certain robustness properties. The RFMMPC is easily designed by solving a convex optimization problem subject to LMI conditions. Then, the derived RFMMPC applied to a variable wind turbine with blade pitch and generator torque as two control inputs. The effectiveness of the proposed design is shown by simulation results.
Distributed Intrusion Detection for the Security of Industrial Cooperative Robotic Systems
2014
Abstract This paper addresses the problem of detecting possible intruders in a group of autonomous robots which coexist in a shared environment and interact with each other according to a set of common rules. We consider intruders as robots which misbehave, i.e. do not follow the rules, because of either spontaneous failures or malicious reprogramming. Our goal is to detect intruders by observing the congruence of their behavior with the social rules as applied to the current state of the overall system. Moreover, in accordance with the fully distributed nature of the problem, the detection itself must be performed by individual robots, based only on local information. We present a general …
Concomitancias entre la pintura de Salvador Soria Zapater y la musica de Francisco Llacer Pla: Espacios sugerentes
1994
El artículo, tras introducirnos brevemente en las figuras de Salvador Soria Zapater y de Francisco Llacer Pla, nos da las claves de la obra "Espacios sugerentes", opus 43 de Francisco Llacer Pla, inspirada en la homonima de Salvador Soria. (F.D.)
IL VOLTO CRUDELE, MA AUTENTICO, DEL FORMALISMO "INFORMATIVO"
2018
Neutralità del formalismo informativo
The debate on medium specificity in film theory: the keys to the formation of the aesthetic status of cinema
2018
En este trabajo recorreremos la historia de una cuestión que dominó la teoría del cine durante los años del cine mudo y que, con algunos desvíos, todavía continúa vigente en nuestros días, a saber: la posibilidad de que el cine pueda considerarse o no un arte de pleno derecho. La tematización de este marco nos servirá, a su vez, para presentar varias nociones fundamentales de la filosofía del cine que se construyeron al hilo de este debate, así como para señalar los autores clave y las implicaciones de toda índole – estéticas, epistémicas y culturales – involucradas en esta controversia. Con ello, aspiramos a detallar una perspectiva que permite ampliar nuestra comprensión de la historia de…
Linear Response Theory with finite-range interactions
2021
International audience; This review focuses on the calculation of infinite nuclear matter response functions using phenomenological finite-range interactions, equipped or not with tensor terms. These include Gogny and Nakada families, which are commonly used in the literature. Because of the finite-range, the main technical difficulty stems from the exchange terms of the particle–hole interaction. We first present results based on the so-called Landau and Landau-like approximations of the particle–hole interaction. Then, we review two methods which in principle provide numerically exact response functions. The first one is based on a multipolar expansion of both the particle–hole interactio…
TU-E-116-01: Clinical Implementation for Advanced Brachytherapy Dose Calculation Algorithms Beyond the TG-43 Formalism
2013
With the recent introduction of heterogeneity correction algorithms for brachytherapy, the AAPM community is still unclear on how to commission and implement these into clinical practice. The recently‐published AAPM TG‐186 report discusses important issues for clinical implementation of these algorithms. In this practical medical physics course, specific examples on how to perform the commissioning process are presented, as well as descriptions of the clinical impact from recent literature reporting comparisons of TG‐43 and heterogeneity‐based dosimetry. A proposed commissioning flowchart will be discussed, guiding the audience through the clinical process. Further, QA tests specific to the…
CTR: A calculus of timed refinement
1995
This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.
Density functional theory calculations on magnetic properties of actinide compounds
2010
We have performed a detailed analysis of the magnetic (collinear and noncollinear) order and atomic and the electron structures of UO2, PuO2 and UN on the basis of density functional theory with the Hubbard electron correlation correction (DFT+U). We have shown that the 3-k magnetic structure of UO2 is the lowest in energy for the Hubbard parameter value of U=4.6 eV (and J=0.5 eV) consistent with experiments when Dudarev's formalism is used. In contrast to UO2, UN and PuO2 show no trend for a distortion towards rhombohedral structure and, thus, no complex 3-k magnetic structure is to be anticipated in these materials.