1
|
服务流程动态分割执行中时序一致性的实时验证 |
杜彦华
王啸飞
吴秀丽
范玉顺
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2012 |
1
|
|
2
|
放射治疗实时验证与影像处理系统 |
胡俊峰
刘忠华
殷兆麟
|
《医疗装备》
|
2001 |
0 |
|
3
|
基于ARMA的航空发动机传感器故障诊断及实时验证 |
赵万里
郭迎清
杨菁
孙浩
|
《航空计算技术》
|
2022 |
7
|
|
4
|
二维半导体面阵列实时剂量验证系统的研制及应用 |
徐建一
郑永明
苏红雨
张友德
鄢铃
胡静
|
《中国测试技术》
|
2007 |
2
|
|
5
|
IEC61850智能电子设备交互实时性建模与验证 |
熊海军
王晓辉
朱永利
张长明
王德文
|
《电力系统自动化》
EI
CSCD
北大核心
|
2014 |
9
|
|
6
|
基于时间自动机网的C^3I系统建模和实时性验证 |
梁冰
刘群
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2008 |
0 |
|
7
|
基于IF的实时系统验证 |
沈嘉权
刘晓燕
字天文
于立新
|
《计算机时代》
|
2009 |
0 |
|
8
|
网络系统实时性模型的验证方法综述 |
杜泽民
王晓玲
陈宜成
|
《网络空间安全》
|
2018 |
0 |
|
9
|
基于时间自动机的AADL端到端流规约验证方法 |
白先平
姚袭欣
陈香兰
刘翀
李曦
|
《计算机工程与科学》
CSCD
北大核心
|
2023 |
0 |
|
10
|
企业动态网站应用程序开发——输入数据实时校验函数及使用方法(Javascript篇) |
孔莉
郭曦
宋戈
|
《工具技术》
北大核心
|
2005 |
1
|
|
11
|
放射治疗射野实时监测计算机处理系统的设计与实现 |
胡俊峰
刘伟
皋耀景
殷兆麟
|
《医疗设备信息》
|
2003 |
2
|
|
12
|
EPID对鼻咽癌IMRT随机摆位误差的监测 |
黄丽娜
陈宝禄
吴章桂
傅万凯
|
《实用癌症杂志》
|
2008 |
10
|
|
13
|
安全验证导向的漏洞管理方案分析 |
李瀛
|
《中国信息安全》
|
2024 |
|
|
14
|
基于FPGA系统易测试性的研究 |
汪小会
|
《国外电子测量技术》
|
2007 |
0 |
|
15
|
FPGA系统测试方法 |
汪小会
|
《信息化研究》
|
2013 |
0 |
|
16
|
电动汽车直接横摆力矩与驱动防滑集成控制策略研究 |
黄龙
王文格
贺志颖
彭景阳
|
《汽车技术》
CSCD
北大核心
|
2019 |
9
|
|
17
|
利用EPID图像金球位置自动跟踪算法研究 |
田龙
李明辉
胡逸民
|
《中国医学物理学杂志》
CSCD
|
2014 |
11
|
|
18
|
关于PLC与上位机数据通信的研究 |
宋雪莹
|
《河南科技》
|
2013 |
2
|
|
19
|
张北柔性直流电网示范工程控制系统架构及协调控制策略研究 |
杜晓磊
郭庆雷
吴延坤
蒲莹
|
《电力系统保护与控制》
EI
CSCD
北大核心
|
2020 |
49
|
|
20
|
基于软件无线电的可见光通信系统设计与实现 |
陆超峰
徐智勇
赵继勇
汪井源
李建华
|
《现代电子技术》
|
2022 |
1
|
|