期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
赋时离散事件系统的安全诊断
被引量：
3
1
作者
刘富春
蔡家德
《控制与决策》
EI
CSCD
北大核心
2017年第11期2081-2084,共4页
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于...
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
展开更多
关键词
赋时离散事件系统
故障诊断
安全诊断
安全诊断器
原文传递
具有多项式时间复杂性的离散事件系统安全诊断
被引量：
7
2
作者
刘富春
罗苹
《控制理论与应用》
EI
CAS
CSCD
北大核心
2017年第6期717-722,共6页
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构...
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.
展开更多
关键词
离散事件系统
故障诊断
安全诊断
多项式时间复杂性
下载PDF
职称材料
离散事件系统间歇性故障的安全诊断
被引量：
4
3
作者
刘富春
唐顺桥
+2 位作者
赵锐
邓秀勤
崔洪刚
《控制与决策》
EI
CSCD
北大核心
2020年第5期1205-1210,共6页
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建...
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.
展开更多
关键词
离散事件系统
间歇性故障
故障诊断
安全诊断
识别器
验证器
原文传递
题名
赋时离散事件系统的安全诊断
被引量：
3
1
作者
刘富春
蔡家德
机构
广东工业大学计算机学院
出处
《控制与决策》
EI
CSCD
北大核心
2017年第11期2081-2084,共4页
基金
国家自然科学基金项目(61273118
61673122)
+2 种基金
广东省教育厅省级重大项目(2014KZDXM033)
广东省公益研究与能力建设专项资金项目(2015A030402006)
广东工业大学计算机学院重大奖项培育项目
文摘
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
关键词
赋时离散事件系统
故障诊断
安全诊断
安全诊断器
Keywords
time
discrete-event
systems
fault
diagnos
is
safe
diagnos
is
safe
diagnoser
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
原文传递
题名
具有多项式时间复杂性的离散事件系统安全诊断
被引量：
7
2
作者
刘富春
罗苹
机构
广东工业大学计算机学院
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2017年第6期717-722,共6页
基金
国家自然科学基金项目(61673122
61273118)
+2 种基金
广东省教育厅省级重大项目(2014KZDXM033)
广东省公益研究与能力建设专项资金项目(2015A030402006)
广东工业大学计算机学院重大奖项培育项目资助(2016PY01)~~
文摘
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.
关键词
离散事件系统
故障诊断
安全诊断
多项式时间复杂性
Keywords
discrete
event
systems
fault
diagnos
is
safe
diagnos
ability
polynomial-time
complexity
分类号
TP277 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
离散事件系统间歇性故障的安全诊断
被引量：
4
3
作者
刘富春
唐顺桥
赵锐
邓秀勤
崔洪刚
机构
广东工业大学计算机学院
广东工业大学应用数学学院
广东省东源县科技创新中心
出处
《控制与决策》
EI
CSCD
北大核心
2020年第5期1205-1210,共6页
基金
国家自然科学基金项目(61673122)
广东省自然科学基金项目(2019A1515010548)
+1 种基金
广东省公益研究与能力建设专项资金项目(2015A030402006)
广东工业大学计算机学院重大奖项培育项目(2016PY01)。
文摘
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.
关键词
离散事件系统
间歇性故障
故障诊断
安全诊断
识别器
验证器
Keywords
discrete-event
systems
intermittent
faults
fault
diagnos
is
safe
diagnos
ability
recognizer
verifier
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
原文传递
题名
作者
出处
发文年
被引量
操作
1
赋时离散事件系统的安全诊断
刘富春
蔡家德
《控制与决策》
EI
CSCD
北大核心
2017
3
原文传递
2
具有多项式时间复杂性的离散事件系统安全诊断
刘富春
罗苹
《控制理论与应用》
EI
CAS
CSCD
北大核心
2017
7
下载PDF
职称材料
3
离散事件系统间歇性故障的安全诊断
刘富春
唐顺桥
赵锐
邓秀勤
崔洪刚
《控制与决策》
EI
CSCD
北大核心
2020
4
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
