含控制相关的循环并行执行

文中定义了在当代向量计算机上可高效实现的merge与pos函数,提出利用二函数消去do循环中forward—if与search—if的方法。本文讨论了向量化forward—loop的一般性方法并引入封闭子图的概念,给出一种简化语句执行条件的途径。     

关于图的(g,f)-因子分解的一些结论和进展

设Ｇ是一个有限无向简单图,ｇ和ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）上的两上整数值函数,且ｇ≤ｆ。图Ｇ的一个（ｇ,ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的Ｘ∈Ｖ（Ｆ）有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）。若图Ｇ的边集能划分为ｍ个边不交的（ｇ,ｆ）－因子Ｆ１,…,Ｆｍ,则称＾－Ｆ＝｛Ｆ１,…,Ｆｍ｝是Ｇ的一个（ｇ,ｆ）－因子分解。设Ｈ是Ｇ的ｍ条件的子图＾－Ｆ的Ｇ是一个（ｇｆ）－因子分解,若对每个１≤ｉ≤ｍ都有│     

关于图的距离Irredundance数

G=(V,E)是简单连通图,用G—v表示从G中删除v以及与v相关联的边所得到的图,ir_n(G)表示G的n—irredundance数,证明了下列不等式: ir_n(G—v)≥(ir_n(G) 1)/2这个结果推广了Favaron的相应结论。     

海军C^3I系统军图标绘工具的设计与实现

军用标图的计算机化是现代战场对指挥方式的特殊需求。本文介绍了军图标绘工具在计算机系统中的设计与实现,并介绍了几种关键技术的实现方法。     

一种超短波雷达天线方向图的自动显示方法

本文研究利用超短波雷达实现自身天线方向图的自动显示的方法,文中介绍了系统的工作原理,分析了雷达接收系统对显示图象的影响因素及处理方法。     

当代军语快译通（4）

行政准备时间——开始采购到签订合同或发出订单之间的时间。见采办准备时间。     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

上期想定作业参考答案

一、攻击方向。步兵1营决心以主要兵力对防御两峰山之敌的侧后实施主要攻击,以次要兵力从正面实施攻击,同时以精干兵力一部编为渗透分队秘密插至北高地,夺取并占领之,并形成对内对外正面。其理由：一是将主攻方向选在敌侧后,有利于避敌强点,击敌弱点;二是对敌形成围攻部署,有利于全歼防御之敌,以免后患：三是同时对敌正面和侧后实施攻击,有利于充分展开我兵力兵器,使敌顾此失彼,加快战斗进程;四是以渗透分队夺取北高地,有利于阻敌增援,断敌退路。