|
1
|
为SOFL Specification自动生成消息序列(MSC) |
王浩
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
0 |
|
|
2
|
热分析获取锅炉内煤着火特性—Part Ⅰ:比热容、着火温度和着火热 |
刘洋
石泽正
陈朝帅
苟皓语
陶继业
徐世明
余波
赵培涛
傅培舫
周怀春
|
《煤炭学报》
北大核心
|
2025 |
2
|
|
|
3
|
城市轨道交通信号系统测试序列自动生成方法研究 |
张锐
司鑫悦
王成志
|
《都市快轨交通》
北大核心
|
2025 |
2
|
|
|
4
|
生物序列比对动态规划算法的统一形式化构造与Isabelle验证 |
石海鹤
蓝孙文
刘日明
石海鹏
王岚
钟林辉
|
《计算机研究与发展》
北大核心
|
2025 |
0 |
|
|
5
|
TBM隧道岩石耐磨性指数与凿碎比功相关性研究 |
张廷雷
陈广森
李玲
李蓉仑
|
《铁道工程学报》
北大核心
|
2025 |
0 |
|
|
6
|
基于卷积神经网络的特定服装款式图像识别方法 |
方雪
肖立志
|
《毛纺科技》
北大核心
|
2025 |
0 |
|
|
7
|
应力加卸载条件下煤岩吸附性能及比表面积变化规律 |
孙维吉
张军林
房胜杰
史国涛
陈昕涛
|
《煤炭科学技术》
北大核心
|
2025 |
0 |
|
|
8
|
基本型平曲线“两点法”设计计算原理 |
李玉华
王奥凯
刘佳音
马洋洋
吴树铭
|
《同济大学学报(自然科学版)》
北大核心
|
2025 |
0 |
|
|
9
|
机载软件层次化需求的形式化建模与分析 |
王康星
胡军
王立松
丁鼎
董亚炯
戴嘉磊
|
《南京航空航天大学学报(自然科学版)》
北大核心
|
2025 |
2
|
|
|
10
|
注浆陶粒泡沫混凝土制备及其基本性能研究 |
刘金涛
黄柯淦
章雪峰
杨杨
傅林峰
|
《浙江工业大学学报》
北大核心
|
2025 |
1
|
|
|
11
|
竖井全断面掘进机异型刀盘的滚刀布局 |
黄鸿颖
管会生
母国旺
罗毅
谢元
|
《西南交通大学学报》
北大核心
|
2025 |
1
|
|
|
12
|
基于时间自动机的数据流通控制建模及验证 |
李恒
李凤华
梁琬珩
郭云川
张玲翠
周紫妍
|
《通信学报》
北大核心
|
2025 |
0 |
|
|
13
|
面向CPS时空规则验证制导的安全强化学习 |
印婵
祝义
王金永
陈小颖
郝国生
|
《计算机科学与探索》
北大核心
|
2025 |
0 |
|
|
14
|
水热法制备MoO3过程中pH对晶型结构和性能的影响 |
朱鹏强
杨晓峰
陈志萍
王高
赵艳茹
张玉莹
|
《化学研究与应用》
北大核心
|
2025 |
0 |
|
|
15
|
化学转化法间接测定川芎药材中药效标志物藁本内酯含量的方法研究 |
张圆圆
赵盼
朱芙琴
潘文浩
徐健辉
余琰
柳军玺
|
《天然产物研究与开发》
北大核心
|
2025 |
0 |
|
|
16
|
特高压盘形悬式瓷绝缘子质量提升关键技术 |
刘冀邱
李燕雷
赵江涛
彭波
周军
阎法强
周卫兵
曹彬
|
《高电压技术》
北大核心
|
2025 |
0 |
|
|
17
|
面向信息物理融合系统的混成攻击图分析方法 |
葛要港
陈鑫恺
徐丙凤
何高峰
|
《计算机工程与设计》
北大核心
|
2025 |
0 |
|
|
18
|
面向Rust语言的形式化验证方法研究综述 |
张卓若
常瑞
杨申毅
陈芳
|
《软件学报》
北大核心
|
2025 |
0 |
|
|
19
|
基于ASLan++的OAuth2.0协议授权码模型形式化建模与分析 |
严海星
|
《计算机工程与应用》
北大核心
|
2025 |
0 |
|
|
20
|
基于先验路径选择的安全协议形式化分析优化方法 |
蔡光英
蔡柳佳
陆思奇
王永娟
王向宇
|
《信息安全研究》
北大核心
|
2025 |
0 |
|
