搜索筛选:
搜索耗时0.0944秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：彭云全,
来源：中国科学院软件研究所 年份：2008
实时系统是指能及时响应外部发生的事件，并以足够快的速度完成对事件处理的计算机应用系统。实时系统应用的场合往往要求其正确性和可靠性能够得到保证，但是由于涉及并发、不确......
[期刊论文] 作者：张文亮, 彭云全,,
来源：计算机仿真 年份：2008
模型检测是一种自动完成性质验证的算法过程，在模型检测过程中会遇到状态空间爆炸的问题，即随系统规模的增长状态空间的大小呈指数增长，如何缓解此问题一直是研究者研究的重点。......
[期刊论文] 作者：彭云全, 魏绪凯, 李广元,,
来源：计算机仿真 年份：2009
为了增强模型检测工具的检测能力，拓宽模型检测技术的应用范围，对基于时间自动机的LTL性质模型检测进行了研究，对自动机的状态空间的存储方式和状态空间的展开过程进行了分析，讨......
相关搜索：
