Search results for "formal"
showing 10 items of 1654 documents
Generalized Einstein-Maxwell field equations in the Palatini formalism
2013
We derive a new set of field equations within the framework of the Palatini formalism.These equations are a natural generalization of the Einstein-Maxwell equations which arise by adding a function $\mathcal{F}(\mathcal{Q})$, with $\mathcal{Q}\equiv F^{\alpha\beta}F_{\alpha\beta}$ to the Palatini Lagrangian $f(R,Q)$.The result we obtain can be viewed as the coupling of gravity with a nonlinear extension of the electromagnetic field.In addition,a new method is introduced to solve the algebraic equation associated to the Ricci tensor.
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…
Emotivity in Valencian demonstratives
2022
Més que una proximitat metafòrica cap al referent, la dixi emotiva, afectiva o empàtica produeix proximitat cap a l’oient arran de l’atenció conjunta i/o l’avaluació del referent. Aquest treball estudia els usos del demostratiu (com ara, la funció nominal o adverbial, el grau, el mode referencial, el caràcter humà, etc.) i de les seues construccions (anteposades al nom, posposades al nom o sense nucli nominal) per a comprovar quin tipus de demostratius tendeixen a tindre referents que són valorats de manera positiva o negativa. Per a realitzar aquesta exploració, hem recollit 383 formes demostratives d’un corpus propi (CoValC) format per converses col·loquials entre valencianoparlants de di…
THE LEARNING OUTCOMES APPROACH IN FORMAL SECOND CHANCE EDUCATION : CASE OF LATVIA
2015
This paper focusses on the use of a learning outcomes approach based on the empirical quantitative data gathered from 82 teachers of the second chance education institutions in Latvia. For this purpose, built on the academic literature and policy documents’ review the author attempts to define the learning outcomes approach. The analysis of the empirical data presents elements of the use of the approach in the setting of a second chance education in Latvia and provides initial findings to support more coherent learning outcome based formal second chance education.
Work incapacity among family caregivers : a record linkage study
2022
BackgroundFamily caregiving-related physical and mental health problems may lead to work incapacity in employed caregivers. The aim of this study was to quantify sickness absences and disability pensions (SADP) among high-intensity family caregivers available to the labour market compared with a control population.MethodsThe study sample included all individuals in Finland, who had received caregiver’s allowance and were available to the labour market in 2012 (n=16 982) and their controls (n=35 371). Information on the number of sickness absence (spells >10 days) and disability pension (SADP) days and related diagnoses according to ICD-10 were obtained from national registers for the yea…
Modular, customisable, accomodation-friendly antenna system for satellite avionics: Development, prototyping and validation
2014
In the frame of ESA program AO/1- 6737/11/NL/MH, an innovative X-band antenna system for satellite avionics has been studied, demonstrated and validated at Proof of Concept Model level. The innovative contribution of such an antenna system relies on modularity, customizability and accommodation friendliness. The antenna concept is based on a Plug and Play architecture, where the basic module is a 2.7 cm-cube with a mass of 53 gr, which can be clustered in array configuration. A catalogue of predefined and ready-to-use clusters could be developed with the possibility of adapting the antenna systems to various platform types by tuning just a few control parameters. Different levels of customi…
Industrial development as discursive change: A case of symbiotic learning
2016
The Eyde Cluster is a network of companies at Agder seeking to enhance sustainabledevelopment through vocational training. A dialogical approach is taken to developing anew discourse, using principles of communicative organisational change. There isdiscussion of a more bottom up approach, in line with Workplace Innovation. The paperargues for balancing formal education and vocational training in a way that createssymbiotic learning.
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.
Performance Measurement Framework with Formal Indicator Definitions
2011
Definition of appropriate measures of organization’s performance should be conducted in a systematic way. In this paper the performance measurement and indicators are discussed not only from the side of management models, but also from the point of view of measurement theories to find out appropriate definitions. In our work we propose a formal specification of indicators. The principles of indicator reformulation from free form indicators to formal requirements are formulated and applied in several examples from performance measures database. The formally defined indicators could be used in the proposed performance measurement framework that covers five-step indicator lifecycle.
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 …