论文部分内容阅读
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．
软件模型检测新技术研究
【摘 要】
：
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．
【机 构】
：
江西省高性能计算技术重点实验室,江西师范大学计算机信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2007年36期
【基金项目】
：
国家重大基础研究前期研究专项（973计划）（2003CCA02800）,国家自然科学基金项目（60273092）,江西省教育厅科技项目（2005-90）
其他文献
目的评价蚊香类卫生杀虫剂的安全性.方法委托检验30种蚊香类卫生杀虫剂,按GB 15670-1995农药登记毒理学试验方法,急性经口 、吸入毒性试验,家兔眼刺激试验及家兔皮肤刺激试验
手术室是职业危险的高危科室之一，尤其是急诊手术。据美国疾病控制中心报道。每年至少发生100万次针刺伤．被刺伤人员中护士占80％。针刺伤可引起20余种血源性疾病的传播，并导致严
目的 讨论微创经皮肾穿刺输尿管镜取石术（mini—PCNL）的疗效及安全性。方法 对10例接受mini—PCNL患者的临床资料进行回顾性分析。结果 10例患者中8例成功行一期取石，二例行2期
为了提高关联存取路径的效率，选择B＋树作为存取路径的数据结构，给出了存取路径的B＋树描述；结合事务的ACID特性，论述了利用信号量、日志和相关技术的B＋树存取路径的实现算法，特别是节
目的分析连续细致化护理模式对妊娠高血压患者剖宫产后自我效能感、心理状态及母乳喂养率的影响。方法选取2018年3月至2019年5月南阳市第一人民医院收治的93例妊娠高血压妇女
带状疱疹，祖国医学称为“缠腰火丹”，俗称“蜘蛛疮”，病因与水痘为同一种水痘带状疱疹病毒所引起。笔者于门诊诊治1位4次反复发作带状疱疹的患者，现报道如下。
以Facebook创始人马克·扎克伯格为原型的电影《社交网络》是2010年奥斯卡和金球奖的最佳原创配乐获奖作品。文章从影片的原创配乐及打光方面分析这部影片,探讨配乐及打
目的了解鲤城区中小学生肺结核感染情况，为今后进一步发现传染性肺结核病人，控制传染源，切断传播途径提供线索。方法采用PPD皮试的方法，对鲤城区2004年22533名中小学生进行皮试并