一种基于0-1整数规划的全局数据分布优化方法

数据分布是影响并行程序在分布主存多处理机上执行性能的重要因素.针对分布主存多处理机中的数据分布问题,提出了一种基于0-1整数规划、利用数据变换技术进行有效数据分布的方法.该方法通过数据变换技术改变数据的存储布局,以使得数据能被有效地分布,并且该方法还利用数据分布图描述程序被并行的情况及其所含数组被访问的情况,并将全局数据分布优化问题转换为求解数据分布图中最优路径的问题,从而可用0-1整数规划求解最优路径问题.该方法能对多个嵌套循环中具有仿射数组下标的任意维数组进行有效的数据分布,并且也能使嵌套循环的并行度尽可能地大.另外,该方法也考虑了偏移常量的对准问题,从而能使数据通信量尽量地小.实验结果验证了该方法的有效性.     

带渐变过渡型提取结构的Ku波段磁绝缘线振荡器

提出了一种渐变过渡型的微波同轴提取结构,解决了采用传统的均匀同轴提取结构的Ku波段磁绝缘线振荡器中存在的输出模式不纯和TEM模传输效率较低的问题。模拟结果表明,渐变过渡型提取结构实现了微波的高效提取和单一的同轴TEM模输出;过渡后的同轴结构利于支撑杆的设计,满足了同轴TEM模的传输要求。与传统的均匀同轴提取结构相比,渐变过渡型提取结构能够适量提高器件的品质因数,进而加强束波作用,加快微波起振。     

基于Legendre伪谱法的UGV避障路径规划

针对传统优化方法不易解决含有复杂动力学约束的路径规划问题,提出利用勒让德伪谱法(Legendre Pseudospectral Method,LPM)对地面无人驾驶器(unmanned ground vehicle,UGV)的避障路径规划进行研究。通过建立UGV的动力学模型和障碍物模型,整合了基于LPM的路径约束条件。最后应用以LPM为基础开发的MATLAB插件包DIDO,计算得出了优化路径。仿真实验中以UGV移动路径规划为例,设计实现了UGV的避障规划。仿真结果表明此方法具有较快的计算速度和准确性。     

装备技术体系结构演化和超网络建模

装备技术体系结构演化模型是把握装备技术发展规律和制定发展战略的基础。文章系统梳理装备技术发展的体系特征,深入分析了其体系演化动力、要素和过程,将演化实体与关系抽象为超网络的节点和边,可以给前沿技术探测和装备技术体系评估提供新思路。     

利用混合编程改善SMP机群上并行矩阵乘法的性能

针对SMP机群,探讨了分别利用单机优化、OpenMP与MPI从指令级、共享存储级与分布主存级三个层次上改善矩阵并行乘Fox算法性能的方法。并通过调用数学函数库与混合编程的方式,在深腾6800上进行了实验,取得了相当满意的数值效果。     

爆炸逻辑间隙零门实验研究

为了可靠实现爆炸逻辑间隙零门的原理功能,提出并验证了一种基于精细RDX和含能胶合剂的传爆药方案.通过实验探索了基于该传爆药的爆炸零门适用的间隙宽度范围,并设计了一种小尺寸爆炸逻辑间隙零门,为爆炸逻辑网络设计提供参考.     

飞机反区速度矢量不稳定及其控制的机理

在信号流图的基础上,提出多回路分析的方法,并用于研究反区时速度矢量不稳定及其稳定控制的机理。建立了纵向动力学的信号流图,并证明了一个回路的收敛性定理。在此基础上,通过理论分析得出了速度矢量不稳定在不同层面上的原因,也得出了速度和轨迹的发散度表达式等,并表明阻力-速度曲线、轨迹角-速度曲线、极曲线、阻力系数曲线等存在相互对应的反区和正区,并且阻力-速度曲线和轨迹角-速度曲线在斜率上成比例。研究得出进场动力补偿系统下速度矢量的稳定临界条件、收敛度、稳定机理等,理论分析和仿真比较了速度恒定进场动力补偿系统和迎角恒定进场动力补偿系统在控制性能上的差异。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

一种基于知识因素表示理论的装备信息分类描述方法

当前信息分类的形式化描述是信息集成中一个研究重点和难点,基于知识的因素表示理论能够描述概念和概念之间的关系,并通过概念之间的关系描述概念的语义,该方法具有知识描述的统一框架和严格的数学理论基础.通过对装备信息分类方法研究,提出了装备全系统全寿命信息体系结构模型和基于知识因素表示理论的装备信息分类描述方法,并结合装备基础...     

高空气球外形计算及通用算法设计

高空气球为临近空间中的研究提供了可靠的低成本平台.目前高空气球球形一般直接采用"自然形"或以"自然形"为基础,但通用、简捷地求解"自然形"外形方程一直是个难点.将"自然形"气球外形求解问题转化为最优控制问题,利用最优控制领域成熟的求解工具——高斯伪谱法最优化软件包计算气球外形.此外,通过分析外形数据得到外形变化规律,设...