王文章
- 作品数：6 被引量：2H指数：1
- 供职机构：中国保险管理干部学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 故障矩阵映射法——求时序电路最短测试序列集的一个算法
- 王文章田绍槐张如健
- 关键词：时序电路故障检测
- 故障矩阵映射法被引量：1
- 1990年
- 本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。
- 王文章田绍槐张如健
- 关键词：时序电路
- 解决时序机状态识别NP的数学方法
- 田绍槐王文章张如健
- 关键词：逻辑运算矩阵分析时序机
- 状态化简的一个并行算法
- 王文章
- 关键词：相图并行处理树(数学)
- 求最短区分序列(SDS)的并行算法被引量：1
- 1990年
- 本文在[1,2,5]的基础上,提出了求时序机的最短区分序列(SDS)的一个算法。文中只用到一个终止规则和向量逻辑乘及异或运算,程序设计十分简单。若时序机的DS存在,通过本算法能优选一条路径,求出SDS。从而使按(2~n)~r的指数计算复杂性降为r×2~n的计算关系。当DS的长度r增加时,本算法的优越性更为突出。
- 王文章田绍槐张如健
- 关键词：SDS计算机
- 状态化简的一个并行算法被引量：2
- 1990年
- 本文在[1,2]的基础上,提出了“枝”迭代和“树”迭代公式。设M是任意原始状态机,由定理2可以写出对应的矩阵A_i和B_i,从而得到机器M的初始输出矩阵E(1)。由定理3可以求出M的第K级输出矩阵E(K),K=2,3,…r。定理4给出了状态Q_i与Q_i等价的充要条件,从而得到了求M的最简等价状态机M′的一个并行算法。由于本算法适合于向量运算,因此在计算机上实现时,程序设计十分简单。由[3,4,5]可知,“枝”迭代和“树”迭代公式不仅为时序电路的CAD,而且还为时序电路的状态识别和置初值等提出了一个新的数学方法。
- 王文章
- 关键词：状态化简计算机
