|
1
|
泛逻辑学——逻辑学的大一统理论 |
何华灿
何智涛
|
《智能系统学报》
北大核心
|
2025 |
0 |
|
|
2
|
逻辑后承语义定义探析——从塔斯基、埃切门迪到吉拉·谢尔 |
郭建萍
李伟
|
《河南社会科学》
北大核心
|
2025 |
0 |
|
|
3
|
基于逻辑模型的多偏好旅游路线规划研究 |
王文成
王曦雅
牛秦州
董明刚
|
《现代电子技术》
北大核心
|
2025 |
0 |
|
|
4
|
GhostFunc:一种针对Rust操作系统内核的验证方法 |
何韬
董威
文艳军
|
《软件学报》
北大核心
|
2025 |
0 |
|
|
5
|
操作系统内核权能访问控制的形式验证 |
徐家乐
王淑灵
李黎明
詹博华
吕毅
代艺博
崔舍承
吴鹏
谭宇
张学军
詹乃军
|
《软件学报》
北大核心
|
2025 |
0 |
|
|
6
|
中低收入国家建设更好的正规职业技术教育与培训体系的价值逻辑 |
高雅妮
祁占勇
|
《职业技术教育》
北大核心
|
2025 |
0 |
|
|
7
|
面向信息物理融合系统的混成攻击图分析方法 |
葛要港
陈鑫恺
徐丙凤
何高峰
|
《计算机工程与设计》
北大核心
|
2025 |
0 |
|
|
8
|
现代逻辑思维对诗性的背离与回归——从罗素、维特根斯坦到伽达默尔 |
邓晓芒
|
《四川大学学报（哲学社会科学版）》
CSSCI
北大核心
|
2024 |
2
|
|
|
9
|
康德先验逻辑的逻辑分析 |
邓雄雁
胡泽洪
|
《华南师范大学学报（社会科学版）》
CSSCI
北大核心
|
2024 |
0 |
|
|
10
|
论康德对形式与内容的区分 |
王路
|
《武汉大学学报(哲学社会科学版)》
CSSCI
北大核心
|
2024 |
0 |
|
|
11
|
基于中国剩余定理的NFC安全认证算法 |
邹同浩
|
《计算机应用与软件》
北大核心
|
2024 |
1
|
|
|
12
|
基于身份认证的BACnet/IP分析与改进 |
谢鹏寿
朱家锋
康永平
冯涛
李威
冉玉翔
|
《通信学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
13
|
形式逻辑的语言视角 |
张留华
|
《浙江工商大学学报》
CSSCI
北大核心
|
2024 |
0 |
|
|
14
|
形式背景上近似推理生成决策蕴涵研究 |
张家录
吴霞
|
《自动化学报》
EI
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
15
|
舰载机弹药保障作业调度的形式化建模与验证 |
金钊
金璐
张博闻
吴庆顺
冯朔
李冠峰
徐明亮
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
1
|
|
|
16
|
医者意也的语言学分析 |
马进疆
马淬兰
刘慧鸿
张莹
邱鸿钟
|
《医学与哲学》
北大核心
|
2024 |
0 |
|
|
17
|
基于时间自动机的无信号交叉口车路协同系统建模与验证 |
刘伟
肖七瑞
陈新海
饶畅
张宇
王博思
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
18
|
汽轮机控制保护系统攻击建模与逻辑完整性检测 |
马海迎
李奕彤
袁晓舒
何立栋
|
《控制工程》
CSCD
北大核心
|
2024 |
0 |
|
|
19
|
基于描述逻辑的主体服务匹配 |
史忠植
蒋运承
张海俊
董明楷
|
《计算机学报》
EI
CSCD
北大核心
|
2004 |
62
|
|
|
20
|
多概念格的横向合并算法 |
李云
刘宗田
陈崚
徐晓华
程伟
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2004 |
50
|
|
