【摘 要】
：
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机
【机 构】
：
西安电子科技大学计算机学院,华南理工大学自动化科学与工程学院,郑州大学信息工程学院
【基金项目】
：
国家自然科学基金资助项目（69873040,60174051,10371112）
论文部分内容阅读
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模拟关系.在此基础上提出了线性的互模拟算法,把互模拟算法和已有的时间自动机验证算法结合起来,得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题.
其他文献
Alkaline sphingomyelinase cleaves phosphocholine from sphingomyelin,platelet-activating factor,lysophosphatidylcholine,and less effectively phosphatidylcholine
农产品区域公用品牌“赣抚农品”新闻发布会前不久在江西省抚州市举行。发布会以“生态抚州绿色农品”为主题,对“赣抚农品”进行品牌推介,现场公布了首批授权使用“赣抚农品
<正> 浙江省地处我国东南沿海长江三角洲的南翼,自然地理条件优越,交通便捷,通信、科技、教育和文化较为发达,旅游和海洋资源丰富,劳动力充裕且素质较高,是全国工农业生产比
今年以来,上海市机电产品出口由于受到东南亚金融风波的影响,一度受阻。1、轻工机电出口受影响严重全市轻工机电企业出口为自行车、钟表、缝纫机、电光源、锁具等传统商品,市
在传统的OFDM系统中，实现自适应调制需要传输大量的有关子载波调制参数信息，致使传输效率下降．文中分析了采用数据扩展技术的自适应调制OFDM系统的特征，发现最优算法就是在原始数
21世纪以来,随着我国经济的飞速发展,科技的进步,我国的各个行业都已经进入了一个新的时代。同时,随着计算机技术的大力发展,使很多行业更是走上了高速发展的道路,计算机技术
“佛山市顺德区检察院送达的《检察建议》,如‘及时雨’一般给我们企业内部整改指明方向,帮我们从源头上杜绝职工的职务侵占行为,进一步规范公司的管理。”广东运达物流公司(
为了避免数字散斑干涉计量中传统相关条纹表征方法因散斑噪声严重导致信噪比较低的问题，根据交叉熵的基本概念和对散斑干涉计量过程状态变化信息表征基本原理的分析，提出了一种
本文从工作机理、性能特点及应用领域等几方面详细介绍９０年代初在计算机领域中出现的新产物──ＦｌａｓｈＭｅｍｏｒｙ。