二连通域上双曲度量与Bergman度量的等价性

本文证明了二连通域上双曲度量与Bergman度量的等价性。     

结构化方法与面向对象方法的比较分析

剖析了结构化方法和面向对象方法这两种软件开发方法具体的分析设计过程,讨论了各自在不同软件开发中的应用及局限性,提出了在选用面向对象方法开发大型软件系统的同时可结合结构化方法。     

DOEBLIN链的随机矩阵的极限

在研究Doeblin链的随机矩阵的极限性能的基础上,应用尾σ域的结构来研究Doeblin介绍的一类非齐次马尔可夫链模型的极限性质。     

框架结构安定性分析的基本定理及简化

研究了结构安定分析的上、下限定理及变化荷载区域问题,结果表明考察结构安定与否无需研究荷载全域,只要对荷载域的凸包C0（Ω）的边界点或顶占进行分析即可。文中还给出了算例。     

四次B-B开曲面片的六次升阶算法

本文将文献 [1]中的闭曲面造型算法生成的 G1连续的B B曲面片由四次升阶为六次 ,并计算相应的六次曲面片Beaier控制点 ,从而得到闭曲面S具有明确控制点信息的几何形式 ;并讨论了在放开或删除一个控制点后 ,不再生成该控制点邻域内的所有曲面片 ,从而开放闭多面体的边界 ,将闭曲面造型算法延伸为开曲面造型的算法 ;最后 ,绘制开曲面真实感造型实例的图象 ,证明了曲面S的连续性     

Liénard系统比较定理

运用Poincáre-Bendixson 环域定理得到了Liénard系统的两个比较定理,运用议程x+f(x)x+g(x)=0的闭轨的存在性可以判定议程x+f(x)x+g(x)h(x)=0及系统x= (y)-F(x),y=-g(x)的闭轨的存在性.     

四次B-B开曲面片的六次升阶算法

本文将文献[1]中的闭曲面造型算法生成的G1连续的B ?B曲面片由四次升阶为六次,并计算相应的六次曲面片Beaier控制点,从而得到闭曲面S 具有明确控制点信息的几何形式;并讨论了在放开或删除一个控制点后,不再生成该控制点邻域内的所有曲面片,从而开放闭多面体的边界,将闭曲面造型算法延伸为开曲面造型的算法;最后,绘制开曲面真实感造型实例的图象,证明了曲面S的连续性.     

基于面分块的三维人脸模型的边界表示方法

针对人脸造型中脸部模型的存储与表示问题,对人脸的生理结构特征进行了分析,在人脸共性的基础上,提出了一种基于面分块的三维人脸模型,并用边界表示法给出了这种模型的数据结构。按器官组织将人脸分解,各部分可以单独处理,合并起来又能构成一张完整的人脸,这种方法有利于表情的模拟和脸部动作的构造。     

条件独立性的三种形式及其相互关系

给出了随机变量的随机条件独立性、回归条件独立性及其强随机条件独立性的概念,并且证明了这几种条件独立性的相互关系。主要结论是在一定条件下,强随机条件独立必有回归条件独立;随机条件独立性与回归条件独立性是等价的。它们对概率论及其数理统计的应用是有意义的。     

基于Lyapunov的客车稳定域估计

针对平面稳定域在评价车辆稳定性方面的不足,提出了客车空间稳定域的一种估计方法.建立了包含Pacejka轮胎魔术公式的客车三自由度非线性动力学模型,通过仿真和实车试验对比验证了所建模型的有效性.基于客车非线性动力学模型,构建了系统Jacobian矩阵,应用霍尔维茨(Hurwitz)判据分析了车辆系统稳定性随前轮转角变化情况以及车辆的临界状态.在构建客车系统二次型能量函数的基础上,利用Lyapunov法和车辆系统稳定特性确定了客车空间稳定域.客车在满载条件下的蛇形试验结果表明:应用上述方法确定的客车行驶稳定域能够较好地表征车辆系统稳定性,可为客车操纵稳定性评价和控制提供有益参考.