|
1
|
中文文本拼写纠错研究综述 |
沈友志
程春雷
句泽东
龚著凡
|
《现代信息科技》
|
2025 |
0 |
|
|
2
|
基于Petri网的数学建模竞赛报名系统建模优化及变化域分析 |
关梅
赵玉梅
胡超
|
《蚌埠学院学报》
|
2024 |
0 |
|
|
3
|
基于模糊Petri网的网络风险评估模型 |
高翔
祝跃飞
刘胜利
费金龙
刘龙
|
《通信学报》
EI
CSCD
北大核心
|
2013 |
15
|
|
|
4
|
一种考虑引导作用的行人疏散元胞自动机模型 |
高凤强
颜逾越
许策
林丽霞
任欢
裴俊智
|
《交通运输系统工程与信息》
EI
CSCD
北大核心
|
2016 |
16
|
|
|
5
|
CTCS-3级列控系统临时限速建模与验证 |
袁磊
王俊峰
康仁伟
吕继东
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2013 |
15
|
|
|
6
|
基于路径优化算法的测试序列自动生成及验证 |
梁茨
郑伟
李开成
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2013 |
14
|
|
|
7
|
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用 |
赵显琼
郑伟
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2012 |
10
|
|
|
8
|
动态异构冗余结构的拟态防御自动机模型 |
朱维军
郭渊博
黄伯虎
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2019 |
13
|
|
|
9
|
Petri网的映射变迁关系相似性度量 |
许荣斌
石军
张鹏飞
谢莹
|
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
|
2017 |
5
|
|
|
10
|
HybridFA:一种基于统计的AC自动机空间优化技术 |
熊刚
何慧敏
于静
刘燕兵
郭莉
|
《通信学报》
EI
CSCD
北大核心
|
2015 |
4
|
|
|
11
|
单域单向水平倾角最小化圈绕凸壳新算法 |
周启海
杨祥茂
吴红玉
|
《西华大学学报（自然科学版）》
CAS
|
2006 |
8
|
|
|
12
|
污水泵站系统的节能机理及控制策略 |
汪雄海
周旭强
张利华
|
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
|
2005 |
15
|
|
|
13
|
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究 |
喻钢
徐中伟
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2011 |
13
|
|
|
14
|
基于细胞自动机理论的交通流模拟模型 |
靳文舟
张杰
郑英力
|
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2001 |
15
|
|
|
15
|
单缝衍射暗条纹中心距的精确测量 |
王广丰
许洪强
潘宏歌
钟海娜
|
《光电工程》
EI
CAS
CSCD
北大核心
|
2005 |
4
|
|
|
16
|
多端口形式化测试自动生成方法在CTCS-3车载系统中的应用 |
赵显琼
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2011 |
10
|
|
|
17
|
基于元胞自动机的航空器起降间隔研究 |
杨凯
康瑞
|
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
|
2016 |
10
|
|
|
18
|
快速灰度投影稳像算法研究 |
周亚军
王翔
苏享
姚志龙
姚春柱
|
《兵工自动化》
|
2009 |
4
|
|
|
19
|
基于自动机原理的自动售货机软件的实现 |
胡德敏
杨伟民
高建
范祺
|
《上海理工大学学报》
CAS
北大核心
|
2003 |
4
|
|
|
20
|
应用S.L.Peng窄带分解与广义分形的自动机故障诊断 |
田园
潘宏侠
陈玉青
潘龙
|
《中国测试》
CAS
北大核心
|
2016 |
3
|
|
