Density functional theory studies of Cu-zeolite de-NOx catalysts

Summary Recent progress in the modelling of exchanged Cu sites and their interactions with small molecules, based on DFT cluster calculations, is briefly reviewed.     

考虑环境影响的水电站水库模糊优化调度模型及其应用

本文在提出一种水电站水库优化调度准则的基础上,建立了考虑环境因素影响的水电站水库模糊优化调度模型,实例研究表明,所建模型是有效的、适用的。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

压力传感器的应力计算

从弹性力学的板壳理论出发,对不同参数的凸型板结构形变膜受压后的应力分布作了近似计算,为高线性度SOI压力传感器的芯片设计提供了理论指导。用BESOI技术研制的凸型板结构集成压力传感器的非线性度达0 09%,样品灵敏度的实测值与应力计算理论值的差别约17%。     

被Kerr介质包围的J—C模型中光场位相特性

本文应用Pegg-Barnett位相理论讨论了被Kerr介质包围的J-C模型中光场的位相性质。     

布喇格光纤光栅反射特性及制作的理论研究

在对光纤光栅折射率分布进行合理假设的基础上,运用耦合模理论计算了光纤光栅的反射特性,对其反射特性与相关参数的关系进行了分析,并且还推导出了用相位掩模法制造光纤光栅的理论根据,得到了一些有益于光纤光栅制造的结论和有用公式。     

Mean-square stability for discrete bilinear systems in Hilbert space

A discrete system is uniformly mean-square stable if uniform convergence is preserved between input and state correlation sequences, and if nuclearity is preserved between the input and state correlation limits. This paper supplies a contraction-free condition ensuring mean-square stability for infinite-dimensional bilinear systems evolving in a separable Hilbert space.     

Development and implementation of a NURBS curve motion interpolator

This paper deals with the issues of development and implementation of a real-time NURBS interpolator for a six-axis robot. Using an open-architecture controller system as a testbed, a real-time NURBS curve interpolator was developed, implemented and tested. Sample runs were conducted with the resulting trajectories measured in real-time during robot motion. The resulting trajectories are analyzed, discussed and compared with those from a commonly used point-to-point approximation technique. The real-time NURBS curve interpolator's feasibility, advantages and related issues are also discussed.     

铁铝酸盐复合膨胀水泥化学预应力机理及其应用研究

本文阐述铁铝酸盐自应力混凝土的主要物理力学特征.研究了限制膨胀应变与配筋率之间的定量函数关系.通过正交试验和方差分析,确定了复合外加剂对其性能的影响.针对其在自应力管中的应用,提出多层中空圆柱理论计算模型,按弹性理论计算出自应力管初始应力分布规律.对比以前的线性理论计算误差,给出相应的修正系数.本文对类似的自应力混凝土,具有普遍的指导意义.     

Nonnegative integral subset representations of integer sets

We consider an integer-subset representation problem motivated by a medical application in radiation therapy. We prove NP-completeness, derive nontrivial bounds, and report on the performance of a greedy heuristic.