函数依赖似然不变量发现方法研究

来源 :现代计算机:下半月版 | 被引量 : 0次 | 上传用户:liongliong454
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获取的。以数据库理论为基础.将不变量形式分为函数依赖不变量和非函数依赖不变量,提出了函数依赖不变量动态发现方法,解决了目前试探法具有盲目性和效率不高的问题。
其他文献
探讨了快速化学气相沉积(CVD)过程中球状热解碳的形成机制,实验发现,当沉积温度950℃,炉压6.6kPa,沉积气体流量小于0.1m^3/h时,形成层状热解碳,而沉积气体流量为0.4~0.8m^3/h形成球状热解碳,热解碳形貌随工艺条件的变化
Background: Obesity in pediatric ALL survivors is a well recognized late effect. Hence the present study examines the BMI-for-age of Indian childhood ALL and NH
从安康市汉滨区共进镇魔芋种植发展实际出发,简要阐述了该镇魔芋产业发展的现状,剖析了种植过程中存在的实际问题,针对存在问题提出了针对性很强的建议对策,供辖区内种植户参考借
本文主要介绍了汤河水库自动化监测系统软件系统的结构、功能以及简单的日常维护。
在C语言中有一个强制类型转换运算符,它为C语言中的数据类型转换带来很大的方便,它不仅可以在不同类型数据之间进行赋值,在运算中发挥强大的作用,还可以运用在其他方面产生特
智能灌溉可以充分掌握并科学运用采集到的农田土壤水分、环境温度和湿度等信息,实现适时、适量灌溉与远程管理,其应用与推广有助于农业生产、农村发展和农民增收,而采用物联网监
本文先解析了气象与现代农业生产的关系,介绍了仙游县现代农业发展现状及对气象需求,并就开展现代高效农业气象服务的思路和方法,从加大农业气象服务投入力度、建立现代农业
园林是一种文化现象。园林的种植设计被当代人视为一项重要的瑰宝。在进行园林设计时,不仅要考虑其美观性、科学性和经济性,还应当注意将其与社会效益和生态效益有效地结合起来
"安全管理学"是安全工程专业教学指导委员会明确的专业基础课之一,课程涵盖内容多,涉及面广,课程体系建设处于探索中,教学内容的组织在不同类型高校差异较大,要提高课程的教
汽车导航系统中最短路径是一定特殊性的搜索问题,不能简单套用图论中的最短路径问题的算法。在此运用Dijkstra算法的原理,利用逐步求证的推理方法,同时考虑进行最短路径计算所需