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

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

YH-GKS的设计与实现

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

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

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

坦克刚性牵引装置动态载荷的虚拟测试

采用虚拟样机技术,应用ADAMS软件建立履带车辆刚性牵引装置动态载荷虚拟测试虚拟样机模型,在虚拟试验环境下测量了软土路面的滚动阻力系数及刚性牵引装置的动态载荷情况.通过仿真结果与实际测量结果的对比,验证了刚性牵引装置动态载荷的虚拟测试是可行的,这为刚性牵引装置的强度设计提供了载荷边界条件.笔者以平地匀速转向、匀速上坡和平地起步3种工况为例,对牵引装置的动态载荷进行了虚拟测试,结果表明,起步阶段刚性牵引装置所受载荷最大,达到6 t.     

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

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

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

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

谈算法研究

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

一类特殊图的边重构性

设图Ｇ的所有的顶点次为δ,δ＋１,δ＋２和δ＋３,如果δ≥８,则Ｇ是边可重构的。     

关于方芯绘图铅笔的技术研究

探讨绘图工具和仪器的改进与创新,是现代工程技术的一项长期而重要的任务.本文研究的方芯绘图铅笔的结构、性能和使用方法,对于减少手工制图不必要的劳动和麻烦,提高绘图速度和质量,促进工程制图的教学和实际应用具有积极作用.