An experimental study on engine dynamics model based in-cylinder pressure estimation

The information provided by the in-cylinder pressure signal is of great importance for modern engine management systems. The obtained information is implemented to improve the control and diagnostics of the combustion process in order to meet the stringent emission regulations and to improve vehicle reliability and drivability. The work presented in this paper covers the experimental study and proposes a comprehensive and practical solution for the estimation of the in-cylinder pressure from the crankshaft speed fluctuation. Also, the paper emphasizes the feasibility and practicality aspects of the estimation techniques, for the real-time online application. In this study an engine dynamics model based estimation method is proposed. A discrete-time transformed form of a rigid-body crankshaft dynamics model is constructed based on the kinetic energy theorem, as the basis expression for total torque estimation. The major difficulties, including load torque estimation and separation of pressure profile from adjacent-firing cylinders, are addressed in this work and solutions to each problem are given respectively. The experimental results conducted on a multi-cylinder diesel engine have shown that the proposed method successfully estimate a more accurate cylinder pressure over a wider range of crankshaft angles. Copyright © 2012 SAE International.

Guidance of collective cell migration by substrate geometry.

Collective behavior refers to the emergence of complex migration patterns over scales larger than those of the individual elements constituting a system. It plays a pivotal role in biological systems in regulating various processes such as gastrulation, morphogenesis and tissue organization. Here, by combining experimental approaches and numerical modeling, we explore the role of cell density ('crowding'), strength of intercellular adhesion ('cohesion') and boundary conditions imposed by extracellular matrix (ECM) proteins ('constraints') in regulating the emergence of collective behavior within epithelial cell sheets. Our results show that the geometrical confinement of cells into well-defined circles induces a persistent, coordinated and synchronized rotation of cells that depends on cell density. The speed of such rotating large-scale movements slows down as the density increases. Furthermore, such collective rotation behavior depends on the size of the micropatterned circles: we observe a rotating motion of the overall cell population in the same direction for sizes of up to 200 μm. The rotating cells move as a solid body, with a uniform angular velocity. Interestingly, this upper limit leads to length scales that are similar to the natural correlation length observed for unconfined epithelial cell sheets. This behavior is strongly altered in cells that present a downregulation of adherens junctions and in cancerous cell types. We anticipate that our system provides a simple and easy approach to investigate collective cell behavior in a well-controlled and systematic manner.

On the effects of turbulence modelling in design optimisation for high-lift devices

Aerodynamic shape optimisation is being increasingly utilised as a design tool in the aerospace industry. In order to provide accurate results, design optimisation methods rely on the accuracy of the underlying CFD methods applied to obtain aerodynamic forces for a given configuration. Previous studies of the authors have highlighted that the variation of the order of accuracy of the CFD solver with a fixed turbulence model affects the resulting optimised airfoil shape for a single element airfoil. The accuracy of the underlying CFD model is even more relevant in the context of high-lift configurations where an accurate prediction of flow is challenging due to the complex flow physics involving transition and flow separation phenomena. This paper explores the effect of the fidelity of CFD results for a range of turbulence models within the context of the computational design of aircraft configurations. The NLR7301 multi-element airfoil (main wing and flap) is selected as the baseline configuration, because of the wealth of experimental an computational results available for this configuration. An initial validation study is conducted in order to establish optimal mesh parameters. A bi-objective shape optimisation problem is then formulated, by trying to reveal the trade-off between lift and drag coefficients at high angles of attack. Optimisation of the airfoil shape is performed with Spalart-Allmaras, k - ω SST and k - o realisable models. The results indicate that there is consistent and complementary impact to the optimum level achieved from all the three different turbulence models considered in the presented case study. Without identifying particular superiority of any of the turbu- lence models, we can say though that each of them expressed favourable influence towards different optimality routes. These observations lead to the exploration of new avenues for future research. © 2012 AIAA.

On the effects of turbulence modelling in design optimisation for high-lift devices

Aerodynamic shape optimisation is being increasingly utilised as a design tool in the aerospace industry. In order to provide accurate results, design optimisation methods rely on the accuracy of the underlying CFD methods applied to obtain aerodynamic forces for a given configuration. Previous studies of the authors have highlighted that the variation of the order of accuracy of the CFD solver with a fixed turbulence model affects the resulting optimised airfoil shape for a single element airfoil. The accuracy of the underlying CFD model is even more relevant in the context of high-lift configurations where an accurate prediction of flow is challenging due to the complex flow physics involving transition and flow separation phenomena. This paper explores the effect of the fidelity of CFD results for a range of turbulence models within the context of the computational design of aircraft configurations. The NLR7301 multi-element airfoil (main wing and flap) is selected as the baseline configuration, because of the wealth of experimental an computational results available for this configuration. An initial validation study is conducted in order to establish optimal mesh parameters. A bi-objective shape optimisation problem is then formulated, by trying to reveal the trade-off between lift and drag coefficients at high angles of attack. Optimisation of the airfoil shape is performed with Spalart-Allmaras, k - ω SST and k - ε realisable models. The results indicate that there is consistent and complementary impact to the optimum level achieved from all the three different turbulence models considered in the presented case study. Without identifying particular superiority of any of the turbu- lence models, we can say though that each of them expressed favourable influence towards different optimality routes. These observations lead to the exploration of new avenues for future research. © 2012 by the authors.

