一种基于分枝定界法的串行测试任务调度算法

 目前的自动测试系统中,对于串行任务的测试一般是以整个任务为粒度,这就导致两个任务可能需要重复设置相同的状态或重复测试相同的内容,延长了测试时间,降低了测试效率。针对这个问题,建立了基于图论的串行测试任务时序模型,用“图”来描述串行任务的测试时间与测试顺序的关系,将实际工程问题转化为图论中的数学问题。在任务时序模型的基础上,提出了一个串行测试任务调度算法。对于多个需要串行测试的任务,利用该算法可以得到测试时间最短的串行任务序列。该算法是借助整数规划问题中分枝定界法的思想实现的,通过相关理论和具体实例对算法的正确性和复杂性进行了分析。在实际系统中对该算法进行了实验验证,结果表明给定任务的测试效率提高了40%以上。     

求解网络最小流问题的图单纯形算法

堵塞是以人为主体的运输网络在随机流动情况下经常发生的一种现象。所谓网络最小流是指一个运输网络发生最严重堵塞情况下的最大流量，它是设计运输网络，特别是紧急疏散网络的一个重要参数。本文在网络堵塞流研究的基础上，根据网络最小流是饱和流的特点，从组合优化角度定义了网络最小流问题，并提出了求解网络最小流的图单纯形算法，文中详细介绍了实施这种图单纯形算法的基本理论和步骤，并用实例进行了说明。     

基于因子图的卫星拒止环境下的多信息融合技术

目前,几乎所有军用和民用系统都依靠基于卫星的组合导航系统来获取导航定位信息。但卫星信号在都市、室内、地下等环境中容易受到干扰,使得导航结果精度降低。为了解决在卫星拒止环境下的导航定位问题,选用基于因子图的信息融合算法,来实现不同采集频率的导航数据信息的融合。实地跑车试验表明,该方法能在卫星信号失效情况下,实现多传感器信息快速有效融合,确保系统导航精度,提升卫星拒止环境下载体导航定位能力。     

基于改进符号有向图模型的发动机引气系统多故障诊断方法

为了在符号有向图(SDG)模型中进行多故障诊断,提出了基于改进符号有向图(ISDG)模型的多故障诊断方法.ISDG模型满足了不完全信息条件下的多故障组合诊断的需求.通过交互式方法构建不完全信息条件下的诊断过程,利用最大增益费用比确定了最优的测试序列,实现了在多故障诊断过程中效率的提高和成本的降低.最后用交互式算法诊断某民用发动机引气系统多故障,ISDG模型能够诊断多故障,说明诊断多故障可以提高诊断效率;考虑组合逻辑后,最小费用比最大费用减小了7.25,增益费用比增大了32.2%,说明考虑组合逻辑可以减少32.2%的费用.      

航空公司飞行机组排班问题研究

飞行机组排班是整个航空公司制定航班生产计划中的一个重要环节,是提高航空公司运营效率的关键。通过对飞行机组排班问题中飞行机组任务分配的分析,把飞行机组人员任务的分配转化为图着色,建立飞行机组排班问题的图着色模型,设计顶点着色算法来求解模型,最后将此图论算法模型应用到具体航空公司飞行机组排班的实例中。     

多太阳能无人机覆盖路径优化方法

为解决传统电动无人机在覆盖作业时存在的续航时间短的问题,提出应用多架太阳能无人机进行覆盖作业。首先,在建立了应用于覆盖作业的太阳能无人机的能量模型的基础上,提出了能量流动效率这一指标来评价太阳能无人机在作业过程中对能量的利用率。其次,针对边界存在障碍物的凹多边形区域和内部含障碍物的多边形区域,以总作业完成时间最短为优化目标,提出基于无向图搜索方法的覆盖路径优化模型,定义约束方程限制无人机按照一定规则访问无向图中的节点,通过混合整数线性规划的方法求解每架无人机的最优飞行路径。再次,考虑无人机转弯时的姿态变化对能量流动效率的影响,将总作业完成时间最短和总能量流动效率最高同时作为优化目标,建立双目标优化方程,在首先以作业时间最短为优化目标进行求解的基础上,通过有限遍历的方式选择使能流效率和作业时间相对最优的覆盖飞行方向及飞行路径。大量仿真实验表明,所提的优化模型选取不同的优化目标,应用于不同形状的待覆盖区域,适用性广,在工程上应用范围广、可行性强。     

二维耦合天线阵图结构模型在波束转换和失效分析中的应用

提出了耦合振荡器阵列的一种图结构模型,利用该模型对耦合振荡器阵列有源天线阵的波束转换时间、振荡器失效和耦合网络失效引起的阵列失效概率进行了分析和仿真。从分析结果看,阵列耦合网络具有一定冗余性的设计可以缩短阵列波束转换时间,提高阵列的可靠性。     

基于因子图的状态估计方法运算实时性研究CSCD

对因子图算法及其理论基础进行研究,使用消元算法分析了一元观测因子图模型的稀疏结构,得到了一种适用于该模型的增量推断算法;并对固定滞后平滑算法进行了研究,实现了滑窗在该增量推断算法中的应用;最后通过仿真验证了基于因子图的状态估计方法的估计能力、该增量推断算法在求解一元观测因子图模型的状态估计问题时运算速度的提升能力,以及滑窗维持该增量推断算法运算速度稳定的能力。     

基于无向图的SoC软硬件划分方法

软硬件划分是SoC软硬件协同设计中的重要步骤之一.针对软硬件划分问题,提出一种基于无向图的软硬件划分方法,将软件成本和硬件成本设定为网络图的节点,将功能模块间的通讯成本设定为无向的边,从而将芯片的软硬件划分问题归结为基于无向图理论的多目标优化求解的问题.仿真结果证明,该方法在算法效率上优于GA算法和 KL算法.并且设计...     

大幅运动复杂构形扑翼动态网格生成的一种新方法

 基于Delaunay图映射的动态网格生成方法无需迭代计算,效率高,稳定性好。但对大幅运动复杂构形的动边界问题,背景图容易交叉,重新生成背景图和重新定位网格点信息不仅费时而且会导致网格质量的严重下降。提出一种双重Delaunay图映射的动网格生成方法,通过在初始背景图中添加辅助点,生成虚实两种背景图和虚实两种映射关系。分别根据虚映射关系和虚背景图、实映射关系和实背景图,移动辅助点和网格点。几个复杂构形的扑翼算例表明,双重图映射方法多付出极少的内存代价即可避免背景图交叉引起的问题,提高了动网格生成的效率和质量,增强了处理大变形复杂动边界问题的强健性。