多个区间上平稳序列的最大值及最小值

在条件D(υ_n,u_n),D′ (υ_n,u_n)下,本文将平稳序列的最大值与最小值的渐近独立性推广到有限个不相交区间上,得到定理 {ξ_n}为平稳序列,满足D(υ_n,u_n),D′(υ_n,u_n),u_n=x/a_x+b_x,υ_n=-y/c_n+d_n,a_n>0,c_n>0,J=(α_in,β_in,),i=1,2,…,s,0≤α_1<β_1≤α_2<β_2≤…≤α_n<β_n<∞.如果P(α_n(M_n-b_n)≤x,c_n(M_n-d_n)>-y)→G(x,y)     

微处理器指令译码功能测试的连环验证法

提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。     

拟压缩映射序列和广义Ishikawa迭代

在凸度量空间内,对拟压缩映射序列定义广义Ishikawa迭代序列·证明了广义Ishikawa迭代序列收敛于拟压缩映射序列的唯一公共不动点.     

线性模型中误差分布的基于L1估计的相合核估计

线性模型ｙｉ＝ｘｉ＇β＋ｅｉ，ｉ＝１，…，ｎ，的误差序列｛ｅｉ｝ｉ＾ｎ＝１有未知密度ｆ（ｘ）。本文在一定条件下证明了ｆ（ｘ）的核估计ｆｎ（ｘ）＝１／ｎａｎ∑＾ｎｉ＝１ｋ（ｅｎｉ－ｘ／ａｎ）的弱相合性，逐点强相合性，一致强相合性，其中ｅｎｉ为Ｌ１估计的残差。     

核酸序列的模糊聚类与分子进化

将核酸序列(编码区)分成几类,求出每类的平均信息参数(D_L),用模糊聚类的方法研究它们的相似性和同源性,求出各级相似分岔值并导出动态聚类图.证明了短程相似分岔与序列进化有明显的相性,即L=2-5的一级相似分岔值与物种出现地质年代的对数保持较好的线性关系.     

由氨基酸序列预测蛋白质二级结构的进一步研究

本文在工作[1][2]的基础上进一步研究了蛋白质二级结构的经验预测,着重讨论了如何制定预测规则的问题,并将预测工作计算机化.在蛋白质资料库中随机选取了21个蛋白质(3296残基)进行预测,正确率对α螺旋和β折迭分别为84.4%和81.9%.     

陕北长6油层组短期基准面旋回与储层非均质性的关系

鄂尔多斯盆地上三叠统延长组长６油层组为一套砂、泥薄互层的组合类型,储层非均质性很强,尤以层间的非均质性最为严重,明显受基准面升、降,和可容纳空间及沉积物供给量的变化影响。通过高分辨率层序地层的短期基准面升、降旋回过程与储集物性关系的分析,建立了６种不同沉积微相的非均质性模式,探讨了向上变深、向上变浅的非对称型和向上变深后复变浅的对称型短期基准面旋回层序对储层非均质性特征的控制作用     

泛Barker序列设计

对n相Barker序列进行了分析,将n相Barker序列划分为若干等价类。等价类元素可通过某种变换相互转化,因此,将n相Barker序列设计简化为等价类的设计。用计算机搜索的方法,得出具有某种长度的所有n相Barker序列等价类。采用{-1,0, 1}作为序列的元素集合,也是取得Barker序列的一种手段。通过与2相Barker序列比较,采用类似2相Barker序列结构,得到的奇数长度的三值Barker序列。虽然该序列具有较长的序列长度,但序列的相关增益较小。通过计算机搜索可以得到任意长度、具有最大相关增益的三值Barker序列。     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

序列｛V（n）＝V（n－1）＋V（n－2）＋1｝的若干结构性质

本文主要应用文献［４］的方法，给出了序列｜Ｖ（ｎ）｜的若干新奇的恒等式及一些数论性质。