1
|
基于Petri网模型检验的安全关键软件需求验证 |
李震
刘斌
李小勋
殷永峰
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2011 |
7
|
|
2
|
基于广义随机Petri网的可视化建模与仿真工具 |
黄勇
张友良
汪惠芬
王志亮
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2004 |
8
|
|
3
|
基于着色解释Petri网的网络协议建模及协同仿真方法 |
彭磊
吴磊
毕亚雷
曾家智
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2009 |
5
|
|
4
|
面向集成电路制造的基于Petri网的生产调度 |
薛雷
郝跃
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2001 |
15
|
|
5
|
时间Petri网在即时检验流程建模中的应用 |
王磊
王弼陡
罗刚银
聂兰顺
战德臣
田浩然
|
《计算机应用》
CSCD
北大核心
|
2015 |
3
|
|
6
|
基于广义随机Petri网的MVB网络吞吐性能分析 |
王永翔
王立德
|
《北京交通大学学报》
EI
CAS
CSCD
北大核心
|
2008 |
8
|
|
7
|
面向对象Petri网建模与仿真的可视化环境 |
杨光宇
郑应平
|
《系统仿真学报》
CAS
CSCD
|
1997 |
4
|
|
8
|
基于Petri网的OLED生产线建模与仿真 |
张传思
丛明
赵鹏飞
|
《组合机床与自动化加工技术》
|
2007 |
0 |
|
9
|
基于P-F方法的软件过程建模的复用性 |
周之英
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
8
|
|
10
|
P-F引擎的设计和实现 |
唐忆
周之英
庄健刚
|
《计算机工程与应用》
CSCD
北大核心
|
2003 |
0 |
|
11
|
基于Matlab/Simulink及RTW的柴油机稳态建模与仿真 |
李长文
赵长禄
孙业保
黄英
张付军
|
《北京理工大学学报》
EI
CAS
CSCD
北大核心
|
2004 |
2
|
|
12
|
某发动机总装线看板生产系统建模与仿真 |
肖燕
贾秋红
周康渠
李云云
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2012 |
16
|
|
13
|
用于通信网络协议开发的形式化方法 |
潘红艳
于全
|
《计算机工程》
CAS
CSCD
北大核心
|
2004 |
8
|
|
14
|
城市地下结构抗震研究进展 |
陈国兴
陈苏
杜修力
路德春
戚承志
|
《防灾减灾工程学报》
CSCD
北大核心
|
2016 |
94
|
|
15
|
基于三维地质模型的岩土工程有限元自动建模方法 |
李新星
朱合华
蔡永昌
李晓军
|
《岩土工程学报》
EI
CAS
CSCD
北大核心
|
2008 |
17
|
|
16
|
地下工程施工模型数字与数值一体化自动建模方法 |
朱合华
董文澎
李晓军
赵文
|
《岩土工程学报》
EI
CAS
CSCD
北大核心
|
2011 |
6
|
|
17
|
页岩气藏数值模拟模型研究进展 |
王强
叶梦旎
李宁
叶玉峰
董家辛
|
《中国地质》
CAS
CSCD
北大核心
|
2019 |
13
|
|
18
|
基于ADAMS的等臂式平衡悬架建模及整车平顺性仿真 |
江浩斌
张泽华
李龙晨
唐传政
冒维维
|
《重庆交通大学学报(自然科学版)》
CAS
北大核心
|
2015 |
4
|
|
19
|
煤层气解吸机理数值模拟研究 |
张冬丽
王新海
|
《天然气工业》
EI
CAS
CSCD
北大核心
|
2005 |
8
|
|
20
|
大推力氢氧发动机瞬态特性研究 |
郑大勇
王弘亚
胡骏
|
《推进技术》
EI
CAS
CSCD
北大核心
|
2021 |
8
|
|