期刊文献+
共找到266篇文章
< 1 2 14 >
每页显示 20 50 100
混杂系统研究综述 被引量:13
1
作者 吴锋 刘文煌 郑应平 《系统工程》 CSCD 1997年第2期1-7,16,共8页
混杂系统的提出是由于离散事件系统深入研究和现代工业过程控制的需要.本文综述了混杂系统研究现状和需进一步研究的课题.
关键词 混杂系统 离散事件系统 连续变量系统 动态系统
下载PDF
混杂系统方法及其在过程控制中的应用 被引量:12
2
作者 吴锋 刘文煌 郑应平 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 1997年第11期77-81,共5页
借鉴混杂系统思想,提出一种方法用以设计含离散性质的过程控制系统。在总结混杂系统概念及其应用背景的基础上,分别利用自动机和Petri网两类工具建立常用的混杂系统框架结构,讨论了控制算法;为应用该方法解决这类过程控制系统... 借鉴混杂系统思想,提出一种方法用以设计含离散性质的过程控制系统。在总结混杂系统概念及其应用背景的基础上,分别利用自动机和Petri网两类工具建立常用的混杂系统框架结构,讨论了控制算法;为应用该方法解决这类过程控制系统的设计问题,总结了混杂系统方法原理,并结合两个实例给出应用说明。应用设计表明,该方法与常规控制相比,有机地集成了离散事件控制,丰富了过程控制策略。 展开更多
关键词 混杂系统方法 过程控制 离散事件系统 控制系统
原文传递
基于极大代数的离港航班优化调度 被引量:8
3
作者 华克强 蔡毓峰 高峥 《中国民航学院学报》 2005年第3期1-5,共5页
改变以往采用的排队论和线性规划等方法,用极大代数理论研究了航班调度优化问题,将进离港系统的非线性转化为极大代数意义下的线性,结合离散事件动态系统理论(DES)的摄动分析法、鲁棒分析法,论证了不同机型排列对系统性能的影响。运用... 改变以往采用的排队论和线性规划等方法,用极大代数理论研究了航班调度优化问题,将进离港系统的非线性转化为极大代数意义下的线性,结合离散事件动态系统理论(DES)的摄动分析法、鲁棒分析法,论证了不同机型排列对系统性能的影响。运用这一方法,实现了对机型排列的寻优,为科学的航班调度提供了定量的参考。 展开更多
关键词 极大代数 离散事件系统 摄动分析法 鲁棒分析法 航班调度
下载PDF
电力系统事件建模与分析 被引量:6
4
作者 赵洪山 米增强 任惠 《中国电机工程学报》 EI CSCD 北大核心 2006年第22期11-16,共6页
总结和分析了电力系统事件及其特点,对事件进行了定义,给出了一种基于语言理论的电力系统事件建模的框架。这种框架可以方便地描述电力系统事件的动态行为,可以分析电力系统离散控制与连续系统之间相互作用的混杂动态过程。同时,提出利... 总结和分析了电力系统事件及其特点,对事件进行了定义,给出了一种基于语言理论的电力系统事件建模的框架。这种框架可以方便地描述电力系统事件的动态行为,可以分析电力系统离散控制与连续系统之间相互作用的混杂动态过程。同时,提出利用离散事件系统的允许事件轨迹计算电力系统的安全可控事件集合,以提高安全控制的可靠性。通过实例,描述了电力系统离散事件的建模过程,并利用理论仿真分析了通过采取离散控制措施,可避免电力系统进入不安全运行状态。 展开更多
关键词 电力系统 离散事件系统 建模 分析 混杂系统
下载PDF
航班调度系统的遗传算法应用 被引量:3
5
作者 王来军 史忠科 《计算机工程》 EI CAS CSCD 北大核心 2005年第2期225-227,共3页
介绍了基于地面等待策略的航班调度系统的设计构成和主要功能的实现,给出了支持系统的离散事件随机数学模型,并重点介绍了遗传算法在该系统中的开发应用情况,最后针对实际数据进行了仿真运算,证明了系统结构合理、算法正确高效,对目前... 介绍了基于地面等待策略的航班调度系统的设计构成和主要功能的实现,给出了支持系统的离散事件随机数学模型,并重点介绍了遗传算法在该系统中的开发应用情况,最后针对实际数据进行了仿真运算,证明了系统结构合理、算法正确高效,对目前空管系统的开发设计具有一定的参考和应用价值。 展开更多
关键词 遗传算法 随机数学 离散事件 数据 仿真 调度系统 运算 航班 策略 支持系统
下载PDF
Petri网的一类禁止状态问题的混合型监控器算法设计 被引量:9
6
作者 罗继亮 《计算机学报》 EI CSCD 北大核心 2008年第2期291-298,共8页
针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当... 针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法. 展开更多
关键词 PETRI网 离散事件系统 监控 禁止状态 混合型监控器
下载PDF
逻辑控制器设计与离散事件系统监控理论 被引量:8
7
作者 罗继亮 邵辉 +1 位作者 吴维敏 苏宏业 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期86-91,共6页
物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题... 物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题. 展开更多
关键词 可编程逻辑控制器 离散事件系统 现场可编程门阵列 监控理论
下载PDF
基于赋时Petri网描述的多产品间歇过程调度研究 被引量:6
8
作者 古天龙 蔡国永 琶里莎·巴哈里 《控制理论与应用》 EI CAS CSCD 北大核心 2000年第6期933-936,共4页
生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存... 生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存储策略MIS .同时给出了调度求解的修正分支定界和赋时Petri网执行 (MBBTE)算法 。 展开更多
关键词 离散事件系统 赋时PETRI网 间歇过程 多产品 调度
下载PDF
双连杆柔性臂机器人的模糊补偿滑模控制 被引量:6
9
作者 戴学丰 严浙平 +1 位作者 孙立宁 蔡鹤皋 《电机与控制学报》 EI CSCD 北大核心 2005年第1期1-4,共4页
提出了宏微双重驱动双连杆柔性臂机器人递阶控制系统结构,下层为根据柔性臂刚性模态 设计的实现关节角位置控制的滑模算法和压电陶瓷抑振器,上层为根据关节角误差信号和滑模函数 变化趋势建立的模糊推理表用以确定对滑模控制律的修正。... 提出了宏微双重驱动双连杆柔性臂机器人递阶控制系统结构,下层为根据柔性臂刚性模态 设计的实现关节角位置控制的滑模算法和压电陶瓷抑振器,上层为根据关节角误差信号和滑模函数 变化趋势建立的模糊推理表用以确定对滑模控制律的修正。借助自动机模型分析了系统的稳定性, 将控制律在包含柔性模态的完整柔性臂机器人模型上进行计算机仿真,取得了满意的结果。 展开更多
关键词 双连杆柔性臂机器人 模糊补偿滑模控制 压电陶瓷抑振器 数学模型 伺服电机 滑模算法
下载PDF
基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分(英文) 被引量:7
10
作者 吴维敏 苏宏业 褚健 《控制理论与应用》 EI CAS CSCD 北大核心 2003年第2期228-232,共5页
针对由Petri网建模的离散事件系统 ,提出了一种新的控制器设计方法 .控制器是基于有限容量库所的概念构造而成的 ,并使被控对象在给定的一组线性不等式约束下运行 ,而给定的线性不等式约束是定义在库所标识上的 .控制器的综合利用了有... 针对由Petri网建模的离散事件系统 ,提出了一种新的控制器设计方法 .控制器是基于有限容量库所的概念构造而成的 ,并使被控对象在给定的一组线性不等式约束下运行 ,而给定的线性不等式约束是定义在库所标识上的 .控制器的综合利用了有限容量库所Petri网转换为 (普通 )无限容量库所Petri网的技术 .针对约束的不同情况 ,给出了相应的Petri网的控制器的设计方法 . 展开更多
关键词 离散事件系统 PETRI网 控制器 有限容量库所 建模
下载PDF
具有多项式时间复杂性的离散事件系统安全诊断 被引量:7
11
作者 刘富春 罗苹 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第6期717-722,共6页
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构... 离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论. 展开更多
关键词 离散事件系统 故障诊断 安全诊断 多项式时间复杂性
下载PDF
基于VXI仪器的电路板故障诊断系统 被引量:1
12
作者 张巍 夏立 杨宣仿 《测控技术》 CSCD 2001年第11期57-59,共3页
介绍了研制中的基于VXI总线技术组建的电路板故障诊断系统 ,并就其硬件和软件的组成进行较为详细的探讨。针对待测电路板许多属于数模混合类型 ,作为软件核心部分的测试诊断数据库的建立采用了离散事件系统法。
关键词 VXI总线 电路板 故障诊断系统 自动仪器
下载PDF
模型未知的离散事件系统故障诊断方法
13
作者 张志恒 王德光 《计算机应用研究》 CSCD 北大核心 2024年第4期1008-1014,共7页
针对离散事件系统模型难以建立的大型实际系统,无法对其进行有效故障诊断的问题,提出一种基于主动学习的故障诊断方法。首先,为获取到的系统事件日志添加正常/故障标签,并将日志集划分为训练集和测试集,提出一种基于抽象技术的迭代算法... 针对离散事件系统模型难以建立的大型实际系统,无法对其进行有效故障诊断的问题,提出一种基于主动学习的故障诊断方法。首先,为获取到的系统事件日志添加正常/故障标签,并将日志集划分为训练集和测试集,提出一种基于抽象技术的迭代算法提取训练集中日志的故障特征样本。然后,通过故障特征样本构造初始故障识别器,并利用测试集中的日志检验识别器的准确性。仿真结果表明,该故障诊断算法使得模型未知下诊断精度更高。最后,实例说明系统模型未知下故障诊断算法的应用。与现有研究相比,提出的方法可以在系统模型未知下进行故障诊断且算法复杂度为多项式,诊断精度更高,应用范围更加广泛。 展开更多
关键词 离散事件系统 故障诊断 主动学习 抽象技术 故障特征
下载PDF
事件图的混合控制器设计 被引量:6
14
作者 罗继亮 吴维敏 +1 位作者 苏宏业 褚健 《自动化学报》 EI CSCD 北大核心 2007年第2期218-221,共4页
指数级计算复杂性的可达性分析导致较大规模Petri网上的监控器设计非常困难.为了解决这一问题,本文给出了事件图上的混合型控制器设计方法:首先得到了观测器的设计方法;其次给出了根据观测器计算最大允许控制策略的算法.结果表明,该... 指数级计算复杂性的可达性分析导致较大规模Petri网上的监控器设计非常困难.为了解决这一问题,本文给出了事件图上的混合型控制器设计方法:首先得到了观测器的设计方法;其次给出了根据观测器计算最大允许控制策略的算法.结果表明,该方法降低了需要观测的状态空间的维数,从而提高了计算效率,并且该方法不要求对象网是活的或有界的. 展开更多
关键词 离散事件系统 监控 PETRI网
下载PDF
非确定型离散事件系统双模拟控制的实现 被引量:6
15
作者 刘富春 《控制理论与应用》 EI CAS CSCD 北大核心 2015年第1期75-79,共5页
近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划... 近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的. 展开更多
关键词 离散事件系统 监督控制 双模拟关系 非确定型自动机 双模拟控制
下载PDF
间歇式化工形式化建模与顺序控制器设计 被引量:6
16
作者 罗继亮 陈雪琨 +1 位作者 齐鹏飞 赵坡 《上海交通大学学报》 EI CAS CSCD 北大核心 2012年第12期1896-1900,共5页
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网... 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化. 展开更多
关键词 离散事件系统 PETRI网 间歇式化工 顺序控制 监控
下载PDF
采用VXI总线研制电路板故障诊断系统 被引量:5
17
作者 张巍 夏立 杨宣访 《海军工程大学学报》 CAS 2001年第1期79-81,共3页
利用VXI总线技术研制了电路板故障诊断系统 ,并就其硬件和软件的组成进行了较详细的探讨 。
关键词 电路板 VXI总线 测试 故障诊断 离散事件系统
下载PDF
一类受控Petri网的控制器设计(英文) 被引量:5
18
作者 董利达 吴维敏 +2 位作者 徐巍华 苏宏业 褚健 《控制理论与应用》 EI CAS CSCD 北大核心 2003年第5期678-684,共7页
通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控... 通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控制器是最大允许 . 展开更多
关键词 受控PETRI网 离散事件动态系统 控制器 设计
下载PDF
基于DES理论的数模混合电路故障诊断研究 被引量:4
19
作者 刘大伟 鲁昌华 《国外电子测量技术》 2007年第10期26-29,共4页
数模混合电路故障诊断是一个被广泛关注的前沿课题,它面临着许多测试上的难点,解决这个问题意义重大而任务艰巨。由于数模混合电路具备DES的特点,本文采用近来发展的DES理论对数模混合电路进行可测性分析,该法可用一定的算法在计算机上... 数模混合电路故障诊断是一个被广泛关注的前沿课题,它面临着许多测试上的难点,解决这个问题意义重大而任务艰巨。由于数模混合电路具备DES的特点,本文采用近来发展的DES理论对数模混合电路进行可测性分析,该法可用一定的算法在计算机上实现;最后对DES理论在电路测试中的应用进行了实例验证。实验表明:该方法可以有效地进行数模混合电路故障诊断。 展开更多
关键词 数模混合电路 离散事件系统 可测试性 最小测试集
下载PDF
基于执行器冲突预防的平行Petri网控制系统设计
20
作者 林鑫杰 罗继亮 +1 位作者 李旭航 叶剑虹 《计算机集成制造系统》 EI CSCD 北大核心 2024年第2期601-609,共9页
为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法... 为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。 展开更多
关键词 PETRI网 离散事件系统 智能体 冲突预防
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部