切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
函数依赖似然不变量发现方法研究
函数依赖似然不变量发现方法研究
来源 :现代计算机:下半月版 | 被引量 : 0次 | 上传用户:liongliong454
【摘 要】
:
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获取的。以数据库理论为基础.将不变量形式分为
【作 者】
:
刘杰
【机 构】
:
南华大学计算机与科学技术学院
【出 处】
:
现代计算机:下半月版
【发表日期】
:
2008年5期
【关键词】
:
程序不变量
函数依赖
不变量动态发现
Program Invariants
Function-Independent
Dynamically Discove
【基金项目】
:
湖南省自然科学基金项目(No.05JJ30117)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获取的。以数据库理论为基础.将不变量形式分为函数依赖不变量和非函数依赖不变量,提出了函数依赖不变量动态发现方法,解决了目前试探法具有盲目性和效率不高的问题。
其他文献
快速CVD过程中球状热解碳的形成机制
探讨了快速化学气相沉积(CVD)过程中球状热解碳的形成机制,实验发现,当沉积温度950℃,炉压6.6kPa,沉积气体流量小于0.1m^3/h时,形成层状热解碳,而沉积气体流量为0.4~0.8m^3/h形成球状热解碳,热解碳形貌随工艺条件的变化
期刊
快速CVD
球状热解碳
形成机制
复合材料
rapid CVDspherical pyrolytic carbonformation mechanism
Post-Therapy Profile of BMI-for-Age of Indian Survivors of Pediatric Acute Lymphoblastic Leukemia an
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
期刊
Body
Mass
Index
Children
INDIAN
Acute
LYMPHOBLASTIC
Leukemia
Non-Hodgkin’s
Lymph
浅析汉滨区共进镇魔芋产业发展存在的问题及对策
从安康市汉滨区共进镇魔芋种植发展实际出发,简要阐述了该镇魔芋产业发展的现状,剖析了种植过程中存在的实际问题,针对存在问题提出了针对性很强的建议对策,供辖区内种植户参考借
期刊
共进镇
魔芋
发展现状
问题
对策
汤河水库大坝自动化监测系统的软件应用
本文主要介绍了汤河水库自动化监测系统软件系统的结构、功能以及简单的日常维护。
期刊
自动化
监测系统
测压管
C语言教学中强制类型转换运算运用探讨
在C语言中有一个强制类型转换运算符,它为C语言中的数据类型转换带来很大的方便,它不仅可以在不同类型数据之间进行赋值,在运算中发挥强大的作用,还可以运用在其他方面产生特
期刊
强制类型转换运算符
表达式
数据类型
Compulsory Type Conversion Operator
Expression
Data Type
泓森田管家面向智能灌溉的农业物联网技术
智能灌溉可以充分掌握并科学运用采集到的农田土壤水分、环境温度和湿度等信息,实现适时、适量灌溉与远程管理,其应用与推广有助于农业生产、农村发展和农民增收,而采用物联网监
期刊
田管家
智能灌溉
农业物联网技术
智慧农业
论地面气象观测如何更好地为现代农业服务
本文先解析了气象与现代农业生产的关系,介绍了仙游县现代农业发展现状及对气象需求,并就开展现代高效农业气象服务的思路和方法,从加大农业气象服务投入力度、建立现代农业
期刊
仙游
现代农业
气象服务
思路方法
探析城市环境建设下的园林种植设计及其保护工作
园林是一种文化现象。园林的种植设计被当代人视为一项重要的瑰宝。在进行园林设计时,不仅要考虑其美观性、科学性和经济性,还应当注意将其与社会效益和生态效益有效地结合起来
期刊
城市环境建设
园林
种植设计
问题
保护
“安全管理学”课程体系改革与教学实践
"安全管理学"是安全工程专业教学指导委员会明确的专业基础课之一,课程涵盖内容多,涉及面广,课程体系建设处于探索中,教学内容的组织在不同类型高校差异较大,要提高课程的教
期刊
"安全管理学"
课程体系
教学实践
"Safety Management"course systemteaching p
搜索算法在汽车导航系统中的应用
汽车导航系统中最短路径是一定特殊性的搜索问题,不能简单套用图论中的最短路径问题的算法。在此运用Dijkstra算法的原理,利用逐步求证的推理方法,同时考虑进行最短路径计算所需
期刊
汽车导航
DIJKSTRA算法
最短路径
Car Navigation System
Dijkstra Algorithm
Shortest Path
与本文相关的学术论文
函
数
依
赖
似
然
不
变
量
发
现
方
法
研
究
基于GEP的
函
数
型
似
然
程序
不
变
量
发
现
方
法
关系
数
据库中
函
数
依
赖
和近
似
函
数
依
赖
的
发
现
一种
函
数
依
赖
程序
不
变
量
动态检测
方
法
粗糙
函
数
依
赖
的近
似
度
量
位模式下粗糙
函
数
依
赖
近
似
度
量
的
研
究
基于抽象解释的非
函
数
依
赖
不
变
量
的检测
方
法
基于近
似
函
数
依
赖
的批处理模式挖掘
方
法
研
究
一种增
量
发
现
条件
函
数
依
赖
的算
法
动态检测非
函
数
依
赖
程序
不
变
量
非
函
数
依
赖
程序
不
变
量
动态检测技术
研
究
一种
发
现
函
数
依
赖
集的
方
法
及应用
XML
函
数
依
赖
研
究
XML
函
数
依
赖
研
究
函
数
依
赖
发
现
算
法
的通用并行策略
研
究
概率
数
据库中近
似
函
数
依
赖
挖掘算
法
大规模分布式
函
数
依
赖
发
现
算
法
研
究
与实
现
函
数
依
赖
与多值
依
赖
的再
研
究
基于GEP的指
数
函
数
型程序
不
变
量
发
现
方
法
研
究
基于
数
据
依
赖
的高维大
数
据相
似
性度
量
方
法
研
究