基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

从《中导条约》的失效看未来国际军控走向

《美苏消除两国中程导弹和中短程导弹条约》的失效重创了本就脆弱的国际军控体系,对美俄战略稳定和全球军事安全带来消极影响,国际军控合作和全球军事安全迫切需要重构新的军控体系。本文立足当前国际军控现状,在分析美俄“退约”背后各方战略考量及国际军控面临的挑战,如“美国优先”理念下的霸权主义和单边主义、国际军控体系自身的脆弱性和局限性和新军事革命给全球安全增添新的变量的基础上,提出了“构建人类命运共同体”理念凝聚全球安全共识、以大国责任和义务为基础构建多层次军控体系和以多边军控体系循序推进国际军控进程等措施和建议,以期为推动国际军控合作,建立更为公平、合理、有效的国际军控体系做出贡献。     

航天装备备件配置现状SWOT分析及对策研究

全面分析航天装备备件配置现状,把握备件配置优化的主要方向,形成推动备件配置水平快速提升的关键策略,是提高航天装备备件保障科学性和高效性的重要基础。本文通过SWOT分析法对航天装备备件配置现状的优势、劣势、机遇和威胁进行了系统剖析,并在此基础上构建SWOT分析矩阵,进而基于矩阵因素的不同组合形式,研究形成改进航天装备备件配置现状、提高备件配置科学性的四种关键策略,即抓住机遇、发挥优势的S-O策略,利用机遇、克服不足的W-O策略,利用优势、应对威胁的S-T策略和弥补不足、应对威胁的W-T策略,提出当前应重点解决备件需求提报精度、库存配置科学性和协调激励机制三个现实问题,为开展航天装备备件配置问题深入研究明确了重点、确定了方向。