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