具有正交(g,f)-因子分解的子图

设G是一个图 ,g (x)和f (x)是定义在V (G)上的整数值函数 ,且对任意的x∈V (G) ,设g (x)≤f (x) ,H是G的一个子图 ,F ={F1,F2 ,… ,Ft}是G的一个因子分解 ,如果对任意的 1≤i≤t,|E (H)∩E (Fi) |=1 ,则称F与H正交。闫桂英和潘教峰在文 [3]中提出如下猜想 :设G是一个 (mg+k,mf-k) -图 ,1≤k相似文献   

含收益带费用的校对问题的最优停止

在假定每次校对费用可能不一样且带来一定收益的条件下,讨论了校对问题的最优停止,给出了Ｐｏｉｓｓｏｎ模型与二项模型的最优停时。     

强脉冲 CO2 激光与靶的相互作用

在真空背景下的实验表明,当微秒量级的强脉冲激光与靶材相互作用时,由于靶材的升华,激光维持爆震波依然存在。爆震波产生的压缩波传入靶内,该应力波的作用是材料破坏的重要因素。而强脉冲激光引起的汽化反冲压力、热应力和烧蚀破坏也是不可忽视的因素。实验还表明,在真空背景下维持爆震波足以将后续激光屏蔽。     

取值于p型Banach 空间随机变量列的收敛性

本文将Ｗ．Ｆ．Ｓｔｏｕｔ［１］关于实值随机变量列的收敛性的一些结果,推广到了ｐ型Ｂａｎａｃｈ空间值情形上,得到了刻划ｐ型Ｂａｎａｃｈ空间的二个充分必要条件及二个必要条件     

C4ISR体系结构产品设计研究

体系结构产品是C4ISR体系结构框架中定义的体系结构描述形式,因此体系结构产品设计是体系结构设计的关键环节。基于C4ISR体系结构框架,对作战节点连接关系、作战活动模型、系统接口描述等核心体系结构产品进行规范化描述,分析了这些核心体系结构产品的数据相关性,提出了体系结构产品设计的检验方法。     

二维 DFT 和 DCT 的 Systolic 阵列

超级计算中一个活跃的研究领域是将某些有限和,如离散富里叶变换(DFT)、离散余弦变换(DCT),映射到多处理机阵列上。本文首先通过二维DFT的行列分解算法流程图,给出了计算二维DFT的二种Systolic阵列:一种是由N_1个处理器组成的线性阵列,所花时间步为O(N_1N_2)(设二维DFT为N_1×N_2长的),与行列分解算法在单处理机上顺序执行所花时间相比,加速比为O(N)(设N_1=N_2=N)。这一结果无论是在时间消耗,还是在PE数量上都是目前最优的。另一种是由N_1×N_2个处理器组成的矩形阵列,所需时间为O(N_1+N_2),与行列算法在单处理机上顺序运行所花时间相比,加速比为O(N~2)(这里仍假定N_1=N_2=N)。本文还给出了二维DCT的与二维DFT相似的Systoilc阵列结构。不难将上述阵列推广到多维的情况。     

线性分式规划原始单纯形算法有限性问题

本文用一个数值例子说明用[1] 和[2] 中的原始单纯形算法求解退化的线性分式规划(LFP) 可能会出现基循环,从而得不到最优解。于是就此情形引入了Bland规则,并建立了有限性算法。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。     

基于分布式对象技术的CAD集成框架的模型与结构

分布式对象技术是当前实现企业应用集成的主流技术。本文首先介绍了基于分布式对象技术的ＣＡＤ集成框架支撑平台的总体结构，以此为基础，设计了大型电子设备并行设计ＣＡＤ集成框架的体系结构，提出“框架总线＋软构件”的框架模型，最终探讨了集成框架具体的实现方法和技术。     

数字化战场与战场数字化技术——“数字化战场与单兵数字化系统”系列论文之一

首先研究了数字化战场的概念及内涵，然后着重讨论了战场数字化系统的体系结构和实现其互联、互操作的设计原则与思路，提出了建立战场数字化系统的关键是把当代开放系统发展的成果与军事领域的特殊要求相结合，研究其体系结构，研究、制定和推行三军统一的各层次信息界面标准和接口规范。