搜索筛选:
搜索耗时1.8060秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者:勾利杰,
来源:郑州大学 年份:2014
实时系统是一类能够及时处理事务或执行计算并对外部环境做出响应的计算机系统,它不仅要求系统计算结果是正确的,而且要求结果产生的时间也是正确的。在这样的系统中,控制程序和......
[期刊论文] 作者:勾利杰,李真,王从银,庄雷,
来源:2014年河南省计算机学会学术年会暨河南省计算机大会 年份:2014
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,...
[会议论文] 作者:勾利杰,李真,庄雷,王从银,
来源:2014年河南省计算机学会学术年会暨河南省计算机大会 年份:2014
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,...
相关搜索: