论文部分内容阅读
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵；然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试，系统解决了远程多管火箭炮火控系统软件安全性测试“难”“杂”“多”问题，有效提高了测试效率和质量，进一步确保了远程多管火箭炮火控系统的安全性。
远程多管火箭炮火控系统的软件安全性测试分析
【摘 要】
：
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵；然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试，系统解决了远
【机 构】
：
中国兵器工业信息中心
【出 处】
：
计算机科学
【发表日期】
：
2013年06A期
其他文献
为处理人工智能中不精确和不确定的数据和知识,Pawlak提出了粗集理论。之后粗集理论被推广,其方法主要有二：一是减弱对等价关系的依赖;二是把研究问题的论域从一个拓展到多个
为降低ROF模型的阶梯效应和高阶正则化方法对边缘的模糊,在对称张量空间中用二阶对称梯度构造正则项建立了新的图像去噪模型,并通过分析新模型的性质,给出了一种有效的原始-对偶算法。一方面,二阶对称梯度高于一阶导数的特性可以有效地降低阶梯效应;另一方面,二阶对称梯度模低于二阶导数模的特性能有效地保持图像的边缘等细节特征。数值仿真实验表明,新模型达到了理论分析的效果,新算法运算快捷、稳定。
考虑到应用于输电线路监测系统中的无线传感器网络在拓扑结构、网络流量上都呈现出新的特点,提出了一种混合式MAC协议,即在网络空闲时期使用X-MAC协议,在繁忙时期使用流水线
面向服务的计算是当前软件工程领域和软件产业界的研究热点之一.随着Web服务组合技术的广泛应用,服务间的行为交互日趋复杂,已存在的静态Web服务行为适配方法难以支持复杂Web
期刊
远程教育中的在线学习过程并非简单的资源检索过程,而是由一系列学习活动组成的。现有的远程教育平台往往过于注重教学内容呈现的个性化,而忽视了对学习者活动的引导。从教育
基于勒让德正交多项式,提出了一类新的核函数——勒让德核函数。在双螺旋集和标准UCI数据集上的实验表明,在鲁棒性与泛化性能方面,该核函数比常用的核函数（多项式核、高斯径向
在割序集（CSS）模型中,为了将由动态故障树（DFT）转换得到的CSS初级形式整理为最小割序集（MCSS）,提出了顺序失效符（SFS）的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立
迁移工作流是将移动agent计算模式应用于工作流管理的一项新技术。迁移实例（MI）、工作位置和迁移工作流管理引擎构成迁移工作流管理系统的三要素。其中,MI是以移动agent为计算
移动汇聚节点用于无线传感网络信息采集,可以提高网络能效性,延长网络生命期。研究了四轴飞行器携带移动汇聚节点,该节点可采集地面无线传感网数据。通过分析汇聚节点空中移
近年来，为了解决推荐系统的用户冷启动问题，信任推荐技术得到了长足发展。然而，传统的信任推荐技术在处理信任关系上比较粗糙。基于信任环的推荐思想严格控制了信任度对推荐结果