基于通信顺序进程的并发DEDS的规范和证实 被引量：1

1

作者 徐林 吴智铭 +1 位作者 杨根科 孟凡英 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第8期1177-1180,共4页

在实时通信顺序进程 ( TCSP)的基础上对离散事件动态系统 ( DEDS)进行建模、规范和证实 .介绍了 TCSP中与 DEDS相关的一些研究成果 ,根据离散事件的特点作了符号语义上的改进 ,就两个具体的例子——自动导引小车 ( AGV)和火车道口系统... 在实时通信顺序进程 ( TCSP)的基础上对离散事件动态系统 ( DEDS)进行建模、规范和证实 .介绍了 TCSP中与 DEDS相关的一些研究成果 ,根据离散事件的特点作了符号语义上的改进 ,就两个具体的例子——自动导引小车 ( AGV)和火车道口系统建立了 TCSP模型 ,给出了它们需要满足的特性 。 展开更多

关键词 并发deds 实时通信顺序进程 refusal模型 离散事件动态系统 自动导引小车 火车道口系统

在线阅读 下载PDF 职称材料

一类 DEDS系统的最优控制与调度(英文) 被引量：3

2

作者 马俊 杨球 《武汉理工大学学报（交通科学与工程版）》 北大核心 2002年第4期557-561,共5页

用 Cohen的极大代数方法对 flow-shop系统 ,建立了含缓冲区容量的状态方程和带控制项的输出状态方程 ,证明了系统没有缓冲器无阻塞均匀时间控制的充分必要条件是一类线性状态反馈 ;变序集上周期最小的最优控制可以转化为一个求解旅行推... 用 Cohen的极大代数方法对 flow-shop系统 ,建立了含缓冲区容量的状态方程和带控制项的输出状态方程 ,证明了系统没有缓冲器无阻塞均匀时间控制的充分必要条件是一类线性状态反馈 ;变序集上周期最小的最优控制可以转化为一个求解旅行推销员问题 ,而最优调度恰好是一类特殊的最优控制 .所论系统的重要参数均可通过工时矩阵直接表示出 。 展开更多

关键词 调度 离散事件动态系统 极大代数 阻塞 最优控制

在线阅读 下载PDF 职称材料

基于DEDS的集装箱码头物流运营系统仿真模型的EEAP 被引量：2

3

作者 沙梅 《上海海事大学学报》 北大核心 2008年第1期12-18,共7页

