求同步序列(SS)的一个数学方法

同步树法实质上是一个查状态表的方法,设时序机M的输入变量为x_1,x_2,…,x_n,则M的输入向量的个数为2~n,当M存在长度为r的SS时,其查表的最大次数为r·(2~n)~r,当n和r均较大时,其查表次数是十分惊人的。为了提高产生SS的效率,本文在时序机的矩阵模型的基础上,得到了有重要意义的结果,从而较好地解决了求SS的计算复杂性问题(NP)。     

用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机,必存在核实序列。若该机存在区分序列,构造其核实序列的方法已经形成;但是,若该机不存在区分序列,需寻求构造其核实序列的方法。作者从时序机的状态表出发,定义了划分序列,并针对无区分序列的时序机,提出了利用划分序列构造时序机核实序列的一种方法。该方法中求划分序列部分建立在时序机的矩阵模型上,易于工程实现。     

求最短区分序列（SDS）的并行算法

本文在[1,2,5]的基础上,提出了求时序机的最短区分序列(SDS)的一个算法。文中只用到一个终止规则和向量逻辑乘及异或运算,程序设计十分简单。若时序机的DS存在,通过本算法能优选一条路径,求出SDS。从而使按(2~n)~r的指数计算复杂性降为r×2~n的计算关系。当DS的长度r增加时,本算法的优越性更为突出。     

基于灰度级出现频数的数字图像置乱程度衡量方法

数字图像置乱程度是评价数字图像置乱算法的重要方面,对数字水印算法的研究也起到重要的指导作用。利用灰度级出现频数可以对数字图像的最佳(理想)置乱效果进行描述,以数字图像的最佳(理想)置乱效果为参照系,基于灰度级出现频数提出了一种衡量数字图像置乱程度的新方法。采用Matlab为实验研究工具,进行仿真实验。实验结果表明,该置乱程度衡量方法与视觉的主观评价基本一致,具有对各种类型的图像加密方法都适用的高泛化性,还具有与原图像无关性。     

基于NPV广义超立方体最佳容错路由算法

在网络可靠性研究中,设计较好的容错路由策略、尽可能多地记录系统中最优通路信息,一直是一项重要的研究工作.超立方体系统的容错路由算法分为可回溯算法和无回溯算法.一般说来,可回溯算法的优点是容错能力强:只要消息的源节点和目的节点有通路,该算法就能够找到把消息传递到目的地的路径;其缺点是在很多情况下传递路径不能按实际存在的最短路径传递.其代表是深度优先搜索(DFS)算法.无回溯算法是近几年人们比较关注的算法.该算法通过记录各邻接节点的故障信息,给路由算法以启发信息,使消息尽可能按实际存在的最短路径传递.这些算法的共同缺点是只能计算出Hamming距离不超过n的路由.在n维超立方体系统连通图中,如果系统存在大量的故障,不少节点对之间的最短路径大于n,因此,这些算法的容错能力差.提出了一个实例说明采用上述算法将遗失60%的路由信息.另外,由于超立方体的结构严格,实际中的真正超立方体系统不多.事实上,不少的网络系统可转换为具有大量错误节点和错误边的超立方体系统.因此,研究能适应具有大量错误节点和错误边的超立方体系统的容错路由算法是一个很有实际价值的工作.研究探讨了:(1) 定义广义超立方体系统;(2) 在超立方体系统中提出了节点通路向量(NPV)概念及其计算规则;(3) 提出了中转点技术,使得求NPV的计算复杂度降低到O(n);(4) 提出了基于NPV的广义超立方体系统最佳容错路由算法(OFTRS),该算法是一种分布式的和基于相邻节点信息的算法.由于NPV记录了超立方体系统全部最优通路和次最优通路的信息,在具有大量故障的情况下,它不会遗漏任何一条最优通路和次最优通路信息,从而实现了高效的容错路由.在这一点上,它优于其他算法.     

用OPSBOPMs实现超立方体系统的容错路由

提出了针对超立方体结构多处理机系统的最优通路集的新概念和建立基于最优通路集的最优通路矩阵（OPSBOPMs）的新算法，并给出了基于OPSBOPMs的容错路由算法，证明了该算法是基于最优通路距阵（OPMs）和基于扩展最优通路矩阵（EOPMs）容错路由算法的扩展，研究结果表明：该算法的存储开销与OPMs的相同，但记录的最优通路的信息包含了它们所记录的最优通路的信息，使搜索最优通路的能力增强。     

超立方体多处理机系统中基于扩展最优通路矩阵的容错路由

该文在高峰等文章的基础上，提出了针对超立方体结构多处理机系统的扩展最优通路矩阵（Extended Optimal Path Matrices,EOPMs）的概念，并给出了一个建立EIPMs的算法和基于EOPMs的容错路由算法，证明了基于EOPMs的容错路由算法是基于扩展安全向量（ESVs）^[13]和基于最优通路矩阵（OPMs)^[14]容错路由算法的扩展，与原文相比，该算法的存储开销与OPMs,相同，但记录的最优通路的信息，包含了原文所记录的最优通路的信息，使搜索最优通路的能力比它们有进一步的提高。     

故障矩阵映射法

本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。