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

A method of constructing checking experiments for sequential machine through dividing sequence

作　　者：田绍槐[1] 占先运[1] 彭洁[1] 

机构地区：[1]湖南税务高等专科学校,湖南长沙410116

出　　处：《中南工业大学学报》2000年第3期279-284,共6页Journal of Central South University of Technology(Natural Science)

基　　金：国家"八五"重点科研项目! ( 9- 6 1);湖南省科委立项课题! ( 8712 7)

摘　　要：任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 。In any reduced, strongly connected sequential machines, there exist checking experiments. The methods of constructing checking experiments have already been developed if such a sequential machine has a distinguishing sequence. However, if a sequential machine has no distinguishing sequence, it is necessary to pursue the methods of constructing cheching experiments. After discussing the state tables of sequential machine, this paper defines dividing sequence and advances a method to construct checking experiments for a sequential machine that has no distinguishing sequence. This method can be easily implemented in engineering practice since the solution to dividing sequence is based on matrix model of sequential machine.

关 键 词：时序机 划分序列 矩阵 核实序列 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]