一类有限自动机及其直积的试验序列

对有限自动机Md、Mnd及M×Md∧Mnd的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了它们之间的关系及最短的试验序列个数的判定,并在此基础之上给出了M×Md和M×Mnd的初(末)态试验序列、UIO序列和同步序列的一些性质和结果.     

基于稀疏技术的序列运算方法

序列运算过程中经常遇到稀疏序列之间的相互运算。针对序列运算的计算优化问题,该文首先分析了序列稀疏性的成因,并分析了序列运算理论中不同类型基本运算对于序列稀疏性的影响,同时给出了相应的计算结果序列的稀疏度估算公式。然后,根据序列与序列运算的特点,将稀疏技术应用于序列运算中,提出了通用存储方法与特征存储方法等2种稀疏序列存储技术。最后,利用算例对所提出的稀疏序列存储方法加以检验,采用稀疏技术后不同类型序列运算的时间开销均有不同程度的降低,特别是卷和、交积、并积与序除运算的计算时间下降为原来的6%~38%,算例结果表明了该文工作的正确性与应用价值。     

两个有限自动机之间试验序列的关系

给出两个有限自动机分别具有等价、弱同构、同构、强于关系时,它们相应的试验序列所具有的关系.     

有限自动机的积可逆性讨论

主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论．     

局部序列连通空间

给出了序列连续映射的等价刻画及局部序列连通性的定义.讨论了拓扑空间的局部序列连通性,给出局部序列连通空间的刻画及基本性质,证明了序列连续开映射保持局部序列连通性,局部序列连通性具有开遗传性,可商性,有限可积性;最后给出局部序列连通性可数可积的充要条件.     

树积序列性及序列标号

图G的标号是指G的节点集到一个整数集的映射g,且由g(u)、g(v)诱导出边euv的标号.本文定义了序列树的根积运算,并研究了满足一定条件的序列树的根积的序列性,得到了一类新的节点数较多且非毛毛虫的树为序列图.     

概率性序列运算的扩展及其运算性质

现有序列运算理论的核心是卷和、卷差、交积与并积运算等4个基本运算。当面对连续型随机变量延伸至离散型概率性序列时,为了提高概率性序列运算理论的适用性,该文提出了序乘运算、序除运算及序移运算等新的概率性序列运算形式,用于处理概率性序列之间以及序列与正常数之间的乘、除等关系,并推导出各种基本运算的基本性质,分析了这几种运算的物理意义。算例结果表明了运算性质的正确性。     

概率有限自动机积的覆盖性

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.     

钟控序列和有限自动机密码的一种实现

讨论两个自治有限自动机复合的状态序列的一些数学性质.给出在微型计算机IBM-PC上有限自动机密码的一种实现及其保密性能的分析,并附有关于密文和乱数序列的均匀分布的X~2检验及密文和乱数序列中游程长的统计结果.     

从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

一种基于核苷酸二联体的DNA序列编码规则

序列比较的基本任务有:(1)对于两条长度相近的序列相似,找出序列的差别;(2)判断一条序列的前缀与另一条序列的后缀相似;(3)判断一条序列是否是另一条序列的子序列;(4)判断两条序列中是否有非常相似的子序列.对核苷酸二联体给出DNA序列一种编码规则,利用异或操作进行序列比较.     

关于矩阵的和与乘积秩的分块矩阵表示

利用分块矩阵的秩给出了矩阵的和与乘积秩的等式表示，作为结论应用，给出了矩阵的和与乘积等运算秩的有关不等式。     

塔里木盆地白垩系层序地层学

通过地震剖面、测、钻井、野外地质露头以及岩心等资料的综合分析,白垩系可识别出8个三级层序边界,这些层序边界均为Ⅰ型层序边界。根据8个层序边界白垩系可划分出7个三级层序,分别为KSQ1~KSQ7层序。这些层序均可识别出低位体系域、湖侵体系域,由于基准面下降期间地层的剥蚀作用使高位体系域多发育不全。顺托果勒和阿瓦提地区大部分剖面缺失KSQ6和KSQ7层序。在研究区南部、东部和北部等盆地边缘区域白垩系下部地层呈现明显的下超和上超,导致缺失KSQ1或KSQ2层序。在盆地内部各层序均有分布。白垩系层序的发育特征明显受到构造运动、气候、沉积期古地貌和湖盆性质的影响。     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

故障模型的最优化测试序列

故障模型的合理性是衡量一个测试算法好坏的主要标准之一。在注入故障模型时,必须按一定的次序依次测试各个故障模型,使得形成各个故障模型的状态所需的读/写等操作数目最小。基于Hamilton路径的生成原理,提出了一种读/写操作数目最小的最优化测试序列。     

Fuzzy数序列的Fuzzy运算的收敛性

在Ｆｕｚｚｙ数的Ｆｕｚｚｙ运算及Ｆｕｚｚｙ数序列的收敛问题基础上，讨论了收敛序列的Ｆｕｚｚｙ运算的性质，给出了几个Ｆｕｚｚｙ数序列的Ｆｕｚｚｙ运算的收敛定理。     

量化Domain中的反向层次收敛

在LF-拟序集中引进了反向层次收敛理论.给出了反向层次收敛序列的性质和若干等价条件,得出了经典序伴随理论中一个重要性质的层次化版本.此外,还引进了紧性和全有界性等概念,它们是度量空间中相应概念在LF-伪序集中的对应形式.最后研究了可变层次结构的若干性质.     

广义Fibonacci数列一些前n项和式初等证明

用数学初等方法证明了广义Fibonacci数列的相差小于6的前n项的和式,从而就能得到Fibonacci数列、Lucas数列的相差小于6的前n项的和式,通过这些数列的通项就能轻松计算其值。