一种软件需求规格说明描述质量评价方法

软件需求规格说明(SRS)作为需求工程的最终产品,其质量好坏直接影响后续的软件开发的质量高低。文章针对软件需求规格说明中存在的潜在需求缺陷,通过对其进行等级划分,更加客观地反映不同等级的潜在缺陷对于软件需求规格说明的影响。通过模糊层次分析法分别赋予不同的权值,验证了不同程度的模糊需求对软件需求规格说明的质量影响。     

“停走”生成器输出序列的马氏性与平稳性

本文首先建立了“停走”生成器输出序列的概率模型,讨论了由这类序列成的随机变量序列的概率分布,独立性和相关性等概率性质,通过求得两种随机变量的联合分布的表达式,证明了此类随机变量序列是强平衡的齐次马尔科夫链。     

八面河油田聚合物驱先导性试验研究

首次从室内筛选评价、油藏数值模拟及现场实施对八面河油田面12区沙四段聚合物驱先导性试验作了系统研究,总结了先导性试验区见效特征及开采规律。其成功实施为常规稠油油藏特高含水期开采阶段如何控水稳油、减缓产量递减指明了方向。     

钟控生成器与布尔函数

引言国外学者Beth.T和Piper F.C于1984年在欧洲密码学会议上首次提出了2值密钥流“停走生成器”(即stop-and-go generator),它是一种以域F,上的线性移位寄存器为基础,通过对移位寄存器的时钟脉冲进行控制来产生伪随机序列的一种钟控生成器,分析表明用这种生成器产生的伪随机序列在一定程度上具有m序列和M序列的良好的伪随机性,同时又克服了m序列具有线性平移相异性的序列数量很小和M序列在硬件上不易实现的缺陷。因而一经出现就受到了相关领域学者们的普遍重视。后来学者又以“停走生成器”为基本构     

3-值逻辑函数的稳定性

本文提出了3-值逻辑函数稳定性的概念,考察了稳定的概率定义,给出了3-值逻辑函数稳定的判别条件,提供了构造稳定的3-值逻辑函数的典型方法,用本文的方法,也可考察一般P-值逻辑函数的稳定性。     

双侧停走生成器的概率模型

该文首次建立了双侧停走生成器(Bilateral Stop/Go Generator)的概率模型,研究了模型中作为钟控函数输入的中间状态序列的马氏性、遍历性及严平稳性等概率性质,得到了生成器输出序列中0, 1分布是不平衡的结论,由此指出不能将这种生成器直接作为密钥流生成器;给出了生成器输出序列和相应的LFSR输出序列之间的符合率以及一阶差分序列之间的符合率;证明了生成器输出序列满足强大数定律和中心极限定理。     

基于高阶累积量短波通信电台细微特征提取与分析

首先介绍了高阶统计量基本概念,分析了通信电台的高阶统计量特征,并对几种常见短波通信信号的高阶矩和高阶累积量进行了计算分析;仿真结果表明：高阶统计量可以作为一类有效的特征参数,适用于短波通信信号特征识别研究.     

布尔函数的非仿射逼近及二次Bent函数的不存在性证明

本文首先指出m阶相关免疫布尔函数和m阶广义ε－相关免疫布尔函数具有较强的抗变元个数不超过m的任一非仿射相关攻击的能力,接着证明了曾被人们寄予厚望的能够理想地抗二次布尔函数相关攻击的“二次Bent函数”实际上是不存在的。     

对空域图像LSB隐写术的提取攻击

隐写分析的研究一直集中于检测隐藏信息的存在性,而关于如何提取隐藏信息(即对隐写术的提取攻击)的研究还非常少.对于使用密钥的隐写术,提取攻击等价于恢复隐写密钥.文中结合隐写分析中的检测技术和密码分析中的相关攻击技术,对空域图像LSB隐写术提出了一种隐写密钥恢复方法.理论分析说明:此攻击方法的计算复杂度主要由所需的样本量决定,并且当嵌入率r接近0或1时攻击将失败.作者通过混合高斯模型给出了一个估计最小样本量的方法.针对隐写软件"Hide and Seek 4.1"的实验表明:此攻击方法可以成功恢复隐写密钥,从而提取隐藏的消息.如果消息长度L未知,当嵌入率5.3%＜r＜94.7%时攻击可以成功;如果L已知,当1.1%＜r＜98.4%时攻击可以成功,并且当11%＜r＜50%时,使用估计的最小样本量可以将攻击速度提高10%～45%.     

化学镀镍-磷合金镀层耐腐蚀性能的研究

针对石油天然气中二氧化碳对输送管线和容器的腐蚀,采用化学镀的方法,在常用输送管线材料内壁形成Ni-P合金镀层.利用扫描电镜、X-射线衍射仪和电化学测试仪对镀层的表面形貌、相组成及电化学特性进行了分析.并在模拟油气田环境的腐蚀试验箱中进行了对比腐蚀试验.结果表明,管线材料经化学镀Ni-P合金镀层后,抗二氧化碳腐蚀作用有明显提高.