期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
赋时离散事件系统的安全诊断
被引量：
3
1
作者
刘富春
蔡家德
《控制与决策》
EI
CSCD
北大核心
2017年第11期2081-2084,共4页
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于...
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
展开更多
关键词
赋时离散事件系统
故障诊断
安全诊断
安全诊断器
原文传递
基于神经网络算法的实时DES监督控制
被引量：
2
2
作者
戴学丰
《控制理论与应用》
EI
CAS
CSCD
北大核心
1997年第5期708-711,共4页
本文在包含状态转移时间离散事件系统（DES）的自动机模型基础上，引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言K的一个某项指标最优的子集Kopt，并探讨了这种情况下用R－W理论设计监控DES的有关问题。
关键词
离散事件系统
神经网络
监督控制
算法
下载PDF
职称材料
具有硬实时上限的离散事件系统的建模
被引量：
1
3
作者
李惠峰
卫军胡
+1 位作者
陈浩勋
孙国基
《西安交通大学学报》
EI
CAS
CSCD
北大核心
1998年第7期27-31,共5页
实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事...
实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型，并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型，从而使文中的模型能够描述更广泛的离散事件系统．
展开更多
关键词
实时离散事件系统
有界事件
有效期事件
tick事件
PETRI网模型
硬实时上限
下载PDF
职称材料
实时离散事件系统监督控制的代数分析
4
作者
戴学丰
王春彦
孙建平
《齐齐哈尔轻工业学院学报》
1997年第1期4-7,共4页
本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。
关键词
实时
离散事件系统
监督控制
代数分析
下载PDF
职称材料
题名
赋时离散事件系统的安全诊断
被引量：
3
1
作者
刘富春
蔡家德
机构
广东工业大学计算机学院
出处
《控制与决策》
EI
CSCD
北大核心
2017年第11期2081-2084,共4页
基金
国家自然科学基金项目(61273118
61673122)
+2 种基金
广东省教育厅省级重大项目(2014KZDXM033)
广东省公益研究与能力建设专项资金项目(2015A030402006)
广东工业大学计算机学院重大奖项培育项目
文摘
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
关键词
赋时离散事件系统
故障诊断
安全诊断
安全诊断器
Keywords
time
discrete
-
event
systems
fault
diagnosis
safe
diagnosis
safe
diagnoser
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
原文传递
题名
基于神经网络算法的实时DES监督控制
被引量：
2
2
作者
戴学丰
机构
齐齐哈尔轻工学院机电系
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
1997年第5期708-711,共4页
文摘
本文在包含状态转移时间离散事件系统（DES）的自动机模型基础上，引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言K的一个某项指标最优的子集Kopt，并探讨了这种情况下用R－W理论设计监控DES的有关问题。
关键词
离散事件系统
神经网络
监督控制
算法
Keywords
real
time
discrete
event
systems
time
optimal
control
neural
networks
optimization
algorithm
automata
supervisory
control
分类号
TP271.8 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
具有硬实时上限的离散事件系统的建模
被引量：
1
3
作者
李惠峰
卫军胡
陈浩勋
孙国基
机构
西安交通大学
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
1998年第7期27-31,共5页
基金
国家自然科学基金
机械制造系统工程国家重点实验室开放基金
文摘
实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型，并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型，从而使文中的模型能够描述更广泛的离散事件系统．
关键词
实时离散事件系统
有界事件
有效期事件
tick事件
PETRI网模型
硬实时上限
Keywords
real
time
discrete
event
systems
prospective
event
s
expirational
event
s
tick
event
s
分类号
TP271.8 [自动化与计算机技术—检测技术与自动化装置]
N945.12 [自动化与计算机技术—控制科学与工程]
下载PDF
职称材料
题名
实时离散事件系统监督控制的代数分析
4
作者
戴学丰
王春彦
孙建平
机构
齐齐哈尔市政工程设计院
出处
《齐齐哈尔轻工业学院学报》
1997年第1期4-7,共4页
文摘
本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。
关键词
实时
离散事件系统
监督控制
代数分析
Keywords
Real
time
discrete
event
systems
Supervisory
control
time
perturbation
Mini-algebra
Max-algebra
分类号
O232 [理学—运筹学与控制论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
赋时离散事件系统的安全诊断
刘富春
蔡家德
《控制与决策》
EI
CSCD
北大核心
2017
3
原文传递
2
基于神经网络算法的实时DES监督控制
戴学丰
《控制理论与应用》
EI
CAS
CSCD
北大核心
1997
2
下载PDF
职称材料
3
具有硬实时上限的离散事件系统的建模
李惠峰
卫军胡
陈浩勋
孙国基
《西安交通大学学报》
EI
CAS
CSCD
北大核心
1998
1
下载PDF
职称材料
4
实时离散事件系统监督控制的代数分析
戴学丰
王春彦
孙建平
《齐齐哈尔轻工业学院学报》
1997
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
