|
1
|
基于时间自动机的数据流通控制建模及验证 |
李恒
李凤华
梁琬珩
郭云川
张玲翠
周紫妍
|
《通信学报》
北大核心
|
2025 |
0 |
|
|
2
|
基于时间自动机的动力调度岗位培训仿真机理建模 |
罗昌俊
任星倩
何福
马永一
汤瀑
|
《兵工自动化》
北大核心
|
2024 |
0 |
|
|
3
|
基于时间自动机的无信号交叉口车路协同系统建模与验证 |
刘伟
肖七瑞
陈新海
饶畅
张宇
王博思
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
基于Uppaal的时延Petri网到时间自动机等价模型验证 |
周清雷
王静
|
《计算机应用研究》
CSCD
北大核心
|
2005 |
1
|
|
|
5
|
Uppaal到PVS的时间自动机翻译器 |
刘振通
缪淮扣
许庆国
|
《计算机应用与软件》
CSCD
北大核心
|
2008 |
0 |
|
|
6
|
基于时间自动机的Web服务模型检测 |
骆翔宇
轩爱成
沙宗鲁
|
《计算机科学》
CSCD
北大核心
|
2010 |
7
|
|
|
7
|
基于时间自动机的物联网网关安全系统的建模及验证 |
王国卿
庄雷
王瑞民
宋玉
张坤丽
|
《通信学报》
EI
CSCD
北大核心
|
2018 |
22
|
|
|
8
|
混杂系统的扩展时间自动机模型及验证研究 |
姬莉霞
马建红
周清雷
|
《计算机工程与应用》
CSCD
|
2012 |
3
|
|
|
9
|
基于时间自动机的温室环境监控物联网系统建模 |
邓雪峰
孙瑞志
聂娟
王文狄
史银雪
|
《农业机械学报》
EI
CAS
CSCD
北大核心
|
2016 |
16
|
|
|
10
|
摩擦时间依从的地震活动性细胞自动机模型 |
刘桂萍
傅征祥
刘杰
|
《地球物理学报》
SCIE
EI
CAS
CSCD
北大核心
|
2000 |
20
|
|
|
11
|
基于时间自动机的物联网服务建模和验证 |
李力行
金芝
李戈
|
《计算机学报》
EI
CSCD
北大核心
|
2011 |
48
|
|
|
12
|
基于时间自动机的UML模型转换与验证研究 |
姬莉霞
马建红
|
《郑州大学学报（理学版）》
CAS
北大核心
|
2013 |
4
|
|
|
13
|
时变网络中国邮路问题的时间自动机模型 |
谭国真
孙景昊
王宝财
姚卫红
|
《软件学报》
EI
CSCD
北大核心
|
2011 |
4
|
|
|
14
|
一种基于时间自动机的时钟等价性优化方法 |
钱俊彦
赵岭忠
古天龙
|
《计算机工程》
EI
CAS
CSCD
北大核心
|
2005 |
5
|
|
|
15
|
有限精度时间自动机的可达性检测 |
晏荣杰
李广元
徐雨波
刘春明
唐稚松
|
《软件学报》
EI
CSCD
北大核心
|
2006 |
5
|
|
|
16
|
基于时间自动机的道岔自动控制研究 |
周清雷
姬莉霞
|
《控制工程》
CSCD
|
2004 |
2
|
|
|
17
|
基于时间自动机的工业控制系统网络安全风险分析 |
吕宗平
丁磊
隋翯
顾兆军
|
《信息网络安全》
CSCD
北大核心
|
2019 |
2
|
|
|
18
|
基于元胞自动机的基本路段行程时间研究 |
祁宏生
宋现敏
王殿海
郭伟伟
|
《北京工业大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
3
|
|
|
19
|
一种基于时间自动机的实时系统测试方法 |
陈伟
薛云志
赵琛
李明树
|
《软件学报》
EI
CSCD
北大核心
|
2007 |
14
|
|
|
20
|
基于时间自动机的Ad hoc网络入侵检测 |
易平
柳宁
吴越
|
《电子与信息学报》
EI
CSCD
北大核心
|
2009 |
4
|
|
