CAD系统中几何变动的建模与仿真研究

研究了三维CAD系统中几何变动的零件层建模和装配层仿真。首先，提出了变动几何约束概念和分类，研究了几何变动的定性和定量表示和建模；然后，研究了基于变动几何约束网络及其运动学模型的几何变动仿真方法，包括完全约束仿真方法和可装配性仿真方法；最后，给出了几何变动建模和仿真的总体框架和系统实现，并通过实例分析验证了方法的有效性。     

含时磁场中自旋团簇两类规范解关系的研究

本文用坐标系旋转方法研究SU(2) 自旋团簇系统两类规范解析解的关系．研究对象选用一个有部分各向异性耦合的3自旋12粒子环链．从中发现系统的单规范解析解可以由双规范解析解获得．还计算了单规范解析解的几何相位,结果显示：单规范的每个基本解析解中的几何相位均为π．如果令双规范中的参数λ=π2,那么这个相位值与对应的双规范基本解析解中的几何相位是一致的．     

船舶动力定位系统的非线性输出反馈控制

针对动力定位船舶的速度不可测问题,考虑带有环境扰动的动力定位船舶运动非线性数学模型,提出一个非线性观测器-控制器控制方案,实现仅依赖于船舶位置和艏向测量值的船舶动力定位的输出反馈控制,且其观测器具有分离的稳定性.应用串级非线性系统理论证明了最终的船舶动力定位输出反馈闭环系统是全局渐近稳定的,所设计的输出反馈控制律迫使船舶的位置及艏摇角全局渐近收敛于期望值.以一艘供给船为例进行仿真研究,结果验证了所设计的船舶动力定位输出反馈控制律的有效性.     

静风荷载下的大跨度斜拉桥稳定性分析

由于风荷载对斜拉桥的作用比较敏感,尤其是对于柔性大跨度斜拉桥。文章基于伯努利方程推导整个断面的3方向静风荷载原理,并采用内外增量双重迭代以及发散机理的数学描述给出静风稳定性计算过程;结合斜拉桥本身特性,分析了某跨江大跨度斜拉桥的横桥向风荷载和竖桥向风荷载的影响;使用大型有限元软件MIDAS/Civil建立桥梁模型,并进行成桥状态静风荷载下的特性分析,据此来评估该桥的静力抗风性能,为相关桥梁的抗风性能分析与设计提供依据。     

断续双裂隙砂岩强度与起裂、贯通模式的研究

本文对含预制裂隙砂岩试样进行单轴循环加卸载试验,研究循环荷载作用下含预制裂隙砂岩的力学特性与岩桥贯通机理。试验结果表明：单轴循环加卸载作用下,砂岩试样峰值强度与弹性模量呈现出显著的强化现象;与完整砂岩试样对比,含预制裂隙红砂岩试件力学性能表现出明显的降低趋势,且与裂隙几何参数密切相关;试样峰值强度随着岩桥倾角增大呈现出先降低后增加的“V”字形波动趋势,而随着裂隙倾角增大,试样峰值强度则表现出了与岩桥倾角相反的增减变化趋势;利用摄像机全程记录了试样裂纹的扩展,揭示了岩桥贯通机理与裂隙几何参数之间的关系。     

广义几何规划的一个改进的Newton算法

广义几何规划的目标函数的Hession矩阵有着特殊结构,利用这一特殊性,对广义几何规划提出了一个改进的Newton算法,证明了其收敛性,并且给出了相应的数值例子。     

计算机怎样证明几何不等式

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效,对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明。     

Extracting multiple layers from data having graph structures

Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph structures of such data. The purpose of this paper is to find knowledge representations which indicate plural abstractions of graph structured data. Firstly, we introduce a term graph as a graph pattern having structural variables,and a substitution over term graphs which is graph rewriting system. Next,for a graph G,we define a multiple layer (g,（θ1, …,θk)) of G as a pair of a term graph g and a list of 4 substitutionsθ1, …,θk such that G can be obtained from g by applying substitutions θ1, …,θk to g. In the same way,for a set S of graphs, we also define a multiple layer for Sas a pair (D,@) of a set 5 of term graphs and a list 6 of substitutions. Secondly,for a graph G and a set S of graphs,we present effective algorithms for extracting minimal multiple layers of G and S which give us stratifying abstractions of G and S,respectively. Finally,we report experimental results obtained by applying our algorithms to both artificial data and drawings of power plants which are real world data.     

Lipschitz非线性系统的鲁棒干扰抑制能力

研究了Lipschitz常数与干扰抑制度之间的关系·通过对Lipschitz非线性系统设计具有干扰抑制的状态观测器,给出了该观测器渐近稳定的充分条件·在此基础上,针对外界干扰为能量有界的情况,得到了Lipschitz常数与给定的H∞干扰抑制指标之间定量的显示表达关系,并将其转化为对Riccati不等式的分析·结果表明,较大的Lipschitz常数一般对应较大的干扰抑制度,从而对Lipschitz非线性系统干扰抑制能力有了定量认识·     

理想气体任意元过程热容的几何判定法

本文给出了P-V图上理想气体任意元过程热容正、负的几何判定法,并用此方法对理想气体多方过程的热容进行讨论