基于AutoCAD的约束数据库生成

主要讨论了开发参数化CAD设计系统的一个关键问题－－几何图素结构约束的识别与提取。提出采用向量数学的方法进行图素（间）结构约束的识别方案；并讨论了怎样应用面向对象的方法，开发适用于AutoCAD平台的约束提取系统，系统能够完成AutoCAD图形数据库中图素结构约束的提取、约束有效性的判 ，并可将约束关系储到数据库中，参数化CAD系统后续的尺寸驱动子系统可根据该数据库存储的约束信息进行尺寸驱动。     

耦合Burgers族约束系统的动力R—矩阵

给出耦合Bursers族约束系统的Lax表示、动力R-矩阵、经典Poisson结构和动力、经典Yng－Baxter方程的解，并证明其约束系统的可积性．     

基于尺寸树的图形块参数化方法研究

本文根据工程图中开式约束网络构成主要几何约束结构这一事实，通过引入尺寸树的概念，从而将几何约束系统用树的结构来描述。通过对基于约束的图形块的处理，实现Ａｕｔｏ－ＣＡＤ图形块的参数化。     

GD-约束集最小覆盖求解的研究

首先对GD－约束集中冗余的GD－约束进行了分类，然后给出了一个判断GD－约束是否冗余的充要条件。在此基础上，经出了一个CD－约束集成为最小覆盖的充要条件。最后，提出了一种求解GD－约束集最小覆盖的算法并对该算法进行了时间复杂性分析和算法正确性证明。     

Boltzmann－Hamel方程的几个推广

将变质量高阶非完整系统的Ｂｏｌｔｚｍａｎｎ－Ｈａｍｅｌ方程推广到约束依赖于质量变化过程和带参数约束的系统中。     

非惯性系中的高阶非完整系统的Mac─Millan方程

非惯性系中的高阶非完整系统的Ｍａｃ─Ｍｉｌｌａｎ方程邱荣（福州大学电子科学与应用物理系，福州，３５０００２）１９３６年Ｍａｃ－Ｍｉｌｌａｎ推广了Ｌａｇｒａｎｇｅ方程，他一开始便考虑了一阶线性非完整约束系统，１９８４年梅凤翔又将Ｍａｃ－Ｍｉｌｌａｎ方程...     

并—串联系统可靠度与冗余度最优化的一种算法

针对串联、并联及混合并－串联系统，在给定的资源约束下，提出了一种有效的方法，通过对单元可靠度与冗余度的最优配置，可使系统的可靠度达到最大。     

串-并联系统可靠度与冗余度最优化的一种算法

针对串联、并联及串－并联系统，在给定的资源约束下，提出了一种有效优化方法，通过对单元可靠度与冗余度的最优配置，可使系统的可靠度达到最大。     

互为热平衡的系统是否一定有相同的温度：如何正确理解热平衡定律

本文用微正则系统理论研究了处于热平衡不系统温度的涨落，得到了一切互为热平衡的系统只有在热力学极限情况下，才有相同的温度，为热平衡定律的成立加上了统一性约束－系统包含大量的微观粒子或大量的自由度。     

关于非完整约束系统力学的两个基本概念

从非完整约束系统的基本要领出发，讨论了ｄ－δ算符交换关系和变更运动轨道对约束方程的满足条件，给出了一般结果。     

一阶非线性非完整系统Routh方程的不定乘子及约束反力

在工程实际中,求解约束反力往往是必要的。在控制系统中,要求实现的运动规律可以看作约束,而约束反力就是必须作用的控制力。Routh方程既能求解运动又能求解约束反力。约束反力包含在不定乘子中,而不定乘子出现在每个方程中。本文引进伪速度将决定运动的方程和不定乘子从Routh方程中分离开来,得到每个不定乘子的表达式;并讨论了一阶非线性非完整系统,一阶线性非完整系统和完整系统的约束反力,以及冲击约束反力。     

不确定系统约束条件下的控制问题

讨论了线性不确定系统在控制能量受限下的能控性问题,给出了判定不确定系统完全能控的充分条件,证明了线性不确定系统控制能量受限下的能控性的几个判据,对控制能量受限下状态不能控也给出了一个判据。     

经典Boussinesq族约束流的不同的Hamiltonian形式

引入新的坐标给出经典Boussinesq族约束流的两种不同的Hamiltonian形式以及相应的R -矩阵 ,并证明了经典Boussinesq族约束流在Liouville意义下是完全可积的     

非线性约束动力学系统的Lagrange逆问题

通常处理带约束的Ｌａｇｒａｎｇｅ逆问题和稳定作用量原理都局限于一类特殊的线性约束动力学系统,即Ｃｈａｐｌｙｇｉｎ系统,本文运用现代微分几何方法证明了当一般约束动力学系统的对称性满足一定条件时,也同样存在拉氏量,因而这类系统的动力学方程可由稳定作用量原理导出。     

终端状态受限的广义系统奇异二次指标最优控制问题

研究了终端状态受限的广义系统的奇异二次指标最优控制问题，在一定条件下把此问题转化为终端状态受限的正常状态空间系统非奇异二次指标最优控制问题，给出了问题完全解的充要条件及解的表示。     

DIRAC族约束流的HAMILTON结构

利用对称约束建立了Dirac族前4个非正则约束流的Hamilton结构,其中第2和第4个约束流在修正的Jacobi-Ostrogradsky坐标下变换到Hamilton系统,尽管第3个约束流也是非正则的,但它在标准的Jacobi—Ostrogradsky坐标下变换到了Hamilton系统。     

约束Birkhoff方程的形式不变性与Lie对称性

研究约束Birkhoff方程的形式不变性和Lie对称性及其关系.给出了形式不变性和Lie对称性的定义和判据;然后导出形式不变性与Lie对称性的关系,指出形式不变性与Lie对称性的结构方程和守恒量有相同的形式;最后,给出一个说明性的例子.     

基于广义和局部化法则的时间离散控制系统的改进算法

分别讨论了右端自由和右端固定的时间离散控制系统的改进算法.这些算法是基于广义和局部化法则，对右端固定的情景，提出了一种基于允许集的逼近方法.并用实例说明了算法的有效性.     

约束优化问题和互余问题的同伦算法

把约束优化问题转化为互余问题,然后用分段光滑同伦间接地解决了约束优化问题和互余问题,并给出了数值例子。