搜索筛选:
搜索耗时1.2794秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：魏绪凯,
来源：计算机工程与设计 年份：2010
为了提高对时间自动机进行空性检测的效率，研究了使用基于时钟区域（zone）的符号化方法和抽象对时间自动机进行空性检测，提出了针对时间自动机自身特点对检测过程进行改进的方法。......
[学位论文] 作者：魏绪凯,
来源：中国科学院软件研究所 年份：2009
许多系统需要在规定时间内响应外部发生的事件，并迅速完成对事件的处理，这样的系统称之为实时系统。实时系统经常出现在与生命财产安全息息相关的领域，如果无法及时响应外部事件......
[期刊论文] 作者：彭云全, 魏绪凯, 李广元,,
来源：计算机仿真 年份：2009
为了增强模型检测工具的检测能力，拓宽模型检测技术的应用范围，对基于时间自动机的LTL性质模型检测进行了研究，对自动机的状态空间的存储方式和状态空间的展开过程进行了分析，讨......
相关搜索：
