|
1
|
安全协议分析的界——综合模型检查与Strand Spaces(英文) |
刘怡文
李伟琴
|
《中国科学院研究生院学报》
CAS
CSCD
|
2002 |
0 |
|
|
2
|
采用CPAChecker的动态程序验证 |
段钊
刘锟龙
|
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2019 |
3
|
|
|
3
|
空间生产视域下网红打卡地的青年审美异化研究 |
黄金艳
田琬琳
|
《山西高等学校社会科学学报》
|
2025 |
0 |
|
|
4
|
社交媒介驱动下城市游憩空间分布差异与形成机制——基于网红空间与实体空间的对比分析 |
田逢军
李潇
徐克帅
刘德军
汪忠列
李向明
雷梦园
杨平
陈如意
|
《经济地理》
北大核心
|
2025 |
0 |
|
|
5
|
基于城市体检的老旧社区公共空间改造提升策略研究 |
张曼
张露丹
张淑雅
丁俊宇
|
《城市建筑》
|
2025 |
1
|
|
|
6
|
基于先验路径选择的安全协议形式化分析优化方法 |
蔡光英
蔡柳佳
陆思奇
王永娟
王向宇
|
《信息安全研究》
北大核心
|
2025 |
0 |
|
|
7
|
白居寺大桥网红现象中的公共艺术触媒效应研究 |
王涛
|
《重庆建筑》
|
2025 |
0 |
|
|
8
|
青年热衷于“网红打卡”的现象表征、成因分析及策略引导 |
杜松
|
《北京青年研究》
|
2025 |
0 |
|
|
9
|
复杂信息度量的安全系统结构复杂性评价 |
宋华岭
温国锋
刘丽娟
李金克
张漪
王传鹏
李春蕾
|
《管理科学学报》
CSSCI
北大核心
|
2012 |
14
|
|
|
10
|
赛时行为空间理论的研究与测评模型的构建 |
梁建平
吴鸿春
曾理
范安辉
文亮
王磊
|
《体育科学》
CSSCI
北大核心
|
2009 |
8
|
|
|
11
|
新型光学动态靶标模拟空间目标研究 |
李博
王伟娜
唐杰
|
《工程设计学报》
CSCD
北大核心
|
2008 |
4
|
|
|
12
|
基于色差均值的快速车窗定位算法 |
王运琼
游志胜
|
《计算机应用与软件》
CSCD
北大核心
|
2004 |
7
|
|
|
13
|
应用构形空间理论处理自由曲面加工的干涉问题 |
闫光荣
赵罡
雷毅
朱心雄
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2002 |
3
|
|
|
14
|
时间自动机状态空间的一个极小化构造方法 |
姬莉霞
周清雷
李占波
苏锦祥
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
1
|
|
|
15
|
空间句法在侵华日军南京大屠杀遇难同胞纪念馆及周边地区城市设计中的应用 |
黄铎
古恒宇
姜洪庆
|
《现代城市研究》
CSSCI
北大核心
|
2017 |
5
|
|
|
16
|
幽默言语解读的在线认知机制阐释 |
王文斌
|
《宁波大学学报（人文科学版）》
|
2004 |
29
|
|
|
17
|
基于向量空间模型的题库相似度检查算法 |
汪忠国
吴敏
|
《计算机系统应用》
|
2010 |
12
|
|
|
18
|
空间叶片的强度校核与分析 |
王琪
卢颖
周兰影
|
《吉林农业大学学报》
CAS
CSCD
北大核心
|
2001 |
1
|
|
|
19
|
北京市中心城绿地使用空间分布研究-基于大数据的实证分析 |
李方正
董莎莎
李雄
雷芸
|
《中国园林》
北大核心
|
2016 |
59
|
|
|
20
|
气候应用专用数据库气象资料的质量检验 |
杨贤为
|
《气象》
CSCD
北大核心
|
1998 |
21
|
|
