Search results for " In C"
showing 10 items of 586 documents
Nonthermal effects of acceleration in the resonance interaction between two uniformly accelerated atoms
2016
We study the resonance interaction between two uniformly accelerated identical atoms, one excited and the other in the ground state, prepared in a correlated (symmetric or antisymmetric) state and interacting with the scalar field or the electromagnetic field in the vacuum state. In this case (resonance interaction), the interatomic interaction is a second-order effect in the atom-field coupling. We separate the contributions of vacuum fluctuations and radiation reaction to the resonance energy shift of the system, and show that only radiation reaction contributes, while Unruh thermal fluctuations do not affect the resonance interaction. We also find that beyond a characteristic length scal…
H∞ static output-feedback control design with constrained information for offshore wind turbine system
2013
Abstract This paper deals with H ∞ static output-feedback control design with constrained information for offshore wind turbines. Constrained information indicates that a special zero–nonzero structure is imposed on the static output-feedback gain matrix. A practical use of such an approach is to design a decentralized controller for a wind turbine. This will also benefit the controller in such a way that it is more tolerant to sensor failure. Furthermore, the model under consideration is obtained by using the wind turbine simulation software FAST. Sufficient conditions to design an H ∞ controller are given in terms of Linear Matrix Inequalities ( LMI s ). Simulation results are given to il…
Logical and pseudo-logical optical fibre networks based on two-state (binary) optical fibre sensors for industrial monitoring and control systems
2005
The possibilities of development of logical and pseudo-logical optical fibre networks for monitoring and control of equipment and industrial sites are presented. Such networks composed of simple binary attenuation and optical fibre communication lines may also be used as fast and reliable systems developing a final command signal - logical and/or pseudo-logical, depending or the architecture of network and the type of located sensors. They realise the process similar to standard electronic logical sets but use the optical signal directly on the monitored or controlled device. The analysis of serial and parallel networks was carried out in the "dark" mode detection. The examples of networks …
Questionnaires and simulations to assess daylighting in Italian university classrooms for IEQ and energy issues
2021
Abstract Results from the DAYKE-Italy project are presented. An investigation on daylighting in eight classrooms in five Italian universities was carried out through a combined approach: an ad-hoc survey administered to students to investigate how they perceive daylight in classroom, and numerical simulations (DIVA + ALFA) to calculate a set of objective metrics (daylight, circadian, and energy-related). A sample of 542 questionnaires was collected through two sessions and the subjective judgments were correlated to objective metrics. Results from descriptive and statistical analyses showed: (i) the correlation was significant for all daylight metrics: among them, average daylight factor an…
Medico-legal study of death in custody by excited delirium. A case report
2014
En este artículo exponemos los resultados de la autopsia de un varón joven que falleció en el hospital por un cuadro de delirium agitado. Es un síndrome caracterizado generalmente por agitación psicomotriz, agresividad y puede producir muerte súbita, en ocasiones durante la aplicación de métodos de contención mecánica por los Cuerpos de Seguridad del Estado o personal sanitario. Está típicamente asociado al consumo de drogas de abuso, como la cocaína. En estos casos, estará incluida en el grupo de muertes en custodia, que es aquella que se produce cuando la víctima se encuentra privada de libertad. Tiene una indudable repercusión médico legal, puesto que se considera prototipo de muerte sos…
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…
Wear modelling in mild steel orthogonal cutting when using uncoated carbide tools
2007
Abstract Wear prediction in machining has been recently studied by FEM although the use of numerical methods for such applications is still a very challenging research issue. In fact, wear phenomenon involves many aspects related to process mechanics which require a very accurate modelling. In other words, only a very punctual code set-up can help the researchers in order to obtain consistent results in FE analysis. The high relative velocity between chip and tool requires effective material models as well as friction modelling at the interface. Moreover the prediction of temperature distribution is another critical task; in the paper some different procedures are discussed. Subsequently a …
Unit contradiction versus unit propagation
2012
Some aspects of the result of applying unit resolution on a CNF formula can be formalized as functions with domain a set of partial truth assignments. We are interested in two ways for computing such functions, depending on whether the result is the production of the empty clause or the assignment of a variable with a given truth value. We show that these two models can compute the same functions with formulae of polynomially related sizes, and we explain how this result is related to the CNF encoding of Boolean constraints.
Alternating, private alternating, and quantum alternating realtime automata
2014
We present new results on realtime alternating, private alternating, and quantum alternating automaton models. Firstly, we show that the emptiness problem for alternating one-counter automata on unary alphabets is undecidable. Then, we present two equivalent definitions of realtime private alternating finite automata (PAFAs). We show that the emptiness problem is undecidable for PAFAs. Furthermore, PAFAs can recognize some nonregular unary languages, including the unary squares language, which seems to be difficult even for some classical counter automata with two-way input. Regarding quantum finite automata (QFAs), we show that the emptiness problem is undecidable both for universal QFAs o…
Zero-Error Affine, Unitary, and Probabilistic OBDDs
2017
We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results by considering the automata versions of these models.