|
1
|
类MARS动态密码结构不可能差分区分器的自动化分析研究 |
沈霞民
沈璇
卜予彤
|
《计算机工程与应用》
北大核心
|
2025 |
0 |
|
|
2
|
不确定型模糊Kripke结构的计算树逻辑模型检测 |
范艳焕
李永明
潘海玉
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2018 |
11
|
|
|
3
|
基于模糊逻辑的几类Kripke结构之间的关系 |
潘海玉
张敏
陈仪香
|
《计算机科学》
CSCD
北大核心
|
2013 |
3
|
|
|
4
|
基于不完全Kripke结构三值逻辑的模型检验 |
郭建
韩俊刚
|
《计算机科学》
CSCD
北大核心
|
2006 |
5
|
|
|
5
|
再论大采高采场顶板“组合短悬臂梁-铰接岩梁”定量化结构 |
闫少宏
路洋波
尹希文
徐刚
|
《煤炭学报》
北大核心
|
2025 |
4
|
|
|
6
|
结构化论辩理论在医疗决策中的应用研究 |
崔建英
安宇辉
|
《学术研究》
北大核心
|
2025 |
0 |
|
|
7
|
两类动态密码结构抵抗不可能差分和零相关线性能力评估 |
沈璇
刘国强
孙兵
何俊
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2024 |
1
|
|
|
8
|
基于Kripke结构的程序正确性证明 |
林杰
余建坤
|
《计算机应用》
CSCD
北大核心
|
2011 |
1
|
|
|
9
|
基于余归纳的最小Kripke结构的求解 |
高建华
蒋颖
|
《软件学报》
EI
CSCD
北大核心
|
2014 |
1
|
|
|
10
|
既有桥梁结构概率可靠度评估的置信区间分析与可能度评估 |
冉志红
宋泽冈
袁博
林帆
张昕
董国华
|
《科学技术与工程》
北大核心
|
2024 |
1
|
|
|
11
|
一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 |
刘姣
雷丽晖
|
《计算机工程与科学》
CSCD
北大核心
|
2015 |
0 |
|
|
12
|
基于可能性理论的结构模糊可靠性方法 |
郭书祥
吕震宙
冯立富
|
《计算力学学报》
CAS
CSCD
北大核心
|
2002 |
52
|
|
|
13
|
结构的失效可能度及模糊概率计算方法 |
郭书祥
吕震宙
|
《应用数学和力学》
EI
CSCD
北大核心
|
2003 |
9
|
|
|
14
|
结构模糊失效概率的可能性分析 |
郭书祥
冯立富
毕玉泉
|
《空军工程大学学报（自然科学版）》
CSCD
|
2001 |
2
|
|
|
15
|
基于模糊可靠度的RC框架结构在地震作用下最可能失效构件的识别 |
黄慎江
马勇
|
《土木工程学报》
EI
CSCD
北大核心
|
2016 |
3
|
|
|
16
|
(2n,r,t)_GFNSP结构一类不可能差分对的构造方法 |
崔霆
金晨辉
|
《电子与信息学报》
EI
CSCD
北大核心
|
2011 |
0 |
|
|
17
|
概率决策空间上的SPA可能度格序结构 |
张春英
郭景峰
|
《广西师范大学学报（自然科学版）》
CAS
北大核心
|
2008 |
0 |
|
|
18
|
MISTY结构的不可能差分和零相关线性 |
刘畅
沈璇
何俊
|
《河南师范大学学报（自然科学版）》
CAS
北大核心
|
2020 |
0 |
|
|
19
|
工程结构疲劳损伤的可能性分布 |
高国华
彭勇
|
《西安石油学院学报》
|
1989 |
0 |
|
|
20
|
气体水合物的结构、成因及在我国海域的可能分布 |
龚建明
|
《海洋地质动态》
|
1999 |
0 |
|
