Search results for "Roof"
showing 10 items of 303 documents
Influence of greenhouse different coverings on chemical and physical risk factors
2005
Crop production in greenhouses needs the use of chemicals and requires high levels of temperature and relative humidity to assure the increasing of crop production. This can cause risks for the health of the operators, especially if they are not equipped with protection devices. The risks may also vary with the type and/or size and/or shape of the protected structures. In order to determine the influence of different coverings on type and amount of risks, chemical and physical risk factors were measured inside greenhouses with different cladding materials (glass panels and plastic films) after crop management. In these two different greenhouses typologies, that were similar for location and…
On some inequalities for the identric, logarithmic and related means
2015
We offer new proofs, refinements as well as new results related to classical means of two variables, including the identric and logarithmic means.
An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases
2001
We present a new proof technique for collapse results for first-order queries on databases which are embedded in N or R>o. Our proofs are by means of an explicitly constructed winning strategy for Duplicator in an Ehrenfeucht-FraissE game, and can deal with certain infinite databases where previous, highly involved methods fail. Our main result is that first-order logic has the natural-generic collapse over {N,≤ ,+} for arbitrary (i.e., possibly infinite) databases. Furthermore, a first application of this result shows the natural-generic collapse of first-order logic over {R>o,≤,+} for a certain kind of databases over R>o which consist of a possibly infinite number of regions.
Bicyclo[6.1.0]nonine
1988
MNDO-Rechnungen zeigen, das fur die drei konstitutionsisomeren cis-Bicyclo[6.1.0]nonine (1–3) jeweils zwei energiearme, zueinander diastereomere Konformere a und b existieren. Zur experimentellen Uberprufung werden die mit der Selenadiazol-Methode oder durch Dehydrobromierung hergestellten, hoch gespannten Bicyclen mit Hilfe von 1H- und 13C-NMR-Messungen auf die Population der Konformeren und auf deren wechselseitige Umwandlung durch Inversion der Achtringe untersucht. Bicyclo[6.1.0]nonine MNDO calculations reveal that two diastereomeric conformations a and b of low energy exist for each of the three isomeric cis-bicyclo[6.1.0]nonynes (1–3). For the experimental proof, the highly strained b…
The Duality of Entropy/Extropy, and Completion of the Kullback Information Complex
2018
The refinement axiom for entropy has been provocative in providing foundations of information theory, recognised as thoughtworthy in the writings of both Shannon and Jaynes. A resolution to their concerns has been provided recently by the discovery that the entropy measure of a probability distribution has a dual measure, a complementary companion designated as &ldquo
Experimental Investigation for Local Tank Inflow Model
2014
In the present paper the effect of private roof tanks and of the float valve characteristics on apparent losses due to water meter errors was investigated via an experimental study. The tests were carried out at the Environmental Hydraulic Laboratory of the University of Enna (Italy), on a high-density polyethylene (HDPE 100 PN16) looped distribution network. The experimental results showed that network pressure plays an important role in the characterisation of the floating ball valve emitter law, but the tank operating condition is the most relevant aspect to be considered mainly for water meter error evaluation. (C) 2014 The Authors. Published by Elsevier Ltd.
Solving Two-Person Zero-Sum Stochastic Games With Incomplete Information Using Learning Automata With Artificial Barriers
2021
Learning automata (LA) with artificially absorbing barriers was a completely new horizon of research in the 1980s (Oommen, 1986). These new machines yielded properties that were previously unknown. More recently, absorbing barriers have been introduced in continuous estimator algorithms so that the proofs could follow a martingale property, as opposed to monotonicity (Zhang et al., 2014), (Zhang et al., 2015). However, the applications of LA with artificial barriers are almost nonexistent. In that regard, this article is pioneering in that it provides effective and accurate solutions to an extremely complex application domain, namely that of solving two-person zero-sum stochastic games that…
A formal proof of the e-optimality of discretized pursuit algorithms
2015
Learning Automata (LA) can be reckoned to be the founding algorithms on which the field of Reinforcement Learning has been built. Among the families of LA, Estimator Algorithms (EAs) are certainly the fastest, and of these, the family of discretized algorithms are proven to converge even faster than their continuous counterparts. However, it has recently been reported that the previous proofs for ??-optimality for all the reported algorithms for the past three decades have been flawed. We applaud the researchers who discovered this flaw, and who further proceeded to rectify the proof for the Continuous Pursuit Algorithm (CPA). The latter proof examines the monotonicity property of the proba…
The minimal model of Hahn for the Calvin cycle.
2018
There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is shown that there exists exactly one positive steady state and that this steady state is unstable. For generic initial data either all concentrations tend to infinity at lates times or all concentrations tend to zero at late times. In a variant including photorespiration it is shown that for suitable v…
Categorical Modeling Method, Proof of Concept for the Petri Net Language
2019
Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provi…