检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于依赖分析的贝叶斯网络结构学习算法

模式识别与人工智能 2006年第4期19卷 445-449页

作者：胡学钢胡春玲合肥工业大学计算机与信息学院合肥230009

贝叶斯网络是不确定性环境下知识表示和推理的有效工具之一。现有的贝叶斯网络结构学习算法不同程度地存在学习效率偏低的问题,为此,本文提出一种高效而且可靠的贝叶斯网络结构学习算法ISOR。首先使用最大生成树算法和启发式切割集搜索... 详细信息

贝叶斯网络是不确定性环境下知识表示和推理的有效工具之一。现有的贝叶斯网络结构学习算法不同程度地存在学习效率偏低的问题,为此,本文提出一种高效而且可靠的贝叶斯网络结构学习算法ISOR。首先使用最大生成树算法和启发式切割集搜索算法以确定网络中所有可能的边,然后结合碰撞识别方法和启发式打分-搜索方法识别出所有边的方向,最后进行冗余边检验。与当前基于依赖分析的其它算法相比,该算法有效降低条件独立性检验的次数和阶数。算法分析和应用于Alarm网络的实验结果均表明,算法ISOR具有良好的性能。

关键词：贝叶斯网络结构学习依赖分析打分-搜索

在线全文

学校读者我要写书评

暂无评论

依赖分析在程序验证和遗留系统改造中的应用

依赖分析在程序验证和遗留系统改造中的应用

作者：陶荣长沙理工大学

学位级别：硕士

在众多保障软件可靠性和安全性的途径中,采用形式化方法对系统进行形式化验证和分析是被很多计算机科学家所认同的。形式化验证主要包括两类方法:一是以逻辑推理为基础的定理证明,另一是以穷尽搜索为基础的模型检测。二者相比,前者自动... 详细信息

在众多保障软件可靠性和安全性的途径中,采用形式化方法对系统进行形式化验证和分析是被很多计算机科学家所认同的。形式化验证主要包括两类方法:一是以逻辑推理为基础的定理证明,另一是以穷尽搜索为基础的模型检测。二者相比,前者自动化程度弱于后者,但因其表达力较强,加之自动定理证明技术的日益进步,它依然有着较好的应用前景,值得人们对其进行深入探讨。目前大多数的程序验证过程是顺序地按每一条验证规则进行验证。由于验证过程中的并发构造特性没有被充分挖掘出来,这种顺序验证方法严重地制约了验证工作的效率,尤其在验证大型程序时愈发明显。所以,从提高验证过程的并发度的角度来研究提高程序验证的效率一件很有意义的事。软件行业是一个快速发展的行业,大量的新旧技术的交替造成了大规模的遗留系统。针对遗留系统的处理有两种方法,要么设计新的系统去替换,要么对其进行再工程。由于遗留系统存在技术陈旧、系统结构混乱、文档缺失和维护成本高等问题,越来越多的企业和组织采用新技术将遗留系统再工程到新的软件或硬件平台,以提高系统的可靠性、可重用性、可维护性和运行性能。任何先进系统最终都成为遗留系统,所以良好的系统结构设计方案和系统可扩展性在再工程中将显得越来越重要。早期系统大多数采用面向过程方法编程,而面向过程编程的特点是注重功能的实现,业务过程和系统的操作方法联系的比较紧,不利于系统的维护和升级。所以把注重功能实现的面向过程系统转换成注重结构设计的面向对象系统,以期利用面向对象的特征来提高系统的可扩展性的研究变得有意义了。任何事物之间都是有联系的,利用事物间的依赖关系开展有关理论与应用研究既有普遍的现实意义,也有潜在的学术价值。为此本文把依赖分析应用到了并行化程序验证策略和遗留系统改造中,主要完成了以下几项工作:1.提出了一种提取While程序控制结构的算法,用实验证明该算法的正确性,并对该算法做了简要的分析。2.在获取程序控制结构依赖关系的基础上,提出一种基于依赖分析的并行化验证策略,进一步提高程序的验证效率,并用实验证明了该方法的有效性。3.把依赖分析思想应用到由面向过程系统转换成面向对象系统的遗留系统改造过程中,提出了基于依赖分析的程序模块划分方法,改进了主域变量的识别方法,最后把该思想应用到了While程序转换成Java程序的实例中。

关键词：逆向工程程序理解依赖分析遗留系统再工程并行验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于依赖分析的并行化验证策略

计算机工程 2010年第12期36卷 64-65,68页

作者：陶荣何锫黄道昌长沙理工大学计算机与通信工程学院长沙410076 武汉大学软件工程国家重点实验室武汉430072

提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此... 详细信息

提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。

关键词： Hoare逻辑依赖分析并行验证

在线全文

学校读者我要写书评

暂无评论

动态贝叶斯网络结构学习的依赖分析方法研究

计算机工程与应用 2011年第3期47卷 51-53页

作者：冷翠平王双成王辉上海立信会计学院数学与信息学院上海201620 上海立信会计学院开放经济与贸易研究中心上海201620 中央民族大学信息工程学院北京100081

