期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分布式离散事件系统的安全可诊断性算法
被引量：
5
1
作者
欧阳丹彤
罗知雨
+1 位作者
耿雪娜
张立明
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018年第3期594-600,共7页
采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全...
采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全可诊断.实验结果表明:该算法可判断分布式离散事件系统是否安全可诊断,缩小了求解空间;最好情况下实例状态数约缩减至7倍,平均情况下实例状态数约缩减5.45倍.
展开更多
关键词
分布式离散事件系统
安全
诊断器
故障诊断
在线阅读
下载PDF
职称材料
题名
分布式离散事件系统的安全可诊断性算法
被引量：
5
1
作者
欧阳丹彤
罗知雨
耿雪娜
张立明
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
长春理工大学计算机科学与技术学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018年第3期594-600,共7页
基金
国家自然科学基金(批准号:61672261
61502199
+1 种基金
61402196
61373052)
文摘
采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全可诊断.实验结果表明:该算法可判断分布式离散事件系统是否安全可诊断,缩小了求解空间;最好情况下实例状态数约缩减至7倍,平均情况下实例状态数约缩减5.45倍.
关键词
分布式离散事件系统
安全
诊断器
故障诊断
Keywords
distributed discrete event system
safe
diagnostor
fault diagnosis
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
分布式离散事件系统的安全可诊断性算法
欧阳丹彤
罗知雨
耿雪娜
张立明
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
