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

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

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

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

基于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.     

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

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

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

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

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

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

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

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

Omnibus Hypothesis Testing in Dominance-Based Ordinal Multiple Regression.

Often quantitative data in the social sciences have only ordinal justification. Problems of interpretation can arise when least squares multiple regression (LSMR) is used with ordinal data. Two ordinal alternatives are discussed, dominance-based ordinal multiple regression (DOMR) and proportional odds multiple regression. The Q2 statistic is introduced for testing the omnibus null hypothesis in DOMR. A simulation study is discussed that examines the actual Type I error rate and power of Q2 in comparison to the LSMR omnibus F test under normality and non-normality. Results suggest that Q2 has favorable sampling properties as long as the sample size-to-predictors ratio is not too small, and Q2 can be a good alternative to the omnibus F test when the response variable is non-normal. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Windows 2000空会话机制安全性分析

相对于Windows2000的其它安全问题来说，空会话由于是一个缺省的系统服务，所以并没有引起人们的特别关注。但近些年来通过空会话(或者说是IPC$漏洞)进行攻击的情况越来越多，而且还可以结合其它漏洞来对远程主机进行攻击，所以其危害性并不在IIS系列漏洞之下。本文介绍了Windows2000的空会话机制，并分析其安全性，针对空会话的弱点提出安全解决办法。