【摘 要】
：
安全性苛求系统由于其行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统的软件在开发时规定要采取一系列
论文部分内容阅读
安全性苛求系统由于其行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施,到形成产品后,软件内部缺陷的暴露都是一些小概率事件,如果仅仅依靠测试数据进行安全性定量评估,由于测试开销的限制,依据似感不足.本文提出一种多元、多模型、多阶段进行安全性评价的方法.在系统开发和运用的不同阶段,从不同角度,利用历史的和当前的数据,依靠客观和主观的判断,对系统的安全性进行评价,希望较完整地反映系统的安全性.
其他文献
红脂大小蠹是来自北美的外来林业有害生物。1998年在山西省首次发现。1999年底，该虫在山西、河北、河南三省相继大面积发生，个别地区油松死亡率高达30%;红脂大小蠹对生态环境、经济发展和造林绿化成果造成了巨大损失。 1红脂大小蠹发生情况 2017年凌源市在松树排查中发现了疑似全国检疫性林业有害生物红脂大小蠹，专家鉴定确定为红脂大小蠹。各级对此非常重视，邀请专家现场鉴定，研判疫情发展势态，商讨防
从应用型技术型人才的培养目标出发,针对油气储运技术学生在油气管道输送课程学习过程中存在的基础较差、学习兴趣不高、认为学校学的知识大多'无用武之地'等问题,通
摘 要 通过对大学英语和双语教学的研究，引入ESP教学，实施教学模式改革，缓解二者现有的矛盾，不仅能有效提高学生的英语水平，同时也是促进中国学生迈向国际社会的重要途径。本文分析了我国目前的大学英语教学与双语教学现状，并对现状做出思考，这样可以找出目前学生的学习难点，并根据这些难点做出相应的教学调整。由于我国的教育资源不太均衡，使得不同地区的学生英语水平存在差异，以及现今社会对于英语人才的需求逐年增
目的探讨在慢性肛裂手术治疗中后位部分切开肛门内括约肌的长度及有效性和安全性。方法50例慢性肛裂患者随机分为A、B两组，全部患者均施行肛裂切除术加开放式肛门内括约肌后位
采集市场上几种常见的有籽葡萄及无籽葡萄品种样本,采用有机溶剂提取法进行原花青素的提取,利用铁盐催化比色法测定葡萄籽及葡萄皮中原花青素的含量。结果显示在有籽葡萄中,
初中政治课对学生形成正确的世界观、价值观、人生观非常重要。在初中政治课堂中应用问题教学法,可以促使学生学会自主探究式学习,有助于提升学生的综合素养。本文就目前初中
目的探讨食管癌、贲门癌术后功能性胸胃排空障碍（FDGE）的发病原因，诊断和治疗。方法1998年8月至2008年5月共完成食管癌、贲门癌切除、胃代食管术329例，术后发生胸胃排空障碍11例，
汤立号借闲堂主，于1947年出生于湖北省武汉市，现为国家一级美术师、中国美术家协会会员、中国现代文化研究中心研究员。汤立先生从事中国画艺术达三十余年，其大写意花鸟作品格调