|
1
|
基于TOGAF架构的陆路交通智能勘察设计与交付平台架构研究 |
赵宇璇
郑洪
王国光
柏华军
田文涛
熊斌
施新晔
|
《铁道标准设计》
北大核心
|
2025 |
1
|
|
|
2
|
SPARC架构下低时延微内核进程间通信设计 |
苏浩然
李文泰
古金宇
臧斌宇
陈海波
管海兵
|
《软件学报》
北大核心
|
2025 |
0 |
|
|
3
|
基于Isabelle/HOL的文件系统形式化设计与验证 |
王文斌
钱振江
靳勇
孙高飞
邢晓双
苏超
孙天琦
|
《计算机工程》
CAS
CSCD
北大核心
|
2024 |
1
|
|
|
4
|
基于TCM的嵌入式可信终端系统设计 |
李小将
梅栾芳
师俊芳
陈娟
|
《计算机工程与设计》
CSCD
北大核心
|
2010 |
12
|
|
|
5
|
服务体模型与操作系统内核设计技术 |
李宏
陈香兰
吴明桥
龚育昌
赵振西
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2005 |
13
|
|
|
6
|
煎炸油及其加热产生的极性物质致突变性研究 |
刘元法
穆昭
单良
范柳萍
王兴国
|
《中国粮油学报》
EI
CAS
CSCD
北大核心
|
2010 |
17
|
|
|
7
|
微核心操作系统的结构对性能的影响 |
王世铀
郭福顺
臧天仪
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1999 |
16
|
|
|
8
|
基于微型核信息电子系统卫星姿态控制半实物仿真 |
王峰
徐国栋
耿云海
龚晓春
曹喜滨
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
5
|
|
|
9
|
基于一个实时内核的嵌入式Internet技术的研究与实现 |
关沫
赵海
韩光洁
张文波
|
《计算机科学》
CSCD
北大核心
|
2004 |
6
|
|
|
10
|
现代操作系统的思考 |
顾明
郭陟
孙家广
赵曦滨
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2002 |
4
|
|
|
11
|
微内核架构文件系统的形式化设计与验证方法研究 |
钱振江
唐洪英
李康杰
黄皓
宋方敏
|
《小型微型计算机系统》
CSCD
北大核心
|
2013 |
4
|
|
|
12
|
操作系统微内核技术研究 |
潘清
张晓清
|
《软件学报》
EI
CSCD
北大核心
|
1998 |
13
|
|
|
13
|
微内核架构多线程机制的形式化设计研究 |
钱振江
卢亮
黄皓
|
《计算机科学》
CSCD
北大核心
|
2013 |
5
|
|
|
14
|
Minix操作系统性能的测评与改进 |
刘海鹏
张根度
王雪平
|
《小型微型计算机系统》
CSCD
北大核心
|
2001 |
3
|
|
|
15
|
一种面向嵌入式开发的软件体系结构 |
许晓伟
王知衍
曹晓叶
|
《计算机科学》
CSCD
北大核心
|
2007 |
4
|
|
|
16
|
实时图像处理并行操作系统的微内核设计和实现 |
刘鹏
姚庆栋
|
《电子学报》
EI
CAS
CSCD
北大核心
|
1999 |
7
|
|
|
17
|
嵌入式RTOS中就绪任务查找算法和优先级反转的解决方案 |
万柳
郭玉东
|
《计算机应用》
CSCD
北大核心
|
2003 |
8
|
|
|
18
|
基于构件的嵌入式操作系统开发平台的设计 |
梅岩
王力生
|
《计算机工程》
EI
CAS
CSCD
北大核心
|
2006 |
6
|
|
|
19
|
微核技术在垃圾场周围水环境污染状况监测中的应用 |
王跃华
孙雁霞
徐文俊
廖科伟
|
《安全与环境学报》
CAS
CSCD
|
2008 |
3
|
|
|
20
|
CONETV2.0的系统设计与实现 |
金志权
何丹
黄浩
蒋臻
谢立
|
《计算机学报》
EI
CSCD
北大核心
|
1999 |
2
|
|
