基于LoCMD 的软件修改分析技术

当对软件进行修改时,肯定会对软件的其他部分造成一些潜在的影响,从而带来软件的不一致性;如果该修改所带来的影响波及到整个系统,可能就需要考虑其他修改方案表实施该修改、因此在实施修改之前,需要对所提出的修改方案进行修改分析,从而确定是否需要进行修改或者选择什么方案进行修改.基于形式概念分析技术,提出了一种紧凑的面向对象程序中间表示—一类与方法依赖格(LoCMD);然后,基于LoCMD,提出了一种修改分析模型,该模型包含了修改实施前一系列软件修改分析活动,包括与修改相关的程序理解、影响分析以及修改评估.实验结果表明了所提出的LoCMD和修改模型的有效性,从而有助于维护人员对所提出的修改建议做出正确的理解与决策.     

实例推理和规则推理在实例修改中的应用

在CBR系统中实例修改是一个关键环节,该文通过分析几种实例修改的方法,提出了将实例推理和规则推理进行整合后引入到实例修改过程中,建立修改规则库来完成实例修改,并就如何建立修改规则库进行了说明,为建立智能化的实例修改提供一种思路。     

微型计算机数据库dBASE—Ⅲ讲座(二) 第三讲 数据库的修改及数据的定位与查询

第一部分数据库的修改用户建立了数据库以后,往往由于某种需要对数据结构及数据进行修改,因此掌握对数据库的修改是十分必要的。下面首先介绍修改数据的方法。第一节顺序修改数据所谓顺序修改数据就是按一定的先后次序来顺序地修改数据。第一个修改命令:EDIT命令     

基于事例推理中差异驱动的事例修改策略研究

总结CBR已有的事例修改的理论和方法,以知识的观点重新看待事例修改问题,从而找到了事例修改的难点,并在此基础上提出了在CBR体系结构上加入知识库,用来存储事例修改的规则;采用差异驱动的事例修改策略获得事例修改规则并进行事例修改。不仅充分利用了已有的CBR流程和事例,并对采用特征和特征值表示的事例具有普遍的意义。     

C-B样条曲线的形状修改

提出了控制C-B样条曲线形状修改的两种方法:修改控制参数和修改控制顶点。在分析C-B样条基函数导数曲线特性的基础上,得出了控制参数对曲线形状的作用,提出了调节控制参数修改曲线形状的方法;另一方面,运用约束优化方法,修改C-B样条的控制顶点,使得C-B样条曲线通过调整的控制顶点,使修改前后曲线的距离范数达到最小。     

C—B样条曲线的形状修改

提出了控制C-B样条曲线形状修改的两种方法:修改控制参数和修改控制顶点.在分析C-B样条基函数导数曲线特性的基础上,得出了控制参数对曲线形状的作用,提出了调节控制参数修改曲线形状的方法;另一方面,运用约束优化方法,修改C-B样条的控制顶点,使得C-B样条曲线通过调整的控制顶点,使修改前后曲线的距离范数达到最小.     

浅谈解决银行计算机2000年问题

简要分析了银行计算机２０００年问题的危害和起因，提出了解决银行计算机２０００年问题的方法，包括测试方法和修改方法，修改方法又包括适应程序修改方法和数据库模式修改方法。     

Needham-Schroeder私钥协议的改进

研究了Needham-Schroeder私钥协议，指出了该协议存在的缺陷和漏洞，并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改，但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改，但是仍然不令人满意。针对原始协议存在的缺陷和漏洞，该文进行了相应的修改，并用BAN逻辑来分析了修改后的协议，说明修改后的协议能够达到协议的目标。     

dBASEⅢ数据库结构自动编辑技巧

本文设计了一个对dBASEⅢ数据库结构自动修改的实用子程序,应用本程序可在程序运行方式下象修改记录那样方便地修改数据库结构,并生成修改后的新数据库结构。     

联邦式多主体系统规划动态修改策略设计与实现

在CIMS环境下,由于智能行为的复杂性和多样性。造成主体系统交互的困难。本文提出了一种联邦式多主体系统结构,主要讨论了联盟体在原始规则出现问题时,如何实现对规划进行动态修改。主要研究规划的动态修改方法,引入了规划修改因素,规划树等,设计了一种动态规则修改环境。提出了一种规划动态修改的方法。     

