求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

超声速气流中液体横向射流组合喷注特性实验

以液态燃料为动力的超燃冲压发动机中,液体横向射流在超声速气流中的喷注、混合和雾化特性直接影响了超燃冲压发动机燃烧室的工作效率。提出一种基于高速摄影的图像处理方法,此方法能消除图像处理过程中的人为因素干扰,得到唯一、定量的射流振荡的边界信息;提出一种基于粒子图像测速法的射流展向扩展边界获取方法,能得到射流破碎后形成液滴所能达到的最远距离;基于以上两种图像处理方法和对比实验研究了单孔喷注、展向组合和沿流向组合的喷注方式对射流穿透深度、展向扩展和激波角的影响,结果表明:相比单孔喷注方式,展向组合和沿流向组合的喷注方式均能增大射流的穿透深度,且能增大射流的展向扩展角和展向扩展范围;随着沿流向布置的喷孔间距的增大,射流的穿透深度增大。     

关节对中误差对机械臂末端定位精度影响

针对机械臂关节对中误差对机械臂末端定位精度影响进行研究。以6自由度机械臂为研究对象,利用D-H法建立了机械臂运动学模型,并建立对中误差传递数学模型。利用蒙特卡洛方法以MATLAB为平台进行了误差分布仿真实验,得出了由于对中误差引起的机械臂末端定位误差分布特点,以及在不同对中误差等级下,机械臂末端定位误差概率分布情况。为对中误差修正提供了参考基础,同时为机械臂定位精度评价提供了定量化依据。     

浅海舰船地震波场仿真中的边界处理

为解决舰船地震波场数值仿真中的边界反射问题,结合浅海传播环境特征和舰船地震波激发机理,提出边界处理算法。采用交错网格有限差分法对一阶速度-应力方程进行数值离散;采用应力镜像法处理海水和空气的自由表面,采用分裂式完全匹配层法处理区域边界;将该模型应用于平行海底近场、远场以及倾斜海底的波场仿真算例中。仿真结果表明:加入边界处理后,自由表面的吸收和区域边界的反射有效减少,波场特征清晰,该算法符合浅海舰船地震波场数值仿真的边界处理要求。     

微小型飞行器姿态快速机动控制方法

针对某弹道导弹释放的微小型飞行器的姿态控制任务需求,提出一种基于Gauss伪谱法的姿态快速机动控制方法。建立精确的姿态控制模型,并考虑反作用飞轮的耦合力矩项;采用Gauss伪谱法获取最优姿态轨迹,设计准滑模跟踪控制器以跟踪该最优轨迹。数字仿真结果表明,Gauss伪谱法计算得到的轨迹是最优的,准滑模跟踪控制器能实现对最优轨迹的良好跟踪,且对干扰力矩有较好的抑制作用。     

利用生成模型的人体行为识别

选取关键点轨迹的方向-大小描述符、轨迹形状描述符、外观描述符作为人体行为的特征;为了降低人体行为特征维数,利用信息瓶颈算法进行词表压缩;利用生成模型,结合已标记样本和未标记样本提出一种人体行为识别的半监督学习方法,解决了行为识别中的小样本问题。在You Tube数据库、中佛罗里达大学运动数据库上利用提出的方法与已有的方法进行对比实验,结果表明该方法具有更高的识别精度。     

并联放电等离子体合成射流激励器工作特性

等离子体合成射流激励器凭借射流速度高、工作频带宽、响应迅速等优势在高速流场主动流动控制领域具有良好的应用前景。为了克服单个激励器控制能力弱、控制范围窄的缺点,开展了并联放电等离子体合成射流激励器的研究,搭建了最多支持三路并联放电的微秒脉冲电源。测试结果表明,电源在空载及负载条件下可以实现1000 Hz稳定放电。随着放电电容的增大,放电电能的提高,等离子体电弧的温度升高,激励器腔体内气体被加热得更剧烈,产生的射流速度增大。随着工作频率的提高,激励器的击穿电压降低,放电电能减小,射流速度减小。通过对触发信号的调制,可以实现每个激励器的独立控制,使得并联式激励器具有更强的流动控制灵活性。试验结果显示,激励器工作相位与触发相位具有较好的对应关系。     

双重系统加密研究: 获得完全安全的IBE及其扩展

双重系统加密技术首先由Waters提出,是用于构造完仝安全的基于身份的加密(IBE)及其扩展方案的有力方法.针对完全安全方案的构造,研究了双重系统加密技术并提出了一个完全安仝方案的通用构造方法,即将一个利用双重系统加密的IBE方案与一个普通的方案相结合,得到一个新的可以利用双重系统加密证明安全的方案.在通用构造的基础上提出了一个实例,该实例是一个基于层级身份的加密( HIBE)方案,具有常密文长度.该方案比Waters提出的双重系统加密HIBE方案更高效,并且在判定BDH假设和判定线性假设下证明是完全安全的.     

两段探测目标的传感器任务调度问题0-1规划模型及算法

为解决指挥系统控制中的调度困难,研究了一类特殊的传感器资源调度问。主要分析了跟踪目标的探测次数、时间间隔和传感器资源等约束条件。用跟踪目标的重要程度之和作为目标函数,建立了一个0-1规划的数学模型,再利用变换将其转化为0-1线性整数规划模型。利用割平面法求解得出最优调度策略,其能在工作量饱和的情况下合理调度传感器资源。为提高求解速度,提出了对应的模拟退火算法。通过对一些不同规模实例的求解,在资源利用率和算法的求解速度等指标上,与割平面法及遗传算法进行对比分析,验证了模型的有效性和模拟退火算法求解的高效性。     

新型微小管道机器人驱动特性分析

研制了一种具有"大驱动、快速、长距离运动"综合性能的新型微小管道机器人。机器人采用电机驱动蠕动式爬行方案,主要包括自调节支撑机构、柔性保持机构、软轴驱动机构、卸载机构等,适用于直径为15~20mm的微细管道。在介绍了工作原理及机构组成的基础上,对各机构的力学特性进行了分析。虚拟仿真和样机试验表明,机器人能顺利通过曲率半径不小于80mm的弯管,移动速度为8~10mm/s,具有0~90°爬坡能力,可双向移动,其负载能力不小于10N,载重自重比可达6.67∶1。