遗传蚂蚁算法(GAAA)在数字电路智能测试中的应用

随着VLSI设计规模的日益增大,对于电路的测试生成(Automatic Test Pattern Generation.ATPG)也有了新的要求.提出了一种基于遗传算法和蚂蚁算法融合的数字电路智能测试生成算法,克服了传统算法计算量大、需对电路逻辑有较深刻认识的缺陷,而且也避免了以往的遗传算法和蚂蚁算法容易陷入局部最优的不足.研究表明这种算法效果较同类其他算法好,而且在大规模电路中尤能显示其特点.     

轴对称淹没水射流喷管内外紊流流场数值模拟

利用淹没水射流可对有机物进行降解.为研究淹没水射流降解的流场特性,根据轴对称淹没水射流撞击靶件的条件建立了物理模型,选用κ-ε紊流模型采用SIMPLEC算法进行数值计算.计算结果表明,流场存在射流区、漫流区、撞击区和漩涡区:射流区离靶件较远的部分同自由射流结构相似;靶件冲击面上压力分布近似的呈正态分布.对物理模型进行适当的改进并进行模拟,其结果同相应的实验数据相吻合,验证了本模型的可行性和计算结果的正确性.     

爆炸荷载作用下岩石-混凝土-钢板层状结构的局部响应分析

用钢板对地下结构进行抗震塌破坏加固改造,已成为精确打击条件下坑道防护工程研究的重要内容之一.考虑地下结构的实际厚度,基于应力波的界面效应理论,提出了岩石-混凝土-钢板层状结构中混凝土的应力历史计算模型.通过实际算例,分析了爆炸荷载作用下有限厚度混凝土中应力波的传播规律,进一步揭示了岩石-混凝土-钢板层状结构抗震塌破坏的局部响应机理;算例分析表明,岩石性质对混凝土中的应力历史也有重要影响.     

基于局部积分双谱与SVM的雷达目标识别

针对高分辨距离像的特点,应用双谱与SVM研究高分辨雷达目标识别问题。提出了基于局部积分双谱与SVM的雷达目标识别方法。该方法选择具有最强鉴别能力的积分双谱构成局部积分双谱特征,基于局部积分双谱进行距离像特征提取,然后应用支持向量机对提取的特征进行分类识别。利用四种局部积分双谱的目标识别仿真实验结果表明,提出的方法具有良好的分类性能。     

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

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

黏弹性基底上阻尼碳纳米管的动力学特性

采用欧拉梁模型建立了有阻尼碳纳米管在黏弹性基底上的动力学问题分析模型。通过引入非局部理论、广义Maxwell黏弹性模型、速度相依的外阻尼模型及黏弹性基底模型推导出碳纳米管动力学分析的欧拉梁振动控制方程。在Kelvin-Voigt黏弹性模型基础上,分别给出无基底和全基底支撑时碳纳米管固有频率的一般解析表达式,并分析讨论全基底时的多种典型情况。然后利用传递函数方法求解出一般边界条件下振动控制方程的封闭解。以某单壁碳纳米管为例,得到不同边界条件下该单壁碳纳米管的前四阶固有频率,并分析了碳纳米管非局部参数、黏弹性参数、基底刚度及长度等影响因素对固有频率和阻尼因子的影响情况。结果表明,文中所建的动力学分析模型及计算方法对解决碳纳米管在黏弹性基底上的动力学问题准确有效。     

基于中心凸包算法与增量学习的SVM算法研究

基于计算几何理论,在分析支持向量与凸包向量关系的基础上,提出了一种基于中心凸包算法与增量学习的SVM学习算法。在确保分类器达到可靠精度的前提下,为解决学习中时耗过长的问题,在对当前训练集计算凸包的基础上采用欧式中心距离淘汰法对训练样本进一步精简,并且每次进行增量学习的样本都包含前次训练样本集中违背KKT条件的样本,在UCI数据库上进行算法对比实验,结果表明算法的可行性和有效性。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

局部信息下的装备维修保障力量网络演化模型

针对现实中仅已知装备维修保障力量系统部分信息的状况,借鉴复杂网络思想,在对装备维修保障力量活动进行网络化抽象的基础上,提出了一种局部信息下的装备维修保障力量网络演化模型。同时,以一种参数可以灵活设置的动态演化模型代替真实的装备维修保障力量作为仿真对象进行研究分析,探讨了3种不同选择概率下随仿真时间变化的各项网络指标,这些指标值验证了装备维修保障力量网络的无标度特征以及小世界特征。     

针对应急救援路径规划的一种改进蚁群算法

针对不返回起始点、多个待救援点的应急救援路径规划问题,提出了一种应急救援路径规划的改进蚁群算法,设计了一种新的路径构造方法,为蚁群算法求解该类问题打下了基础。为提高收敛性,改进了信息素更新规则,构造了一种与蚁群算法有效结合的局部搜索算法,提高了算法快速寻优的能力。仿真结果表明:改进蚁群算法能够快速找到一条从救援中心到多个待救援点的优化路径,且收敛速度和最短路径较同类算法更优。