【摘 要】
：
基于二维决策图（Binary Decision Diagram，BDD）的战时油料保障可靠性分析，其中一个关键是对变量进行排序，所选择的变量排序对BDD的规模有重要影响。由于阶段之间的相关性，单一阶段
【基金项目】
：
国家自然科学基金项目（编号：711401172）资助.
论文部分内容阅读
基于二维决策图（Binary Decision Diagram，BDD）的战时油料保障可靠性分析，其中一个关键是对变量进行排序，所选择的变量排序对BDD的规模有重要影响。由于阶段之间的相关性，单一阶段任务BDD变量排序方法很难直接应用于多阶段任务。考虑多阶段任务结构和特性的基础上，分析总结现有方法中影响变量排序的因素，提出了基于逻辑确定性的BDD排序方法。通过与传统的排序方法比较，改进的方法可以生成更理想的BDD结构。
其他文献
所谓美味佳肴,应该原料多种多样,营养搭配合理,烹调方法丰富多彩。我国的烹调技术博大精深,给予了人类美好、多样的膳食享受。每一种烹调方法都是中国人几千年来积累形成的,
作为哲学家,庄子从病症表现、致病原因、治疗途径等维度对＂病＂进行系统考察,指出阴阳之气紊乱,引发生理性病症,调气、养卫生之经为治疗之方;欲望扩张、情绪波动导致心理之病,炼
社会主义现代化建设,离不开法治的引领和规范;中华民族的伟大复兴,离不开法治的保障和支撑。刚刚闭幕的党的十八届四中全会,审议通过了《中共中央关于全面推进依法治国若干重
作风关乎人心向背，关系党和人民的事业成败。去年12月，中央政治局审议通过关于改进工作作风、密切联系群众“八项规定”，中央领导以身作则、率先垂范，为广大领导干部作出表率，也为
跨区间无缝线路在大跨度桥上设置钢轨伸缩调节器(REJ),可有效改善轨道结构及墩台受力,结合工程实际,就客运专线大跨度连续梁桥设置REJ的方式进行了探讨,提出REJ在大跨度桥上
针对基本花授粉算法存在的易陷入局部最优、求解精度不高等问题,提出一种带杂交算子的自适应混合花授粉算法,分别针对异花授粉过程和自花授粉过程设计自适应权重改进和引入杂
患者，女性，57岁，下腹胀痛2年余，右上腹痛1a。查体，盆腔内可触及如孕4月大小包块，质中，边界清，活动度好，无压痛，双侧附件区未见明显异常。实验室检查：AFP及CA125正常。于2005年6月在全麻
据世界卫生组织报道全世界50亿人中估计有1．5亿抑郁障碍患者。在21世纪抑郁将成为第一位的精神心理障碍。脑卒中后抑郁是指脑卒中后引发的抑郁。由于患者生活发生了突然而意外
现今机器人标定技术具有一定的成熟度,但当机器人关节具有一定柔性时,常规标定模型则存在不完整性的问题,并最终影响零位标定的效果。为此,论文对机器人柔性关节进行研究,分
电能不能大量储存,以及电网负荷呈现出非线性、不确定性、冗杂性等特点,造成传统的电力系统负荷预测方法得不到满意的效果。而混沌理论适用于研究非线性系统,具有对初始条件