|
1
|
Ptolemy离散事件模型形式化验证方法 |
陆芝浩
王瑞
孔辉
关永
施智平
|
《软件学报》
EI
CSCD
北大核心
|
2021 |
0 |
|
|
2
|
基于离散事件仿真模型的电力智慧仓库机器人任务分配方法 |
蔡子宇
姜景琨
李志锐
禹洋
郑大鲲
|
《机械设计与制造工程》
|
2024 |
0 |
|
|
3
|
基于事件图的离散事件仿真模型并行检验方法 |
夏薇
姚益平
慕晓冬
柳林
|
《软件学报》
EI
CSCD
北大核心
|
2012 |
4
|
|
|
4
|
离散事件动态系统的D－B动机模型 |
郭令忠
李彦平
徐心和
刘长有
|
《自动化学报》
EI
CSCD
北大核心
|
1995 |
5
|
|
|
5
|
基于模型组件技术的通用离散事件动态系统仿真模型 |
戴晓明
冯瑞
龚向阳
邵惠鹤
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2002 |
4
|
|
|
6
|
一个基于离散事件仿真的Multi-Agent经济仿真模型 |
宣慧玉
高宝俊
李群
冯平
|
《信息与控制》
CSCD
北大核心
|
2002 |
3
|
|
|
7
|
基于赋色Petri网的离散事件系统矩阵模型与仿真 |
卫军胡
曹恒
周江华
孙国基
|
《系统仿真学报》
CAS
CSCD
|
2001 |
4
|
|
|
8
|
离散事件动态系统的代数模型及其控制器的分析计算 |
赵正义
宋文忠
|
《控制理论与应用》
EI
CAS
CSCD
北大核心
|
1994 |
4
|
|
|
9
|
离散事件系统基于模型诊断的研究进展 |
赵相福
欧阳丹彤
|
《计算机科学与探索》
CSCD
|
2011 |
4
|
|
|
10
|
推动与拉动生产系统离散事件模型及其扰动分析 |
齐二石
刘豹
|
《系统工程学报》
CSCD
|
1995 |
3
|
|
|
11
|
离散事件系统分布式仿真任务分配的数学规划模型 |
曾建潮
吴聚华
李临生
|
《系统仿真学报》
CAS
CSCD
|
1991 |
1
|
|
|
12
|
基于离散事件模型的计算系统自愈性 |
陆伟
朱怡安
张龙妹
|
《西北工业大学学报》
EI
CAS
CSCD
北大核心
|
2010 |
1
|
|
|
13
|
离散事件动态系统多模型集成控制理论 |
郑应平
|
《信息与控制》
CSCD
北大核心
|
1992 |
9
|
|
|
14
|
基于离散事件拓扑图模型的单线列车运行调整迭代修复算法 |
章优仕
金炜东
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2009 |
3
|
|
|
15
|
装配型拉动生产系统离散事件模型及扰动分析 |
齐二石
邓修权
霍艳芳
潘涛
|
《系统工程学报》
CSCD
|
1998 |
1
|
|
|
16
|
离散事件状态反馈系统的一个新模型(英文) |
徐晨
胡奇英
|
《深圳大学学报（理工版）》
EI
CAS
|
2001 |
1
|
|
|
17
|
基于离散事件模拟模型的急诊拥挤度评价方法研究 |
陈琪
祝鹏英
高亚翠
石娟
么颖
|
《护理研究》
北大核心
|
2020 |
3
|
|
|
18
|
一种支持并行离散事件仿真建模和并行模型检验的建模语言 |
夏薇
姚益平
慕晓冬
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
0 |
|
|
19
|
离散事件动态系统的GSMP模型及扰动分析 |
黄红选
徐文江
冯允成
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
1996 |
0 |
|
|
20
|
离散事件仿真模型的实现方法 |
冯惠军
冯允成
|
《石家庄铁道学院学报》
|
1995 |
1
|
|
