搜索筛选:
搜索耗时0.0447秒,为你在为你在10,557,000篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：解定宝,,
来源： 年份：2016
混成系统是一类包含连续和离散行为的复杂系统,被广泛应用于工业控制系统的建模,混成自动机是当前其主流建模语言,混成自动机的有界模型检验是保障系统可靠性和安全性的重要...
[期刊论文] 作者：卜磊, 解定宝,,
来源：软件学报 年份：2014
混成系统是实时嵌入式系统的一种重要子类，其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况，因此行为复杂，难以掌握与控制．由于此类系统广泛出现在工控、国防、交......
相关搜索：
