囚禁在光格中的波色-爱因斯坦凝聚体孤子

利用数值模拟解Gross-Pitaevskii方程来研究囚禁在光格中的波色-爱因斯坦凝聚体明孤子，发现周期性光格可被用作为可控的物质波分裂器，其分裂效果与孤子在光格中的初始位置、势阱中的原子数、以及光格电势的幅度、波矢有关。     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

剪枝 Galois 格上规则的直接计算

Ｇａｌｏｉｓ格用于知识发现具有许多优点,并在实际应用中显示了一定的价值。现提出一种在已剪枝的Ｇａｌｏｉｓ格上直接计算规则的算法,其主要依据格结点的直接泛化来产生规则集合。该算法在一定条件下更为有效,并且所产生的规则集合是无冗余的。文中所述方法已用于数据库知识发现工具ＨＵＴＫＤＤ中。     

Lattice distortion of nanoscale silver particles

The lattice distortion of nanoscale silver particles prepared is studied by using the chemical method. The particles lattice contract was found, and the lattice contraction become greater while the particle size decreases. The results were explained with surface energy and surface tension.     

火力发电厂汽机房屋盖结构选型分析

本文对汽机房屋盖结构的两种受力体系进行了技术经济比较,阐述了空间网架在我国的应用情况,介绍了平板型网架应用在火力发电厂汽机房屋盖中的可行性及经济性。根据工业厂房建筑中的传力路线,分析了用于汽机房屋盖结构的平板型网架考虑吊车水平刹车力作用时的内力分布特点及其应用,提出了汽机房屋盖结构使用平板型网架的观点     

旋转构件动态参数的在线检测技术

基于电磁检测原理,研究了一种用磁晶格法动态检测旋转构件的角速度、剪应变、剪应力、扭矩及轴功率等动态物理参数的新的检测技术与方法。阐明该检测方法的原理及检测信号的处理与转换技术,推导出时间域的检测量与旋转构件动参数之间的数学关系式;并用单片机实现了旋转构件动态物理参数的实时在线定量检测。     

矩阵函数单重积分的格点漂移技术及应用示例

建立了矩阵函数单重积分的格点漂移技术,并阐述了其特殊的数学意义;把格点漂移技术应用于分立基量子系统中的一般转动算符矩阵的格点方法计算中,并将其结果应用于计算二维叠加态在一般转动算符作用下的几率分布演变比。     

L－fuzzy拓扑群之间的L－fuzzy同态

在Ｌ－ｆｕｚｚｙ拓扑群之间引入了Ｌ－ｆｕｚｚｙ同态及Ｌ－ｆｕｚｚｙ开同态等概念,刻画了它们的基本特征．证明了Ｌ－ｆｕｚｚｙ同态是“Ｌ－ｇｏｏｄｅｘｔｅｎｓｉｏｎ”,揭示了它与分明拓扑群的同态之间的关系     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

简立方晶格 S态电子等能面的计算机模拟

利用紧束缚近似方法,在数学软件 MATLAB中绘制简立方晶格 S态电子在第一布里渊区的等能面.随着能量取值的增大,等能面的形状随之发生变化,越靠近布里渊区边界,变化越剧烈.由理论推知,晶格中的周期势场是影响等能面形状变化的主要因素.