空间机器人的动力学等价机械臂DEM

本文讨论了如何将一个自由飘浮空间机器人等价成一个通常固定基座上 机器人，本文将之定义为动力学等价机械臂方法。本文阐述了ＤＥＭ方法的理论推导过程，展示了动力学与运动学的等价性，并通过仿真验证了在闭环控制下ＤＥＭ与空间机器人的等价性。     

推导可交换上下文无关语言

提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换.     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。     

Cbase数据库查询重写模块的设计与实现

本文详细讨论了重写模块的设计思想与实现技术，并讨论了利用执行引擎特点引入的一组基于等价谓调的简单语句直写规则．测试结果表明，增加重写模块的查询优化器能显著提高系统的查询效率．     

时态索引技术研究及其应用

研究有效时间期间集合上数学关系以及时态索引构造与应用.建立时间期间集合上时态连通等价关系和时态包含拟序关系.在引入数学关系框架内,通过对时间期间特征进行精细分析,讨论了大时态连通等价类分割和时态包含拟序关系集重叠等问题,建立了由根结点、等价类分割集结点和拟序关系集线序分枝结点构成的时态索引树形模型TDIM.在TDIM架构下,基于时态数据库中数据实体动态管理基本特征,研究了具时态变量情况下时态索引动态实现机制和查询技术,同时讨论了时态更新(时态插入、时态删除和时态修改)的增量式算法.由于建立在一般时间集合之上,TDIM可以应用于时态关系和XML的数据管理.     

高阶惯性环节代数等价观测器简易转换方法

为快速计算出代数等价观测器(AEO)的参数对控制系统的影响,基于高阶惯性环节代数等价观测器工程应用的实际,并参照矩阵的Jordan标准型,定义了广义Jordan型矩阵块JBS,通过数学分析给出转换矩阵P的简捷计算方法,为揭示AEO之间的内在关系提供一个有效途径。该方法不仅有助于调节系统的设计,而且通过适当的运用,还能使其达到更加有益的效果。在某电厂600 MW单元机组锅炉过热器蒸汽温度调节系统中的应用案例,证明了所提方法的实用性和有效性。     

网络蠕虫感染率的抗差估计法

网络蠕虫对信息安全构成了威胁,检测和防范蠕虫成为网络安全的研究课题。本文提出了一种网络蠕虫感染率的估法模型,然后根据权函数和残差区间给出了抗差等价权矩阵,分析了误差影响及验后精度估计,最后进行了仿真实验。实验结果表明,这种方法具有良好的抗粗差能力,可靠靠且收敛速度快。     

倾斜煤层开采地表移动变形等价计算方法研究

目前关于倾斜煤层开采引起的地表移动变形计算一般是将倾斜煤层开采等价为2个水平煤层的半无限叠加或者将倾斜煤层进行水平划分的方法,计算过程存在简化。为了克服倾斜煤层开采由于计算简化带来的误差,根据计算地表点与倾斜煤层的相对位置关系,利用开采影响传播角进行等价水平煤层转换,将倾斜煤层的移动变形计算转化为水平煤层计算,提出倾斜煤层开采地表移动变形等价计算方法,并将等价计算结果与半无限叠加开采、水平划分计算结果进行对比,分析了半无限叠加和水平划分简化计算误差产生的原因。研究结果表明:①等价计算结果与半无限开采叠加下沉量计算结果基本相同,半无限开采叠加计算存在变形计算误差表现为上、下山边界两侧拉伸与压缩变形值相同,未能充分体现变形与开采深度的密切关系;②由于煤层倾角和开采影响传播角的影响,水平划分方法下沉量、水平变形计算误差较大,煤层倾角越大误差越大,这一误差不会因水平煤层划分个数的增加而消除;③采用等价计算方法能够消除概率积分法对倾斜煤层开采地表移动变形计算的简化误差,实现计算结果与理论的完美契合。研究结果丰富了开采沉陷预计体系,对提高倾斜煤层开采地表移动变形计算精度具有一定意义。