【摘 要】
：
在安全关键软件中,任何微小的程序故障都可能造成巨大的经济损失和人员伤亡.数值溢出故障是程序运行过程中出现的一种错误,但一般编译器不能直接检测出来.笔者针对C语言中的
论文部分内容阅读
在安全关键软件中,任何微小的程序故障都可能造成巨大的经济损失和人员伤亡.数值溢出故障是程序运行过程中出现的一种错误,但一般编译器不能直接检测出来.笔者针对C语言中的数值溢出问题进行了分析,研究了数值溢出故障的出现情况,分析了数值溢出故障的模型,并基于故障模型设计了一种数值溢出故障的静态检测方法.
其他文献
本文主要介绍目前在变电站综合自动化系统方面存在的问题,如建设模式的弊端、专工分工和技术不完善问题,并针对问题提出了建议。
This article mainly introduces the exist
目的探讨雌性激素对绝经期女性心绞痛患者的辅助治疗作用及机制.方法60例冠心病心绞痛患者随机分为治疗组和对照组,两组均给予相同的扩冠、抗凝、降脂等基础治疗,治疗组加用
火灾一直是困扰幕墙设计的一个难题,如何提高幕墙的耐火极限,延长幕墙抵御火灾的时间,设计师一直都在努力着。本文就南京奥林匹克体育中心游泳馆防火幕墙工程进行剖析,阐明防
目的探讨布氏杆菌性脊椎炎MR影像学特点,以便提高该病的诊断.方法本组16例均MR检查,病灶均分布腰椎,其中L4发病率最高,16例血清试管凝集法滴度均于1∶160.结果1例外院误诊脊
目的探讨中西医结合治疗在老年细菌性阴道炎的治疗方法及其效果.方法回顾性分析64例老年细菌性阴道炎患者的临床资料,对照组32例采用西医治疗方法治疗;观察组32例在对照组治
目的观察喘可治佐治小儿毛细支气管炎的疗效.方法选择确诊为毛细支气管炎的患儿74例.随机分为治疗组36例,对照组38例.对照组按常规治疗,治疗组在常规治疗的基础上加用喘可治
目的评价更昔洛韦治疗疱疹性口腔炎的疗效.方法将50例疱疹性口腔炎患儿随机分为两组,治疗组和对照组,治疗组用更昔洛韦治疗,对照组用利巴韦林治疗,观察两组病人发热持续的时
介绍了基于规则的数据挖掘算法选择机制的模型.首先针对系统模型进行了详细的阐述,然后通过对该系统的分析确定了该系统的组织结构,并通过分析产生式规则的拓扑结构,根据基于
冷战结束以后,受到世界和平与发展总趋势的影响,东北亚秩序也正处在发展变化之中.以美国为中心的亚洲秩序,正在发生变化,不属于美国的"中心和轮辐"体系的中国,对亚洲国家的影