Dynamic compression of foam supported plates impacted by high velocity soil

The response of back-supported buffer plates comprising a solid face sheet and foam core backing impacted by a column of high velocity particles (sand slug) is investigated via a lumped parameter model and coupled discrete/continuum simulations. The buffer plate is either resting on (unattached) or attached to a rigid stationary foundation. The lumped parameter model is used to construct maps of the regimes of behaviour with axes of the ratio of the height of the sand slug to core thickness and the normalised core strength. Four regimes of behaviour are identified based on whether the core compression ends prior to the densification of the sand slug or vice versa. Coupled discrete/continuum simulations are also reported and compared with the lumped parameter model. While the model predicted regimes of behaviour are in excellent agreement with numerical simulations, the lumped parameter model is unable to predict the momentum transmitted to the supports as it neglects the role of elasticity in both the buffer plate and the sand slug. The numerical calculations show that the momentum transfer is minimised for intermediate values of the core strength when the so-called "soft-catch" mechanism is in play. In this regime the bounce-back of the sand slug is minimised which reduces the momentum transfer. However, in this regime, the impulse reduction is small (less than 10% of that transferred to a rigid structure). For high values of the core strength, the response of the buffer plate resembles a rigid plate with nearly no impulse mitigation while at low values of core strength, a slap event occurs when the face sheet impinges against the foundation due to full densification of the foam core. This slap event results in a significant enhancement of the momentum transfer to the foundation. The results demonstrate that appropriately designed buffer plates have potential as impulse mitigators in landmine loading situations. © 2013 Elsevier Ltd. All rights reserved.

Plasma biochemical responses of the planktivorous filter-feeding silver carp (Hypophthalmichthys molitrix) and bighead carp (Aristichthys nobilis) to prolonged toxic cyanobacterial blooms in natural waters

The planktivorous filter-feeding silver carp (Hypophthalmichthys molitrix) and bighead carp (Aristichthys nobilis) are the attractive candidates for bio-control of plankton communities to eliminate odorous populations of cyanobacteria. However, few studies focused on the health of such fishes in natural water body with vigorous toxic blooms. Blood parameters are useful and sensitive for diagnosis of diseases and monitoring of the physiological status of fish exposed to toxicants. To evaluate the impact of toxic cyanobacterial blooms on the planktivorous fish, 12 serum chemistry variables were investigated in silver carp and bighead carp for 9 months, in a large net cage in Meiliang Bay, a hypereutrophic region of Lake Taihu. The results confirmed adverse effects of cyanobacterial blooms on two phytoplanktivorous fish, which mainly characterized with potential toxicogenomic effects and metabolism disorders in liver, and kidney dysfunction. In addition, cholestasis was intensively implied by distinct elevation of all four related biomarkers (ALP, GGT, DBIL, TBIL) in bighead carp. The combination of LDH, AST activities and DBIL, URIC contents for silver carp, and the combination of ALT. ALP activities and TBIL, DBIL. URIC concentrations for bighead carps were found to most strongly indicate toxic effects from cyanobacterial blooms in such fishes by a multivariate discriminant analysis. (C) 2009 Elsevier B.V. All rights reserved.

Hybrid core carbon fiber composite sandwich panels: Fabrication and mechanical response

Carbon fiber reinforced polymer (CFRP) composite sandwich panels with hybrid foam filled CFRP pyramidal lattice cores have been assembled from a carbon fiber braided net, 3D woven face sheets and various polymeric foams, and infused with an epoxy resin using a vacuum assisted resin transfer process. Sandwich panels with a fixed CFRP truss mass have been fabricated using a variety of closed cell polymer and syntactic foams, resulting in core densities ranging from 44-482kgm-3. The through thickness and in-plane shear modulus and strength of the cores increased with increasing foam density. The use of low compressive strength foams within the core was found to result in a significant reduction in the compressive strength contributed by the CFRP trusses. X-ray tomography led to the discovery that the trusses develop an elliptical cross-section shape during pressure assisted resin transfer. The ellipticity of the truss cross-sections increased, and the lattice contribution to the core strength decreased as the foam density was reduced. Micromechanical modeling was used to investigate the relationships between the mechanical properties and volume fractions of the core materials and truss topology of the hybrid core. The specific strength and moduli of the hybrid cores lay between those of the CFRP lattices and foams used to fabricate them. However, their volumetric and gravimetric energy absorptions significantly exceeded those of the materials from which they were fabricated. They compare favorably with other lightweight energy absorbing materials and structures. © 2013.

