五十载春秋建功飞航——贺《飞航导弹》创刊五十周年

在中国共产党成立一百周年和中国航天科工三院成立六十周年之际,《飞航导弹》期刊迎来五十华诞.五十年风雨兼程,《飞航导弹》期刊始终致力于报道国外飞航武器系统最新前沿发展,开启了一扇能及时有效了解世界先进导弹武器装备新动态、新发展的窗口,发挥了传播飞航知识、孕育飞航力量、培养飞航人才的作用. 《飞航导弹》是由中国航天科工集团...     

基于砂浆收缩抗裂性能的混凝土纤维选型研究

提出了水泥混凝土用纤维选型的原则和要求,在此基础上,基于水泥砂浆收缩抗裂性能,通过定性和定量试验分析,对混凝土用理想纤维类型及其长度、掺量范围进行了研究.研究结果表明,与聚丙烯纤维、耐碱玻璃纤维和玄武岩纤维相比,聚丙烯腈纤维提高砂浆收缩抗裂性能的效果最佳;在纤维长度相同或掺量相同的情况下,增加纤维掺量或增大纤维长度,将提高砂浆的抗裂性能.最后,推荐纤维的合理选型为:聚丙烯腈纤维长20～25mm,掺量为每立方米混凝土中加入纤维约0.8～1.4 kg.     

软件安全性测试方法与工具

软件的应用越来越广泛,规模和复杂度不断提高,软件中的安全缺陷与漏洞也在不断增多,软件安全性问题日益突出.软件安全性测试是保证软件安全性、降低软件安全风险的重要手段.论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向.     

信息流安全特性的语义模型研究

以通信顺序进程为语法基础,结合信息安全模型对安全特性的约束,介绍并分析了几种针对信息流安全特性的语义描述,并提出了信息流安全的单向特性,对其进行了相关安全特性的证明,以期对正确标识合法信息流问题进行探讨,用于正确区分存在的不合法信息流,作为解决隐通道问题的理论依据,从理论分析的角度,尝试解决信息安全的根本性问题.     

平流层飞艇表面太阳辐射量分布的分析研究

针对太阳辐射量在平流层飞艇外表面分布问题,研究一种计算分析方法。基于该方法,建立沿飞艇经线长度方向进行网格划分的几何模型和太阳辐射量计算的物理模型,提出一种太阳辐射量分布的比较分析方案。使用该方案,针对典型飞艇进行计算分析,量化得出不同飞行日期沿经线长度方向太阳辐射量分布的结果,并比较分析不同飞行日期各经线位置间太阳辐射量分布的不一致性,研究结果可用于指导进行太阳电池的优化布局和阵列构型。     

一种基于指纹的身份认证系统方案

给出了一种基于指纹的身份认证系统方案,该方案采用USB Key指纹锁获取用户指纹,在Schnorr身份认证协议的基础上,将指纹特征融入其中,实现了客户端与服务器的双向认证,具有了更高的安全性。通过假冒、重放等攻击对系统安全性进行分析,证明了系统的安全可行。最后描述了系统计算效率和开销,说明该系统便于实施和维护。     

基于项目反应理论自适应测试系统的设计实现

根据自适应学习的特点,对项目反应理论的参数模型进行分析,提出极大似然估算法计算学习者能力参数。并在分析自适应测试系统的体系结构及系统主要功能模块的基础上,构建该测试系统;并提出了测试系统中首题估算策略、信息间隔量估算策略,从而提高出题速度和计算速度;并根据学习者的实际测试情况得出难度系数和特征水平,实现了难度系数算法和学习者特质水平计算算法。在此基础上开发了一个基于计算机应用基础课程的自适应测试系统。     

基于偏差分析的航空装备软件费用控制方法

针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目费用和进度的实施情况,当费用或进度偏离计划时,能够及时发现项目研发中存在的问题并采取策略进行调整,有效实现了软件费用和进度的监控与管理。     

改进的多频道付费数字电视管理方案

通过对Chong Hee Kim方案的改进,提出了一种多频道的付费数字电视用户管理方案,用户可以分别订购不同的频道,即每个频道有不同的频道密钥,并各自对用户收费。该方案在用户端只须秘密存储一个密钥,就可以订制不同的频道,提供了撤消用户订购频道的功能,可以在需要时恢复用户订购的原频道。使用黑盒盗版追踪的方法,阻止了用户主动泄漏自己的私钥给他人。     

航天地面应用系统联调测试平台设计

由于航天地面应用系统是分工协作开发的大型系统,接口复杂多样,在系统集成与联试时往往花费较多的人力物力。因此提出了一种辅助航天地面应用系统进行系统集成联试的工具一联调测试平台。首先针对联调测试平台设计中需要解决的问题给出了解决方法。然后阐述了联调测试平台的功能特点和体系构架及其所使用的关键技术,并给出了软件的设计实现。