【摘 要】
：
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系.总结了4种传统测评方法评估高防
论文部分内容阅读
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系.总结了4种传统测评方法评估高防危性需求软件的局限性.研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证.最后就该领域内的相关工作及发展方向进行了展望.
其他文献
关于柴窑的问题,也是陶瓷界老生常谈的话题,本刊在2014年曾经做过《揭开柴窑神秘的面纱》系列报道,2017年本刊第五期的卷首语中再次刊发《柴窑爱你不容易》,备受陶瓷界和读者
目的:观察加味调气饮联合止痛灌肠汤对功能性肛门直肠疼痛(FAP)患者疼痛程度及生活质量的影响。方法:将FAP患者78例按照随机数字表法分为两组各39例,对照组予止痛灌肠汤治疗,
鉴于高速公路项目融资的特点,风险的合理分担和控制方式是影响其融资成败的关键因素之一。如何在高速公路项目融资方案选择时有效防控融资风险,成为业内专家学者和实际管理人
将图像和几何模型相结合,对于需要操纵和改变外观轮廓形状的目标视景采用基于几何模型的方法建模,对于环境视景采用基于图像(IBR)的方法建模,并对这两种模型进行图像合成,实现的场景既具有很好的真实感,又具有很好的实时性和可操纵性。实现了一个图像和几何模型相结合的虚拟视景系统,介绍了系统的结构、目标视景三维模型生成、环境视景全景图的拼合及虚拟场景图像合成与显示等关键技术。
我们在"企业价值评估"课程教学中一直在探索最新业态的价值评估方式,以苹果、小米、乐视网为代表的互联网企业提出生态系统概念,吸引了市场关注,获得市场高估值水平,但是号称
智能车辆作为智能交通系统的关键技术,是许多高新技术综合集成的载体。智能车辆的一个非常重要的研究课题就是在城市道路交通环境下如何避免行人被车辆碰撞。总结了基于计算机视觉的行人检测的现有的主要技术,针对摄像机在交通视频监控系统中的静止情况,以及在智能车辆上的运动情况下的行人检测算法及其性能进行了评述和比较,并分析了当前行人检测技术的研究现状,指出了存在的问题和研究前景。
近年来的大量研究表明,传统的泊松模型无法准确地描述实测网络通信量中的突发性,而自相似模型可以较好地刻画突发性[1].排队论的方法很适合用来进行网络建模.针对WWW通信量的
1病例介绍张某,男,1岁6个月,2019年12月8日初诊。发热伴喘息2天,加重1天。患儿家属诉2天前患儿因受凉后出现发热,最高体温达39℃。口服头孢克肟颗粒25 mg,日2次,氨溴特罗口服
利用SeaSPY型高分辨率磁力探测系统在南海东部海域进行海底光缆调查,在荔湾3-1气田平台场址和管线路由光缆跨越点调查中,成功地找到了数条与预定管线路由跨越的海底光缆;在流花11-1E-1井场工程物探光缆调查中,也获得了井场附近海底光缆的准确可靠位置。如何有效控制磁力拖鱼离海底被调查目标的高度成为调查的关键,对此本文进行了深入的讨论,另外对SeaSPY磁力调查过程中的其它外部影响因素也进行了分析。
未足月胎膜早破(preterm premature rupture of membranes,PPROM)是指妊娠37周前发生的胎膜破裂,易引起急性绒毛膜羊膜炎、羊水过少、早产、胎儿窘迫、新生儿呼吸窘迫综合征