1
Ionia:基于Coq的带类型学习框架及代码生成工具
张晓丽
陈钢
麻莹莹
胡萍
《计算机研究与发展》
北大核心
2025
0
2
开源项目中的子社区发现与评价:以Apache IoTDB为例
王威伟
乐阳
王彦凯
《计算机科学》
北大核心
2025
0
3
COSINE软件包堆芯物理分析程序CORE开发与初步测试验证
陈义学
刘占权
胡啸宇
王苏
王常辉
全国萍
安伟健
沈峰
《原子能科学技术》
EI
CAS
CSCD
北大核心
2013
4
4
国产神威环境下Athread代码生成工具的设计与开发
刘加伟
郭强
庄园
张海红
王利
曾云辉
《计算机工程与设计》
北大核心
2024
2
5
肺缺血-再灌注核心基因介导的竞争性内源性RNA网络的构建
李晓凤
唐明政
刘禧禧
宋子晴
张国欣
杨开银
张凌云
《器官移植》
CSCD
北大核心
2024
1
6
采用激光供能方法的光纤电流互感器
刘丰
卢启柱
毕卫红
郑绳楦
《仪表技术与传感器》
CSCD
北大核心
2007
5
7
微机型压水堆堆芯安全分析程序的开发及若干问题分析
周涛
贾斗南
苏光辉
秋穗正
荣森林
《核科学与工程》
CAS
CSCD
北大核心
2000
1
8
基于层次管理的按需路由协议研究
李娟
冯德民
《计算机工程》
CAS
CSCD
北大核心
2009
4
9
普通小麦低分子量麦谷蛋白亚基核心编码区与面团强度关系的研究
吴芳
刘英华
刘琳
邓光兵
余懋群
陈孝
《遗传》
CAS
CSCD
北大核心
2007
1
10
快堆系统分析程序FASYS堆芯分析模块验证
王晋
张东辉
《原子能科学技术》
EI
CAS
CSCD
北大核心
2020
4
11
在医德培养中强化“友善”价值观的思考
徐萍风
郭艳艳
王菊绵
李晓君
雷鸣选
《中国卫生事业管理》
北大核心
2015
5
12
利用冗余核的MPSoC故障检测方法
唐柳
黄樟钦
侯义斌
方凤才
张会兵
《计算机应用》
CSCD
北大核心
2014
2
13
GPS频域并行码捕获改进算法
赵丽
陈小惠
潘树国
《电子测量与仪器学报》
CSCD
2011
17
14
基于新算法的P码序列捕获处理器设计与实现
刘芳
冯永新
潘成胜
钱博
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008
8
15
复杂形体钢框架-钢板核心筒结构的抗震性能研究
李春祥
尹文汉
汪英俊
《振动与冲击》
EI
CSCD
北大核心
2014
4
16
基于共现网络的核心技术领域识别研究
张杰
刘粉香
翟东升
黄鲁成
《情报杂志》
CSSCI
北大核心
2012
26
17
美国科研伦理的核心价值、行为规范与实践
王正平
《上海师范大学学报(哲学社会科学版)》
CSSCI
北大核心
2015
12
18
船用反应堆堆芯物理计算软件包的研制
于雷
李同林
《海军工程大学学报》
CAS
2001
3
19
平板显示系统分形扫描模型的IP核实现
陈章进
徐美华
冉峰
《电子学报》
EI
CAS
CSCD
北大核心
2008
8
20
快堆堆芯水平抗震分析的单组件初步分析
文静
陆道纲
《原子能科学技术》
EI
CAS
CSCD
北大核心
2007
6