|
1
|
基于不完全Kripke结构三值逻辑的模型检验 |
郭建
韩俊刚
|
《计算机科学》
CSCD
北大核心
|
2006 |
5
|
|
|
2
|
一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 |
刘姣
雷丽晖
|
《计算机工程与科学》
CSCD
北大核心
|
2015 |
0 |
|
|
3
|
不确定型模糊Kripke结构的计算树逻辑模型检测 |
范艳焕
李永明
潘海玉
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2018 |
11
|
|
|
4
|
基于模糊逻辑的几类Kripke结构之间的关系 |
潘海玉
张敏
陈仪香
|
《计算机科学》
CSCD
北大核心
|
2013 |
3
|
|
|
5
|
基于余弦相似自适应加权视图重构的不完全多视图聚类算法 |
陈永泰
邱野
万鸣华
杨国为
|
《济南大学学报(自然科学版)》
北大核心
|
2025 |
0 |
|
|
6
|
基于Kripke结构的程序正确性证明 |
林杰
余建坤
|
《计算机应用》
CSCD
北大核心
|
2011 |
1
|
|
|
7
|
基于余归纳的最小Kripke结构的求解 |
高建华
蒋颖
|
《软件学报》
EI
CSCD
北大核心
|
2014 |
1
|
|
|
8
|
有效的非完全结构XML查询 |
李晓光
于戈
龚剑
王大玲
鲍玉斌
|
《计算机学报》
EI
CSCD
北大核心
|
2007 |
8
|
|
|
9
|
无奇异完全各向同性2T1R型并联机构的结构综合 |
张彦斌
吴鑫
刘宏昭
张明洪
|
《中国机械工程》
CAS
CSCD
北大核心
|
2008 |
15
|
|
|
10
|
完全性脊髓损伤早期患者脑皮层结构变化的磁共振研究 |
焦佼
孙天胜
侯景明
相子民
张越
包先国
钟剑峰
郭磊
|
《中国脊柱脊髓杂志》
CAS
CSCD
北大核心
|
2015 |
9
|
|
|
11
|
不完全竞争市场结构下环境税效应研究述评 |
刘晔
周志波
|
《中国人口·资源与环境》
CSSCI
CSCD
北大核心
|
2015 |
20
|
|
|
12
|
基于球结构的完全二叉树SVM多类分类算法 |
谢志强
高丽
杨静
|
《计算机应用研究》
CSCD
北大核心
|
2008 |
8
|
|
|
13
|
完全解耦二移动二转动并联机构结构综合 |
张彦斌
吴鑫
|
《农业机械学报》
EI
CAS
CSCD
北大核心
|
2013 |
30
|
|
|
14
|
Web信息发布的特征与完全信息结构 |
毕强
闫凤英
王庆凯
|
《情报学报》
CSSCI
北大核心
|
2000 |
6
|
|
|
15
|
分支中含有闭回路结构的完全各向同性移动并联机构型综合 |
张彦斌
苏华礼
吴鑫
刘宏昭
|
《中国机械工程》
EI
CAS
CSCD
北大核心
|
2009 |
2
|
|
|
16
|
不完全概率信息的梁结构可靠性稳健设计 |
贺向东
张义民
黄贤振
闻邦椿
|
《机械强度》
CAS
CSCD
北大核心
|
2008 |
5
|
|
|
17
|
完全图上结构异常的搜索算法——融入量子计算思维的经典算法探讨 |
陈汉武
李文骞
刘志昊
赵生妹
|
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2017 |
1
|
|
|
18
|
安徽省产业结构变化和技术进步对用水效率影响测度与分析——基于完全分解模型 |
张乐勤
方宇媛
|
《水文》
CSCD
北大核心
|
2017 |
4
|
|
|
19
|
相似多细节结构疲劳试验不完全数据参数估计 |
鲍蕊
张建宇
费斌军
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2008 |
1
|
|
|
20
|
基于不完全树结构小波变换及FKCN的纹理分割 |
王晓丹
赵荣椿
吴崇明
|
《空军工程大学学报（自然科学版）》
CSCD
|
2001 |
2
|
|
