均匀样条上可展面的计算机辅助设计

将Bodduluri和Ravani对三次均匀样条上可展面的研究结论进行了推广，提出了任意次均匀样条上可展面的设计方法，讨论了所设计可展面的特点和几何构造，并以不同的以中心点表示控制平面的方式对曲面的设计进行了实例分析，分析表明设计结果良好。     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

风险决策中展望空间上非线性效用表示的存在性

效用理论是风险决策理论的重要组成部分，它可划分为线性效用理论和非线性效用理论。线性效用是一种较为极端的情形，其存在性已由VonNeumann和O．Morgenstern于1944年解决。因而，余下的最主要的也是最困难的问题是解决非线性效用的存在性有相关应用，对此作了一些探讨，给出了三个非线性效用表示的存在性定理。     

常系数线性差分方程通解的显式表示

将n阶常系数线性差分方程化为矩阵形式,利用Frobenius矩阵求得特解的显式表示,进而求得它的通解的显式表示,该通解不涉及不定方程求非负解问题,并给出用二项式系数表示广义Fibonacci数列解的关系式.     

位数码之和的三次均值

令ds(n)表示正整数n的十进制表示中的各位数字之和,对正整数x≥2和任意固定的m∈N,令Am(x)=∑n＜xdms(n).文中给出A3(x)的一个精确计算公式.     

基于Voronoi图的机器人复杂装配新策略

提出了一种基于Voronoi图技术的机器人复杂装配的新策略；在机器人装配研究中引入形象思维方式，即集成Voronoi图技术；装配知识的表示采用Voronoi图方式，通过Voronoi分析对机器人复杂装配过程进行有效规划，从而形成机器人关于装配过程的所有过程；机器人于通过力觉和力控制来感知装配件之间的精确物理关系，并调整装配件的位姿，实施基于Voronoi图知识的机器人装配，实验证明，该方法是有效的。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

旋量场的表示方法

给出了一种分解任意旋量场和构造任意旋量场并矢格格林函数的方法，应用这种方法，这可以方便地将一个任意旋量场在矢量波函数空间中惟一分解成两个独立的分量，每一个分量可以应用一个标量函数来表示，然后再应用对应的标量场格林函数法求解任意旋量场并矢格林函数。     

高师计算机专业教育与人才素质培养的研究

全面实施素质教育是我国教育事业的一场深刻变革，探讨高师计算机系专业教育与人才素质培养的内涵及其关系，对推动高师计算机本科生基本素质、基本技能的全面培养和提高具有重大意义。在对高师计算机系专业教育人文素质的培养、教师职业素质的培养、团结协作精神的培养进行阐述之后，分析并论述了高师计算机系专业教育与人才培养的7个关系。     

关于等幂和的简捷递推公式

等幂和S m(n)=1 m+2 m+…+n m是一个古老的难题,在G.Giuga猜想等数论问题的研究中有着重要的作用.本文获得了等幂和的两个简捷递推公式,从而改进了陈景润与黎鉴愚的结果.利用这些递推公式可以很快循环地获得等幂和公式,并且给出了第31～40个等幂和公式.