12,331 research outputs found
Exploiting structure in piecewise affine identification of LFT systems
Identification of interconnected systems is a challenging problem in which it is crucial to exploit the available knowledge about the interconnection structure. In this paper, identification of discrete-time nonlinear systems composed by interconnected linear
and nonlinear systems, is addressed. An iterative identification procedure is proposed, which alternates the estimation of the linear and the nonlinear components. Standard identification techniques are applied to the linear subsystem, whereas recently developed piecewise affine (PWA) identification techniques are employed for modelling the nonlinearity. A numerical
example analyzes the benefits of the proposed structure-exploiting identification algorithm compared to applying black-box PWA identification techniques to the overall system
Ground Beetles From a Remnant Oak-Maple-Beech Forest and Its Surroundings in Northeastern Ohio (Coleoptera: Carabidae)
We report 66 ground beetle species in 14 tribes from a natural preserve in northeastern Ohio (Stark County). Six species are new state records. Data from pitfall trap transects across adjoining habitats suggest narrow habitat preferences in some species and broad tolerances in others.
Trends toward flightlessness in forest species and macroptery in the fauna of disturbed agricultural sites are apparent
Identification of the het-r vegetative incompatibility gene of Podospora anserina as a member of the fast evolving HNWD gene family
In fungi, vegetative incompatibility is a conspecific non-self recognition mechanism that restricts formation of viable heterokaryons when incompatible alleles of specific het loci interact. In Podospora anserina, three non-allelic incompatibility systems have been genetically defined involving interactions between het-c and het-d, het-c and het-e, het-r and het-v. het-d and het-e are paralogues belonging to the HNWD gene family that encode proteins of the STAND class. HET-D and HET-E proteins comprise an N-terminal HET effector domain, a central GTP binding site and a C-terminal WD repeat domain constituted of tandem repeats of highly conserved WD40 repeat units that define the specificity of alleles during incompatibility. The WD40 repeat units of the members of this HNWD family are undergoing concerted evolution. By combining genetic analysis and gain of function experiments, we demonstrate that an additional member of this family, HNWD2, corresponds to the het-r non-allelic incompatibility gene. As for het-d and het-e, allele specificity at the het-r locus is determined by the WD repeat domain. Natural isolates show allelic variation for het-
Multiple verification in computational modeling of bone pathologies
We introduce a model checking approach to diagnose the emerging of bone
pathologies. The implementation of a new model of bone remodeling in PRISM has
led to an interesting characterization of osteoporosis as a defective bone
remodeling dynamics with respect to other bone pathologies. Our approach allows
to derive three types of model checking-based diagnostic estimators. The first
diagnostic measure focuses on the level of bone mineral density, which is
currently used in medical practice. In addition, we have introduced a novel
diagnostic estimator which uses the full patient clinical record, here
simulated using the modeling framework. This estimator detects rapid (months)
negative changes in bone mineral density. Independently of the actual bone
mineral density, when the decrease occurs rapidly it is important to alarm the
patient and monitor him/her more closely to detect insurgence of other bone
co-morbidities. A third estimator takes into account the variance of the bone
density, which could address the investigation of metabolic syndromes, diabetes
and cancer. Our implementation could make use of different logical combinations
of these statistical estimators and could incorporate other biomarkers for
other systemic co-morbidities (for example diabetes and thalassemia). We are
delighted to report that the combination of stochastic modeling with formal
methods motivate new diagnostic framework for complex pathologies. In
particular our approach takes into consideration important properties of
biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could
be further expanded, inching towards the complexity of human diseases. Finally,
we briefly introduce self-adaptiveness in formal methods which is a key
property in the regulative mechanisms of biological systems and well known in
other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104
Measurement of angular momentum transport in turbulent flow between independently rotating cylinders
We present measurements of the angular momentum flux (torque) in
Taylor-Couette flow of water between independently rotating cylinders for all
regions of the \(\Omega_1, \Omega_2\) parameter space at high Reynolds
numbers, where \(\Omega_2\) is the inner (outer) cylinder angular
velocity. We find that the Rossby number Ro = \(\Omega_1 -
\Omega_2\)/\Omega_2 fully determines the state and torque as compared to
G(Ro = \infty) \equiv \Gi. The ratio G/\Gi is a linear function of
in four sections of the parameter space. For flows with
radially-increasing angular momentum, our measured torques greatly exceed those
of previous experiments [Ji \textit{et al.}, Nature, \textbf{444}, 343 (2006)],
but agree with the analysis of Richard and Zahn [Astron. Astrophys.,
\textbf{347}, 734 (1999)].Comment: 4 pages, 4 figures, to appear in Physical Review Letter
Infrared exploration of the architectural heritage: from passive infrared thermography to <em>hybrid</em> infrared thermography (HIRT) approach
Hasta la fecha, los enfoques sobre la termografía infrarroja han sido considerados, o pasivos, o activos. En este último caso, el flujo de calor se obtiene a través de una fuente de calor no natural. El uso de energía solar ha sido recientemente incorporado al enfoque activo gracias a los estudios multitemporales. En este trabajo, se ilustra un enfoque innovador de la termografía híbrida (HIRT). Se combina tanto el componente de tiempo y la fuente de energía solar para recuperar la información cuantitativa así como la profundidad del defecto. Las imágenes térmicas se obtuvieron mediante el análisis de la fachada de la Iglesia de Santa María Collemaggio (L'Aquila, Italia), mientras que los resultados cuantitativos inherentes a las discontinuidades sub-superficiales se obtuvieron gracias al uso de otras técnicas avanzadas. Los resultados experimentales vinculados al enfoque pasivo (es decir, el proceso de mosaico de las imágenes térmicas) derivan de un conjunto de Iglesias antiguas, también incluidas en el estudio, a fin de explicar cuándo y dónde tiene sentido realizar un proceso híbrido
Innovative nanomaterials for fuel cells fed with biogas
Challenges on sustainability promote research policy focused on renewable-energy technology development in order to enhance global energy security, local energy independence, environmental protection and economic growth. Biomass resources offer renewable energies that can play a key role in the current global strategies for reducing greenhouse gas emissions by partially replacing fossil fuels. The conversion of biomass chemical energy into electrical energy and cogenerated heat can be obtained by fuel cells. In particular, molten carbonate fuel cell (MCFC)
is the most suitable device for bioenergy production because it can be fed directly with biogas, whose primary constituents all improve the performance of the cell.
However hydrogen sulfide, which is the main biogas impurity, poisons the traditional nickel based anode, affecting the power and the endurance of the cell. In order to overcome this problem, an innovative anode material that resists against the sulfide corrosions has been developed. This material, made of a nanostructured and porous nickel support covered with a thin layer of ceria, exhibits high sulfur tolerance and recovering capability
Innovative nanomaterials for fuel cells fed with biogas
Challenges on sustainability promote research policy focused on renewable-energy technology development in order to enhance global energy security, local energy independence, environmental protection and economic growth. Biomass resources offer renewable energies that can play a key role in the current global strategies for reducing greenhouse gas emissions by partially replacing fossil fuels. The conversion of biomass chemical energy into electrical energy and cogenerated heat can be obtained by fuel cells. In particular, molten carbonate fuel cell (MCFC)
is the most suitable device for bioenergy production because it can be fed directly with biogas, whose primary constituents all improve the performance of the cell.
However hydrogen sulfide, which is the main biogas impurity, poisons the traditional nickel based anode, affecting the power and the endurance of the cell. In order to overcome this problem, an innovative anode material that resists against the sulfide corrosions has been developed. This material, made of a nanostructured and porous nickel support covered with a thin layer of ceria, exhibits high sulfur tolerance and recovering capability
Effects of wilting and lactic acid bacteria inoculation on fermentation quality of white lupin and fababean silages
Fababeans and lupins are short-term catch crops with a high crude protein content, which provide a high forage yield in a short growing period. Legumes are difficult to conserve as silages because of their low water soluble carbohydrates content (WSC) and high buffer capacity. To our knowledge, little information is available on the ensiling of fababeans and lupins in Southern Europe. The research was carried out in Lodi (Italy) in order to evaluate the effects of wilting and inoculation with lactic acid bacteria (LAB) on fermentation characteristics of the resulting silages. The data show that both wilting and LAB inoculant significantly improved fermentation quality of the legumes silages
- …