Fluidized bed char combustion diffusion limited models

A model based on the two phase theory of fluidization has been developed for prediction of fluidized bed combustor performance. Two different particleThe relative importance and influence of model parameters (i.e. mass transfer rates between the bubbles and the dense phase and the dense phase gas andIt was found that model predictions are in a qualitative agreement with the experimental observations. The calculated values of char particle temperatu     

Analysis of changes in optical fibers during arc-fusion splicing by use of quantitative phase imaging

A non-interferometric imaging technique in conjunction with Abel inversion is used to directly and quantitatively examine the changes in optical fibers due to the heating produced during arc-fusion splicing as a function of fusion arc parameters. Phase images in the vicinity of a fusion splice are obtained using Quantitative Phase Microscopy, allowing the refractive-index change to be reconstructed with high spatial resolution. This simple, nondestructive method confirms that, for a fixed arc current, while the fusion time increases, the refractive-index of both fiber cores within the fusion region decreases in magnitude, the core region broadens, and the axial gradient decreases.     

Assessment of chloride secretion in human nasal epithelial cells by X-ray microanalysis

The genetic disease cystic fibrosis (CF) is due to defective epithelial chloride transport. Different treatments have been proposed that could restore chloride transport in CF patients. A new method is proposed for measuring the chloride secretion in easily accessible epithelial cells.
Fresh nasal epithelial cells were obtained by nasal brushing and made to attach to titanium grids for electron microscopy. Chloride efflux through the cystic fibrosis transmembrane regulator channel was stimulated by 20 µ m forskolin and 100 µ m isobutyl-methylxanthine (IBMX), in standard Ringer's solution (SR). Chloride efflux through the calcium-regulated channel was stimulated by 200 µ m adenosine triphosphate (ATP) in SR. The cells were rinsed after the exposure, in order to remove the experimental medium, frozen and freeze-dried. The elemental composition of the cells was determined by X-ray microanalysis.
Rinsing with distilled water or ammonium acetate appeared to cause damage to the cells, whereas rinsing with isotonic mannitol preserved the ionic composition. Stimulation of cells from healthy controls with forskolin and IBMX in a chloride-containing medium caused a significant (28 ± 6%) decrease in chloride concentration, which is indicative of net chloride efflux. In similar conditions, stimulation with ATP induced a 29 ± 5% decrease in the chloride concentration.
Stimulation of cells from CF patients with forskolin and IBMX in a chloride-containing medium caused no significant change in the intracellular chloride concentration, whereas ATP stimulation induced a response similar to that obtained in cells from healthy controls.
It is concluded that X-ray microanalysis of nasal epithelial cells may be used to determine chloride secretion in CF patients in an easily accessible cell type.     

新型锥差式液压马达的运动与效率分析

本文分析了新型锥差式液压马达的运动与效率.     

Nanostructured Dielectric Fractals on Resonant Plasmonic Metasurfaces for Selective and Sensitive Optical Sensing of Volatile Compounds

Advances in the understanding and fabrication of plasmonic nanostructures have led to a plethora of unprecedented optoelectronic and optochemical applications. Plasmon resonance has found widespread use in efficient optical transducers of refractive index changes in liquids. However, it has proven challenging to translate these achievements to the selective detection of gases, which typically adsorb non‐specifically and induce refractive index changes below the detection limit. Here, it's shown that integration of tailored fractals of dielectric TiO₂ nanoparticles on a plasmonic metasurface strongly enhances the interaction between the plasmonic field and volatile organic molecules and provides a means for their selective detection. Notably, this superior optical response is due to the enhancement of the interaction between the dielectric fractals and the plasmonic metasurface for thickness of up to 1.8 μm, much higher than the evanescent plasmonic near‐field (≈30 nm) . Optimal dielectric–plasmonic structures allow measurements of changes in the refractive index of the gas mixture down to <8 × 10^?6 at room temperature and selective identification of three exemplary volatile organic compounds. These findings provide a basis for the development of a novel family of dielectric–plasmonic materials with application extending from light harvesting and photocatalysts to contactless sensors for noninvasive medical diagnostics.     

Energy integrals for the systems with nonholonomic constraints of arbitrary form and origin

This work analyzes energy relations between nonholonomic systems, whose motion is restricted by nonholonomic constraints of arbitrary form and origin. Such constraints can be natural, originating from spontaneous formulation of the problem, or artificial, expressing some program motion in control theory. On the basis of corresponding Lagrange’s equations, a general law of the change in energy d?/dt was formulated for such systems by the help of which it has been shown that here there exist two types of laws of conservation of energy, depending on the structure of work of these reaction forces. Also, the condition for existence of this second type of the law of conservation of energy has been formulated in the form of the system of differential equations. The results obtained are illustrated by a number of examples, with natural nonlinear constraints, as well as with artificial ones that express some program motion.     

The Refinement Calculus of Reactive Systems Toolset

International Journal on Software Tools for Technology Transfer - We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional formal modeling and reasoning...     

Contract-based modeling and verification of timed safety requirements within SysML

In order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based design technique driven by requirements. Yet, such an approach raises several issues since it does not explicitly prescribe how system requirements can be decomposed on components nor how components contribute to the satisfaction of requirements. The envisioned solution is to design, with respect to each requirement and for each involved component, an abstract specification, tractable at each design step, that models how the component is concerned by the satisfaction of the requirement and that can be further refined toward a correct implementation. In this paper, we consider such specifications in the form of contracts. A contract for a component consists in a pair (assumption, guarantee) where the assumption models an abstract behavior of the component’s environment and the guarantee models an abstract behavior of the component given that the environment behaves according to the assumption. Therefore, contracts are a valuable asset for the correct design of systems, but also for mapping and tracing requirements to components, for tracing the evolution of requirements during design and, most importantly, for compositional verification of requirements. The aim of this paper is to introduce contract-based reasoning for the design of critical real-time systems made of reactive components modeled with UML and/or SysML. We propose an extension of UML and SysML languages with a syntax and semantics for contracts and the refinement relations that they must satisfy. The semantics of components and contracts is formalized by a variant of timed input/output automata on top of which we build a formal contract-based theory. We prove that the contract-based theory is sound and can be applied for a relatively large class of SysML system models. Finally, we show on a case study extracted from the automated transfer vehicle (http://www.esa.int/ATV) that our contract-based theory allows to verify requirement satisfaction for previously intractable models.