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

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

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

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

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

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

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

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

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

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

备件保障效能动态评估方法

针对目前效能评估方法多重视效能指标的静态观测值,对时序状态数据所蕴含的趋势信息关注较少的缺点,提出基于灰色聚类-粗糙集和集对分析的备件保障效能动态评估方法。针对主客观赋权方法各自的优缺点,引入依赖度和重要度的概念,建立灰色聚类-粗糙集组合赋权模型;将指标权重引入集对理论,提出集对同势、均势和反势的定义,描述备件保障效能的变化规律,构建基于马尔可夫链的集对分析动态模型。实例分析结果表明,该方法可以有效反映备件保障效能的动态变化特征,为决策者制定备件保障长期计划提供科学依据。     

固定翼无人机群的集群和避障控制

针对传统的集群控制算法需要获取通信范围内相邻质点的位置和速度信息才能够计算控制量的问题,提出一种新的无须获得相邻无人机速度的六自由度固定翼无人机群的集群和避障控制方法。将通信范围内的无人机均视为障碍物,采用统一的计算方法获得控制量,并且证明了算法的稳定性。通过建立六自由度无人机线性化控制模型,将改进的质点集群算法应用于无人机群控制系统中,将无人机控制设计成六自由度无人机的跟踪回路和质点无人机的导引回路,并证明通过选取合适的跟踪回路控制参数,确保整个无人机集群控制是稳定的。通过六自由度无人机编队仿真验证了所提算法的有效性。     

同轴环缝气流作用下锥形液膜线性稳定性分析

为了分析气液同轴离心式喷嘴的雾化机理,对同轴气体作用下的锥形液膜进行时间稳定性分析,推导同轴气体作用下锥形液膜的色散方程,建立离心式喷嘴出口参数预测模型,用于数值求解色散方程。结果表明：喷嘴出口液膜厚度随着喷注压降的增加而减小,喷雾锥角、液膜速度和轴向速度随着喷注压降的增加而增大。同轴气体作用下液膜由正弦模式的表面波主导,因为正弦模式的表面波增长率远大于曲张模式的表面波增长率。当环缝气体喷注速度较小时,增加气体速度会减小气液相对速度,从而减弱气液相互作用,使得液膜主导表面波增长率和频率减小、破碎时间和破碎长度增加。而当环缝气体速度超过一个临界值后,随着气体速度的增大,液膜主导表面波增长率和频率迅速增大,破碎时间和破碎长度迅速减小。     

采用随机几何工具的终端直通通信接入控制方法

针对现有具备终端直通（Device-to-Device, D2D）功能的蜂窝网络的干扰管理问题,提出一种新型的采用随机几何工具的D2D通信接入控制方法。利用随机过程理论以及随机几何工具建立模型分析邻近基站和D2D通信对蜂窝通信的影响,并推导蜂窝业务接入失败概率表达式。基于该表达式能够计算网络允许的最大D2D用户密度,辅助D2D通信接入控制实现干扰管理。仿真证明基于所提数值计算方法获得的估计结果与蒙特卡洛仿真结果相符,且通过合理限制D2D用户密度和D2D用户发射功率可满足指定的蜂窝业务接入失败概率要求。     

零压式高空气球球形设计与参数敏感性分析

高空气球能够为临近空间科学实验提供可靠的平台,其形状直接关系到气球制作及飞行的全过程。提出将多段打靶法与序列二次规划法结合,对零压气球完全膨胀和部分膨胀状态下的球形进行求解,并运用有限元方法对球形进行稳定性及应力应变分析,验证了所推导球形的正确性。在此基础上,对影响气球形状的关键参数进行灵敏度分析及相关运用,从定量的角度得到气球载荷、飞行高度及昼夜温差对气球形状的影响规律。