复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

A projection method for solving incompressible viscous flows on domains with moving boundaries

In this paper, a projection method is presented for solving the flow problems in domains with moving boundaries. In order to track the movement of the domain boundaries, arbitrary‐Lagrangian–Eulerian (ALE) co‐ordinates are used. The unsteady incompressible Navier–Stokes equations on the ALE co‐ordinates are solved by using a projection method developed in this paper. This projection method is based on the Bell's Godunov‐projection method. However, substantial changes are made so that this algorithm is capable of solving the ALE form of incompressible Navier–Stokes equations. Multi‐block structured grids are used to discretize the flow domains. The grid velocity is not explicitly computed; instead the volume change is used to account for the effect of grid movement. A new method is also proposed to compute the freestream capturing metrics so that the geometric conservation law (GCL) can be satisfied exactly in this algorithm. This projection method is also parallelized so that the state of the art high performance computers can be used to match the computation cost associated with the moving grid calculations. Several test cases are solved to verify the performance of this moving‐grid projection method. Copyright © 2004 John Wiley Sons, Ltd.     

Interfacial dynamics‐based modelling of turbulent cavitating flows,Part‐2: Time‐dependent computations

The interfacial dynamics‐based cavitation model, developed in Part‐1, is further employed for unsteady flow computations. The pressure‐based operator‐splitting algorithm (PISO) is extended to handle the time‐dependent cavitating flows with particular focus on the coupling of the cavitation and turbulence models, and the large density ratio associated with cavitation. Furthermore, the compressibility effect is important for unsteady cavitating flows because in a water–vapour mixture, depending on the composition, the speed of sound inside the cavity can vary by an order of magnitude. The implications of the issue of the speed of the sound are assessed with alternative modelling approaches. Depending on the geometric confinement of the nozzle, compressibility model and cavitation numbers, either auto‐oscillation or quasi‐steady behaviour is observed. The adverse pressure gradient in the closure region is stronger at the maximum cavity size. One can also observe that the mass transfer process contributes to the cavitation dynamics. Compared to the steady flow computations, the velocity and vapour volume fraction distributions within the cavity are noticeably improved with time‐dependent computations. Copyright © 2004 John Wiley & Sons, Ltd.     

Calculation of impulsively started incompressible viscous flows

The paper's focus is the calculation of unsteady incompressible 2D flows past airfoils. In the framework of the primitive variable Navier–Stokes equations, the initial and boundary conditions must be assigned so as to be compatible, to assure the correct prediction of the flow evolution. This requirement, typical of all incompressible flows, viscous or inviscid, is often violated when modelling the flow past immersed bodies impulsively started from rest. Its fulfillment can however be restored by means of a procedure enforcing compatibility, consisting in a pre‐processing of the initial velocity field, here described in detail. Numerical solutions for an impulsively started multiple airfoil have been obtained using a finite element incremental projection method. The spatial discretization chosen for the velocity and pressure are of different order to satisfy the inf–sup condition and obtain a smooth pressure field. Results are provided to illustrate the effect of employing or not the compatibility procedure, and are found in good agreement with those obtained with a non‐primitive variable solver. In addition, we introduce a post‐processing procedure to evaluate an alternative pressure field which is found to be more accurate than the one resulting from the projection method. This is achieved by considering an appropriate ‘unsplit’ version of the momentum equation, where the velocity solution of the projection method is substituted. Copyright © 2004 John Wiley & Sons, Ltd.     

Efficient discretization of pressure‐correction equations on non‐orthogonal grids

