|
1
|
基于时间自动机的数据流通控制建模及验证 |
李恒
李凤华
梁琬珩
郭云川
张玲翠
周紫妍
|
《通信学报》
北大核心
|
2025 |
0 |
|
|
2
|
一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法 |
冉怡明
张亚东
饶畅
江磊
|
《铁道标准设计》
北大核心
|
2025 |
0 |
|
|
3
|
面向信息物理融合系统的混成攻击图分析方法 |
葛要港
陈鑫恺
徐丙凤
何高峰
|
《计算机工程与设计》
北大核心
|
2025 |
0 |
|
|
4
|
基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证 |
王昌晶
欧阳俊媛
张取发
左正康
程着
卢家兴
|
《通信学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
5
|
抢占式调度问题的PPTA模型与验证方法 |
左正康
赵帅
王昌晶
谢武平
黄箐
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
6
|
基于时间自动机的动力调度岗位培训仿真机理建模 |
罗昌俊
任星倩
何福
马永一
汤瀑
|
《兵工自动化》
北大核心
|
2024 |
0 |
|
|
7
|
基于时间自动机的无信号交叉口车路协同系统建模与验证 |
刘伟
肖七瑞
陈新海
饶畅
张宇
王博思
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
8
|
基于UPPAAL的DIMA组合可调度分析方法 |
刘晨
杨志斌
胡乔乔
周勇
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
0 |
|
|
9
|
面向高铁信号系统工程测试的测试建模方法 |
史增树
李耀
郭进
张亚东
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
10
|
基于动态视觉算法的人员疏散预动作时间预测模型 |
房志明
高寅轩
黄中意
何其泽
|
《安全与环境学报》
CAS
CSCD
北大核心
|
2024 |
2
|
|
|
11
|
多时间无干扰性验证方法 |
刘乔森
孙聪
魏晓敏
曾荟铭
马建峰
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
12
|
多处理器实时系统可调度性分析的UPPAAL模型 |
代声馨
洪玫
郭兵
杨秋辉
黄蔚
徐保平
|
《软件学报》
EI
CSCD
北大核心
|
2015 |
19
|
|
|
13
|
接口自动机——一种用于组件组合的形式系统 |
张岩
胡军
于笑丰
李宣东
郑国梁
|
《计算机科学》
CSCD
北大核心
|
2005 |
7
|
|
|
14
|
基于时间自动机的物联网网关安全系统的建模及验证 |
王国卿
庄雷
王瑞民
宋玉
张坤丽
|
《通信学报》
EI
CSCD
北大核心
|
2018 |
22
|
|
|
15
|
基于自动机理论的分布式实时调度分析工具 |
桂盛霖
罗蕾
李允
于淼
徐建华
|
《软件学报》
EI
CSCD
北大核心
|
2011 |
7
|
|
|
16
|
基于UPPAAL的实时系统模型验证 |
周清雷
姬莉霞
王艳梅
|
《计算机应用》
CSCD
北大核心
|
2004 |
23
|
|
|
17
|
基于时间自动机的温室环境监控物联网系统建模 |
邓雪峰
孙瑞志
聂娟
王文狄
史银雪
|
《农业机械学报》
EI
CAS
CSCD
北大核心
|
2016 |
16
|
|
|
18
|
基于安全距离的手动—自动驾驶混合交通流研究 |
邱小平
马丽娜
周小霞
杨达
|
《交通运输系统工程与信息》
EI
CSCD
北大核心
|
2016 |
43
|
|
|
19
|
CTCS-3级列控系统临时限速建模与验证 |
袁磊
王俊峰
康仁伟
吕继东
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2013 |
15
|
|
|
20
|
自主近距空战中敌机的战术动作识别方法 |
钟友武
柳嘉润
申功璋
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2007 |
14
|
|
