1
|
基于MOOC课程的网络教学探析——以解放军理工大学为例 |
宋磊
|
《兰州教育学院学报》
|
2015 |
0 |
|
2
|
对培养复合型指挥自动化人才的思考 |
江光杰
沈志祥
等
|
《解放军理工大学学报(自然科学版)》
|
2001 |
0 |
|
3
|
配电自动化系统中一种馈线配电终端的设计与实现 |
朱磊
陈国友
任煜
|
《电力科学与工程》
|
2003 |
4
|
|
4
|
基于模型的Fuzzing测试脚本自动化生成 |
侯莹
洪征
潘璠
吴礼发
|
《计算机科学》
CSCD
北大核心
|
2013 |
7
|
|
5
|
应用.NET框架命名空间技术实现Web测试自动化 |
雷蕾
陆新泉
李睿
洪宇
|
《计算机应用研究》
CSCD
北大核心
|
2010 |
3
|
|
6
|
一种基于语义本体的Web服务自动组合算法 |
艾未华
黄敬平
周宁
尹康银
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2008 |
10
|
|
7
|
一种基于报文序列分析的半自动协议逆向方法 |
杜有翔
吴礼发
潘璠
洪征
|
《计算机工程》
CAS
CSCD
|
2012 |
5
|
|
8
|
本体的半自动构建技术 |
苗壮
张亚非
陆建江
|
《解放军理工大学学报(自然科学版)》
EI
|
2006 |
7
|
|
9
|
基于SNA的指挥控制关系及其中心性分析 |
常树春
张东戈
周道安
|
《火力与指挥控制》
CSCD
北大核心
|
2009 |
4
|
|
10
|
外军指挥控制过程模型剖析 |
孙瑞
王智学
姜志平
蒋鑫
|
《舰船电子工程》
|
2012 |
18
|
|
11
|
一种自组织的二维元胞自动机网络模型及分析 |
贺正求
贺建民
张叶琳
|
《计算机应用》
CSCD
北大核心
|
2007 |
2
|
|
12
|
指挥信息系统信息能力的评估 |
孙瑞
王智学
曹伟杰
|
《计算机技术与发展》
|
2012 |
4
|
|
13
|
正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化 |
吴春寒
张兴元
贺汛
|
《解放军理工大学学报(自然科学版)》
EI
北大核心
|
2010 |
2
|
|
14
|
基于SNA的指挥控制关系建模与分析 |
常树春
张东戈
周道安
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
2
|
|
15
|
C2组织指挥控制关系的形式化描述 |
周道安
张东戈
常树春
|
《指挥控制与仿真》
|
2008 |
19
|
|
16
|
基于自动机理论的UML活动图模型检验方法 |
王聪
王智学
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
1
|
|
17
|
多本体环境下基于规划技术的自动服务组合 |
刘志忠
贺毅辉
姜峰
|
《计算机工程》
CAS
CSCD
北大核心
|
2011 |
0 |
|
18
|
Ad Hoc网络中的地址自动配置和节点ID分配机制 |
王海涛
宋丽华
|
《数据通信》
|
2010 |
1
|
|
19
|
GDSS在异步指挥控制中的应用研究 |
付丰科
鲍广宇
刘日初
|
《计算机技术与发展》
|
2009 |
0 |
|
20
|
基于二维元胞自动机的双向触发并行加密模型 |
肖佳
胡谷雨
赵学龙
陈宁军
|
《计算机应用研究》
CSCD
北大核心
|
2008 |
1
|
|