Search results for " Opera"
showing 10 items of 3606 documents
R&D Offshoring and the Productivity Growth of European Regions
2013
The recent increase in R&D offshoring have raised fears that knowledge and competitiveness in advanced countries may be at risk of `hollowing out\'. At the same time, economic research has stressed that this process is also likely to allow some reverse technology transfer and foster growth at home. This paper addresses this issue by investigating the extent to which R&D offshoring is associated with productivity dynamics of European regions. We find that offshoring regions have higher productivity growth, but this positive effect fades down with the number of investment projects carried out abroad. A large and positive correlation emerge between the extent of R&D offshoring and the home reg…
Safety analysis in the LBE-Cooled XADS plant through an integrated use of HAZOP, FAULT TREE and thermalhydraulic transient analyses
2004
A detailed description of possible accidental scenarios, with their frequency of occurrence and their consequences, taking into account both internal and external causes that might contribute to them, can be attained by using the most important risk analysis methodologies (HAZard and OPerability studies, HAZOP; Event Tree, ET; Fault Tree, FT; etc.). As it is known, the Fault Tree methodology is aimed at the evaluation of the frequency of an undesired accidental event (Top Event, TE), and is used to describe this one as a combination of primary events identified, for example, by a HAZOP analysis [1]. However, the classic HAZOP analysis, while allowing to perform an exhaustive study of the ex…
On thermoeconomics of energy systems at variable load conditions: integrated optimization of plant design and operation
2007
Abstract Thermoeconomics has been assuming a growing role among the disciplines oriented to the analysis of energy systems, its different methodologies allowing solution of problems in the fields of cost accounting, plant design optimisation and diagnostic of malfunctions. However, the thermoeconomic methodologies as such are particularly appropriate to analyse large industrial systems at steady or quasi-steady operation, but they can be hardly applied to small to medium scale units operating in unsteady conditions to cover a variable energy demand. In this paper, the fundamentals of thermoeconomics for systems operated at variable load are discussed, examining the cost formation process an…
A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
2018
A theorem of single-sorted algebra states that, for a closure space (A, J ) and a natural number n, the closure operator J on the set A is n-ary if and only if there exists a single-sorted signature Σ and a Σ-algebra A such that every operation of A is of an arity ≤ n and J = SgA, where SgA is the subalgebra generating operator on A determined by A. On the other hand, a theorem of Tarski asserts that if J is an n-ary closure operator on a set A with n ≥ 2, then, for every i, j ∈ IrB(A, J ), where IrB(A, J ) is the set of all natural numbers which have the property of being the cardinality of an irredundant basis (≡ minimal generating set) of A with respect to J , if i < j and {i + 1, . . . …
Positive l<inf>1</inf> observer design for positive switched systems with time-varying delays via delta operator approach
2014
Prediction of Tool Wear in Machining
2007
Multi-directional vs. mono-directional multi-step strategies for single point incremental forming of non-axisymmetric components
2020
Abstract Multi Stage approach is used in Single Point Incremental Forming (SPIF) to overcome one of the main forming limitations, namely the maximum wall angle, characterizing the single stage process. In this paper, different multi-path strategies for the production of parts with flat edges are considered in order to evaluate the best solution in terms of feasibility and geometrical accuracy of the final part: A) mono-directional incremental draw angle; B) mono-directional incremental draw angle with increasing part side; C) Multi-directional approach with non-horizontal path planes. Strain evaluation by means of CGA (Circular Grid Analysis) and defect analysis have been carried out in ord…
La formazione nell’ospedalizzazione pediatrica. L’esperienza del Progetto “Prometeo”
2008
modelli preventivi e relazionali degli operatori psicosociali
2006
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…