信息反馈策略对含两车道的双出口路网影响研究

智能交通系统可以实时反馈路况信息以及诱导出行,从而缓解交通拥堵。最早提出的双通道信息反馈策略主要是针对备选路径完全相同的单车道路网模型。针对现有研究的不足,建立了含两车道的双通道双出口路网模型,并通过数值模拟研究了平均速度、车辆数、交通流量以及随机度信息反馈策略对该道路模型中交通流参数的影响。仿真结果表明,平均速度和车辆数反馈策略的引入将降低道路平均流量,相反随机度反馈策略的引入可一定程度的提高道路平均流量,使得路网道路上车辆通行状况更好。故随机度反馈策略用于含两车道的双通道双出口路网较优。     

基于碳排放的综合运输流量分配及径路优化

针对有效降低交通运输领域的能源消耗及碳排放问题,从绿色交通的角度,构建了在一定碳排放水平下的公路-铁路综合货运网络流量分配及径路优化模型. 该模型根据多商品网络流理论,设置二元型决策变量,以运输服务水平等为约束条件,以最小化运输费用和碳排放成本为目标. 通过Matlab语言调用Cplex优化器,采用模拟数据对模型进行了验证. 结果表明该模型可以获得较理想的货流分配路径方案.     

基于指派模型的导弹装备体系弹种优化设计

针对体系作战中多弹种协同完成多类型作战任务的需求, 建立了以导弹装备体系效能为引导的弹种优化设计结构框架, 以综合考虑任务、成本和风险影响因素的装备体系效能最优为目标, 构建了指派模型, 并给出了该模型的约束条件。针对该优化问题的可行解空间较大、计算时间较长的特点, 设计了基于作战环的模型快速求解方法, 以加快设计过程。算例分析结果表明: 该指派模型能够实现导弹装备体系中最优弹种设计方案的求解, 同时引入作战环可以极大地缩小可行域, 从而显著提高设计计算效率。     

基于最优算法的网络控制系统性能研究

针对时隙ALOHA随机调度下的离散网络控制系统,提出一种闭环系统特征矩阵谱条件数与极点配置相结合的控制器设计方法.为了同时考虑控制系统与通信系统性能,将闭环系统特征矩阵谱条件数的最小值问题转化为无约束最优化问题,进而实现控制器设计的优化,降低控制系统对信道吞吐率的要求,使得控制系统与较低吞吐率的通信系统同时稳定,从而实现网络控制系统的稳定.仿真结果表明,该方法设计的控制器具有良好的控制性能,能够在较低吞吐率的信道中稳定运行.     

改进遗传算法求解防空作战WTA问题

武器目标分配问题是防空作战指挥控制的核心和关键。针对求解防空作战WTA存在容易早熟和收敛较慢的问题,提出了一种改进遗传算法。引入直觉模糊集理论,定义了WTA问题的目标函数和约束函数的隶属度和非隶属度函数,通过"最小最大"算子构建了直觉模糊WTA问题模型;针对遗传算法中变异概率固定的竞争和子代种群缺乏父代优良个体的问题,采用自适应变异概率和模拟退火Meta-Lamarckian学习策略改进算法,并求解防空作战WTA问题,与其他算法进行仿真比较,结果表明改进遗传算法求解防空作战WTA的有效性。     

信息化条件下海上编队区域防空目标分配方法

针对现代海上编队作战是基于信息系统的体系作战客观要求,对信息化条件下海上编队区域防空目标分配问题进行了研究,提出了对空防御拦截水平的概念,建立了多层防御模式下的编队区域防空目标分配模型.为了有效求解模型,综合运用交互式决策思想和遗传算法,提出了一种基于遗传算法(GA)的交互式求解模型的方法.在GA设计中,通过对染色体编码、初始化种群、适应度函数以及遗传运算、选择策略等环节的合理设计,保证了产生个体的有效性,提高了搜索质量,加快了搜索速度.仿真结果表明了模型和算法的有效性,从而为有效解决现代海上编队体系作战的区域防空目标分配问题探求了一条新途径.     

终端区航空器飞行间隔研究

针对终端区不合理的航空器飞行间隔严重影响飞行安全和机场吞吐量的问题,提出了基于场面监视雷达历史运行数据的终端区航空器飞行间隔算法。通过分析离散的场监雷达点迹数据,可获得航空器的历史轨迹。基于航空器起飞时刻和降落时刻提出了航空器间在不同起降序列下的时间、距离间隔计算方法。研究了机场流量、航空器起降序列、跑道的使用方向变化对航空器飞行间隔的影响。实践结果表明,场面监视雷达数据可以有效地用于分析航空器间的时间和距离间隔;机场流量与终端区航空器飞行间隔负相关,航空器间的时间间隔和距离间隔正相关,飞行间隔与跑道使用方向变化无关。合理的起降次序和良好的管制习惯可有效地缩小终端区航空器飞行间隔。     

Fast assignment reduction in inconsistent incomplete decision systems

This paper focuses on fast algorithm for computing the assignment reduct in inconsistent incomplete decision systems. It is quite inconvenient to judge the assignment reduct directly ac-cording to its definition. We propose the judgment theorem for the assignment reduct in the inconsistent incomplete decision system, which greatly simplifies judging this type reduct. On such basis, we derive a novel attribute significance measure and construct the fast assignment reduction algorithm （F-ARA）, intended for com-puting the assignment reduct in inconsistent incomplete decision systems. Final y, we make a comparison between F-ARA and the discernibility matrix-based method by experiments on 13 Univer-sity of California at Irvine （UCI） datasets, and the experimental results prove that F-ARA is efficient and feasible.     

基于RESTART方法的同轨多天车仿真调度

天车是重工业中不可缺少的吊运设备,天车调度对化解天车冲突,增加搬运效率具有非常重要的作用.采用RESTART(repetitive simulation trials after reaching thresholds)方法,通过仿真优化天车调度.建立了天车冲突预测模型,将天车冲突分为4种类型并分别建立了冲突处理方法.以最小化调运周期为目标,建立了天车RESTART仿真调度方法,建立了仿真调度流程,通过枚举天车分配方案寻找局部最优调度.开发了天车仿真调度系统,通过实例对以上方法进行了验证.     

一类单元赋值语句型循环不变式的开发方法研究

依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用 Dijkstra 最弱前置谓词方法确认了循环不变式的正确性。最后通过典型实例来说明该方法的应用。