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

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

复合广义齐次Poisson过程的多险种破产概率

本文推广了经典的复合泊松风险模型，建立了两类复合广义齐次poisson过程的多险种破产模型．对于新模型，我们得到了初始资本为u的破产概率φ(u)的精确表达式以及特殊情况下φ(0)的表达式，并且导出了调节系数方程和调节系数R的上下界．     

气相色谱仪的技术指标测算方法

通过对气相色谱各项技术指标及意义的介绍，使应用者娴熟地掌握气相色谱的各项技术指标和测算方法，正确的表达分析检测结果。     

Sol-Gel Particulate Float Process to Make Vitreous Silica Bodies

Particulate sol-gel technology uses larger particles than that of alkoxide-derived gels and provides larger pore sizes in the gelled object. This allows relatively rapid drying and fabrication of large rods or tubular shapes. However, the formation of more complex or flat shapes, which require extensive surface contact with a mold, is more difficult. The shrinkage during drying, with the significantly greater stress of surface friction due to adhesion, frequently leads to cracking.We have demonstrated a solution to this problem by floating the gel on the surface of a dense liquid. Dry silica panels up to 28 × 40 × 0.7 cm³ were prepared in this way. The use of patterning molds allowed the fabrication of more sophisticated shapes. These bodies were sintered to transparent vitreous silica articles of near net dimensions.     

Inorganic Sol-Gel Preparation of Medium Sized Microparticles of Li2TiO3 from TiCl4 as Tritium Breeding Material for Fusion Reactors

Microspheres of Li₂TiO₃ were fabricated by a classical, inorganic sol-gel process from commercially available TiCl₄. Elaborated process consists of the following main steps: (1) dissolving of TiCl₄ in concentrated aqueous HCl and addition of LiOH; (2) formation of sol emulsion in 2-ethylhexanol-1 containing the surfactant SPAN-80 (EH); (3) gelation of emulsion drops by extraction of water with partially dehydrated EH; (4) impregnation of gel to Li:Ti molar ratio MR = 2; (5) thermal treatment at 1200°C in order to receive chloride free product. This temperature can be significantly lowered (to 750°C) by dechlorination starting solution TiCl₄ by chemical treatment of the with nitric acid to form of nitrate-stabilized titania sols. Tritium release from sol-gel made Li₂TiO₃ microspheres were found very close to that observed for other traditional materials, however for the first sample process starts slightly earlier.     

Fluctuation Theory for a Three-Dimensional Model of Maxwellian Molecules

Under suitable assumptions, a functional central limit theorem is obtained for a three-dimensional model of Maxwellian molecules. This model is related to a nonlinear Boltzmann-type equation. It will be proved that the family of the distributions induced by fluctuation processes converges weakly.     

Effect of Nuclear Binding Energy to K Factor

We modify the square of virtual photon four-momentum by using nuclear binding energy formula, and calculate the effect of nuclear binding energy to K factor and Compton subprocess and annihilate subprocess in A-A collision Drell-Yan process. The outcome indicates that the effect of nuclear binding energy to K factor is obvious in little x region and it would disappear gradually as x increases.     

The first encapsulation of hydroxynitrile lyase from Hevea brasiliensis in a sol-gel matrix

A straightforward process for the encapsulation of HbHNL under low methanol conditions has been developed. By adding a sol, prepared by hydrolysis of TMOS/MTMS at pH 2.8 with continuous removal of methanol, to a stirred solution of the enzyme in a buffer at pH 6.5, at least 65% of the activity of the free enzyme could be recovered after the encapsulation. The aquagels were successfully used in the synthesis of (S)-cyanohydrins.     

<Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript> linear interpolator for missing values in time series

We propose a minimum mean absolute error linear interpolator (MMAELI), based on theL ₁ approach. A linear functional of the observed time series due to non-normal innovations is derived. The solution equation for the coefficients of this linear functional is established in terms of the innovation series. It is found that information implied in the innovation series is useful for the interpolation of missing values. The MMAELIs of the AR(1) model with innovations following mixed normal andt distributions are studied in detail. The MMAELI also approximates the minimum mean squared error linear interpolator (MMSELI) well in mean squared error but outperforms the MMSELI in mean absolute error. An application to a real series is presented. Extensions to the general ARMA model and other time series models are discussed. This research was supported by a CityU Research Grant and Natural Science Foundation of China.