【摘 要】
：
In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic auto
【机 构】
：
Key Laboratory of Systems and Control
论文部分内容阅读
In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and the necessary and sufficient conditions on reachability are given using semitensor product of matrices.Our results show that the matrix expression provides an effective computational way for the reachability analysis of finite automata.
其他文献
随着城市和经济的发展,城市间的交通问题越来越严峻,城市交通安全问题已经成为危害社会安全的一大隐患.而城市的公路的设计对公路的安全性起到决定的作用,公路的的几何线形在
文章从加强安全文化建设、规范员工行为、改善矿区面貌、致力于学习型企业建设和加强精神文明建设等几个方面阐述了企业文化建设对打造高标准矿井的重要意义.
数学算法在工程领域方面非常重要.介绍有限单元法,遗传算法和神经网络的研究现状,描述它的主要特点,基本原理和应用领域.
新的一年，生机盎然，乘着省“两会”的东风，伴随着四川GDP迈人“2万亿俱乐部”的喜讯，四川的科学发展、跨越发展迈上了一个新的高度。
此创新研究延伸了相对论和量子力学两大理论支柱,使它们在能量运动变化理论上相交.总结出物理宇宙公式△EL=△EOK和物数学通式§=NM.物理宇宙公式推演了所有物理公式,此文作
建立了LV4型、LV7型高度调整阀的空气弹簧模型,针对车辆动态曲线性能进行了仿真分析,并与常规的等效线性空气弹簧模型情况下的车辆响应进行了对比.
朋友小王,家距单位不到5公里,每天早、晚,她开着车在城市拥堵的道路上艰难前行。即便如此,不少朋友建议她骑自行车,小王的头都摇成个拨浪鼓。“自行车道原本就不宽,还遍布停
在古巴的几天中,虽属走马观花,但仍有些经典印象留了下来,“老爷车”应算其中之一。从黑夜中驶入哈瓦那市区到宾馆树影下的停车场,从沿海公路到巴拉德罗半岛,从市政厅广场到
2007年1月,我国外汇储备突破万亿美元大关,成为全球第一外汇储备大国.伴随我国外汇储备的增长,基础货币投放量的快速增加,经济中出现了明显的流动性过剩问题.而如何认识外汇
财务管理信息化研究的是新的环境下财务管理如何开展的问题。由于信息技术的飞速发展,其带来的深刻影响使财务管理发生了质的变化。本文主要就信息时代财务管理信息化建设相