[1] YOUNG M. An overview of advanced concepts for near-space systems:AIAA-2009-4805[R]. Reston, VA:AIAA, 2009. [2] SCHMIDT D K, STEVENS J, RONEY J. Near-space station-keeping performance of a large high-altitude no-tional airship[J]. Journal of Aircraft, 2007, 44(2):611-615. [3] GABRIEL A, KHOURY J, DAVID G. Airship technolo-gy[M]. London:Cambridge University Press, 1999:327-315. [4] LARDIONIS F. Google X announces project loon:Bal-loon-powered Internet for rural, remote and underserved areas[EB/OL]. (2013-06-14)[2018-05-03]. http://techcrunch.Com/2013/06/14/google-x-announces-project-loon-baloon-powered-internet-for-rural-remote-and-under-served-areas.html. [5] 胡文琳, 丛力田. 平流层飞艇预警探测技术进展及应用展望[J]. 现代雷达, 2011, 33(1):5-7. HU W L, CONG L T. Technologies progress and applied expectation of stratospheric airship[J]. Modern Radar, 2011, 33(1):5-7(in Chinese). [6] 赵达, 刘东旭, 孙康文, 等. 平流层飞艇研制现状、技术难点及发展趋势[J]. 航空学报, 2016, 37(1):45-56. ZHAO D, LIU D X, SUN K W, et al. Research status, technical difficulties and development trend of strato-spheric airship[J]. Acta Aeronautica et Astronautica Sinica, 2016, 37(1):45-56(in Chinese). [7] EGUCHI K. Overview of stratospheric platform airship R&D program in Japan[C]//The Proceeding of First Stratospheric Platform System Workshop, 1999:9-21. [8] PETRONE F J, WESSEL P R. HASPA design and flight test objectives[R]. Reston, VA:AIAA, 1975:75-124. [9] 夏中贤. 平流层飞艇总体性能与技术研究[D]. 南京:南京航空航天大学, 2006:6-16. XIA Z X. Research on performance and technology of stratospheric airship[D]. Nanjing:Nanjing University of Aeronautics and Astronautics (in Chinese). [10] 连航. 影响安全苛刻系统可信性验证的检测方法关键技术研究[D]. 北京:北京航空航天大学, 2013:25-45. LIAN H. Research on key technology of test method for credibility validation of safety-critical system[D]. Beijing:Beihang University, 2013:25-45(in Chinese). [11] 王轶辰, 殷永峰, 刘斌. 航电设备软件系统测试过程研究[J]. 测控技术, 2014, 23(8):54-63. WANG Y C, YIN Y F, LIU B. Research on system test-ing procedure of software in aeronautics equipment[J]. Measurement & Control Technology, 2014, 23(8):54-63(in Chinese). [12] 张波, 陈岩申, 张桂芝. 外军电子自动测试系统及其相关技术的应用与发展情况研究[J]. 计算机测量与控制, 2002, 10(1):1-4. ZHANG B, CEHNG Y S, ZHANG G Z. Research on automatic test equipment (ATE) and technology of foreign army[J]. Computer Measurement and Control, 2002, 10(1):1-4(in Chinese). [13] 李行善, 左毅, 孙杰. 自动测试系统集成技术[M]. 北京:电子工业出版社, 2014. LI X S, ZUO Y, SUN J. Integrated technology for automatic test system[M]. Beijing:Publishing House of Electronics Industry, 2014(in Chinese). [14] CATHEY H M. The NASA super pressure balloon-A path to fight[J]. Advanced in Space Research, 2009, 44(1):23-38. [15] SMITH S, RAINWATER E L. Applications of scientific ballooning technology to high altitude air-ships[C]//Proceedings of AIAA's 3rd Annual Aviation Technology, Integration, and Operations Technology. Reston, VA:AIAA, 2003:1-8. [16] MASAHIKO O. Design and application of a stratospheric long endurance LTA platform:AIAA-2001-5266[R]. Reston, VA:AIAA, 2001. [17] YU D, YE G, LI X J, et al. Modeling and analysis of spacecraft testing information system based on workflow[J]. Journal of Wuhan University:Natural Science Edition, 2009, 55(2):211-215(in Chinese). [18] 柴霖. 临近空间飞行器测控与信息传输系统频段选择[J]. 航空学报, 2008, 29(4):1007-1012. CHAI L. Selection of work frequency for near vehicle TT&C and information transmission system[J]. Acta Aeronautica et Astronautica Sinica, 2008, 29(4):1007-1012(in Chinese). [19] 陈庆锋, 林广, 李申阳. 平流层飞艇视距及卫通一体化数据传输系统设计[J]. 遥测遥控, 2014, 35(4):20-25. CHEN Q F, LIN G, LI S Y. Design of stratosphere airship integrated data transmission system in horizon and satcom link[J]. Journal of Telemetry, Tracking and Command, 2014, 35(4):20-25(in Chinese). [20] WINSKEL G. The formal semantics of programing lan-guages:An introduction[D]. Massachusetts:MIT Press, 1993. [21] 甘晓华, 郭颖. 飞艇技术概论[M]. 北京:国防工业出版社, 2005:49-52. GAN X H, GUO Y. Introduction to airship technology[M]. Beijing:National Defense Industry Press, 2005:49-52(in Chinese). |