搜索结果: 61-75 共查到“知识库 软件理论”相关记录126条 . 查询时间(5.138 秒)
非线性循环不变式的自动生成
程序验证 循环不变式 变迁系统
2009/9/21
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。
基于γ划分策略的高维数据索引结构的研究
压缩金字塔树 高维数据空间 索引结构
2009/9/21
提出了一种压缩金字塔树,将d维数据空间划分为2d个金字塔,由于在低维空间中无效的信息在高维数据空间中往往无效,采用γ划分策略对低维空间中的数据进行压缩,减小索引结构,克服了金字塔技术的缺点。给出了压缩金字塔树的构造方法以及基于压缩金字塔树的查询算法。实验证明,压缩金字塔树是一种有效的空间划分策略,在高维稀疏空间有良好的性能。
基于可拓理论的描述逻辑扩展
语义Web 描述逻辑 可拓学
2009/9/18
传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题,所以作为语义Web的逻辑基础它是不充分的,为此引入可拓学中的物元及其发散规则对它进行了扩充。首先给出了物元的语义解释,然后引入物元及其发散规则扩充Tableau算法,生成了TableauE算法和TableauE′算法,从而实现了对实例断言集Abox的扩展以及一致性检测,弥补了传统描述逻辑的不足。
基于模糊支持向量机的多分类算法研究
模糊支持向量机 多分类 二叉树
2009/9/18
针对支持向量机理论中的多分类问题以及SVM对噪声数据的敏感性问题,提出了一种基于二叉树的模糊支持向量机多分类算法。该算法是在基于二叉树的支持向量机多分类算法的基础上引入模糊隶属度函数,根据每个样本数据对分类结果的不同影响,通过基于KNN的模糊隶属度的度量方法计算出相应的值,由此得到不同的惩罚值,这样在构造分类超平面时,就可以忽略对分类结果不重要的数据。通过实验证明,该算法有较好的抗干扰能力和分类效...
Windows CE内存访问原理分析与研究
Windows CE系统 内存访问 内存管理
2009/8/20
针对Windows CE流接口驱动程序,通过嵌入指针访问应用程序内存区域时出错的案例,分析错误产生的原因,阐述一些有关Windows CE内存访问的重要概念,包括指针参数、嵌入指针、同步访问、访问检查和内存整理,从而提出对嵌入指针进行内存整理的解决方法。结果证明该方法可以有效地解决异步内存访问出错的问题。
空间完备性理论及其测试
Z规格说明 受限状态空间 初始状态
2009/8/17
证明和测试是验证规格说明是否正确的2种方法,两者互为补充。针对软件规格说明难以证明的问题,提出对状态空间进行完备性测试的理论。采用构造函数和受限状态空间的概念,讨论用于测试Z规格说明语言初始状态存在性的方法,通过实例证明该方法的可行性。
基于范畴论的本体集成描述
范畴论 本体集成 本体映射 本体合并
2009/8/12
针对语义Web中的本体异构问题,提出一种基于范畴论的本体集成描述方法。与集合论相比,范畴论具有更高的抽象性和更强、更直观的表达力,是本体集成形式化嚄理想工具。把本体结构作为对象,范畴论中的“态射”可描述本体映射,“外推”可描述本体合并,运用图例进行说明并给出本体合并算法。
一种求解单件车间调度问题的单亲遗传算法
单件车间调度 遗传算法 整数编码
2009/8/12
针对单件车间调度问题,设计一种基于整数编码的单亲遗传算法。该算法既具有单亲遗传算法运算量小、不存在“早熟收敛”现象等优点,在编码中又体现了单件车间调度的“保序性”等工艺约束条件,增强了调度算法的整体性能。对不同规模的FT类问题的仿真结果表明,该算法的收敛速度随着问题规模的增大而加快,并在求解单件车间调度问题时能得到稳定的满意解。
基于RDFS的数据结构描述
资源描述框架 资源描述框架模式 数据结构
2009/8/10
资源描述框架(RDF)/资源描述框架模式(RDFS)是语义互联网架构中的技术。尽管XML/RDF数据库正迅速地发展,关系型数据库仍是目前企业级应用的首选。针对在应用中混合使用关系型数据库管理系统和RDF/RDFS的问题,该文提出了关系数据库表结构的RDFS定义方法以及在此基础上的数据获取方式,目的是在关系数据库与应用系统之间建立基于RDFS的抽象数据结构描述,实现数据结构的可配置性以及RDF数据的...
基于复合粗算子的形式概念格
复合粗算子 形式概念格模型 粗集理论
2009/8/10
形式概念格和粗集理论作为人工智能领域的2种有效而重要的数学方法,为知识处理和数据分析提供了一系列代数工具。该文研究形式概念格的复合粗集表示方法,证明了概念的内涵和外延都是某复合粗近似算子的不动点。结果揭示了形式概念格与粗糙近似空间之间内在的密切联系,对完善概念格分析的数学模型具有一定的作用。
基于流水线负载平衡模型的并行爬虫研究
爬虫 并行 流水线
2009/8/7
针对并行爬虫系统在多任务并发执行时所遇到的模块间负载平衡问题,提出流水线负载平衡模型(PLB),将不同的任务抽象为独立模块而达到各模块的处理速度相等,采用多线程的方式实现基于PLB的并行爬虫,根据线程的休眠和缓冲区的变化对线程数量进行动态调整以实现PLB。实验结果表明该方法具有良好的运行效率和稳定性。
基于验证库的微处理器指令集验证方法
指令集验证 随机测试程序生成 验证库
2009/8/7
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。
面向目标的迁移工作流研究
工作流管理 迁移工作流 迁移实例
2009/8/7
传统的迁移工作流系统为迁移实例编写面向过程的工作流说明并驱动其工作,这种方法限制了迁移实例的灵活性。该文提出面向目标的迁移工作流的概念,定义相应的概念模型,给出基于BDI体系的迁移实例结构,使得迁移实例可以产生令工作流状态向目标转移的信念、愿望、意图和行为。相比传统的工作流方法,该概念模型和迁移机制能够灵活地处理工作流环境中的变化和根据工作流状态进行智能决策,具有目标驱动的特性。
食品HACCP分类的BIRCH算法
聚类特征树 多代表点 多阈值
2009/8/7
食品卫生的HACCP自动分类要处理的数据集形状呈现多样性,对分类结果的准确性和专业性要求很高,已有的算法难以满足。该文基于经典BIRCH算法,结合多阈值思想和多代表点特征树思想,提出多阈值多代表点的BIRCH算法,增加了专业分类知识的指导,并对每一个代表点设立单独的阈值,使得该算法能适应各种形状的数据集,减少了聚类特征树重建次数,提高了算法的效率。