[1] 李风雷, 卢昊, 宋闯, 等. 智能化战争与无人系统技术的发展[J]. 无人系统技术, 2018, 1(2):14-23. LI F L, LU H, SONG C, et al. Development of intelligent warfare and unmanned system technology[J]. Unmanned Systems Technology, 2018, 1(2):14-23(in Chinese). [2] 符文星, 郭行, 闫杰. 智能无人飞行器技术发展趋势综述[J]. 无人系统技术, 2019, 2(4):31-37. FU W X, GUO H, YAN J, et al. Overview on the technology development trend of intelligent unmanned aerial vehicle[J]. Unmanned Systems Technology, 2019, 2(4):31-37(in Chinese). [3] 胡利平,梁晓龙,何吕龙,等. 基于情景分析的航空集群决策规则库构建方法[J]. 航空学报, 2020,41(S1):723737. HU L P, LIANG X L, HE L L, et al. Construction method of aviation swarm decision rule base based on scenario analysis[J]. Acta Aeronautica et Astronautica Sinica, 2020,41(S1):723737(in Chinese). [4] 王祥科, 刘志宏, 丛一睿, 等. 小型固定翼无人机集群综述和未来发展[J]. 航空学报, 2020, 41(4):023732. WANG X K, LIU Z H, CONG Y R, et al. Miniature fixed-wing UAV swarms:Review and outlook[J]. Acta Aeronautica et Astronautica Sinica, 2020, 41(4):023732(in Chinese). [5] 刘屹巍, 朴海音, 肖林, 等. 无人机数据链抗干扰技术综述[J]. 飞机设计, 2017, 37(6):13-16, 21. LIU Y W, PIAO H Y, XIAO L, et al. An overview of anti-interference techniques for UCAV data link[J]. Aircraft Design, 2017, 37(6):13-16, 21(in Chinese). [6] 王庆江, 彭军, 李辉. 投掷激光制导炸弹后无人机的航路规划[J]. 海军航空工程学院学报, 2019, 34(1):169-174. WANG Q J, PENG J, LI H. Route planning of UAV after launching laser guided bomb[J]. Journal of Naval Aeronautical and Astronautical University, 2019, 34(1):169-174(in Chinese). [7] 陈金盾, 翟志宏, 付元华, 等. 空间站航天员出舱活动验证方法与项目[J]. 载人航天, 2019, 25(6):733-739. CHEN J D, ZHAI Z H, FU Y H, et al. Verification items and methods for EVA in China space station[J]. Manned Spaceflight, 2019, 25(6):733-739(in Chinese). [8] 郭猛, 司怀吉. 一种新型舱外救援装置位姿控制系统方案地面试验验证[J]. 载人航天, 2018, 24(6):809-813. GUO M, SI H J. Ground test verification of position and attitude control system for a new extravehicular rescue device[J]. Manned Spaceflight, 2018, 24(6):809-813(in Chinese). [9] 苟仲秋, 闫鑫, 张柏楠, 等. 载人航天器地面试验验证体系研究[J]. 航天器环境工程, 2018, 35(6):528-534. GOU Z Q, YAN X, ZHANG B N, et al. The ground test validation system for manned spacecraft[J]. Spacecraft Environment Engineering, 2018, 35(6):528-534(in Chinese). [10] 范城城, 王密, 杨博, 等. 一种星敏感器/陀螺地面高精度组合定姿与精度验证方法[J]. 光学学报, 2016, 36(11):1128002. FAN C C, WANG M, YANG B, et al. A method of high-precision ground processing for star sensor and gyro combination and accuracy verification[J]. Acta Optica Sinica, 2016, 36(11):1128002(in Chinese). [11] 吴泽民, 边少锋. 基于最小搜索超椭球的GNSS模糊度固定及检验方法[J]. 中国惯性技术学报, 2017, 25(2):216-220. WU Z M, BIAN S F. GNSS ambiguity resolution and validation based on minimum search hyper-ellipsoid[J]. Journal of Chinese Inertial Technology, 2017, 25(2):216-220(in Chinese). [12] 任正伟, 孙小雁, 王丽娜, 等. 基于简单随机抽样的大数据可信性验证方法[J]. 电子学报, 2017, 45(10):2484-2490. REN Z W, SUN X Y, WANG L N, et al. A trustworthiness verification approach for big data based on simple random sampling[J]. Acta Electronica Sinica, 2017, 45(10):2484-2490(in Chinese). [13] 李梦君, 潘国腾, 欧国东. 基于event-B方法的安全协议设计、建模与验证[J]. 软件学报, 2018, 29(11):3400-3411. LI M J, PAN G T, OU G D. Design, modeling and verification of security protocols based on event-B method[J]. Journal of Software, 2018, 29(11):3400-3411(in Chinese). [14] 李宙洲, 魏欧, 黄鸣宇. 利用特征配置的SLIM安全性验证方法[J]. 小型微型计算机系统, 2017, 38(10):2346-2351. LI Z Z, WEI O, HUANG M Y. Safety verification methods for SLIM using features configuration[J]. Journal of Chinese Computer Systems, 2017, 38(10):2346-2351(in Chinese). [15] 赵玉强, 刘靖. 基于CPN模型的REST服务架构标准特征验证方法研究[J]. 计算机工程与科学, 2018, 40(6):1093-1102. ZHAO Y Q, LIU J. CPN model based standard feature verification for REST service architecture[J]. Computer Engineering & Science, 2018, 40(6):1093-1102(in Chinese). [16] 符弘岚, 张皓, 高扬. 基于可靠性分析的立方星网络维护架构优化[J]. 航空学报, 2020, 41(7):323696. FU H L, ZHANG H, GAO Y. Maintenance architecture optimization of CubeSat networks based on reliability analysis[J]. Acta Aeronautica et Astronautica Sinica, 2020, 41(7):323696(in Chinese). [17] 甘霖, 李慧, 刘艳芳, 等. 激光制导武器半实物仿真系统弹目视线建模与验证[J]. 红外与激光工程, 2018, 47(11):1106002. GAN L, LI H, LIU Y F, et al. Modeling and verifying of line of sight of laser guided weapon in HWIL simulation system[J]. Infrared and Laser Engineering, 2018, 47(11):1106002(in Chinese). [18] 田传艳, 胡军照, 刘继奎, 等. 一种低成本的半实物飞行仿真系统[J]. 系统仿真学报, 2019, 31(6):1123-1127. TIAN C Y, HU J Z, LIU J K, et al. Low-cost hardware-in-the-loop flight simulation system[J]. Journal of System Simulation, 2019, 31(6):1123-1127(in Chinese). [19] 姜尚, 田福庆, 孙世岩,等. 滚转舰炮制导炮弹的空间多约束导引与控制一体化设计[J]. 航空学报, 2019, 40(10):323101. JIANG S, TIAN F Q, SUN S Y, et al. Design of integrated guidance and control in space with multiple constraints of rolling naval gun guided projectile[J]. Acta Aeronautica et Astronautica Sinica, 2019, 40(10):323101(in Chinese). [20] SILVANDER J, ANGELIN L. Introducing intents to the OODA-loop[J]. Procedia Computer Science, 2019, 159:878-883. |