一类柔软物体悬垂的实时模拟技术

使用质点-弹簧(MS)模型来表示一类柔软物体(如织物)可能是一种最简单和直观的建模方案．显式尤拉方法是使用MS模型来产生动态效果的最简单方法，但该方法的严重缺陷在于算法本身的不稳定性．隐式积分方法是一种可行的算法，但关键要寻找一种有效的方法求解引入的大型线性系统．本文提出了一种基于雅可比迭代法的隐式数值积分算法，通过理论证明和分析，该算法稳定地更新n个质点的状态所需时间复杂度为O(n)，较已有的隐式积分算法有了很大的改进．     

Sn^（k）=n∑m=1m^k的显式表示

给出了n个自然数k次乘幂之和，Sn^(k)=n∑m=1m^k作为n的多项式的显式表示。     

一种适于对象-关系数据库的事务模型

对象－关系数据库往往需要处理长时间运行的事务，这使得传统的事务模型不再适合于对象－关系数据库。为此讨论了结合嵌套事务，显式谓词和多版本模型优点的QT／WD模型，形式化地描述了模型的结合和正确性。嵌套事务使用了多级事务框架，提供了事务的多级原子性，显式谓词有助于增加事务之间的合作，多版本使限制谓词可以更容易满足而增加了并发，这些新特性使得QT／WD模型非常适合于长事务处理，提高了长事务的运行性能。     

浅谈隐含推理的逻辑特征

隐含推理是在特定语境下既省略部分前提又省略结论的一种特殊的推理省略式。隐含推理由显前提、隐前提和隐含结论构成。隐含推理的探讨，有助于我们更好地运用这种推理形式，增强揭示信息的能力，提高语言表达效果。     

一类非线性弱奇异积分不等式组中未知函数的估计

研究了一类二维非线性弱奇异积分不等式组.该不等式组积分号外有不同的非常数函数因子,不能用向量形式的Gronwall-Bellman型积分不等式进行估计.利用H?lder积分不等式、 Gamma函数和Beta函数把弱奇异非线性积分问题转化成没有奇异的非线性积分问题,利用Bernoulli不等式把非线性问题转化成线性问题,利用变量替换技巧和放大技巧研究只含有一个未知函数的积分不等式,接着给出不等式组中两个未知函数的估计.该结果可用于研究积分、微分动力系统解的估计.     

两类特殊图1-因子数分类递推求法

图的1-因子计数问题已经被证明是NP-难的,但因该问题在量子化学、晶体物理学和计算机科学中都有重要的应用,对此问题的研究具有非常重要的理论价值和现实意义.首先,把图的1-因子按关联某个顶点的边进行分类,求出每一类1-因子数的递推关系式.其次,把各类1-因子的递推关系式相加,得到一组有相互联系的递推关系式,再利用这些递推关系式之间的相互关联,消去那些不需要的递推关系式,从而得到这个图的1-因子数的递推关系式.最后解出这个递推关系式的通解,进而得到这个图的1-因子数的显式公式.     

液压混动系统泵排量控制研究

针对闭式液压回路中变量泵排量控制方法精度较低的问题展开研究,基于泵控系统中伺服阀的脉宽调制(PWM)控制,推导出占空比信号与变量泵排量的线性关系,在AMESim软件平台上搭建了泵控系统仿真模型,并基于试验测试数据对模型进行校核,基于泵控系统模型提出了PID反馈控制、前馈+反馈控制和三步法控制的泵排量控制方法,并进行测试对比分析.仿真结果表明,三步法控制在动态响应及快速稳定方面优于PID反馈控制,相比于前馈+反馈控制,采用三步法控制的泵排量动态响应误差减少了35.5%.     

一类四项非常系数齐次差分方程的解公式

对于非常系数的差分方程，由于无法写出其相应的有限次的特征方程，经典方法或算符演算方法都是无能为力的，本文突破上述传统方法，根据代数方程的基本原理，直接将所述差分方程之解表示成其系数与初始值的显函数，从而避免了一般解法中可能出现的困难。     

孢子体自交不亲和的雌雄S决定子及显隐性关系

综述了寻找孢子体自交不亲和雌雄S决定子的过程，以及孢子体自交不亲和中的显隐性关系及其分类，并提出将来自交不亲和研究的方向。     

薄材多点成形中回弹的预测

多点成形技术是三维曲面板类件柔性成形的新技术.在薄板边多点成形中,回弹是一个必须解决的问题.论文中采用显-隐式算法分析了板材厚度、曲率半径对柱面、球面等典型曲面的多点成形回弹的影响,得到了回弹趋势和回弹分布规律,这些结果对多点成形技术具有一定的参考价值.