基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

局部几何矩在图像处理中的应用

由几何矩引中出另一个概念——局部几何矩，根据其良好的性质，对它进行图像平滑、边缘检测和纹理分割方面的应用，均取得了较好的效果。     

用局部刚度修正法处理结构优化的全局约束问题

研究了当前在结构优化设计中处理全局约束问题的方法，进而提出了局部刚度修正法，即只要修改部分构件的刚度就可使全局约束条件得到满足。通过算例和工程实践表明，对规模为1000个节点、50个设计变量的杆系结构，在Pentium Ⅲ计算机上，只要运行40min就可得到满意解。该方法简便易行，不用做灵敏度分析，收敛快、计算量小，是解决大型工程结构优化设计问题的好方法。     

若干K凸性的等价条件

就一些K凸性的等价条件作了讨论，证明了几种K凸性在某种条件下是等价的，如当空间X是自反的且X和X*均有（H）性质时，则有7种K凸性等价，当空间X自反且有（H）性质，则有6种K凸性等价。     

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

挖掘大型数据库中的Apriori算法及其改进

指出了Apriori算法是一种有效的关联规则挖掘算法，分析和探讨了Apriori算法，并给出了该算法的实现思想，通过实例说明了算法的执行过程，提出了对Apriori算法进行改进的一些方法：散列、事务压缩、划分、选样及动态项集计数。使用这些技术提高了算法的效率。     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

移动最小二乘近似函数中样条权函数的研究

局部边界积分方程方法是无网格方法的一种，它采用移动最小二乘近似试函数，且只包含中心在所考虑节点的局部边界上的边界积分．本文详细研究了移动最小二乘法中样条权函数的构造及其性质，并将各种样条权函数应用于弹性力学平面问题的局部边界积分方程方法中，研究了它对计算结果的收敛性、稳定性和精度的影响．算例表明，高阶样条权函数在局部边界积分方程方法中有好的收敛性、稳定性和精度．     

板肋式多肋T梁桥的空间分析

根据板肋式多肋T梁桥的受载力学行为特点，将其各板件视为板梁，同时在构造其位移模式时也考虑了T梁顶板剪滞效应和局部弯曲影响，由此提出了板肋式多肋T梁桥空间计算的桥梁有限单元法。     

局部化环上的群环

研究了正则环、半遗传环和零维环等常见环的局部化环上群环的模结构，得到了这些环的局部环上群环为投射自由环的充要条件。