期刊文献+
共找到637篇文章
< 1 2 32 >
每页显示 20 50 100
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems 被引量:1
1
作者 Hong-YeSU Wei-MinWU JianCHU 《自动化学报》 EI CSCD 北大核心 2005年第1期143-150,共8页
A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools.... A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem. 展开更多
关键词 PETRI网 监视控制 离散事件系统 回响度
在线阅读 下载PDF
A Survey of the Use of the Discrete-event Simulation in Manufacturing Industry
2
作者 Arne Ingemansson Gunnar S Bolmsj Ulrika Harlin 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第S1期193-195,共3页
In this work, a survey of companies has been produc ed from a questionnaire and in-depth inter-views. The aimof the paper is to give a current view of the use of DES (Discrete- Event Simulation) in the indust ry. The ... In this work, a survey of companies has been produc ed from a questionnaire and in-depth inter-views. The aimof the paper is to give a current view of the use of DES (Discrete- Event Simulation) in the indust ry. The companies have been selected in a wide range in e.g. size, capital turno ver and employees. The survey was restricted to Sweden, although the results may be applicable to other countries with similar industrial structure. Some of the companies investigated are also multinational with branches around the world. T o illustrate the differences in production systems different sectors have be en investigated, e.g. the manufacturing industry and energy sector. The manufact uring systems generally differ in that the energy sector is more known for high reliability in their systems and the manufacturing sector tends to work more wit h lean production. Previous surveys of manufacturing efficiency illustrate different aspects. Accor ding to one survey, more than one-third (34%) of the disturbances in two countr ies (the U.S. and Finland) were mainly caused by design-based errors and flaws. The survey also showed the scope of safety problems experienced in the implemen tation and use of flexible manufacturing systems (Jrvinen et al., 1996). Another survey in Germany reports a gap between users and non-users of DES. Man y companies that are not familiar with simulation are not aware of its benefits. The study suggested integrating simulation into the planning processes as a reg ular tool. So far, DES is mostly used in system planning, resource planning and scheduling and production planning (Hirschberg & Heitmann, 1997). The disposition of the accomplished questionnaire had been multiple-choice ques tions in a strict order. The respondents gave their views on what the interviewe r considered relevant for the survey. The questionnaire was mailed to 220 person s in May 2001; a second round for unanswered surveys was dispatched in August 20 01. Replies came from 114 respondents; thus, the reply rate to all questionnaire s sent out was 52%. The replies came in from 80 different companies. Questionswere raised regarding what kinds of decisions are taken from a simulation projec t and questions were also asked regarding the tool itself. Some common problems encountered based on the authors’ knowledge were asked in the questionnaire. The questions were sent to those who had reasonable knowledge of how to work with D ES. Supplementary in-depth interviews were also accomplished. On the question if DES facilitates the decision-making process 79% of totally 3 8 answered to a very large or a large extent. Regarding the question if DES is a useful tool for measuring the availability of equipment for example system verification 73% of 33 responded to a very large or a large extent. A majority o f the respondents genuinely see an advantage with the use of simulation, which i s an important result from the study. The cost reduction aspect of the productio n is also an advantage of DES. On the question eight answered to a very large ex tent and 23 to a large extent of total 39 replies. The question demonstrates tha t the results of a simulation model are indeed used in the real world. Finally, in the question of DES is used for staffing it is indicated that it is not so co mmonly used as for other functions asked for. The staffing issue requires good k nowledge about time measurement of manual labor. The option, however, to include manual work in a simulation model is in many programs extensive and must be a v aluable option to evaluate work intensive parts of production lines and their im provement. To conclude, it could be mentioned that DES is a tool with potential. The use is increasing and 12 of 80 companies investigated in Sweden 2001 are using it, an increase compared to previous stud-ies. Of those 12 companies, four are using t he tool to a large extent. The main advantage according to the survey beside the visualization part is that the knowledge about a system is investigated and doc umented. 展开更多
关键词 discrete-event simulation manufacturing systems disturbances productivity improvement
在线阅读 下载PDF
A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES 被引量:1
3
作者 XU Changyi WANG Yun +1 位作者 DUAN Yiman ZHANG Chao 《Journal of Systems Engineering and Electronics》 SCIE CSCD 2024年第5期1219-1230,共12页
Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Conseq... Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Consequently,the adoption of advanced modeling methodologies adept at handling complexity and scalability is imperative.Moreover,industrial systems are no longer quiescent,thus the intelligent operations of the systems should be dynamically specified in the model.In this paper,the composition of the subsystem behaviors is studied to generate the complexity and scalability of the global system model,and a Boolean semantic specifying algorithm is proposed for generating dynamic intelligent operations in the model.In traditional modeling approaches,the change or addition of specifications always necessitates the complete resubmission of the system model,a resource-consuming and error-prone process.Compared with traditional approaches,our approach has three remarkable advantages:(i)an established Boolean semantic can be fitful for all kinds of systems;(ii)there is no need to resubmit the system model whenever there is a change or addition of the operations;(iii)multiple specifying tasks can be easily achieved by continuously adding a new semantic.Thus,this general modeling approach has wide potential for future complex and intelligent industrial systems. 展开更多
关键词 industrial complex system operation specifying Boolean semantic discrete event system(des)theory intelligent operation
在线阅读 下载PDF
基于隐蔽性裕度的离散事件系统监控 被引量:1
4
作者 王飞 戴茵茵 金福江 《控制理论与应用》 北大核心 2025年第3期618-626,共9页
本文研究了离散事件系统基于隐蔽性裕度的k-隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提... 本文研究了离散事件系统基于隐蔽性裕度的k-隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k-隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽性裕度以及验证k-隐蔽性的算法.再后,如果系统不满足k-隐蔽性时,又给出一种算法来获取监控器使闭环系统是k-隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k-隐蔽性,而且表明其是最大允许的.最后,利用实例说明验证系统的k-隐蔽性以及获取保持k-隐蔽性的最大允许监控器构造方法的有效性. 展开更多
关键词 隐蔽性裕度 k-隐蔽的 监控器 离散事件系统
在线阅读 下载PDF
基于离散事件系统鲁棒监控的强制隐蔽综合
5
作者 戴茵茵 王飞 罗继亮 《控制理论与应用》 北大核心 2025年第4期847-854,共8页
当离散事件系统模型未知,但属于某一集合时,则需要使用一个模型集来表示该系统.为了防止模型集中任一系统的秘密信息泄露,本文基于鲁棒监控方法研究了强制隐蔽性的监控综合问题.首先,通过构造上界自动机和包含所有可能秘密的完全秘密信... 当离散事件系统模型未知,但属于某一集合时,则需要使用一个模型集来表示该系统.为了防止模型集中任一系统的秘密信息泄露,本文基于鲁棒监控方法研究了强制隐蔽性的监控综合问题.首先,通过构造上界自动机和包含所有可能秘密的完全秘密信息,提出可以保证模型集中所有秘密隐蔽性的鲁棒监控器的存在性条件;之后,基于该存在条件,提出了获取该鲁棒监控器的算法,并从理论上证明该算法获得的鲁棒监控器是正确的;最后,以一个位置信息保护的实例,说明算法的有效性. 展开更多
关键词 强制隐蔽性 鲁棒监控器 离散事件系统
在线阅读 下载PDF
面向串行多车间调度问题的仿真优化方法研究
6
作者 刘钊 周玮 +2 位作者 郁彦彬 吴孟武 向祉牟 《机械科学与技术》 北大核心 2025年第6期1013-1023,共11页
针对串行多车间调度中随机离散事件建模困难、评价体系适用性差等问题,提出一种仿真模型与算法协同优化方法。以串行异构多车间为研究对象,对禁忌搜索算法从初始解、邻域结构等方面进行改进,同时设定扰动规则避免算法陷入局部最优,建立... 针对串行多车间调度中随机离散事件建模困难、评价体系适用性差等问题,提出一种仿真模型与算法协同优化方法。以串行异构多车间为研究对象,对禁忌搜索算法从初始解、邻域结构等方面进行改进,同时设定扰动规则避免算法陷入局部最优,建立了仿真模型与改进禁忌搜索算法协同优化机制。仿真实验表明,仿真模型与算法协同优化方法在多车间调度优化方面具有可行性,改进算法与传统禁忌搜索算法和遗传算法相比具有优越性,且仿真模型与算法协同具备优化目标多样化的能力。 展开更多
关键词 车间调度 离散事件 仿真优化 多车间 禁忌搜索
在线阅读 下载PDF
中老铁路口岸站功能设计优化
7
作者 冯芬玲 卫诗豪 +1 位作者 何毅 邓蠡 《铁道运输与经济》 北大核心 2025年第8期148-156,共9页
中老铁路磨憨口岸站当前在通关效率、通关时间等方面存在不足,制约了中老铁路的综合效益,亟待对车站的布局和功能设计进行优化。基于Anylogic软件进行研究,构建货物列车通关模型进行虚拟仿真实验。经模型表面效度分析,发现海关查验等待... 中老铁路磨憨口岸站当前在通关效率、通关时间等方面存在不足,制约了中老铁路的综合效益,亟待对车站的布局和功能设计进行优化。基于Anylogic软件进行研究,构建货物列车通关模型进行虚拟仿真实验。经模型表面效度分析,发现海关查验等待货物时间较长,导致货物通关堵塞,引发到发线能力紧张。提出延长海关工作时间、新建到发线线路等方式进行优化。实验结果表明,将每天海关查验工作时间从6 h延长到9 h,可使磨憨站铁路跨境联运能力提升55%,有效缓解国际联运瓶颈;增加到发线数量对于缓解车站拥堵意义不大,但能有效阻止拥堵扩散,增强车站消解集中到达车流的能力。本研究为车站优化改造提供了参考。 展开更多
关键词 中老铁路 口岸站 ANYLOGIC 离散事件仿真 优化
在线阅读 下载PDF
基于SimEvents仿真获取网络不交化最小路集 被引量:1
8
作者 唐建 艾芙莉 +1 位作者 邵发明 张蕉蕉 《系统仿真学报》 CAS CSCD 北大核心 2016年第4期842-850,共9页
从信息传递角度,将Co A网络转换为具有前向和逆向传输路径的信息传输网络;在对网络不交化MPs(Minimal Path sets)算法原理分析基础上,设计了信息在网络中的传输和改写规则(包括正向和逆向传输规则),并以离散事件仿真(Discrete Event Sim... 从信息传递角度,将Co A网络转换为具有前向和逆向传输路径的信息传输网络;在对网络不交化MPs(Minimal Path sets)算法原理分析基础上,设计了信息在网络中的传输和改写规则(包括正向和逆向传输规则),并以离散事件仿真(Discrete Event Simulation,DES)为手段,对网络建模,对算法实现。以Sim Events为平台,阐述了基于DES进行算法实现的基本思路:即以实体(Entity)为信息载体,以节点为暂存和处理单元。仿真过程中,信息随实体在网络中传输,并不断改写,直至完成不交化MPs的生成。对桥型网络和复杂网络的仿真结果验证了信息处理规则的正确性,和基于DES进行算法实现的可行性。 展开更多
关键词 网络 不交化最小路集 离散事件仿真 Simevents
在线阅读 下载PDF
基于DES监控理论的滑行道对头冲突控制策略 被引量:8
9
作者 朱新平 汤新民 韩松臣 《西南交通大学学报》 EI CSCD 北大核心 2011年第4期664-670,共7页
为克服场面开环控制模式难以应对随机事件的缺陷,提出场面运行闭环控制框架.基于DES(离散事件系统)监控理论,研究A-SMGCS(先进机场场面引导与控制系统)滑行道对头冲突控制,建立了面向滑行道物理布局的扩展受控Petri网模型.利用航空器滑... 为克服场面开环控制模式难以应对随机事件的缺陷,提出场面运行闭环控制框架.基于DES(离散事件系统)监控理论,研究A-SMGCS(先进机场场面引导与控制系统)滑行道对头冲突控制,建立了面向滑行道物理布局的扩展受控Petri网模型.利用航空器滑行路径序列得到精简滑行模型,并考虑环路和环路链,给出无对头冲突的充分必要条件,提出了滑行道对头冲突避免控制策略以及相应的控制律决策算法.算例仿真试验表明,本文提出的策略能根据场面状态实时识别对头冲突并实现冲突避免. 展开更多
关键词 空中交通 场面运行控制 滑行道对头冲突 控制策略 des A-SMGCS
在线阅读 下载PDF
基于事件反馈的DES监控理论 被引量:3
10
作者 颜文俊 孙优贤 《控制理论与应用》 EI CAS CSCD 北大核心 1995年第1期1-10,共10页
本文首先综述了近年来基于事件反馈的DEDS监控理论取得的进展,着重给出了几个主要研究方向的结果和存在的间题,同时对这一理论的应用领域特别是在工业过程中的应用进行了讨论,指出了今后的发展方向.
关键词 离散事件系统 形式语言 自动机 监控
在线阅读 下载PDF
基于数字孪生的铁路客运站技术作业仿真建模
11
作者 武帅 谢尹政 +1 位作者 鲁工圆 胡鹤馨 《铁道运输与经济》 北大核心 2025年第6期100-108,共9页
为了增强铁路客运站对车站技术作业全生命周期的管理能力,提升对未来时段作业态势的感知应对能力和作业可视化水平,解决车站技术作业仿真建模逻辑发散性高的问题,研究设计了数字孪生车站的整体技术机制,采用离散事件仿真的方式对客运站... 为了增强铁路客运站对车站技术作业全生命周期的管理能力,提升对未来时段作业态势的感知应对能力和作业可视化水平,解决车站技术作业仿真建模逻辑发散性高的问题,研究设计了数字孪生车站的整体技术机制,采用离散事件仿真的方式对客运站技术作业动态仿真建模关键技术展开研究,提出了一种普适性较强的数字孪生车站技术作业仿真建模方法。通过对实体车站的实例开发,验证了该方法的科学性与有效性,研究结果表明:模型可实现任意时刻对车站作业计划进行模拟推演,4 h阶段计划运行时间均值为0.1 min,有效性实验误差区间为[0,5%],生成的最优进路、计划调整、调机动态等反馈信息供车站决策部署,以保证接发车作业的顺利进行,节省技术作业中因不配合而产生的冗余作业时间,提升车站作业的流畅性和抗干扰性。 展开更多
关键词 铁路客运站 技术作业 数字孪生 离散事件仿真 仿真推演
在线阅读 下载PDF
基于神经网络算法的实时DES监督控制 被引量:2
12
作者 戴学丰 《控制理论与应用》 EI CAS CSCD 北大核心 1997年第5期708-711,共4页
本文在包含状态转移时间离散事件系统(DES)的自动机模型基础上,引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言K的一个某项指标最优的子集Kopt,并探讨了这种情况下用R-W理论设计监控DES的有关问题。
关键词 离散事件系统 神经网络 监督控制 算法
在线阅读 下载PDF
基于正/逆向网络SimEvents仿真的PERT网络分析
13
作者 唐建 严骏 +1 位作者 袁建虎 吕振坚 《系统仿真学报》 CAS CSCD 北大核心 2014年第4期903-909,共7页
针对工序持续时间服从任意分布的PERT网络,基于离散事件系统(Discrete Events System,DES)Monte-Carlo仿真的思路,在数学证明的基础上,将逆向网络仿真与正向网络仿真相结合,以获取以往DES仿真较难获取的与逆向回馈计算有关的时间参数;... 针对工序持续时间服从任意分布的PERT网络,基于离散事件系统(Discrete Events System,DES)Monte-Carlo仿真的思路,在数学证明的基础上,将逆向网络仿真与正向网络仿真相结合,以获取以往DES仿真较难获取的与逆向回馈计算有关的时间参数;探索性地选择用MATLAB新增的离散事件仿真工具箱SimEvents对正、逆向网络中的节点、弧线和网络进行仿真建模,使模型具有直观、建模简单和子系统可复用等特点。以仿真结果为基础,可获取丰富的有关网络、工序、节点、时差的各类信息,以增强对网络,尤其是大型、复杂、多层次网络运作细节的了解和对任务过程的控制能力。 展开更多
关键词 PERT网络 离散事件系统 仿真 MONTE Carlo 逆向网络
在线阅读 下载PDF
部分能观的DES监控器设计
14
作者 颜文俊 孙优贤 《自动化学报》 EI CSCD 北大核心 1995年第6期730-733,共4页
离散事件监控理论是目前研究DEDS的一个主要分支.本文研究了在事件部分能控、能观情况下监控器存在的一个充要条件和设计方法,井用实例说明了该方法的有效性.
关键词 离散事件系统 能控性 能观性 监控器
在线阅读 下载PDF
基于PDES系统的Time Warp性能研究
15
作者 王学慧 张磊 肖侬 《系统仿真学报》 CAS CSCD 北大核心 2009年第12期3570-3572,3576,共4页
随着分布式仿真规模的日益扩大,高性能并行计算技术的不断发展,并行与分布式仿真正逐渐成为新的研究热点。时间管理技术是决定并行与分布式仿真正确性和可重复性的关键技术,直接影响着仿真系统的整体性能。而TW乐观时间管理机制的许多... 随着分布式仿真规模的日益扩大,高性能并行计算技术的不断发展,并行与分布式仿真正逐渐成为新的研究热点。时间管理技术是决定并行与分布式仿真正确性和可重复性的关键技术,直接影响着仿真系统的整体性能。而TW乐观时间管理机制的许多思想和概念一直为现在各种算法所借鉴和沿用。文章建立了一个TW的性能分析模型,利用该模型对事件数量、平均回退长度、回退概率及其上限等进行了分析,分析结果对并行离散事件仿真系统的研发与改进具有一定的指导意义和参考价值。 展开更多
关键词 并行离散事件仿真 时间管理 TW机制 性能分析模型
在线阅读 下载PDF
利用不变量综合具有不可控变迁DES的Petri网控制器
16
作者 张东红 邢科义 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2001年第1期70-74,共5页
基于Petri网模型 ,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题 .给出了一类Petri网位置不变量存在的必要和充分条件 .基于路增益的概念 ,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的... 基于Petri网模型 ,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题 .给出了一类Petri网位置不变量存在的必要和充分条件 .基于路增益的概念 ,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器 . 展开更多
关键词 离散事件系统 PETRI网 不可控变迁 des
在线阅读 下载PDF
逻辑型DES的稳定性
17
作者 俞新贞 薛四新 《基础自动化》 CSCD 2002年第1期4-5,45,共3页
关于逻辑型离散事件系统 ,一致稳定性 ,一致可吸收性及一致渐近稳定性理论等已得到证明。这里则给出其稳定性 。
关键词 离散事件系统 des 稳定性 可吸收性 渐近稳定性 LYAPUNOV稳定性 逻辑型
在线阅读 下载PDF
对DES实行优化控制的一种方法
18
作者 张军英 《自动化学报》 EI CSCD 北大核心 1992年第1期96-101,共6页
对一类离散事件系统(DES),本文分析了其影响加工效率的因素,提出了优化控制的指标,并根据局部优化与全局优化相结合的原则提出了一种次优控制的方法,计算复杂度的分析表明了它的可行性和有效性,计算机仿真结果表明优化的闭环DES有一个... 对一类离散事件系统(DES),本文分析了其影响加工效率的因素,提出了优化控制的指标,并根据局部优化与全局优化相结合的原则提出了一种次优控制的方法,计算复杂度的分析表明了它的可行性和有效性,计算机仿真结果表明优化的闭环DES有一个从动态到静态最终稳定的过程,但只有当生产过程进入程序化生产后总加工效率才能随生产的进行而不断提高。 展开更多
关键词 离散事件系统 最优控制
在线阅读 下载PDF
计算DES监控中优于闭可识别语言的闭可观子语言(英文)
19
作者 杨小军 法京怀 郑应平 《控制理论与应用》 EI CAS CSCD 北大核心 1993年第6期670-675,共6页
本文给出一种求闭能观子语言的算法,该算法经m步(系统中离散事件个数)收敛;并且证明无论对系统中事件如何排序,由该算法求出的闭能观子语言总包含最大闭可识别子语言。
关键词 离散事件 闭可观子语言
在线阅读 下载PDF
具有强迫事件的VDES的状态反馈控制
20
作者 李桂莲 刘文光 《太原理工大学学报》 CAS 1999年第4期444-446,共3页
对具有强迫事件的VDES的状态反馈控制理论进行了探讨,在给定闭环系统行为规范的条件下,得到并证明了控制器存在的充分必要条件。
关键词 矢量离散事件 强迫事件 Vdes 状态反馈控制
在线阅读 下载PDF
上一页 1 2 32 下一页 到第
使用帮助 返回顶部