为构建集装箱码头物流运营系统仿真模型的基本要素,首先移植离散事件动态系统(Dis-crete Event Dynamic Systems,DEDS)的基本要素构成概念,高度归纳集装箱物流运营真实系统,构造系统仿真基本模型的实体、事件、活动与进程(Entity,Event,... 为构建集装箱码头物流运营系统仿真模型的基本要素,首先移植离散事件动态系统(Dis-crete Event Dynamic Systems,DEDS)的基本要素构成概念,高度归纳集装箱物流运营真实系统,构造系统仿真基本模型的实体、事件、活动与进程(Entity,Event,Activity&Process,EEAP)4要素并提炼其复杂的相互关系;并在此基础上,抽象和简化各基本要素间的相互关系,提出可作为仿真模型依据的集总模型的EEAP,最后给出模型基本要素的形式化表示.研究表明,以此为基本要素构建的仿真模型及系统可为集装箱码头物流运营提供决策支持,从而验证该方法的有效性. 展开更多

关键词 离散事件动态系统 集装箱码头 物流运营系统 实体 事件 活动 进程 仿真模型

在线阅读 下载PDF 职称材料

DEDS状态反馈控制问题的费用优化算法 被引量：1

4

作者 刘勇 李桂莲 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1999年第4期448-451,共4页

提出了一种解决离散事件动态系统状态反馈控制综合问题的简单算法——费用优化算法，通过对已有的一类最优控制问题中的控制费用函数和惩罚函数进行适当的构造，将计算控制综合问题的最优解转化为对该类最优控制问题的求解，从而方便地... 提出了一种解决离散事件动态系统状态反馈控制综合问题的简单算法——费用优化算法，通过对已有的一类最优控制问题中的控制费用函数和惩罚函数进行适当的构造，将计算控制综合问题的最优解转化为对该类最优控制问题的求解，从而方便地计算出完全可观察系统中的最大可控子谓词和部分可观察系统在观察函数满足一定条件下的最大可控可观察子谓词． 展开更多

关键词 离散事件系统 状态反馈 控制综合 费用优化算法

在线阅读 下载PDF 职称材料

随机离散事件系统基于动态观测的安全诊断研究

5

作者 刘富春 周鹏 《工业工程》 2024年第1期96-103,共8页

现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各... 现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各自独立的可观事件;对动态观测下随机离散事件系统安全可诊断性进行形式化;推导出一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障安全诊断。 展开更多

关键词 随机离散事件系统 动态观测 安全诊断 诊断器自动机

在线阅读 下载PDF 职称材料

新型ADETCS下工业信息物理系统综合安全控制

6

作者 李炜 程雪 李亚洁 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第9期2704-2716,共13页

针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化... 针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化运行的ICPS架构;通过对ADETCS中阈值函数的优化设计,获得一种可随系统动态行为双向连续变化的新型ADETCS;在该机制下,基于主动容侵和容错的思想,通过构造Lyapunov泛函,借助新型Bessel-Legebdre不等式、锥补线性化(CCL)等少保守性技术,在统一的自适应变采样框架下,推证出鲁棒估计器与综合安全控制器的求解方法,使ICPS可同时防御FDI攻击与故障,并具有更优的自适应通信调节能力。仿真结果表明:新型ADETCS中阈值函数的巧妙设计及CCL的应用,相较现存通信机制和设计方法,可使ICPS的综合安全控制性能与资源节约获得更优的折中平衡。 展开更多

关键词 新型自适应离散事件触发通信机制 工业信息物理系统 综合安全控制 锥补线性化 动态优化平衡

在线阅读 下载PDF 职称材料

铁水运输系统智能仿真模型 被引量：9

7

作者 龙德 么健石 徐心和 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第6期523-526,共4页

研究了铁水运输系统的建模与仿真问题,建立了三层控制结构的智能运输仿真模型,基于OOCPN建立底层工位的状态演化模型,通过仿真进程控制层驱动调度决策层·利用消息传递机制沟通状态变迁与仿真策略之间的关系,利用分层调度和调度精... 研究了铁水运输系统的建模与仿真问题,建立了三层控制结构的智能运输仿真模型,基于OOCPN建立底层工位的状态演化模型,通过仿真进程控制层驱动调度决策层·利用消息传递机制沟通状态变迁与仿真策略之间的关系,利用分层调度和调度精化思想设计的调度决策专家系统和避碰决策专家系统有效模拟了现实系统中铁水运输调度员和机车司机的智能决策行为·仿真结果表明智能仿真模型为运输调度系统的建模与仿真提供了一种实用的解决方案· 展开更多

关键词 PETRI网 deds 调度 仿真系统 运输系统

在线阅读 下载PDF 职称材料

基于模型组件技术的通用离散事件动态系统仿真模型 被引量：4

8

作者 戴晓明 冯瑞 +1 位作者 龚向阳 邵惠鹤 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第4期532-534,共3页

针对传统离散事件动态仿真软件可重用性差的缺陷 ,提出了基于组件技术的设计方法 ,给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现 ,开发了类似 Matlab的离散事件动态系统仿真环境 .该仿真工具通过拖放创建模型 ,联线... 针对传统离散事件动态仿真软件可重用性差的缺陷 ,提出了基于组件技术的设计方法 ,给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现 ,开发了类似 Matlab的离散事件动态系统仿真环境 .该仿真工具通过拖放创建模型 ,联线建立模型间逻辑联系 ,并在炼钢连铸车间物流仿真中得到了运用 . 展开更多

关键词 模型组件技术 仿真模型 离散事件动态系统 柔性制造系统

在线阅读 下载PDF 职称材料

核电厂概率安全分析中动态可靠性方法综述 被引量：3

9

作者 张永发 童节娟 +1 位作者 周羽 蔡琦 《原子能科学技术》 EI CAS CSCD 北大核心 2012年第4期472-479,共8页

用动态可靠性方法弥补传统事件树/故障树方法的不足,补充和完善现有核电厂的可靠性与安全性评估,已成为核电厂概率安全研究的一新发展点。近30年来,动态可靠性已具有相对成熟的理论基础———概率动力学,并形成了蒙特卡罗(MC)模拟和离... 用动态可靠性方法弥补传统事件树/故障树方法的不足,补充和完善现有核电厂的可靠性与安全性评估,已成为核电厂概率安全研究的一新发展点。近30年来,动态可靠性已具有相对成熟的理论基础———概率动力学,并形成了蒙特卡罗(MC)模拟和离散动态事件树(DDET)两类主要方法。本文简要介绍动态可靠性理论和方法的研究现状与技术特点,并对未来趋势进行分析。 展开更多

关键词 动态可靠性 概率动力学 蒙特卡罗模拟 离散动态事件树

在线阅读 下载PDF 职称材料

城市内涝事理图谱构建方法及应用 被引量：24

10

作者 冯钧 王云峰 +1 位作者 邬炜 朱跃龙 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2020年第6期479-487,共9页

为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因... 为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因果句中的事件,融合手工规则实现城市内涝事理图谱的构建。采用事理图谱自动生成以内涝点为中心的场景,用生成的场景自动生成并训练离散动态贝叶斯网络,并在该网络上进行内涝点成因分析。结果表明,所构建的城市内涝事理图谱能较好地描述所在城市的内涝演化规律,成因分析结果与真实结果对比表明,此方法能准确找到内涝点处产生内涝的成因,并排除有干扰影响的伪成因。 展开更多

关键词 城市内涝 事理图谱 规则模板 投票机制 离散动态贝叶斯网络

在线阅读 下载PDF 职称材料

基于事件驱动的单跑道动态地面等待策略 被引量：4

11

作者 王飞 徐肖豪 张静 《西南交通大学学报》 EI CSCD 北大核心 2009年第6期926-932,共7页

为了保障飞行安全,充分利用机场容量,有效减少航班延误损失,建立了基于事件驱动的单跑道动态GHP模型.用分层次的两阶段优化算法对模型求解,结果显示,与时间驱动策略相比,事件驱动策略的总延误时间减少了19.6%;与线性规划方法相比,计算... 为了保障飞行安全,充分利用机场容量,有效减少航班延误损失,建立了基于事件驱动的单跑道动态GHP模型.用分层次的两阶段优化算法对模型求解,结果显示,与时间驱动策略相比,事件驱动策略的总延误时间减少了19.6%;与线性规划方法相比,计算量减少了24.3%. 展开更多

关键词 空中交通管理 地面等待 离散事件 单跑道 事件驱动策略 动态模型

在线阅读 下载PDF 职称材料

石化炼油企业原油库存的动态管理 被引量：3

12

作者 刘志军 伍乃骐 +1 位作者 白丽平 周岳松 《工业工程》 2004年第5期56-60,共5页

石化炼油是一个流程工业,原油的流动是连续的。为支持动态生产排产与调度的需要,对原油库存信息进行动态管理是非常必要的。这就要求原油库存管理能提供任何时刻的库存状态,这是一个极大的挑战。基于离散事件动态系统理论提出了一个有... 石化炼油是一个流程工业,原油的流动是连续的。为支持动态生产排产与调度的需要,对原油库存信息进行动态管理是非常必要的。这就要求原油库存管理能提供任何时刻的库存状态,这是一个极大的挑战。基于离散事件动态系统理论提出了一个有效的方法。通过这个方法,只需要记录本文中定义的时间与事件点的库存信息。通过这些信息,再经过一些有效地计算就可获得任何时刻的库存状态。这一方法是基于Window环境下实现的。 展开更多

关键词 石化炼油企业 流程工业 制造业信息化 离散事件动态系统 库存管理

在线阅读 下载PDF 职称材料

求解具有时空约束的板坯库天车调度问题Memetic算法 被引量：5

13

作者 王旭 刘士新 王佳 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第7期913-917,共5页

研究了钢铁企业板坯库天车调度问题,考虑了时间和空间以及热轧计划等实际限制,建立了一个板坯出库天车调度模型.针对天车调度问题具有实时性和不可交叉性的特点,设计了基于优先关系的天车分配编码方式、离散事件动态仿真解码、自适应交... 研究了钢铁企业板坯库天车调度问题,考虑了时间和空间以及热轧计划等实际限制,建立了一个板坯出库天车调度模型.针对天车调度问题具有实时性和不可交叉性的特点,设计了基于优先关系的天车分配编码方式、离散事件动态仿真解码、自适应交叉算子以及在交叉和变异后进行模拟退火局域搜索的Memetic算法.通过某钢厂板坯出库过程中天车调度的实际数据对模型和算法进行仿真测试,实验结果表明:该算法具有很高的收敛性和稳定性,满足实际生产需要. 展开更多

关键词 板坯库 天车调度 MEMETIC算法 时空约束 离散事件动态仿真

在线阅读 下载PDF 职称材料

基于模块化仿真的共享汽车联合调度优化 被引量：4

14

作者 蒋阳升 李衍 +2 位作者 李皓 胡路 唐优华 《西南交通大学学报》 EI CSCD 北大核心 2023年第1期74-82,共9页

运营商在调度车辆时单独采用员工或顾客调度策略均难以有效解决共享汽车分布不均衡导致的盈利难问题.为此,在传统时空网络基础上,考虑道路拥堵和用车需求随时间变化对运营的影响,基于C#语言和O2DES(object-oriented discrete event simu... 运营商在调度车辆时单独采用员工或顾客调度策略均难以有效解决共享汽车分布不均衡导致的盈利难问题.为此,在传统时空网络基础上,考虑道路拥堵和用车需求随时间变化对运营的影响,基于C#语言和O2DES(object-oriented discrete event simulation)离散事件仿真框架,建立由模块化站点和路段模型组成、可高效率运行的共享汽车仿真系统;在此基础上,提出一个以运营商日均净收益最大化为目标,联合决策车辆库存量阈值和行程定价的仿真优化模型,并为解决随机环境下的全局优化问题,设计了EGA-OCBA(elitist genetic algorithm with optimal computing budget allocation)算法;最后,以成都市的5个共享汽车站点为例,验证了仿真优化模型的有效性.仿真优化结果表明:在相同车队规模下,与采用固定价格的顾客调度策略相比,联合策略可使日均净收益提升10.37%~162.30%;与单独的员工调度策略相比,联合策略可使日均净收益提升15.34%. 展开更多

关键词 共享汽车 离散事件仿真 动态定价 阈值触发调度 精英遗传算法(EGA) 最优计算量分配(OCBA)

在线阅读 下载PDF 职称材料

2种新的单件装配生产过程组合调度规则 被引量：2

15

作者 李明 郭焕银 曹吉花 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第10期1302-1305,共4页

文章提出了2种新的单件装配生产过程的动态调度规则——LFT/RPS/CP规则和ELFT规则。构建这2种规则时,考虑了3个因素:工序的最晚完成时间、工序所在路径上的剩余工序数和工序是否在关键路径上。对这3个因素采取不同的组织方法从而得到了... 文章提出了2种新的单件装配生产过程的动态调度规则——LFT/RPS/CP规则和ELFT规则。构建这2种规则时,考虑了3个因素:工序的最晚完成时间、工序所在路径上的剩余工序数和工序是否在关键路径上。对这3个因素采取不同的组织方法从而得到了2种动态调度规则。为了验证这2种调度规则的有效性,基于Visual Studio 2003使用C++语言开发了单件装配生产动态调度仿真程序。数值试验的结果表明,这2种规则在减少拖期产品数和减少总拖期时间方面具有很好的表现。 展开更多

关键词 动态调度 单件生产 装配 组合规则 离散事件仿真

在线阅读 下载PDF 职称材料

基于极大代数法的铝板轧制系统鲁棒性能 被引量：1

16

作者 胡扬 桂卫华 +1 位作者 叶华文 侯文明 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第3期742-748,共7页

为了优化铝板轧制的时间,提高系统的鲁棒性,以极大代数法和排队论为工具,对铝板多队列轧制系统进行分析。根据轧机与工件之间的工艺路径规则和加工条件规则,以极大代数法为理论依据建立轧制控制系统的闭环控制模型,对极大代数法的运算... 为了优化铝板轧制的时间,提高系统的鲁棒性,以极大代数法和排队论为工具,对铝板多队列轧制系统进行分析。根据轧机与工件之间的工艺路径规则和加工条件规则,以极大代数法为理论依据建立轧制控制系统的闭环控制模型,对极大代数法的运算特性进行分析;构造轧制过程的多队列多服务器模型;定义多队列系统中参数摄动和鲁棒性的概念;用基于极大代数法的串行生产线的闭环线性模型来研究采用不同的铝板轧制队列对系统稳态周期性能的影响;以轧制过程的最短生产周期为优化目标,运用摄动分析对系统的多个调度队列的性能进行比较讨论,从而通过周期配置得到铝板轧制的优化调度方案。分析结果表明:基于极大代数法的系统分析能有效地对调度队列的摄动性进行比较,从而改善了轧制系统的鲁棒性,缩短了系统总运行时间,提高了运行效率。 展开更多

关键词 极大代数法 离散事件动态系统 鲁棒性 摄动分析 优化调度

在线阅读 下载PDF 职称材料

物元Petri网建模方法及其应用 被引量：1

17

作者 魏军 杨建军 +1 位作者 卢海翔 胡志刚 《海军工程大学学报》 CAS 北大核心 2010年第2期43-47,共5页

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,... 传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。 展开更多

关键词 离散事件动态系统 物元Petri网 维修过程

在线阅读 下载PDF 职称材料

混合动态系统的模糊接口设计 被引量：1

18

作者 张苗苗 张学军 谢剑英 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第12期1691-1693,1712,共4页

利用模糊逻辑控制的思想 ,给出了混合系统的模糊接口设计 .该接口通过其内部参数的学习把连续状态空间划分成多个子空间 ,使受控对象的非线性系统在每个子空间内可由一基于模糊逻辑的线性模型逼近 ,从而简化了对象模型和设计任务 .当连... 利用模糊逻辑控制的思想 ,给出了混合系统的模糊接口设计 .该接口通过其内部参数的学习把连续状态空间划分成多个子空间 ,使受控对象的非线性系统在每个子空间内可由一基于模糊逻辑的线性模型逼近 ,从而简化了对象模型和设计任务 .当连续状态穿越空间边界时 ,则由上层离散事件控制器进行模式切换 。 展开更多

关键词 混合动态系统 模糊逻辑接口 离散事件

在线阅读 下载PDF 职称材料

信息网络模型结构化研究方法综述 被引量：1

19

作者 晏蒲柳 侯杰昌 杨子杰 《电子学报》 EI CAS CSCD 北大核心 1995年第10期94-99,共6页

从统计性能层次、逻辑层次和时间层次对现代信息网络建模仿真及性能评价各种研究方法的发展历程、应用现状及研究方向进行综述。提出了为适应信息网络日益增长的系统复杂性，结构非线性的要求，结构化模型方法体系有待扩充和探索的有关... 从统计性能层次、逻辑层次和时间层次对现代信息网络建模仿真及性能评价各种研究方法的发展历程、应用现状及研究方向进行综述。提出了为适应信息网络日益增长的系统复杂性，结构非线性的要求，结构化模型方法体系有待扩充和探索的有关问题。 展开更多

关键词 信息网络 排队网理论 仿真 通信网理论

在线阅读 下载PDF 职称材料

FLOW-SHOP网络模型的快速解法和它的某些动态参数的计算 被引量：5

20

作者 赵臻 戴志勇 《武汉科技学院学报》 2001年第1期13-17,46,共6页

根据极大代数理论，反映缓冲区容量的ＦＬＯＷ－ＳＨＯＰ网络系统，是这种代数意义下的线性系统。本文对这类系统的Ｃｏｈｅｎ模型．提出了一种快速解法，由此导出了它的某些动态性参数的计算。

关键词 FLOW-SHOP网络 离散事件动态系统 系统阵列 迭代阵列 Cohen模型 动态参数

在线阅读 下载PDF 职称材料