论文部分内容阅读
在简述分析技术的基础上,提出了以系统危险为基础的软件安全性与可靠性分析策略,并结合实例对这一策略的实际应用进行了深入探讨,旨在为实际的软件分析工作提供参考,保证软件分析结果的真实性与准确性。
软件可靠性和安全性技术研究
【摘 要】
：
在简述分析技术的基础上,提出了以系统危险为基础的软件安全性与可靠性分析策略,并结合实例对这一策略的实际应用进行了深入探讨,旨在为实际的软件分析工作提供参考,保证软件
【机 构】
：
辽宁省先进装备制造业基地建设工程中心
【出 处】
：
机电信息
【发表日期】
：
2020年20期
其他文献
【正】 本组112例患者均系1994年收治入院,其中男性103例,女性9例,最小年龄4岁,最大年龄71岁,所有患者均无血吸虫治疗史,本组病例均在5～9月份在长江或在青弋江游泳或嬉水而感
简要分析了冶金矿山企业变电站集控站自动化系统建设的必要性,详细阐述了集控站自动化系统建设要点。集控站自动化系统实现了变电站的分层、分级管理,提高了企业经济效益。
这对建筑工程价格管理具有十分重要的意义.建筑工程的价格稳定性在项目立项前期和建设过程中起着非常重要的作用.因此,我们需要严格控制住房建设过程的成本.我们在施工过程中
近日，外交部幼儿园举行了首次反恐演习。据韩汶梅园长介绍，除了有应对陌生人作案的方案外，该园也将“防家长作案”、“防内部人员作案”等列入了应对方案中。在演习现场，全园300
介绍了广东电网阳江供电局发生的一起110 k V变电站主变因呼吸器堵塞导致轻瓦斯保护动作的故障,以及发生故障的整个过程,通过表象和理论进行推断分析,并预想可能发生的其他情
本文主要分析了在新形势下老龄工作中常见的一些管理漏洞和存在问题,阐述了在当前形势下,加强老龄工作实施的重要性,针对目前老龄工作中存在的问题进行研究。笔者通过研究,总
教育家陶行知曾说过：“真正的教育是心心相印的活动，唯独从心里发出来的，才能达到心灵深处。”近几年的教育生涯，让我深深地感受到了这句话的真正含义。正是这种“心灵的契合，情感
硅整流多头电焊机,其焊机本身可当作一具有平持性的直流发电机,外接多头焊机的电阻箱可使其变为陡降特性,能供给12个焊工作手工焊接,电流调节范围能满足使用2—5m/m焊条。能