Mappings of finite distortion: Hausdorff measure of zero sets

We prove that a for a mapping f of finite distortion , the -Hausdorff measure of any point preimage is zero provided is integrable, with , and the multiplicity function of f is essentially bounded. As a consequence for we obtain that the mapping is then open and discrete. Received: 18 June 2001 / Revised version: 31 January 2002 / Published online: 27 June 2002     

Local ν-Euler Derivations and Deligne's¶Characteristic Class of Fedosov Star Products¶and Star Products of Special Type

In this paper we explicitly construct local ν-Euler derivations , where the ξ_α are local, conformally symplectic vector fields and the are formal series of locally defined differential operators, for Fedosov star products on a symplectic manifold (M,ω) by means of which we are able to compute Deligne's characteristic class of these star products. We show that this class is given by , where is a formal series of closed two-forms on M the cohomology class of which coincides with the one introduced by Fedosov to classify his star products. Moreover, we consider star products that have additional algebraic structures and compute the effect of these structures on the corresponding characteristic classes of these star products. Specifying the constituents of Fedosov's construction we obtain star products with these special properties. Finally, we investigate equivalence transformations between such special star products and prove existence of equivalence transformations being compatible with the considered algebraic structures. Dedicated to the memory of Moshé Flato Received: 28 June 1999 / Accepted: 11 April 2002?Published online: 11 September 2002     

Local search algorithms for the min-max loop layout problem

In the min-max loop layout problem, machines are to be arranged around a loop of conveyor belt. The ordering of the machines dictates the number of circuits of the conveyor belt required to manufacture each of several products. The goal is to find an ordering of the machines that minimises the maximum number of circuits required for the manufacture of any of the products. Since the problem is strongly NP-hard, the study of heuristic methods is of interest. This paper proposes iterated descent and tabu search algorithms, and a randomised insertion algorithm. Results of extensive computational tests show that all of our algorithms outperform a previously known algorithm that applies a greedy heuristic to the solution of a linear programming relaxation. The best quality solutions are obtained with iterated descent. This adds further evidence to the belief that iterated descent can produce high quality solutions to a variety of combinatorial optimisation problems. Moreover, unlike some other local search algorithms, iterated descent does not require much tuning in order to be competitive.     

Combining PSMs with hard OR methods: the philosophical and practical challenges

Combinations of problem structuring methods with hard OR methodologies are seldom described in the literature. This paper will reflect on the barriers to such combinations that can be seen at the philosophical level—paradigm incommensurability—and cognitive level—type of personality and difficulty of switching paradigm. This paper examines the combination of Soft Systems Methodology and Discrete Event Simulation within an Intermediate Care case study. The paper will argue, by way of the practical application, that these problems are not insurmountable and that the result can be seen as interplay of the soft and hard paradigms. The idea of yin and yang is proposed as a metaphor for this process.     

40Ar+诱导无定形碳到金刚石纳米晶相变的研究

通过60 keV的⁴⁰Ar⁺辐照无定形碳靶合成了大量尺寸不同的金刚石纳米颗粒.高分辨透射电子显微镜配合能量色散X射线谱和电子衍射以及Raman谱分析的结果表明，这些嵌于具有扰动石墨结构薄膜中的纳米金刚石颗粒，其成核率很高(约为10¹³/cm²)，而且可以生长到较大的尺寸，有的甚至可以达到微米量级.对其相转变过程也进行了初步探讨. 关键词： 离子束 金刚石纳米晶 相变 透射电子显微镜     

有Edgeworth展式的分布的随机加权逼近的重对数律

本文研究了未知分布的逼近问题，利用随机加权法，给出了有Edgeworth展式的一类（未知）分布的模拟分布，证明了在一定条件下，模拟分布与未知分布的逼近精度达到O(n^-1√lnlnn），称之为随机加权逼近的重对数律。     

A new microtensile tester for the study of MEMS materials with the aid of atomic force microscopy

An apparatus has been designed and implemented to measure the elastic tensile properties (Young's modulus and tensile strength) of surface micromachined polysilicon specimens. The tensile specimens are “dog-bone” shaped ending in a large “paddle” for convenient electrostatic or, in the improved apparatus, ultraviolet (UV) light curable adhesive gripping deposited with electrostatically controlled manipulation. The typical test section of the specimens is 400 μm long with 2 μm×50 μm cross section. The new device supports a nanomechanics method developed in our laboratory to acquire surface topologies of deforming specimens by means of Atomic Force Microscopy (AFM) to determine (fields of) strains via Digital Image Correlation (DIC). With this tool, high strength or non-linearly behaving materials can be tested under different environmental conditions by measuring the strains directly on the surface of the film with nanometer resolution.     

Ca+-Pyridine络合物的光解反应

使用反射式飞行时间质谱仪,得到 Ca~ -pyridine 络合物在412～ 690nm 的光解谱.从谱图可见,反应有两个通道,一个是 Ca~ 与 pyridine 分子解离开的非反应淬灭过程,这个通道在所有波段都有,且占优势；生成产物 Ca~ NH_2的通道不仅所占比例小,且在530～590nm 波段关闭. 作为激光波长函数的 Action spectrum 显示出明显的峰,对应于络合物的跃迁.反应的分支比也支持了光解谱图的结论.     

VOn±(n=0,1,2)的势能函数与光谱常数研究

用密度泛函B3LYP/6-311++G(d,p)方法和相对论有效实势(Lanl2dz基组)对VO^n±(n=0,1,2)分子离子的势能函数及光谱常数进行了分析. 结果表明它们都能稳定存在, 其基态电子状态分别是:⁴Σ(VO^2-), ³Σ(VO^-), ⁴Σ(VO), ³Σ(VO⁺)和²Σ(VO²⁺). 其中VO^2-和VO²⁺的势能函数曲线呈“火山口”型, 属于亚稳态分子离子. 用七参数Murell-Sorbie势拟合VO^2-和VO²⁺分子亚稳态双原子分子离子势能函数, 发现其拟合曲线与势能函数曲线符合得很好. 同时,讨论了电荷对势能函数和能级的影响. 关键词： 分子离子 密度泛函理论 势能函数 能级     

钐(Ⅱ)类卡宾CH_3SmCH_2X(X=Cl、Br和Ⅰ)促进乙烯环丙烷化反应途径的理论研究(英文)

用密度泛函B3LYP方法研究了过渡金属钐类卡宾与乙烯的环丙烷化反应的机理。对三种不同的钐的SS试剂CH_3SmCH_2X(其中X=Cl、Br和Ⅰ)分别和CH_2CH_2反应的各反应物、中间体、过渡态和产物构型的全部结构几何参数进行了优化,用内禀反应坐标(IRC)计算和频率分析方法,对过渡态进行了验证。结果表明：CH_3SmCH_2X(其中X=Cl、Br和Ⅰ)与CH_2CH_2环丙烷化反应按亚甲基转移通道(通道A)和卡宾金属化通道(通道B)都可以进行,与锂类卡宾的反应机理相同,只是按亚甲基转移通道(通道A)进行反应较容易一些,而且此反应在较低的温度下就可以发生。