期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到78篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种离散事件仿真模型验证方法 被引量：3
1
作者 牛帅 林圣琳 +1 位作者 李伟 杨明 《系统仿真学报》 CAS CSCD 北大核心 2017年第9期1984-1990,共7页
针对离散事件系统运行流程不固定、实体状态切换灵活等特点,提出一种定性定量相结合的离散事件仿真模型综合验证方法。由仿真结果一致性、事件发生序列逻辑正确性、条件事件发生概率一致性及活动执行时间一致性4方面构成评估指标体系;... 针对离散事件系统运行流程不固定、实体状态切换灵活等特点,提出一种定性定量相结合的离散事件仿真模型综合验证方法。由仿真结果一致性、事件发生序列逻辑正确性、条件事件发生概率一致性及活动执行时间一致性4方面构成评估指标体系;提出定性定量相结合的底层评估指标计算方法,对事件发生序列逻辑正确性采用定性分析方法,对其他底层指标采用假设检验和向量相似性分析的定量分析方法;综合底层评估指标得到模型验证结果。通过实例分析,验证了方法的有效性。 展开更多
关键词 离散事件系统 模型验证 一致性分析 向量相似性分析
原文传递
基于事件图的离散事件仿真模型并行检验方法 被引量：4
2
作者 夏薇 姚益平 +1 位作者 慕晓冬 柳林 《软件学报》 EI CSCD 北大核心 2012年第6期1429-1443,共15页
非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及... 非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用. 展开更多
关键词 离散事件仿真模型验证 并行模型检验 事件图 DVE建模语言 模型转换
下载PDF
基于离散事件仿真模型的电力智慧仓库机器人任务分配方法
3
作者 蔡子宇 姜景琨 +2 位作者 李志锐 禹洋 郑大鲲 《机械设计与制造工程》 2024年第6期77-81,共5页
针对电力智慧仓库任务复杂度提升和机器人数量随之增多导致的任务分配困难的问题,提出基于离散事件仿真模型的电力智慧仓库机器人任务分配方法。首先结合电力智慧仓库机器人自身属性和任务情况构造机器人任务分配目标函数,并依据目标函... 针对电力智慧仓库任务复杂度提升和机器人数量随之增多导致的任务分配困难的问题,提出基于离散事件仿真模型的电力智慧仓库机器人任务分配方法。首先结合电力智慧仓库机器人自身属性和任务情况构造机器人任务分配目标函数,并依据目标函数建立离散事件仿真模型;然后引入免疫算法、高层合作优化算法(CSA)等改进萤火虫算法,构建机器人任务分配优化算法;最后采用改进的萤火虫算法求解离散事件仿真模型,完成电力智慧仓库机器人任务分配。实验结果表明,所提方法迭代次数较少,收敛时间较短,系统持续时间较短,单机器人最大消耗和多机器人总消耗较低。 展开更多
关键词 离散事件仿真模型 电力智慧仓库机器人 任务分配 萤火虫优化算法 高层合作优化算法
下载PDF
基于模型组件技术的通用离散事件动态系统仿真模型 被引量：4
4
作者 戴晓明 冯瑞 +1 位作者 龚向阳 邵惠鹤 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第4期532-534,共3页
针对传统离散事件动态仿真软件可重用性差的缺陷 ,提出了基于组件技术的设计方法 ,给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现 ,开发了类似 Matlab的离散事件动态系统仿真环境 .该仿真工具通过拖放创建模型 ,联线... 针对传统离散事件动态仿真软件可重用性差的缺陷 ,提出了基于组件技术的设计方法 ,给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现 ,开发了类似 Matlab的离散事件动态系统仿真环境 .该仿真工具通过拖放创建模型 ,联线建立模型间逻辑联系 ,并在炼钢连铸车间物流仿真中得到了运用 . 展开更多
关键词 模型组件技术 仿真模型 离散事件动态系统 柔性制造系统
下载PDF
基于赋色Petri网的离散事件系统矩阵模型与仿真 被引量：4
5
作者 卫军胡 曹恒 +1 位作者 周江华 孙国基 《系统仿真学报》 CAS CSCD 2001年第1期31-33,39,共4页
一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架，解决了路径选择和调度决策问题，使这种模型可以推广到... 一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架，解决了路径选择和调度决策问题，使这种模型可以推广到用基于赋色Petri网描述的DES仿真。 展开更多
关键词 离散事件系统 赋色PETRI网 系统仿真 矩阵模型
下载PDF
一个基于离散事件仿真的Multi-Agent经济仿真模型 被引量：3
6
作者 宣慧玉 高宝俊 +1 位作者 李群 冯平 《信息与控制》 CSCD 北大核心 2002年第1期84-88,共5页
本文根据复杂系统及 Multi- Agent仿真原理构建了一个简单的三部门经济仿真模型 .在模型中采用了学习算法模拟了经济个体的智能行为 ,并应用离散事件仿真技术实现了代理人之间的交互与通信问题及系统的动态模拟 ,系统模拟了企业在亏损... 本文根据复杂系统及 Multi- Agent仿真原理构建了一个简单的三部门经济仿真模型 .在模型中采用了学习算法模拟了经济个体的智能行为 ,并应用离散事件仿真技术实现了代理人之间的交互与通信问题及系统的动态模拟 ,系统模拟了企业在亏损时退出与不退出市场这两种策略下的经济运作状况 ,说明了亏损企业不退出市场不仅将引起更多企业的亏损 ,而且会使宏观经济指标下降 . 展开更多
关键词 经济模型 MULTI-AGENT 离散事件系统 系统仿真 经济系统
下载PDF
天基信息支援体系离散事件仿真与效能评估 被引量：2
7
作者 马力 师鹏 +1 位作者 陈宇 李文龙 《系统工程与电子技术》 EI CSCD 北大核心 2024年第3期906-913,共8页
针对天基信息支援体系效能评估中存在的准确性与实时性无法兼顾的问题,以体系仿真为基础,提出一种基于离散事件仿真的效能评估模型构建方法。首先,基于仿真工具建立离散事件仿真模型,对体系的结构与运作流程进行模拟,并基于仿真模型构... 针对天基信息支援体系效能评估中存在的准确性与实时性无法兼顾的问题,以体系仿真为基础,提出一种基于离散事件仿真的效能评估模型构建方法。首先,基于仿真工具建立离散事件仿真模型,对体系的结构与运作流程进行模拟,并基于仿真模型构建评估指标体系,生成效能评估数据样本。之后,利用深度学习对复杂映射的强大表现能力基于深度置信网络构建效能评估代理模型,结合无监督预训练和有监督调优实现网络的训练和参数优化。最后,对仿真生成的测试集样本进行评估模型验证实验。结果表明,所提方法在计算快速的同时对原评估模型有很高的还原度。 展开更多
关键词 天基信息支援体系 离散事件仿真 效能评估 代理模型
下载PDF
离散事件系统分布式仿真任务分配的数学规划模型 被引量：1
8
作者 曾建潮 吴聚华 李临生 《系统仿真学报》 CAS CSCD 1991年第2期24-29,17,共7页
分布式仿真是离散事件系统仿真的重要研究课题.本文针对离散事件系统分布式仿真的任务分配,发展了一种数学规划模型——0-1整数规划模型,并给出了模型中参数的估算方法.
关键词 离散事件系统 仿真 数学规划 模型
下载PDF
一种支持并行离散事件仿真建模和并行模型检验的建模语言
9
作者 夏薇 姚益平 慕晓冬 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第6期66-71,共6页
并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方... 并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业界中得到了成功的应用,但是PDES和PMC是基于不同的建模语言实现的,现阶段要对PDES模型进行验证需要专门设计基于PMC建模语言的模型,不仅耗费资源、时间,而且容易出错。为了实现PDES和PMC的有机结合,提出了一种支持PDES和PMC的统一的建模语言——扩展事件图(Extended Event Graph,EEG),它对事件图在模型同步方面进行了扩展,然后通过转换机制,该建模语言使得用户只需建立一个模型,就能够既进行PDES又利用并行模型检验方法对PDES模型进行形式化验证。最后通过实验验证了基于EEG建立的模型既可以进行PDES又能够进行PMC。 展开更多
关键词 并行离散事件仿真 模型检验 事件图 逻辑进程范型 DVE建模语言 模型转换
下载PDF
离散事件仿真模型的实现方法 被引量：1
10
作者 冯惠军 冯允成 《石家庄铁道学院学报》 1995年第3期48-55,共8页
在离散事件仿真中，广泛采用的仿真实现方法是事件调度法、活动扫描法、进程交互法和三阶段法。本文讨论了每一种实现方法的建模观点和仿真运行控制机制，给出了每种实现方法的逻辑流图和伪码算法，并比较和评价了它们的建模特点、执行... 在离散事件仿真中，广泛采用的仿真实现方法是事件调度法、活动扫描法、进程交互法和三阶段法。本文讨论了每一种实现方法的建模观点和仿真运行控制机制，给出了每种实现方法的逻辑流图和伪码算法，并比较和评价了它们的建模特点、执行效率和自然表达能力。 展开更多
关键词 离散事件仿真 仿真语言 模型 仿真方法
下载PDF
并行离散事件仿真中模型互操作技术及优化
11
作者 张耀程 李革 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第21期5798-5801,5806,共5页
模型互操作技术允许单独开发的仿真模型在一个集成的仿真环境中互操作,是基于HLA标准的分布式仿真系统中的一项关键技术。并行离散事件仿真(PDES)技术也使用对象模型来表示真实世界中的实体,这些实体模型也有互操作和重用的需要。我们在... 模型互操作技术允许单独开发的仿真模型在一个集成的仿真环境中互操作,是基于HLA标准的分布式仿真系统中的一项关键技术。并行离散事件仿真(PDES)技术也使用对象模型来表示真实世界中的实体,这些实体模型也有互操作和重用的需要。我们在PDES环境KD-PADSE中开发了一种基于对象和事件的模型互操作机制,它使用对象代理技术为PDES系统提供了与HLA中类似的对象模型的"公布"和"定购"操作。并且,我们对该机制进行了优化以支持类集群环境的PDES运行。初步性能实验显示,在集群环境中,优化后的DDM性能比未优化前最高可以提高12倍。 展开更多
关键词 并行离散事件仿真 模型互操作性 数据分发管理 DDM优化 高性能仿真
原文传递
运用离散事件仿真的罗拉牵伸模型 被引量：2
12
作者 麻宝龙 汪军 《纺织学报》 EI CAS CSCD 北大核心 2016年第2期125-132,共8页
为研究罗拉牵伸过程中纤维的运动规律和预测牵伸后输出条干的质量,在离散系统建模技术的基础上,提出利用离散事件仿真罗拉牵伸过程的方法。将纺织牵伸理论与离散理论相结合建立了罗拉牵伸离散事件仿真模型,并讨论模型中参数变化对输出... 为研究罗拉牵伸过程中纤维的运动规律和预测牵伸后输出条干的质量,在离散系统建模技术的基础上,提出利用离散事件仿真罗拉牵伸过程的方法。将纺织牵伸理论与离散理论相结合建立了罗拉牵伸离散事件仿真模型,并讨论模型中参数变化对输出条干不匀的影响。结果表明:该模型能够体现出罗拉牵伸过程中须条运动的动态特性,仿真中可通过追踪每根纤维经过牵伸区的运动过程。通过与实际试验数据的比对,证明该模型能够预测出牵伸后输出须条的条干不匀规律。通过对所建模型中各输入参数的讨论指出,纤维长度和输入须条线密度是罗拉牵伸过程中最重要的影响因素。 展开更多
关键词 罗拉牵伸 条干不匀 离散事件系统 仿真模型
下载PDF
乌司他丁应用于肝切除术围术期对患者术后恢复的经济性评价——基于离散事件仿真模型 被引量：2
13
作者 林子义 周杰 +2 位作者 席兆华 魏理 宣建伟 《中国医疗保险》 2018年第3期56-61,共6页
目的:本研究旨在对比分析乌司他丁与标准治疗在肝切除术后患者的成本效用。方法 :从支付方的角度出发,建立离散事件仿真(discrete event simulation,DES)模型。模型中,事件时间(time-to-events)根据指数分布或对数正态分布进行模拟。成... 目的:本研究旨在对比分析乌司他丁与标准治疗在肝切除术后患者的成本效用。方法 :从支付方的角度出发,建立离散事件仿真(discrete event simulation,DES)模型。模型中,事件时间(time-to-events)根据指数分布或对数正态分布进行模拟。成本、效果和效用的数据来源于专家访谈或文献检索。所有成本均贴现至2016年水平。质量调整生命年(quality-adjusted life-year,QALY)使用曲线下面积法计算,对分析结果采用单因素敏感性分析及概率敏感性分析。结果 :接受乌司他丁治疗可以为患者节省一定的医疗总成本(人均约731.13元),同时提高患者的QALY(人均约0.0010)。单因素敏感性分析表明,日均住院成本是对年均总成本影响最大的因素。概率敏感性分析表明,乌司他丁治疗组相对于标准治疗组,有99.5%概率经济性更好,即每多获得1个QALY的成本低于中国人群对QALY的意愿支付价格(使用3倍人均GDP计算,为161,940元)。结论 :乌司他丁治疗对肝切除患者具有经济性。 展开更多
关键词 肝切除术 乌司他丁 成本效用 离散事件仿真模型
下载PDF
Ptolemy离散事件模型形式化验证方法
14
作者 陆芝浩 王瑞 +2 位作者 孔辉 关永 施智平 《软件学报》 EI CSCD 北大核心 2021年第6期1830-1848,共19页
Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不... Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义;其次设计了一组从离散事件模型到时间自动机的映射规则;然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证;最后,以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性. 展开更多
关键词 形式化验证 Ptolemy离散事件模型 模型自动转换 时间自动机
下载PDF
离散事件仿真模型在机场航站楼设计中的应用 被引量：1
15
作者 张洋 《中国勘察设计》 2019年第5期90-94,共5页
随着现代机场规模的不断扩大、功能逐渐完善,机场前期建设和后期运营亟需新型智能化技术的应用。离散事件仿真模型可以利用机场内交通流规律性强、标准化程度高的特点对其进行模拟。模型可以准确量化机场内的需求和供给,充分考虑旅客体... 随着现代机场规模的不断扩大、功能逐渐完善,机场前期建设和后期运营亟需新型智能化技术的应用。离散事件仿真模型可以利用机场内交通流规律性强、标准化程度高的特点对其进行模拟。模型可以准确量化机场内的需求和供给,充分考虑旅客体验,在建设阶段对各项设备设施的合理规划设计进行指导,在运营阶段可以实时根据机场用户需求的变化,提前评价设备设施表现的变化,为机场决策提供辅助。离散事件仿真模型在机场领域的应用对加快"四型"机场的建设有着积极的意义。 展开更多
关键词 离散事件仿真模型 机场航站楼 设计 智能化技术
下载PDF
离散信号事件驱动的自动测试系统仿真验证方法与实现
16
作者 唐小峰 《计算机测量与控制》 2023年第7期64-70,共7页
为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/... 为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。 展开更多
关键词 自动测试系统 离散事件系统规范 仿真验证 信号事件 SCATS软件平台
下载PDF
并行离散事件仿真中的事件及事件队列建模 被引量：10
17
作者 张耀程 李革 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第9期1949-1953,共5页
并行离散事件仿真软件系统中的事件对象及事件队列的结构、功能、及行为模型要能够支持并行环境中的包括保守、乐观及混合的各种事件处理模式。首先分析并行离散事件仿真系统的运行特点及其特殊技术要求,然后结合已研制开发的并行离散... 并行离散事件仿真软件系统中的事件对象及事件队列的结构、功能、及行为模型要能够支持并行环境中的包括保守、乐观及混合的各种事件处理模式。首先分析并行离散事件仿真系统的运行特点及其特殊技术要求,然后结合已研制开发的并行离散事件仿真系统软件KD-PARSE(KD-Parallel Simulation Environment),给出一种支持事件回退操作的SXO(State Exchange Object)回退框架及双队列事件队列数据结构设计,并通过在多机、乐观事件处理模式下实际运行仿真试验验证了设计的正确性。 展开更多
关键词 并行离散事件仿真 事件模型 事件队列 乐观事件处理
下载PDF
基于小波变换的仿真模型验证方法研究 被引量：5
18
作者 吴晓燕 杨丽娜 +1 位作者 周延延 高忠长 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2008年第6期52-56,共5页
仿真模型验证是从仿真预期应用的角度来确定仿真模型表达实际系统的准确程度,是建模与仿真VV&A中最重要的内容之一。将小波变换理论应用于仿真模型验证,在时-频分析法方面进行了探索。应用小波变换多分辨率分析的基本理论和性质,从... 仿真模型验证是从仿真预期应用的角度来确定仿真模型表达实际系统的准确程度,是建模与仿真VV&A中最重要的内容之一。将小波变换理论应用于仿真模型验证,在时-频分析法方面进行了探索。应用小波变换多分辨率分析的基本理论和性质,从以小波变换系数表征信号特征的思想出发,在小波变换多尺度分解的基础上,将仿真模型输出序列与真实输出序列分解为低频部分和高频部分,针对各自特性,建立了基于小波变换系数的相容性检验算法。通过实例分析,证明了本文所提方法的有效性。 展开更多
关键词 仿真模型验证 离散小波变换 多分辨率分析 相容性检验
下载PDF
基于TLA的事件图模型形式化验证方法 被引量：4
19
作者 夏薇 姚益平 慕晓冬 《计算机应用研究》 CSCD 北大核心 2011年第11期4171-4173,4187,共4页
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。 展开更多
关键词 仿真模型 验证、确认和认定 模型检验 行为时态逻辑 事件图
下载PDF
基于事件图的并行离散事件仿真方法 被引量：1
20
作者 夏薇 姚益平 慕晓冬 《计算机工程》 CAS CSCD 2012年第7期1-3,共3页
为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为... 为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。 展开更多
关键词 并行离散事件仿真 事件图 逻辑进程 模型驱动体系结构 模型转换
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部