分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

YH-GKS的设计与实现

图形核心系统GKS是二维图形软件的唯一的国际标准,且为我国采纳为国家标准。YH-GKS是基于GKS,为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。     

探索性分析工具EASim的设计与实现

探索性分析是一种研究深度不确定条件下复杂高层问题的分析方法.为使其能够有效地解决实际问题,需要探索性分析工具的支持.国内目前的探索性分析工具大都是面向特定应用开发的,缺乏规范化的探索性分析模型描述方法.采用扩展影响图作为探索性分析模型的统一描述规范,自主开发了通用型探索性分析工具EASim.介绍了EASim的功能结构、...     

广西军区以比武竞赛为抓手 大力推进人武专武干部训练深化发展

前不久,广西军区集中组织126名人武部主官、专武干部进行了为期3天的全区人武、专武干部军事科目比武竞赛,参赛人员围绕军事理论、军事技能、动员业务、教学法等4大类13项竞赛课目展开激烈角逐。通过比武竞赛,系统检     

重点抓好党委机关学习

连日来．哈尔滨警备区把党委中心组和机关当做重点．坚持先学一步、带头深研细读的原则,为基层做出了表率。警备区党委中心组带机关组织了理论集训,一个问题一个问题地深入讨论。普遍建立了十七大资料剪贴本,并结合工作实际撰写学习体会。组织官兵和离退休老干部召开“颂党恩、跟党走、话使命”座谈会、“赞家乡和驻地巨变、话党的富民政策”故事会和科学发展观知识竞赛等活动,增强官兵学习贯彻的积极性和自觉性。     

浅谈数学建模与创新能力的培养

本文从数学建模教学和数学建模竞赛的角度论述了数学建模对学生创新能力的培养具有重要的作用。     

基于OBDD的防空导弹系统效能评估研究

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法.该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值.     

指挥控制参考模型研究进展

介绍指挥控制参考模型领域取得的最新进展。在理论上分析了该模型体系结构的不足,引入了逻辑端口的概念。在应用上讨论了建模过程中层次的分拆、组合的原则,并将使用实例图引入该模型的理论研究和对实际系统的建模,取得了若干重要结论。     

谈算法研究

算法是计算机程序设计的核心。本文结合实际应用,通过研究算法所取得的成效,说明算法研究的必要性和重要作用。