论文部分内容阅读
本文结合某可靠性苛求模块检测的实际需求，抽象出存储为主的模块的概念和特点，并在其基础上分析了BMC方法的适用性，给出了以BMC为核心的针对存储为主的模块的优化检测方法及其实现。最后以测试数据说明了其有效性。
针对存储为主的模块的一种软件模型检测方法
【摘 要】
：
本文结合某可靠性苛求模块检测的实际需求，抽象出存储为主的模块的概念和特点，并在其基础上分析了BMC方法的适用性，给出了以BMC为核心的针对存储为主的模块的优化检测方法及其实
【机 构】
：
北京交通大学计算机与信息技术学院
【出 处】
：
第二十四届全国信息保密学术会议(IS2014)
【发表日期】
：
2014年期
其他文献
江南,每到秋后及春天,有兰贩在花市卖山野挖来的春兰生草(又叫落山兰)。这种兰草价格低廉,但若能留心挑选,也能挑到上品。价廉的生草多是有蕾无花的,甚至无蕾无花的哑巴草,
现实社会中,90%以上的女性如果发现自己生病了都会在第一时间前去医院检查,而男人则正好恰恰相反,因为对于男人来说这些问题永远都不叫个问题。因为男人好面子,医院是不
In
本文就综合货运量大小、系统效率、工程投资,以及投产后营运管理的经济效果来论证选用煤炭出口专用码头的卸车工艺系统。 一、煤码头卸车系统简况 长江大宗煤炭出口码头的卸
本文就电磁泄漏发射分析的原理，采集装置及分析方法做了系统的描述，介绍了差分电磁分析、相关性电磁分析以及电磁模板分析方法及其演进。
本文首先对主流即时通信系统会话数据分析的基础上，归纳主流即时通信协议的主要特点，深入分析即时通信协议数据中包含的内容和价值，提出一种基于纹理特征的特征发现技术，有助于加
沈阳是一座历史文化名城,已有2300余年的建城史,沈阳一名自元代至今已经沿用了700余年。关于沈阳名称的由来,现在通行的说法是来源于沈水:辽金沈州即因沈水而得名,元代时在此
提出了利用离散混沌系统联合加密来实现保密通信的方法。引用了著名的 Henon和 L orenz混沌系统作为仿真实验证明了其可行性 ,混沌系统均采用 backstepping和 dead- beat同步
苍颉,汉字的鼻祖,为中华文化做出了巨大的贡献,被世人所称颂。苍颉去世后,长眠在古老的豫东平原上。墓周茶菊丛生,金秋盛
Cang Jie, the originator of Chinese characters
目前的Android手机上普遍集成了多种传感器,包括摄像头,麦克风等需要申请相应的权限才能使用的传感器,我们称之为"敏感型传感器",也包括加速度计,磁力计等不需要申请权限就能