摘要：本文基于矩阵半张量积方法研究了带有敌对输入的异步时序机的控制问题.首先,利用矩阵半张量积,给出了带有敌对输入的异步时序机动态行为的代数表示.接着,通过分析具体的控制过程设计了具有最小状态集的控制器并给出了控制器状态转移结构矩阵和输出结构矩阵的赋值算法.其次,基于带有敌对输入的异步时序机的代数表示和控制器的赋值算法给出了整个闭环系统的动态行为的代数表示,从而验证本文理论结果的正确性.最后,利用具体实例说明了本文所提方法的的可行性和有效性.

摘要：目前国内外,数字逻辑或开关理论中,有关钟控式时序机分析和设计理论的论述,无论在观念和理论体系,还是深广度和定量化方面,均很不理想,个别课题的论述不够正确,有些传统且不正确的观念,人云亦云,严重阻碍着钟控式时序机理论的更新与发展.本文针对现行传统数学逻辑或开关理论的不足之处,提出探索性的个见,首先提出一阶钟控式时序机概念,给出其完整的组成框图,并对豪夫曼式组成框图作出评介;然后详述一阶钟控式时序机各种可能的状态转移图类型。