期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
概率实时系统的确认
1
作者
侯建民
郑国梁
《软件学报》
EI
CSCD
北大核心
1997年第A00期327-332,共6页
实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的...
实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的方法确认系统的正确性。
展开更多
关键词
实时
系统
吸向图
概率实时系统
在线阅读
下载PDF
职称材料
带数据约束的概率实时系统的验证
2
作者
张春燕
孙俊
《计算机科学》
CSCD
北大核心
2017年第S1期571-574,593,共5页
带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连...
带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。
展开更多
关键词
数据约束
概率实时系统
连续时间
ZIA
在线阅读
下载PDF
职称材料
题名
概率实时系统的确认
1
作者
侯建民
郑国梁
机构
南京大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
1997年第A00期327-332,共6页
文摘
实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的方法确认系统的正确性。
关键词
实时
系统
吸向图
概率实时系统
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
带数据约束的概率实时系统的验证
2
作者
张春燕
孙俊
机构
无锡科技职业学院
江南大学
出处
《计算机科学》
CSCD
北大核心
2017年第S1期571-574,593,共5页
基金
国家自然科学基金(61300149)
江苏省教育厅高校哲学社会科学研究指导项目(2016SJD880064)
江苏高校品牌专业建设工程资助项目资助
文摘
带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。
关键词
数据约束
概率实时系统
连续时间
ZIA
Keywords
Data constraints
Probability of real-time system
Continuous time
ZIA
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
概率实时系统的确认
侯建民
郑国梁
《软件学报》
EI
CSCD
北大核心
1997
0
在线阅读
下载PDF
职称材料
2
带数据约束的概率实时系统的验证
张春燕
孙俊
《计算机科学》
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
