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

利用数值模拟解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同态

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

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

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