SQL语言中量词和空值的使用技术

在ＳＱＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＱＬ语言使用更为自然，方便。本文讨论全称量词，存在量词和ＡＬＬ三种谓词之间的转换，联系和区别，以及空值存在时ＳＱＬ的使用技术。     

离散零空间算法在机织物仿真中的应用

针对机织物卡尔丹角多体模型维数较高,计算效率不理想的问题,提出采用离散零空间算法降低多体动力学方程维数,减少计算复杂度和约束违约所导致的数值漂移.首先结合离散零空间等效变换消去拉格朗日乘子项,然后进行结点参数化,实现两次系统降维,提高机织物仿真速度.通过KES剪切试验与仿真,验证了上述算法应用的可行性.通过仿真计算复杂度及效率特征指标对比,反映出优化方程的降维优势和计算高效,尤其适用于大型织物仿真.     

450mm热连轧机组轧制带钢拓宽分析

讨论了邯郸钢铁公司一轧厂450mm热连轧带钢的拓宽问题；对该机组及其φ500mm开坯机进行了现场测试，并在计算机上进行了带钢拓宽模拟轧制，得出了该机组的最大轧制负荷及其带钢的拓宽限度。     

基于DBF技术的星载SAR宽测绘带实现方法

在研究距离向使用数字波束形成(Digital Beanforming,DBF)实现星载SAR宽测绘带原理的基础上,分析了星载DBF-SAR距离模糊与传统星载SAR距离模糊的不同,并利用阵列天线零点指向技术实现宽零陷的原理,展宽模糊点所对应位置零陷宽度,从而在提高星载SAR宽测绘带基础上有效地减小距离模糊,提高成像质量.通过仿真和比较分析,表明使用具有宽零陷指向特性的DBF技术实现星载SAR宽测绘带模式的可行性.     

Balance recovery control for biped robot based on reaction null space method

A biped walking robot should be able to keep balance even in the presence of disturbing forces.This paper presents a step strategy concept of biped walking robot that is stabilized by using reaction null space method.The called "step strategy" can be modeled by means of the reaction null space method that introduced earlier to tackle dynamic interaction problems of free-floating robots,or moving base robots in general.6-DOF biped robot model simulations are used to confirm the validity.     

圆柱壳弹性波超材料分级排列的带隙拓宽方法研究

圆柱壳弹性波超材料的弯曲波带隙拓宽问题限制其满足实际工程中的宽频隔振要求,针对该问题,本文首先研究了基于局域共振机理的圆柱壳弹性波超材料弯曲波带隙特点,研究局域谐振器质量和弹簧劲度系数的关系,然后将周期分级排列的组合方式应用于圆柱壳类弹性波超材料的带隙拓宽中,并利用有限元法进行能带结构和振动传输特性计算.研究结果显示：该方法可实现弯曲波带隙的拓宽;利用组合法构建的轴向周期分级排列圆柱壳弹性波超材料可实现705-1226Hz频率范围内弯曲波的高效衰减,带隙拓宽至分别为单一谐振器的2.55倍,这表明该方法在宽频减振方面具有明显优势,应用前景广阔.     

基于指针映射集的动态内存故障测试方法研究

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且出于规则定义较为全面,漏报和误报率也较低.     

输入饱和及带宽限制下高超飞行器的闭环稳定边界研究

针对于吸气式高超声速飞行器开环不稳定的动力学特性,研究了控制信号存在饱和约束及带宽限制条件下的闭环稳定边界.首先,简要介绍了吸气式高超声速飞行器的建模方法与动力学特性的主要问题.考虑到飞行器控制信号的幅值限制及带宽约束,综合高超声速飞行器的开环不稳定特性,定量地分析了系统的闭环稳定边界:与系统不稳定极点的位置,其对应的左特征向量及控制信号的幅值约束有关;执行器的带宽限制在此基础上进一步缩小了反馈控制系统的稳定边界.根据高超声速飞行器短周期不稳定特性,解析地给出了闭环稳定边界的计算公式.采用蒙特卡洛分析方法对闭环系统的稳定边界及滑模变结构控制器作用下的稳定区域进行验证.仿真结果与理论分析具有一致性,验证了系统开环特性对于闭环稳定性的限制及控制信号带宽约束对稳定性的影响.     

分布式光纤振动传感系统的多级零频点定位研究

为了减少直线结构Sagnac分布式光纤传感系统的定位误差,提出一种多级零频点的优化方法,通过分析直线结构Sagnac分布式光纤传感定位原理,确定固定的采样速率下离散化是造成定位误差大的原因.并分析得出振动信号频域曲线会周期出现多个零频点,进而对振动定位的多级零频点优化方法进行了理论推导,阐明高倍零频点下的定位误差会有效减小.通过实验验证表明,在总长为11.769 km的传感光纤上,优化后的定位方法在不改变采样速率下可保证定位误差提升到±20 m范围内,可以基本满足系统对外界振动信号进行精确定位的要求.     

两种OFDM多普勒估计算法在水声信道中的比较

为了消除多普勒频偏影响,通过水上实验对两种OFDM（Orthogonal Frequency-Division Multiplexing）水声通信多普勒估计算法进行对比。基于拷贝相关时延差估计的多普勒估计算法结构简单、易于实现;基于空载波的算法较复杂,但精度较高。利用两种方法对相同的实验数据进行多普勒估计和补偿,并对其通信误码率进行对比。研究结果表明,在慢变的信道中两者的误码率基本相同,但在快变的信道中基于空载波的算法更稳定。