Global linear stability of the boundary-layer flow over a rotating sphere

We consider the linear global stability of the boundary-layer flow over a rotating sphere. Our results suggest that a self-excited linear global mode can exist when the sphere rotates sufficiently fast, with properties fixed by the flow at latitudes between approximately 55°-65° from the pole (depending on the rotation rate). A neutral curve for global linear instabilities is presented with critical Reynolds number consistent with existing experimentally measured values for the appearance of turbulence. The existence of an unstable linear global mode is in contrast to the literature on the rotating disk, where it is expected that nonlinearity is required to prompt the transition to turbulence. Despite both being susceptible to local absolute instabilities, we conclude that the transition mechanism for the rotating-sphere flow may be different to that for the rotating disk. © 2014 Elsevier Masson SAS. All rights reserved.

Wave dispersion and power flow analysis of an infinite aerofoil-shaped beam

Classic flutter analysis models an aerofoil as a two degree-of-freedom rigid body supported by linear and torsional springs, which represent the bending and torsional stiffness of the aerofoil section. In this classic flutter model, no energy transfer or dissipation can occur in the span-wise direction of the aerofoil section. However, as the aspect ratio of an aerofoil section increases, this span-wise energy transfer - in the form of travelling waves - becomes important to the overall system dynamics. This paper extends the classic flutter model to include travelling waves in the span-wise direction. Namely, wave dispersion and power flow analysis of an infinite, aerofoil-shaped beam, subject to bending, torsion, tension and a constant wind excitation, is used to investigate the overall system stability. Examples of potential applications for these high aspect ratio aerofoil sections include high-altitude balloon tethers, towed cables, offshore risers and mooring lines.

Impacts of hydrogen dilution on growth and optical properties of a-SiC : H films

Hydrogenated amorphous silicon-carbon (a-SiC:H) films were deposited by plasma enhanced chemical vapor deposition (PECVD) with a fixed methane to silane ratio ([CH4]/[SiH4]) of 1.2 and a wide range of hydrogen dilution (R-H=[H-2]/[SiH4 + CH4]) values of 12, 22, 33, 102 and 135. The impacts of RH on the structural and optical properties of the films were investigated by using UV-VIS transmission, Fourier transform infrared (FTIR) absorption, Raman scattering and photoluminescence (PL) measurements. The effects of high temperature annealing on the films were also probed. It is found that with increasing hydrogen dilution, the optical band gap increases, and the PL peak blueshifts from similar to1.43 to 1.62 eV. In annealed state, the room temperature PL peak for the low R-H samples disappears, while the PL peak for the high R-H samples appears at similar to 2.08 eV, which is attributed to nanocrystalline Si particles confined by Si-C and Si-O bonds.

Optical constants of cubic GaN/GaAs(001): Experiment and modeling

The optical constants epsilon(E)=epsilon(1)(E)+iepsilon(2)(E) of unintentionally doped cubic GaN grown on GaAs(001) have been measured at 300 K using spectral ellipsometry in the range of 1.5-5.0 eV. The epsilon(E) spectra display a structure, associated with the critical point at E-0 (direct gap) and some contribution mainly coming from the E-1 critical point. The experimental data over the entire measured spectral range (after oxide removal) has been fit using the Holden-Munoz model dielectric function [M. Munoz et al., J. Appl. Phys. 92, 5878 (2002)]. This model is based on the electronic energy-band structure near critical points plus excitonic and band-to-band Coulomb-enhancement effects at E-0, E-0 + Delta(0) and the E-1, E-1 + Delta(1), doublet. In addition to evaluating the energy of the E-0 critical point, the binding energy (R-1) of the two-dimensional exciton related to the E-1 critical point was estimated using the effective mass/k.p theory. The line, shape of the imaginary part of the cubic-GaN dielectric function shows excitonic effects at room temperature not withstanding that the exciton was not resolved. (C) 2003 American Institute of Physics.

A novel contactless method for characterization of semiconductors: Surface electron beam induced voltage in scanning electron microscopy

We present a novel contactless and nondestructive method called the surface electron beam induced voltage (SEBIV) method for characterizing semiconductor materials and devices. The SEBIV method is based on the detection of the surface potential induced by electron beams of scanning electron microscopy (SEM). The core part of the SEBIV detection set-up is a circular metal detector placed above the sample surface. The capacitance between the circular detector and whole surface of the sample is estimated to be about 0.64 pf It is large enough for the detection of the induced surface potential. The irradiation mode of electron beam (e-beam) influences the signal generation. When the e-beam irradiates on the surface of semiconductors continuously, a differential signal is obtained. The real distribution of surface potentials can be obtained when a pulsed e-beam with a fixed frequency is used for irradiation and a lock-in amplifier is employed for detection. The polarity of induced potential depends on the structure of potential barriers and surface states of samples. The contrast of SEBIV images in SEM changes with irradiation time and e-beam intensity.

Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。