线性规划优化分析的元模型方法及其比较

线性规划优化分析在经济管理等领域有着广泛的应用。当线性规划约束条件的右端向量在一定范围内变化时,目标函数的最优值是右端向量的一个复杂的分片线性函数,但通常难以给出分析表达式。应用多项式回归、径向基函数、Kriging法及多项式回归 Kriging法这四种元模型方法,能快速预测最优值函数。通过仿真实验,对这四种形式的元模型作较全面的比较分析。数值实验的结果表明,用次数较少的实验设计,后三种方法都具有较高的拟合精度;特别地,多项式回归 Kriging法不仅拟合精度高,而且还能用一个二阶多项式给出最优值函数的一个简明的近似描述。结果表明,元模型方法是研究线性规划优化分析问题的有效途径。     

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

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

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

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

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

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

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

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

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

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

圆柱壳振动声辐射Jacobi-Ritz时域半解析法及特性分析

针对圆柱壳结构瞬态声振特性分析研究不足,结合Newmark-β积分法和Kirchhoff时域边界积分方程,提出一种圆柱壳受迫振动声辐射Jacobi-Ritz时域半解析法。基于一阶剪切变形理论和微元法思想,建立了圆柱壳振动声辐射分析模型,采取Jacobi多项式和Fourier级数表示轴向和周向位移容许函数,基于Rayleigh-Ritz法和Newmark-β积分法计算圆柱壳的受迫振动时域响应,在此基础上,基于Kirchhoff积分方程求解辐射噪声时域响应,分析圆柱壳受迫振动声辐射特性。与有限元方法/边界元方法数值结果对比表明,该方法具备收敛性好、精度高等优点,圆柱壳结构声振响应峰值随边界条件的刚度变弱存在左移现象,振动声辐射响应随厚度的增加呈现下降趋势;当随机载荷峰值频率与结构固有频率接近时,结构声振响应出现强特征线谱。     

应用局部约束二维稀疏表示识别SAR图像目标

在分析典型稀疏表示分类方法和局限性的基础上,提出了一种基于局部约束的二维稀疏表示方法,以有效解决SAR图像目标识别问题。该方法对SAR图像进行图像预处理,在兼顾图像相邻列(行)对应稀疏表示系数邻近性和样本间局部性的基础上,构建了局部约束目标函数,并通过解闭式解,实现稀疏表示系数的更新求解。利用美国实测MSTAR数据对算法进行了仿真验证,实验结果表明所提出的方法可实现SAR图像目标的有效识别,并对训练样本数目具有一定的鲁棒性。     

复杂线型小水线面双体船兴波阻力数值计算方法研究

将分段幂多项式拟合方法与线性兴波阻力理论相结合,提出一种针对复杂线型小水线面双体船的兴波阻力数值计算方法,该方法应用于常规小水线面双体船的兴波阻力计算,表明该方法能在常规的幂多项式拟合方法的基础上进一步提高计算精度,同时也验证了该方法的正确性,将该方法的计算结果与复杂线型小水线面双体船剩余阻力的试验结果相比,两者吻合较好,证明了该方法用于复杂线型小水线面双体船的兴波阻力计算是可行的。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.