|
1
|
轮式拖拉机变速箱自动控制算法的设计与验证 |
张梅红
|
《农机化研究》
北大核心
|
2025 |
0 |
|
|
2
|
不确定图上的极大团枚举及高效验证算法 |
赵丹枫
吕闫妍
张文博
黄冬梅
高峰
|
《智能系统学报》
CSCD
北大核心
|
2024 |
0 |
|
|
3
|
基于广义Dice系数改进SAMP算法的轴承故障诊断 |
于春霞
王峰伟
张建国
李明
|
《机械设计与制造》
北大核心
|
2025 |
0 |
|
|
4
|
IntervalTree+结构的函数式建模、机械化验证及其应用 |
左正康
张晗庆
王昌晶
游珍
|
《电子学报》
北大核心
|
2025 |
0 |
|
|
5
|
基于交叉验证的智能优化机器学习方法在喷管型面优化中的应用 |
于勇
代无劫
胡俊
|
《北京理工大学学报》
北大核心
|
2025 |
0 |
|
|
6
|
基于国密SM2算法的局部可验证聚合签名算法研究 |
沈荣耀
马利民
王佳慧
张伟
|
《信息安全研究》
CSCD
北大核心
|
2024 |
1
|
|
|
7
|
基于滚动交叉验证的城市需水预测方法 |
董增川
王佳晟
崔璨
韩亚雷
陈荣豪
杨家亮
王淑云
|
《水资源保护》
北大核心
|
2025 |
0 |
|
|
8
|
城市固废焚烧智能算法测试与验证模块化半实物平台 |
汤健
王天峥
夏恒
崔璨麟
潘晓彤
郭海涛
王鼎
乔俊飞
|
《自动化学报》
EI
CAS
CSCD
北大核心
|
2024 |
1
|
|
|
9
|
多维区域匹配算法的通用验证方法 |
张晗庆
游珍
左正康
吴嘉伟
程着
|
《江西师范大学学报(自然科学版)》
北大核心
|
2024 |
0 |
|
|
10
|
基于关系闭集的模糊互模拟算法函数式建模及其机械化验证 |
吴嘉伟
游珍
左正康
张晗庆
程着
|
《江西师范大学学报(自然科学版)》
北大核心
|
2024 |
0 |
|
|
11
|
基于简短可验证环签名的区块链版权存证协议 |
王杰昌
刘玉岭
张平
刘牧华
王小伟
|
《北京航空航天大学学报》
北大核心
|
2025 |
0 |
|
|
12
|
面向多类型干扰的验证码目标识别算法研究 |
程瑶
龚奥
王玉菡
|
《重庆理工大学学报（自然科学）》
CAS
北大核心
|
2024 |
0 |
|
|
13
|
基于深度学习和遗传算法的方法调用缺陷自动修复方法 |
宋青青
杨秋辉
董兰
代声馨
赵明敏
|
《计算机工程与设计》
北大核心
|
2025 |
0 |
|
|
14
|
印刷电路板式天然气冷却器性能仿真模型和验证 |
密晓光
孙国刚
程昊
张晓慧
|
《化工学报》
北大核心
|
2025 |
0 |
|
|
15
|
基于改进变色龙算法的交通控制子区划分方法 |
张添翼
闫飞
|
《计算机工程与设计》
北大核心
|
2025 |
1
|
|
|
16
|
多通道FULMS自适应前馈振动控制算法分析与验证 |
朱晓锦
黄全振
高志远
高守玮
姜恩宇
|
《振动与冲击》
EI
CSCD
北大核心
|
2011 |
10
|
|
|
17
|
快速椭圆曲线签名验证算法 |
张庆胜
郭宝安
徐树民
程登峰
|
《计算机工程与设计》
CSCD
北大核心
|
2008 |
8
|
|
|
18
|
基于LabVIEW的FFT加窗插值算法在谐波检测中的应用 |
龚仁喜
周希松
宁存岱
秦国栋
|
《重庆理工大学学报（自然科学）》
CAS
|
2010 |
12
|
|
|
19
|
基于遗传算法和覆盖率驱动的功能验证向量自动生成算法 |
罗春
杨军
凌明
|
《应用科学学报》
CAS
CSCD
北大核心
|
2005 |
15
|
|
|
20
|
公钥基础设施中的证书路径构造方法及验证算法 |
王晓峰
王尚平
王育民
|
《计算机工程与应用》
CSCD
北大核心
|
2002 |
13
|
|