An alternative discretization of pressure‐correction equations within pressure‐correction schemes for the solution of the incompressible Navier–Stokes equations is introduced, which improves the convergence and robustness properties of such schemes for non‐orthogonal grids. As against standard approaches, where the non‐orthogonal terms usually are just neglected, the approach allows for a simplification of the pressure‐correction equation to correspond to 5‐point or 7‐point computational molecules in two or three dimensions, respectively, but still incorporates the effects of non‐orthogonality. As a result a wide range (including rather high values) of underrelaxation factors can be used, resulting in an increased overall performance of the underlying pressure‐correction schemes. Within this context, a second issue of the paper is the investigation of the accuracy to which the pressure‐correction equation should be solved in each pressure‐correction iteration. The scheme is investigated for standard test cases and, in order to show its applicability to practical flow problems, for a more complex configuration of a micro heat exchanger. Copyright © 2003 John Wiley & Sons, Ltd.     

Pressure-induced polymorphism in enstatite (MgSiO3) at room temperature: clinoenstatite and orthoenstatite

The phase transition of a synthetic clinoenstatite in a diamond-anvil cell has been studied by using Raman spectroscopy at various pressures and room temperature. The phenomena observed in clinoenstatite have been compared with that observed in orthoenstatite. It is found that the pressure-induced phase transitions in the two enstatites are reversible, but with different transition pressures and transition behavior. An analysis of Raman spectra has revealed that the two enstatites have different high-pressure polymorphs. This result suggests that the space group of the high-pressure polymorph of orthoenstatite is not of C2/c, and that orthoenstatite and orthoferrosilite have different transition routes at room temperature and high pressure. The compressional behavior of the high-PC2/c enstatite is also discussed according to the pressure dependences of Raman frequencies.     

静压下半导体微腔内激子与光子行为的研究

由于腔模与激子对压力的依赖关系不同,所以可以选择不同的压力使激子和光场处于不同的耦合状态,从而实现对耦合的调谐。利用这种办法,我们观测到了代表激子与光场强耦合作用的Rabi分裂。由于在我们现有样品结构中压力对激子本征行为的影响很小,与以前报道的温度、电场等调谐方式相比,这种调谐方法不仅可以有效地调谐半导体微腔内激子与腔模的耦合程度,而且能够保持激子的本征性质在整个调谐过程中基本不变。这有助于研究在强耦合过程中激子极化激元的本征性质。将实验结果与压力下激子与腔模耦合理论进行拟合,得出了正确的Rabi分裂值。     

热线法测定气体导热系数实验的探讨与改进

在准静态低气压下测量气体的热传导系数时，理论上在低压强范围内应得到Q^-1低-p^-1线性关系图象，但实验数据所绘出的图象出现明显的非线性．本文着重分析出现非线性的原因，并提出实验改进的方法。     

A novel capacitive pressure sensor structure with high sensitivity and quasi-linear responseUne nouvelle structure de capteur de pression capacitif avec haute sensibilitée et réponse quasi-linéaire

This paper describes a new capacitive structure of pressure sensor to increase simultaneously the sensitivity and the linearity of the transducer. This structure contains two capacitors which change in response to pressure, but in opposite senses. To increase even more the sensitivity of each capacitor, the pressure sensitive diaphragm carries a central boss. The optimal position and the length of the boss are also calculated. To cite this article: A. Ettouhami et al., C. R. Mecanique 332 (2004).     

Simultaneous Determination of Carbamate and Organophosphorus Pesticides in Honeybees by Liquid Chromatography-Mass Spectrometry

Summary The potential of liquid chromatography-mass spectrometry (LC-MS) has been studied for the simultaneous determination of sixteen carbamate and organophosphorus pesticides in honeybees using a traditional sample preparation protocol based on acetone extraction and dichloromethane partitioning. The performances of both atmospheric pressure chemical ionization (APCI) and electrospray (ES) interfaces were compared. APCI offered better sensitivity and specificity for a higher range of pesticides. Limits of quantification were from 0.01 to 0.17 mg kg^–1, at which recoveries obtained were between 64 and 93%, except for pirimicarb that was at 13%, with relative standard deviations ranging from 7 to 20%. Fenitrothion, fenoxycarb, methiocarb and phoxim were found in bees from Valencian Community beehives at concentrations between 0.03 and 3.75 mg kg^–1.