针对现有动态贝叶斯网络结构学习方法具有低效率和低可靠性等问题,基于变量之间的基本依赖关系和依赖分析方法进行动态贝叶斯网络结构学习。建立变量之间依赖关系草图,通过条件独立行检验去除多余的边,使用碰撞识别和条件相对预测能力... 详细信息

针对现有动态贝叶斯网络结构学习方法具有低效率和低可靠性等问题,基于变量之间的基本依赖关系和依赖分析方法进行动态贝叶斯网络结构学习。建立变量之间依赖关系草图,通过条件独立行检验去除多余的边,使用碰撞识别和条件相对预测能力确定边的方向,便可得到构成动态贝叶斯网络结构的先验网和转换网。该方法在效率和可靠性方面均具有优势。

关键词：动态贝叶斯网络依赖分析先验网转换网结构学习

一种基于依赖分析的并发程序潜在死锁检测算法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2007年第5期28卷 841-844页

作者：卢超卢炎生谢晓东赵小松华中科技大学计算机科学与技术学院湖北武汉430074

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死... 详细信息

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.

关键词：死锁并发依赖分析软件测试

在线全文

学校读者我要写书评

暂无评论

基于多面体模型的数据依赖分析方法

空间控制技术与应用 2015年第5期41卷 43-47页

作者：李川陈朝晖北京控制工程研究所北京100190

设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及... 详细信息

设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及向前替换等方法消去.对传统数据依赖分析进行改进,通过分析内存单元的生存周期,摒除不必要的伪依赖,从而可以对更多的循环体进行变换.通过实验表明了该方法的可行性和有效性.

关键词：依赖分析多面体模型生存周期循环变换

在线全文

学校读者我要写书评

暂无评论

基于依赖分析和假设检验的贝叶斯分类器

基于依赖分析和假设检验的贝叶斯分类器

作者：孙文静西安电子科技大学

学位级别：硕士

贝叶斯分类模型作为分类知识发现的一种重要方法，是贝叶斯网络学习、理论研究的核心问题之一．本文主要运用贝叶斯学习理论和信息论的基本观点对发现数据之间潜在的关系进行了探索，结合依赖分析与假设检验提出一种改进的构造贝叶斯网... 详细信息

贝叶斯分类模型作为分类知识发现的一种重要方法，是贝叶斯网络学习、理论研究的核心问题之一．本文主要运用贝叶斯学习理论和信息论的基本观点对发现数据之间潜在的关系进行了探索，结合依赖分析与假设检验提出一种改进的构造贝叶斯网络分布学习算法，并进行了仿真实验来验证该算法的有效性．首先，针对样本数据中影响分类效果的冗余属性和无关属性，本文基于属性间的关联性，提出一种马尔科夫毯过滤法：保留全部的强关联属性和部分弱关联属性，去掉全部的不关联属性．其次，探讨了贝叶斯网络结构学习中的一些基本问题，并提出了一种基于信息论与假设检验相结合的依赖分析方法构造贝叶斯网络结构的算法DAHT，从理论上分析了其计算复杂度．最后，将DAHT算法运用到GBN贝叶斯网络分类模型构建中，并对UCI中的七组数据进行仿真实验．从分类正确率和分类耗时上与NBC、TAN分类器进行性能比较分析，结果表明对于大部分数据集，GBN的分类效果优于对比的其它分类算法．

关键词：贝叶斯网络分类器依赖分析假设检验属性选择

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种基于依赖分析的程序错误定位算法

电脑知识与技术（过刊） 2015年第7X期21卷 202-203页

作者：文万志陈善利南通大学计算机科学与技术学院江苏南通226019

程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数据依赖和控制依赖,通过求精算法和扩大算法实现程序错误定位。文中通过实例验证了该方法的有效性。

关键词：程序调试错误定位依赖分析

在线全文

学校读者我要写书评

暂无评论

有机磷中毒阿托品依赖分析

中国实用医刊 1996年第1期23卷 24-25页

作者：范厚军阚晓娥安徽砀山县第三人民医院安徽砀山县第三人民医院 235322

急性有机磷中毒者,经过积极抢救治疗,已达阿托品化,病情明显好转,服毒时间超过10天,胆碱酯酶大于30U,阿托品减量或停药时出现明显中毒症状,称阿托品依赖。现将阿托品依赖分析如下,以探讨其发生原因、机理和临床特征。1 阿托品依赖原因1... 详细信息

急性有机磷中毒者,经过积极抢救治疗,已达阿托品化,病情明显好转,服毒时间超过10天,胆碱酯酶大于30U,阿托品减量或停药时出现明显中毒症状,称阿托品依赖。现将阿托品依赖分析如下,以探讨其发生原因、机理和临床特征。1 阿托品依赖原因1.1 阿托品依赖主要是由于阿托品化后仍较长时间大剂量应用阿托品。因为阿托品长期大剂量应用,可使血液中阿托品浓度升高,导致机体对阿托品耐受性增加,以适应其新的内环境平衡。1.2 阿托品用量过大时,抑制了乙酰胆碱反馈致乙

关键词：阿托品化剂量用药量有机磷中毒有机磷农药中毒急性中毒依赖分析