论文部分内容阅读
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．
软件模型检测新技术研究
【摘 要】
：
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．
【机 构】
：
江西省高性能计算技术重点实验室,江西师范大学计算机信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2007年36期
【基金项目】
：
国家重大基础研究前期研究专项（973计划）（2003CCA02800）,国家自然科学基金项目（60273092）,江西省教育厅科技项目（2005-90）
其他文献
目的评价蚊香类卫生杀虫剂的安全性.方法委托检验30种蚊香类卫生杀虫剂,按GB 15670-1995农药登记毒理学试验方法,急性经口 、吸入毒性试验,家兔眼刺激试验及家兔皮肤刺激试验
目的 讨论微创经皮肾穿刺输尿管镜取石术（mini—PCNL）的疗效及安全性。方法 对10例接受mini—PCNL患者的临床资料进行回顾性分析。结果 10例患者中8例成功行一期取石，二例行2期
为了提高关联存取路径的效率，选择B＋树作为存取路径的数据结构，给出了存取路径的B＋树描述；结合事务的ACID特性，论述了利用信号量、日志和相关技术的B＋树存取路径的实现算法，特别是节
目的分析连续细致化护理模式对妊娠高血压患者剖宫产后自我效能感、心理状态及母乳喂养率的影响。方法选取2018年3月至2019年5月南阳市第一人民医院收治的93例妊娠高血压妇女
以Facebook创始人马克·扎克伯格为原型的电影《社交网络》是2010年奥斯卡和金球奖的最佳原创配乐获奖作品。文章从影片的原创配乐及打光方面分析这部影片,探讨配乐及打