|
1
|
基于Petri网可达分析的代码搜索方法 |
丁雪儿
钮俊
张开乐
毛昕怡
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2022 |
1
|
|
|
2
|
基于动态障碍物可达包络分析的无人机编队路径规划 |
殷泽阳
梁浩
廖宇新
陈晓方
谢永芳
|
《系统工程与电子技术》
北大核心
|
2025 |
0 |
|
|
3
|
离网运行的直流微电网可达性分析 |
杨行方
张宁
董思豆
曹新纪
肖浩
裴玮
|
《电力系统及其自动化学报》
CSCD
北大核心
|
2024 |
2
|
|
|
4
|
月球车长距离可达性分析与路径规划方法研究 |
刘斌
薄正
尹力
孙小珠
王长焕
刘召芹
邸凯昌
|
《载人航天》
CSCD
北大核心
|
2024 |
1
|
|
|
5
|
基于可达性分析的配电网故障指示器优化配置 |
徐港军
赵健
王之凯
吴昀烔
|
《电力系统及其自动化学报》
CSCD
北大核心
|
2024 |
1
|
|
|
6
|
基于可达性分析的网联自主车辆换道安全轨迹规划与仿真 |
李奥迪
曲大义
戴守晨
姬利源
魏传宝
|
《科学技术与工程》
北大核心
|
2024 |
0 |
|
|
7
|
一种基于程序可达图的并发程序依赖性分析方法 |
戚晓芳
徐宝文
周晓宇
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2007 |
14
|
|
|
8
|
精准执行可达性分析:理论与应用 |
杨克
贺也平
马恒太
王雪飞
|
《软件学报》
EI
CSCD
北大核心
|
2018 |
6
|
|
|
9
|
基于区域可达性分析的复杂配电网可靠性评估 |
许丹
唐巍
|
《电工技术学报》
EI
CSCD
北大核心
|
2011 |
48
|
|
|
10
|
基于可达性分析的主动配电网多故障分区修复策略 |
杨丽君
安立明
杨博
何新
|
《电工技术学报》
EI
CSCD
北大核心
|
2018 |
29
|
|
|
11
|
时间自动机可达性分析中的状态空间约减技术综述 |
陈铭松
赵建华
李宣东
郑国梁
|
《计算机科学》
CSCD
北大核心
|
2006 |
3
|
|
|
12
|
EPr/TN网可达性分析的冗余并发后继标识 |
沈俊
罗军舟
顾冠群
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1998 |
3
|
|
|
13
|
不确定扰动下交直流混合配电系统的可达性分析 |
邓卫
丁立
庄莹
裴玮
|
《电力系统自动化》
EI
CSCD
北大核心
|
2023 |
4
|
|
|
14
|
标记迁移系统的组合可达性分析 |
文艳军
王戟
齐治昌
|
《计算机科学》
CSCD
北大核心
|
2005 |
2
|
|
|
15
|
时间约束Petri网的可达性分析研究 |
李慧芳
李人厚
|
《计算机工程与科学》
CSCD
|
2000 |
3
|
|
|
16
|
可达树分析法及其在测试中的应用 |
曾成碧
陈光
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
1999 |
7
|
|
|
17
|
基于下推系统可达性分析的输出信道信息流检测 |
孙聪
唐礼勇
陈钟
|
《计算机科学》
CSCD
北大核心
|
2011 |
1
|
|
|
18
|
多速率混合系统的符号化可达性分析 |
张海宾
段振华
|
《西安交通大学学报》
EI
CAS
CSCD
北大核心
|
2007 |
2
|
|
|
19
|
基于GIS的可达性和空间自相关分析在江阴绿地系统规划中的应用 |
胡明星
|
《中国园林》
北大核心
|
2010 |
20
|
|
|
20
|
基于属性的用户-角色委派模型可达性分析 |
任志宇
陈性元
|
《计算机应用》
CSCD
北大核心
|
2014 |
1
|
|
