排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。 相似文献
3.
数据在不同格式和应用程序之间的迁移通常不只是数据格式之间的简单转换,转换常常包含很多复杂的部分,最终结果很可能与目标系统的需求不匹配,为了保留数据的关键部分,将其无损地加载到目标应用程序中,可能需要调整数据模型、内容、描述信息或坐标系统,而FME软件对此可提供良好的解决方案.本文探索和研究FME软件在GIS数据处理中的一些典型应用,经多个项目验证,FME在数据处理及转换中发挥了便捷、快速、高效、灵活的特点,在提高GIS数据处理作业效率、增强数据质量检查准确度、降低数据更新维护成本等方面发挥了重要作用. 相似文献
4.
5.
6.
随着二氧化碳排放的不断增加造成的温室效应加剧,节能减排背景下的低碳经济模式已成为全球共识,而低碳经济的发展也带动了碳金融的蓬勃发展。商业银行作为不可缺少的中介机构,在推动碳金融业务发展中的作用不容忽视,而支持低碳经济发展和开展碳金融业务也已成为国内外商业银行新的业务增长点。通过分析我国商业银行发展碳金融业务的意义及当前存在的问题,指出国内商业银行应抓住机遇向碳金融领域拓展,并就商业银行如何拓展碳金融业务提出了建议。 相似文献
7.
通过阴离子开环聚合和配位开环聚合合成了两亲性四臂星型聚合物PEO4-PCL4。核磁氢谱和凝胶渗透色谱(GPC)结果显示,合成的聚合物结构和相对分子质量与设计的相符。胶束粒径测定结果表明,随着温度升高,胶束粒径逐渐增大。对溶胶-凝胶相转变温度的测定发现,聚合物在人体温度附近发生溶胶-凝胶相转变。对载药水凝胶在磷酸盐溶液中的释放行为进行了研究,药物释放呈现先快-后慢的整体释放现象,随着疏水性链段相对分子质量的增加,药物的释放速率减缓,累积释放率降低。 相似文献
1