程序图形工具PRO树及其应用

为描述某一个程序的整体概念，图形是一种理想的工具。流程图和随后出现的多种程序图形工具都只适合过程式语言。我们在长期教学和科研工作中，总结提出了一种用于陈述式语言的图形工具，并且用TurboPROLOG语言的程序文件扩展名，简称之为PRO树。1PRO树的基本概念1．1PRO树的生成规则对一个PROLOG程序、按下述步骤画出的图形，称为该PROLOG程序的PRO树．（1）用符号＄表示程序求解的目标，做为PRO树的根。（2）与目标谓词同名的子句做为根的子节点，用符号＃表示。如孩子句与目标不匹配，可在＃旁画“x”；如匹配，则进行合一…     

基于概念树扩展的中文文本检索研究

分析了概念在语义层次上的扩展,将概念树中的父子概念关系用词语的相似度进行量化。提出了检索概念权重计算的两种方法和一种基于检索概念的文本概念权重计算方法,并将这些方法用于中文文本检索,因此,构建了基于概念树扩展的两个文本检索模型。实验显示,这两个检索模型的精确率与关键词检索模型保持基本一致,召回率却得到较大提高。     

某机循环和子程序的组织

在某机上有六条指令用来控制循环和子程序的进出〔1〕,即604(#ZC),606(#FC),620(〔),622(〕),624(#SK)和626(#SG)。这些指令使用两个站和若干个寄存器,可以解决循环和子程序的非常出口(即不经由循环关门和返回指令而跳出)问题。这些寄存器和站之间信息传递的关系相当精微复杂,为了解和使用有关指令,直觉的观念是必不可少的;但以往的经验表明,对一定复杂程度的程序,其正确性问题只靠直觉往往是靠不住的。本文的目的就是要解决某机子程序和循环程序结构的正确性问题。文章分为七节,§1叙述六条指令的操作内容;§2定义循环的程序结构和有关规定;§3叙述有关寄存器、站和指令的直观含意;§4是本文的主要结果,即所述程序结构正确性的证明;§5定义子程序的结构;§6通过把子程序视为循环的特殊情形,而最后得到统一的结论;§7讨论了两个有关问题。只关心结论而对方法无兴趣的读者,无须读§4的证明和§7。但需要指出的是,文中的方法似是从事计算机功能设计和软件工作者应掌握的方法,这也是作者写本文的原因之一。     

一种三叉树的存储结构及其基本操作的实现

本文在文献［１］所给出的有关三叉树有其相关概念的基础上，提出了一种新的三叉树存储结构，即“儿子－兄弟链表”方法，并在这种结构下，对三叉树的基本操作的实现算法进行了较详细的讨论。     

概念从属树--一种新的树模型设计

概念从属理论是由Schank提出的,是基于概念的语句的深层表示.将概念从属理论应用到知识的组织和管理,提出了一种新的树模型概念从属树(CDT).并结合三角形概念从属树模型来阐述这种模型的优点.     

基于概念知识树的双宾短语分析

双宾短语是一种特殊的语言现象,为了使计算机能够理解并处理双宾短语,该文从语法和语义两个层面对双宾短语进行了分析,基于概念知识树知识表示模型建立了双宾短语的语义表达模型;并提出一种双宾短语分析算法,实现了从双宾短语到其语义表达模型的自动转换。双宾短语分析算法采用自顶向下和自底向上相结合的方法,自顶向下用于对双宾短语的语法成分进行划分,获得构成双宾短语的双宾动词成分、间接宾语成分和直接宾语成分;自底向上用于使用基于概念知识树的短语分析推理算法对双宾短语中的这三种成分分别进行分析,获得对应的语义表达;最后,利用三种成分的语义分析结果构建双宾短语完整的语义表达。该文从权威文献和语法词典中选取了122个双宾动词,对这些双宾动词构成的209个短语进行了分析,分析的正确率为90.43%,证明了该文提出的双宾短语分析算法和语义表达模型的有效性。     

基于评论树的微博社区热门话题检测方法

首先在分析微博文本特点的基础上设计了一种垃圾微博的过滤算法;针对微博数据稀疏性这一问题,利用社区内部联系紧密的特性,提出了微博评论树的概念和一种话题热度评价模型.最后基于以上两点提出了一种微博社区热门话题检测方法.真实数据集上的实验表明了过滤的必要性和所提出的微博社区热门话题检测方法的有效性.     

基于算法生成树的遥感并行算法的设计与实现

对当前遥感影像处理中存在的信息提取速度慢、CPU利用率低的问题进行了分析和讨论,在此基础上提出了算法生成树的概念,并提出了对此生成树的一种并行执行方法;该方法能够提高CPU利用率、缩短算法执行时间算法能够并行执行,试验表明此种方法执行效率比常规算法的效率要高;另外,该算法已在实际项目中得到应用,系统运行稳定,执行效率高.     

格值交替树自动机

交替（树）自动机因其本身关于取补运算的简洁性及其与非确定型（树）自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.     

图的树分解及其算法应用研究进展

图的树宽和树分解是图子式理论中发展起来的两个重要概念。图的树分解由于其本身的特性使得它在算法设计中有着极其重要的意义。从图的树宽特性、图的树分解算法、图的树分解在复杂算法问题求解中的应用等方面对近年来的相关研究进展做了深入的分析和介绍,结合一些简洁的实例分析了一些重要的原理和方法,讨论了其中的一些问题,并给出了今后的一些研究方向。     

模型树在陀螺建模中的应用研究

针对光纤陀螺在启动后各个阶段的变化,介绍一种模型树线性回归算法。采用模型树“分而治之”的思想对陀螺漂移数据进行建模处理,并在叶子结点采用温度补偿的方法建立线性回归模型,得到陀螺在各个阶段的误差模型。实验结果表明,采用模型树算法对陀螺数据进行处理具有更好的拟合能力和预测能力,更适合处理各个时间阶段变化的建模问题。     

基于物元理论的任意功能树相似扩展方法

功能模型是概念设计的核心处理对象,功能树是一种典型的、应用广泛的 功能模型。使用现有相似度计算方法计算任意功能树的相似度存在困难。因此,基于布尔代 数提出了析取范式树的概念,以及两种求解析取范式树的方法,并描述了任意功能树的物元 相似度计算方法。拓展了功能树相似扩展方法的应用范围,扩大了设计解空间,增加了获得 创新解的可能性,最后给出实例验证了方法的有效性。     

统计启发式搜索方法

在一定的假设下,可以把启发式搜索看作一种随机取样的过程,从而可以把统计推断方法引进搜索。根据上述思想,我们在文[1—4]中,讨论了个别统计推断法与一般图(或树)搜索的结合,得到一些新的统计启发式搜索算法——如SA,WSA算法等,探讨了这类算法的优点及程序细节,本文将从理论上进一步阐述这一思想,并从更广泛的范围讨论这两种技术的结合问题。     

利用多播树实现Anycast服务

IPv6以两种方式提供Anycast服务：一种是将Anycast组成员限制在共享一个地址前缀的特殊拓扑区内;另一个是将Anycast地址表示的共享某个特性的结点组分散在互联网的各个地方,这种方式使得路由表会随全球Anycast组数呈比例增长。无论是哪种方式,它们都存在诸如Anycast可扩展局限性等问题。本文提出了一种建立在Anycast树之上的通信模型,此模型实现了Anycast组成员的动态加入与离开,从真正意义上解决了Anycast现存的扩展性问题,同时此模型实现了Anycast树自身信息与请求的分布式维护与处理,从而实现了均衡负载功能。本文同时深入分析和讨论了该模型的可行性及其有效性,并论证它可以支持大规模的Anycast组的建设。     

基于遗传算法的模糊树建模方法

1　引言近年来模糊逻辑理论在非线性系统辨识领域中得到了广泛的应用 .模糊逻辑建模方法的主要内容可分为两个层次 ,一是模型结构的辨识 ,另一则是模型参数的估计 .模糊模型的结构辨识问题是指如何划分输入空间 .模糊树模型 (FT模型 )是一种利用二叉树结构描述输入空间模糊划分     

一种改进的基于扩展攻击树模型的木马检测方法

木马作为恶意程序的一种,经常被作为黑客入侵利用的手段,这对网络安全和信息安全将造成极大的危害。提出一种改进的基于扩展攻击树模型的木马检测方法。通过分析PE文件,采用静态分析和动态行为监控技术相结合的检测方法提取程序API调用序列;并用信息增益的方法筛选出木马关键API短序列集合,作为构建扩展攻击树模型的特征库;将待检测程序以API短序列为行为特征与模型节点进行匹配、分析,同时改进了匹配节点的权值和危险指数的算法。最后给出扩展攻击树模型调整与优化的方法。实验结果表明,改进后的方法不仅在木马检测效率、准确度方面有较好的表现,还能检测出经过升级变种的木马。     

基于知识树的领域知识组织和应用

在分析已有知识表示方法优缺点的基础上,提出一种高效的知识表达模型——概念知识树。概念知识树模型不仅结构性好、表达能力强,而且在应用中具有良好的适应性和延展性,现主要应用于信息检索和自然语言理解领域。以旅游领域为背景,用概念知识树作为表达模型建立相应的领域知识体系,并在此基础之上实现了一个旅游智能分析系统。该系统可在对用户需求(自然语言)进行一定程度语义理解的基础上,根据所建立的知识体系自动进行语义匹配,最终返回满足用户需要以及相关的旅游路线信息。     

在VB中实现树/列表视界面

树/列表视是VC应用程序中最为常见的一种界面,界面左边一般为树型窗口,右边是列表窗口,两个窗口之间有一个分割条,用户可以通过拉动分割条来调整两个窗口大小。树/列表视界面具有层次清楚、操作方便等特点,在许多专业应用程序中得到广泛应用。 在VC程序开发中,这种界面是通过树/列表视类(Tree/List View)和分割条(Splitter)来实现的,而在VB中,却没有视类的概念,也没有实现这种界面的现成方法,但是,我们可以利用VB所提供的树、网格等控件,通过编程的方法模拟出这种界面,下面具体介绍实现的方法和步骤。     

三叉树结构及其实现

本文定义了一种三叉树的结构。引进了三叉树抽象数据类型的概念。给出了一种多重链表的实现。最后对广义三叉树和三叉树林作了初步讨论.     

博弈树置换表启发式算法研究

博弈树搜索对于计算机博弈至关重要。优秀的搜索算法通过搜索较少的节点就可以获得最佳路径,从而提高计算机的博弈水平。论文以中国象棋计算机博弈作为背景,在alpha-beta基本搜索算法上,详细阐述了置换表启发算法的原理和哈希冲突,引进了双层置换表的概念及其替换策略,增强了引擎的搜索效率。实验结果表明了该算法的有效性。