|
1
|
改进黎曼求解器的尖底断面河道水流模拟方法研究 |
许惠敏
柴福鑫
张红萍
臧文斌
谷仟
|
《中国水利水电科学研究院学报(中英文)》
北大核心
|
2025 |
0 |
|
|
2
|
面向造纸生产系统非线性多维度问题的求解器设计与应用 |
李康昊
陈浩洲
张洁
韩育林
满奕
|
《中国造纸》
北大核心
|
2025 |
0 |
|
|
3
|
SMTLOC:基于多源频谱的SMT求解器缺陷定位 |
王笑爽
周志德
李晓晨
江贺
任志磊
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
适用于非静力大气模式的近似黎曼求解器应用研究 |
魏杰姝
陈春刚
张寅钲
唐杰
沈学顺
肖锋
李兴良
|
《气象学报》
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
5
|
开源前处理软件到通用有限元求解器的网格文件转换方法研究 |
田卓
丁嘉欣
张常有
邵云霞
|
《计算机工程与科学》
CSCD
北大核心
|
2024 |
0 |
|
|
6
|
基于多样性SAT求解器和新颖性搜索的软件产品线测试 |
向毅
黄翰
罗川
杨晓伟
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
7
|
高焓流动中的可压缩颗粒两相流并行求解器:数值方法及其验证 |
李青
余钊圣
刘朋欣
李婷婷
陈坚强
袁先旭
|
《北京大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
8
|
面向众核CPU的稠密线性求解器性能评测与优化 |
付晓
苏醒
董德尊
钱程东
|
《计算机工程与科学》
CSCD
北大核心
|
2024 |
0 |
|
|
9
|
船舶排气热特征求解器开发及结果影响因素分析 |
赵世明
魏培绪
史径丞
魏利平
|
《科学技术与工程》
北大核心
|
2023 |
0 |
|
|
10
|
基于改进NSGA-Ⅱ算法的航空器滑行路径多目标优化 |
钟庆伟
唐浩铭
庾映雪
张永祥
姚俊杰
潘明思语
|
《科学技术与工程》
北大核心
|
2025 |
0 |
|
|
11
|
基于SMT求解器的路径敏感程序验证 |
何炎祥
吴伟
陈勇
徐超
|
《软件学报》
EI
CSCD
北大核心
|
2012 |
9
|
|
|
12
|
基于精确Riemann求解器的明满流过渡过程模拟 |
孙万光
李成振
马军
范宝山
|
《水科学进展》
EI
CAS
CSCD
北大核心
|
2020 |
8
|
|
|
13
|
使用SAT求解器产生所有极小冲突部件集 |
赵相福
欧阳丹彤
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
22
|
|
|
14
|
基于GPU的高性能稀疏矩阵向量乘及CG求解器优化 |
王迎瑞
任江勇
田荣
|
《计算机科学》
CSCD
北大核心
|
2013 |
7
|
|
|
15
|
基于瞬态多物理场求解器的电磁轨道炮发射过程建模与仿真 |
林庆华
栗保明
|
《兵工学报》
EI
CAS
CSCD
北大核心
|
2020 |
18
|
|
|
16
|
基于任意多面体网格的Navier-Stokes方程并行求解器 |
张明锋
杨国伟
郑冠男
刘中玉
|
《科学技术与工程》
北大核心
|
2016 |
5
|
|
|
17
|
基于自主开发求解器的蒸汽发生器二次侧流场分析 |
姚彦贵
郑明光
张星亮
蒋兴
陈俨
张伟
唐力晨
|
《压力容器》
北大核心
|
2023 |
3
|
|
|
18
|
深水钻井隔水管静态有限元求解器设计 |
王荣耀
陈国明
畅元江
鞠少栋
许亮斌
|
《石油机械》
北大核心
|
2012 |
3
|
|
|
19
|
SMP集群系统上矩阵特征问题并行求解器的有效算法 |
赵永华
迟学斌
程强
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2007 |
5
|
|
|
20
|
基于AiNet的仿真优化加速/求解器研究 |
郭宇
廖文和
程筱胜
张东民
|
《中国机械工程》
EI
CAS
CSCD
北大核心
|
2004 |
2
|
|
