1
任务安全关键软件构造时在线监控方法研究
王犇
丁成钧
林伟
马春燕
《西北工业大学学报》
北大核心
2025
0
2
神经网络轻量化综述
段宇晨
方振宇
郑江滨
《计算机科学与探索》
北大核心
2025
2
3
基于多核异构操作系统的动态冗余可靠机制研究
何瑞琦
张凯龙
吴金飞
于强
张家铭
《计算机科学》
北大核心
2025
1
4
基于Matlab和VB混合编程实现大学化学实验数据处理系统
张云鹏
胡飞
马晓燕
马春燕
陆伟
《计算机工程与应用》
CSCD
北大核心
2005
9
5
卷积神经网络在图像超分辨上的应用
田春伟
宋明键
左旺孟
杜博
张艳宁
张师超
《智能系统学报》
北大核心
2025
0
6
基于语义感知的变长序列数据预处理框架
王晓东
王继维
钟智昊
杨欢
姚红静
郭阳明
《西北工业大学学报》
北大核心
2025
0
7
B方法与UML在软件设计中的结合应用
何飞
谷建华
《计算机工程与科学》
CSCD
2007
2
8
重复软件缺陷报告检测方法综述
郑炜
王晓龙
陈翔
夏鑫
廖慧玲
刘程远
孙瑞阳
《软件学报》
EI
CSCD
北大核心
2022
3
9
虚拟环境下的活动线缆物理特性模型求解技术
杨拥军
庄小帅
魏天翼
杨嘉彬
罗建超
葛长健
康云川
《西北工业大学学报》
北大核心
2025
0
10
基于PROMELA模型的安全关键软件形式化验证技术
邢亮
丁成钧
杜虎鹏
马春燕
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022
0
11
基于生成对抗网络的地质灾害监测异常数据识别方法
刘将成
郝光耀
陶虹
徐岩岩
王亨
江先晖
陈群
《高校地质学报》
北大核心
2025
0
12
中小型软件项目的一种过程管理模型
赵彦锋
刘世伟
《现代电子技术》
2008
0
13
组态软件中数据存储与查询的缺陷与改进
李先国
张金辉
《科学技术与工程》
2007
0
14
航空控制软件条件表达式故障分类及修复方法
谢文光
李琪
汪克念
马春燕
张涛
张国群
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2020
1
15
基于Eggplant的Mac OS X平台上软件自动测试
邓迎秋
朱怡安
《科学技术与工程》
2007
0
16
软件度量的研究
邢敏
《科学技术与工程》
2007
0
17
基于知识图谱的跨项目安全缺陷报告预测方法
郑炜
刘程远
吴潇雪
陈翔
成婧源
孙小兵
孙瑞阳
《软件学报》
EI
CSCD
北大核心
2024
2
18
基于深度学习的函数名一致性检查及推荐方法
郑炜
唐辉
陈翔
张永杰
《软件学报》
EI
CSCD
北大核心
2024
1
19
基于余数系统的小间隔插值拟合自举方法
李慧贤
王富磊
沈春
刘诗源
庞辽军
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2024
0
20
基于深度学习的无人机航拍目标检测与跟踪方法综述
欧阳权
张怡
马延
薛雅丽
王志胜
《电光与控制》
CSCD
北大核心
2024
14