| 用划分序列构造时序机核实序列的方法 |
| |
| 引用本文： | 田绍槐,占先运,彭洁.用划分序列构造时序机核实序列的方法[J].中南大学学报(自然科学版),2000,31(3):279-284. |
| |
| 作者姓名： | 田绍槐 占先运 彭洁 |
| |
| 作者单位： | 湖南税务高等专科学校!湖南长沙，410116，湖南税务高等专科学校!湖南长沙，410116，湖南税务高等专科学校!湖南长沙，410116 |
| |
| 基金项目： | 国家“八五”重点科研项目! ( 9— 6 1)，湖南省科委立项课题! ( 8712 7) |
| |
| 摘 要： | 任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现
|
| 关 键 词： | 时序机 划分序列 矩阵 核实序列 |
A method of constructing checking experiments for sequential machine through dividing sequence |
| |
| TIAN Shao huai,ZHAN Xian yun,PENG Jie.A method of constructing checking experiments for sequential machine through dividing sequence[J].Journal of Central South University:Science and Technology,2000,31(3):279-284. |
| |
| Authors: | TIAN Shao huai ZHAN Xian yun PENG Jie |
| |
| Abstract: | 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. |
| |
| Keywords: | sequential machine dividing sequence matrix checking experiments |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
