软件密集型装备故障的静态检测

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:qczjhyt
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件密集型装备是指软件和硬件肾密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发.本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序.
其他文献
假性球麻痹又称假性延髓麻痹或中枢性延髓麻痹,属中医学"中风"范畴,类似于"喑俳"、"喉痹",多为本虚标实.西医目前对本病尚无有效的治疗方法.中医针灸治疗对本病有着良好的疗
腹腔镜手术属微创手术,相对于开腹手术,其具有创伤小、出血少、恢复快、住院时间短等优点[1-3], 但在手术时间、手术器械和手术费用方面并不占优势,而免气腹腹腔镜手术(悬吊
本文通过对原运输平车轮对的不足进行分析,进而研制出适合我矿运输支架的平车轮对。 In this paper, by analyzing the shortcomings of the original transport flat wheel
网络技术在近几年中得到迅猛的发展,而网络信息资源的泛滥与管理的无序,导致网上存在大量的虚假信息,不良信息和不健康的信息,甚至产生一些违法行为。本文对网络信息资源管理
1999年1月至2004年1月间我院共完成低位直肠癌全直肠系膜切除术(total mesorectal excision,TME)107例,其中行低位前切除术(low anterior resection,LAR)64例,腹会阴联合切除
目的 观察双腔起搏器自动房室间期搜索功能(AV Search)减少心室起搏的有效性及对血流动力学和快速房性心律失常的影响.方法 对两种DDD/R起搏器97例(有AV Search功能47例,无AV
目的 有效合理地利用医院资源,降低科室的平均住院天数,提高床位的周转率.方法 推出全国首个为候床住院病人入住的"院前公寓"配置管理新模式.院前公寓实施后的相关数据与实施
为了加快消防信息交流速度,保证消防信息畅通,消防部队也在利用先进的通信传输技术组建综合视频、语音和数据的会议电视网络,来提高网络资源的利用率和办公效率,减少会务费用,增进沟通。文章针对目前消防部队远程教育培训系统建设中对系统设计存在的不足,重点阐述远程教育培训系统安全上存在的问题及对策,对消防部队远程教育培训系统设计过程中应注意的安全性、可靠性设计等方面进行了探讨。
小区物业管理在管理中尚存在收费难,满意度不高等问题,要解决以上问题,必须提高从业人员素质,建立健全更完善的物业管理法规.这样才能使重庆市小区物业管理工作更顺利的进行.
心脏作为全身血液循环的中枢,在神经系统的控制下与肾脏共同调节机体血循环和稳定的血流动力学。不论是生理状态下还是病理状态下,心脏和肾脏是有着复杂联系的整体。充血性心