|
1
|
大模型驱动的形式化定理证明:综述与展望 |
胡俊杰
陈宇杰
胡义坤
文成
曹嘉伦
马智
苏杰
孙纬地
田聪
秦胜潮
|
《计算机科学》
北大核心
|
2026 |
0 |
|
|
2
|
操作系统形式规约与验证综述 |
王梓
王洪强
杨晓艺
兰雨晴
|
《计算机工程》
北大核心
|
2026 |
0 |
|
|
3
|
形式背景的基与基数及其性质 |
张琴
魏玲
|
《西北大学学报(自然科学版)》
北大核心
|
2026 |
0 |
|
|
4
|
自“形式连接”向“实质融合”:教育强国建设背景下中小学综合体育活动实施困境与突破路径 |
陈海雄
汤长发
张强峰
崔龙
|
《武汉体育学院学报》
北大核心
|
2026 |
0 |
|
|
5
|
中西艺术生命哲学互文性阐释——以苏珊·朗格“生命形式”理论与谢赫“气韵生动”理论为例 |
包玉姣
滕守尧
|
《广东社会科学》
北大核心
|
2026 |
0 |
|
|
6
|
柱脚形式不同的部分填充混凝土装配式钢桥墩抗震性能研究 |
吴庆雄
郑其鑫
袁辉辉
秦志清
|
《土木工程学报》
北大核心
|
2026 |
0 |
|
|
7
|
基于事件逻辑的改进型Helsinki协议的形式化分析 |
肖美华
罗运先
钟小妹
|
《计算机应用与软件》
北大核心
|
2026 |
0 |
|
|
8
|
图像的“褶皱”:图像的形式之变及其社会阐释模式——兼论图像阐释学的文化逻辑问题 |
刘涛
|
《暨南学报(哲学社会科学版)》
北大核心
|
2026 |
0 |
|
|
9
|
基于时间-事件逻辑的ID-AOFE协议形式化分析 |
肖美华
乔珊珊
杨科
|
《郑州大学学报(理学版)》
北大核心
|
2026 |
0 |
|
|
10
|
高校思政课案例教学中形式逻辑的应用研究 |
李萌
|
《学校党建与思想教育》
北大核心
|
2026 |
0 |
|
|
11
|
泛政治化时代中作为伦理修辞的小说形式——情感类“百花小说”叙事形式的文化分析 |
孙桂荣
|
《当代作家评论》
北大核心
|
2026 |
0 |
|
|
12
|
数字乡村建设中形式主义的表征、归因与消解 |
鹿斌
高金越
|
《江西农业学报》
|
2026 |
0 |
|
|
13
|
不同表面形式CFRP筋与混凝土间黏结性能研究 |
欧阳霖泽
宋晓滨
尹从儒
肖绪文
亓立刚
|
《土木工程学报》
北大核心
|
2026 |
0 |
|
|
14
|
RISC-V SBI固件安全启动过程的形式化验证 |
杨叶倩
戴鸿君
|
《计算机研究与发展》
北大核心
|
2026 |
0 |
|
|
15
|
西方古典园林迷宫空间形式的源流、类型及构成研究 |
李佳慧
吴国源
张斌
刘亚伟
|
《中国园林》
北大核心
|
2026 |
0 |
|
|
16
|
电流形式对Fe_(78)Si_(9)B_(13)非晶薄带电辅助成形的影响 |
刘建帅
王泽
杜旺哲
刘元铭
牛小淼
|
《精密成形工程》
北大核心
|
2026 |
0 |
|
|
17
|
正反问无定形式宾语的准入条件 |
郑娜
朱庆祥
|
《汉语学报》
北大核心
|
2026 |
0 |
|
|
18
|
周边树木种植形式对下沉广场内风环境的影响 |
孙顺意
陈忠购
|
《现代园艺》
|
2026 |
0 |
|
|
19
|
形式的道德与权力:美国鲁迅小说研究的一个主要视角考辩 |
王植
|
《鲁迅研究月刊》
北大核心
|
2026 |
0 |
|
|
20
|
“材料”与“形式”:如何重新叙述古代中国思想世界——从20世纪70年代以来考古新发现的文献说起 |
葛兆光
|
《文史哲》
北大核心
|
2026 |
0 |
|