推理建模中基于KDD和粗糙集的案例修改

在应用基于案例推理技术进行智能建模时,案例修改后的案例质量好坏直接影响所建模型的精度,但是由于案例修改对领域知识的依赖性很强,采用一般手工案例修改方法尤法保证案例修改的质量,即无法保证智能推理模型的精度。基于以上原因,该文提出了一种新的案例修改方法,利用KDD技术,通过有效的多值关联规则挖掘算法从运行数据库中挖掘出案例各属性间的依赖关系,得到案例修改的基本关联规则集,在此基础上利用粗糙集理论对基本关联规则集进行简约,然后根据简约后的关联规则进行案例修改。在线对比实验证明,应用本文方法进行案例修改,提商了修改后的案例质量,从而提高了整体智能推理模型的精度。     

一种基于修改的约束满足算法

求解约束满足问题的修改算法从实始的有冲突的完整解出发，不断修改理有的变量赋值，从而得到无冲突的完整解。本文将启发式方法应用了修改型算法，提出了一种高效的基于修改的约束满足算法。     

快速修改实体

针对批量修改图形实体设计了一种程序处理方法，它可以对图中某类实体，比如文字或线宽等，按用户选择或全或部份的一次性完成修改，克服了有关ＣＡＤ命令修改图形时只能农个修改的缺点，从而大大加快了图形编辑速度。     

基于构件的工作流动态修改策略

针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构,从时间和工作流组成两个角度对工作流的动态修改进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性。     

自修改代码对QEMU翻译效率的影响分析

自修改代码是二进制翻译研究中的难点和影响翻译效率的重要因素。众多文献介绍了自修改代码对二进制翻译效率的影响,但均缺乏量化分析。针对上述问题,利用QEMU作为实验平台,对自修改代码和非自修改代码进行了大量的测试,量化地分析了自修改代码对翻译器的翻译效率和翻译块数量的影响。研究结果表明,在QEMU翻译器上,自修改代码随着自修改同比次数增长,其执行时间的增加速度平均是非自修改程序的5.82倍。平均每增加1次自修改,对应在QEMU上的翻译块数量约增加10.51块。     

工作流中同步区与异步区的动态修改

在信牌驱动模型中使用同步区/异步区规则旨在解决在不同语义环境下的同步问题。在动态修改中需要解决的一个重要问题便是正确地将同步区修改为异步区或将异步区修改为同步区,即在合适的信牌箱中添加或删除假信牌。深入分析了将同步区修改为异步区及将异步区修改为同步区的策略与算法,并讨论了算法的合理性。最后给出了一些典型的对同步区/异步区进行动态修改的实例。     

提取并修改或汉化程序中英文文本信息的工具软件

为了修改或汉化程序中的用于显示的英文文本信息,通常的做法是使用PCTOOLS一类工具软件的编辑功能,将需要修改的程序打开,寻找需要修改的字符串,在编辑状态下,直接修改程序中的十六进制码或ASCII字符,这种操作方法比较麻烦,对于修改少量信息还可以,但对于信息量较大的修改或者是信息的汉化就无能为力了。     

基于构件的动态工作流变更策略研究

针对目前工作流管理系统在描述能力和动态修改上存在的不足，提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构，阐述了工作流的组合策略、修改方法和移交策略；最后论述了这种策略的优越性、可行性和正确性。     

不开修订照样生成修订记录

通常编辑的总结、报告文件总得先拿给老板查看修改,然后才能最终编辑定稿。因此最终整理时,弄清楚老板所做的修改就显得很有必要。一般的做法是让老板先开启修订功能再进行修改,这佯Word就会自动记录老板所做的修改。如果老板没有开启修订就直接修改文档,又该如何知道他修改了什么呢？对此,     

浅析远方修改继电保护定值的控制模型及其应用

文章对我国当今远方修改继电保护定值的应用现状分析,以及分析了远方修改继电保护的两种模型,提出了在准备定值区远方修改继电保护的新模式。这种新模式能够在不切换定值的条件下,快速修改定值,提高安全系数,为供电企业创造经济效益。