关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

Vibrational EELS and DFT study of propionic acid and pyruvic acid on Ni(1 0 0): Effects of keto group substitution on room-temperature adsorption and thermal chemistry

The room-temperature adsorption and thermally induced processes of propionic acid and pyruvic acid on Ni(1 0 0) have been investigated by electron energy loss spectroscopy (EELS). Computational vibrational analysis of the optimized bidentate structures for acid-Ni model complexes (involving the organic acid and a Ni atom) has been performed by using the two-layer ONIOM method with the Density Functional Theory and used to interpret the vibrational EELS data. Dehydrogenation of the hydroxyl group is found to result in bonding of the carboxylate group in the propionate and pyruvate adspecies to either a single Ni surface atom in a bidentate configuration or two neighbouring Ni atoms in a bridge configuration. Given the similarities in the total energies and related vibrational frequencies obtained by the calculations in the case of pyruvate adspecies, it is difficult to differentiate the alternate adsorption structure, in which the keto O and hydroxyl O atoms are bonded to a Ni atom in a five-member chelate ring configuration. Furthermore, temperature-dependent EELS studies show that both the propionate and pyruvate adspecies could decompose upon annealing to above 400 K and further dissociate to CO adspecies above 550 K and to C and/or O above 600 K.     

Commutators, C0-semigroups and resolvent estimates

We study the existence and the continuity properties of the boundary values on the real axis of the resolvent of a self-adjoint operator H in the framework of the conjugate operator method initiated by Mourre. We allow the conjugate operator A to be the generator of a C₀-semigroup (finer estimates require A to be maximal symmetric) and we consider situations where the first commutator [H,iA] is not comparable to H. The applications include the spectral theory of zero mass quantum field models.     

Analysis of CCD moiré pattern for micro-range measurements using the wavelet transform

A new approach based on the moiré theory and wavelet transform (WT) is proposed for measuring the micro-range distance between a charge-couple-device (CCD) camera and a two-dimensional reference grating. The micro-range distance is determined by measuring the pitch of the moiré pattern image, which is digitized by a CCD camera. A one-dimensional WT algorithm is applied to estimate the pitch of the moiré pattern. Experimental results prove that this technique is very efficient and highly accurate. The moiré range finder is an economic technique for measuring a micro-range distance.     

A risk model driven by Lévy processes

We present a general risk model where the aggregate claims, as well as the premium function, evolve by jumps. This is achieved by incorporating a Lévy process into the model. This seeks to account for the discrete nature of claims and asset prices. We give several explicit examples of Lévy processes that can be used to drive a risk model. This allows us to incorporate aggregate claims and premium fluctuations in the same process. We discuss important features of such processes and their relevance to risk modeling. We also extend classical results on ruin probabilities to this model. Copyright © 2003 John Wiley & Sons, Ltd.     

Focused ion beam Moiré method

A focused ion beam (FIB) Moiré method is proposed to measure the in-plane deformation of object in a micrometer scale. The FIB Moiré is generated by the interference between a prepared specimen grating and FIB raster scan lines. The principle of the FIB Moiré is described. The sensitivity and accuracy of deformation measurement are discussed in detail. Several specimen gratings with 0.14 and 0.20 μm spacing are used to generate FIB Moiré patterns. The FIB Moiré method is successfully used to measure the residual deformation in a micro-electro-mechanical system structure after removing the SiO₂ sacrificial layer with a 5000 lines/mm grating. The results demonstrate the feasibility of this method.     

New Branch-and-Cut Algorithm for Bilevel Linear Programming

Linear mixed 0–1 integer programming problems may be reformulated as equivalent continuous bilevel linear programming (BLP) problems. We exploit these equivalences to transpose the concept of mixed 0–1 Gomory cuts to BLP. The first phase of our new algorithm generates Gomory-like cuts. The second phase consists of a branch-and-bound procedure to ensure finite termination with a global optimal solution. Different features of the algorithm, in particular, the cut selection and branching criteria are studied in details. We propose also a set of algorithmic tests and procedures to improve the method. Finally, we illustrate the performance through numerical experiments. Our algorithm outperforms pure branch-and-bound when tested on a series of randomly generated problems. Work of the authors was partially supported by FCAR, MITACS and NSERC grants.     

Sr2RuO4的热电势

Sr2RuO4是第一个无CuO面的层状强关联氧化物超导体.测量了9至260K温度范围内Sr2RuO4的热电势,观测到在此温度范围内其热电势为正值.用两种载流子模型对实验数据进行了拟合,并且与Hall系数的实验结果进行了比较,发现低温下两种载流子对热电势和Hall系数的贡献比较类似,但在高温区空穴对热电势的贡献很大而相应地对Hall系数的贡献不占主要地位. 关键词： Sr2RuO4 热电势