论文部分内容阅读
载人航天工程等国家重大科技工程对软件安全性有着很高的要求。软件安全性技术在这些工程领域也在逐步得到推广应用。首先分析了软件安全性的概念,然后介绍了目前工程中主要应用的软件安全性技术,最后结合工程实际情况给出了一个软件关键等级的确定方法。
软件安全性技术在工程中的应用
【摘 要】
：
载人航天工程等国家重大科技工程对软件安全性有着很高的要求。软件安全性技术在这些工程领域也在逐步得到推广应用。首先分析了软件安全性的概念,然后介绍了目前工程中主要
【机 构】
：
中国载人航天办公室,北京计算机技术与应用研究所
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年20期
其他文献
摘要：现势性是衡量空间数据质量的一个主要指标。为了保持空间数据的现势性,则需要对地理空间数据库进行持续更新。当前地理空间数据库因获取方式、用户需求等差异包含多种比
目的:探讨花姜酮(zerumbone)对人胰腺癌细胞株BxPC-3和Panc-1迁移和侵袭的影响及其相关基因的表达。方法:以BxPC-3和Panc-1为研究对象,通过四甲基偶氮唑盐(MTT)实验选择毒性
<正>深圳宝安国际机场T3航站楼南北长1128m、东西宽640m,建筑面积达55万m2左右,为目前国内最大单体面积的航站楼之一。T3航站楼主体结构采用钢筋混凝土框架结构,整个航站楼的
日前,我有幸拜读了姚本先教授等新著的<学校心理健康教育导论>,深感这是一部对学校心理健康教育工作具有很强指导意义的理论著作.
近年来随着氮化镓器件制造工艺的迅速发展,氮化镓高电子迁移率晶体管（GaN HEMT）已经开始应用在电力电子领域。GaN HEMT以其低寄生参数、无反向恢复损耗、高开通速度等特点,可降
在考虑电子器件寄生参数及电感电流纹波的情况下,运用三端开关器件模型法和能量守恒法对Boost变换器工作于CCM模式下的精确建模进行研究,推导了大信号等效电路模型、稳态等效
研究了不同温度对西荞一号、金荞麦、细柄野荞、川荞麦种子发芽的影响,主要试验了发芽势、发芽率、发芽指数几项重要指标。结果表明:西荞一号、川荞麦和细柄野荞种子发芽的较
该文对Office作业自动批阅系统进行了研究,首先简单地介绍了各功能模块及其相互关系,然后介绍了实现各功能模块的可行技术方案,以及各自的优缺点,最后提出了该系统的设计思路
目的 探讨责任制助产护理联合导乐镇痛仪对阴道分娩产妇心理状态、产程及妊娠结局的影响.方法 选取2017年3月至2019年1月在修水县第一人民医院进行阴道分娩的产妇92名,按照随
孔子是伟大的教育家,被称为我国的第一位私人教师,他首创的“因材施教”思想也深受后人推崇。虽然孔子和我们所处的时代截然不同,但“因材施教”思想经过历史的演进与发展,对