【摘 要】
:
确定经典Ramsey数的下界是组合数学中非常困难的问题,因而人们常用各种方法计算它的界。发现一种新的方法,即自同构循环图的方法,计算得到三个经典Ramsey数的新下界:R(3,30)≥188,R(3,33)≥217,R(3,34)≥225。
【机 构】
:
梧州学院,华南师范大学,广西科学院
【基金项目】
:
基金项目:国家自然科学基金资助项目(60563008,10671076),广东省自然科学基金资助项目(05005928,5300084),广西自然科学基金资助项目(0640037),梧州学院科研资助项目(20078007)
论文部分内容阅读
确定经典Ramsey数的下界是组合数学中非常困难的问题,因而人们常用各种方法计算它的界。发现一种新的方法,即自同构循环图的方法,计算得到三个经典Ramsey数的新下界:R(3,30)≥188,R(3,33)≥217,R(3,34)≥225。
其他文献
针对已有相似性度量方法的局限与不足,对属性进行语义扩展,提出了基于语义元支持度的相似度计算方法,该方法用语义元表示概念内涵,在语义元中引入支持度来表现不同语义元对概念表示的贡献,综合考虑相关性、相似性、非对称性以及语义元的支持度,通过比较语义元的相似性,实现了概念相似性的度量。把关系作为一种特殊的概念进行关系的比较,得到了基于语义元的本体相似性度量。最后,将该方法与其他方法进行比较,验证了该方法的
基于知识的问题求解需要一个丰富而相对完备的信念系统,尤其是当任务具有领域非限定特征时。经典知识工程关于知识获取、表示与使用的方法只能适应领域受限问题,因为它不是从概念发展的角度来建构概念系统的,面临着Framework Problem。针对认知心理学对概念系统发展与表征问题研究有一定的认知深度同时又缺乏系统构造与实现机制研究的情况,提出了一种基于框架表征的概念系统表征与发展方法,详细研究了概念在内
由于环境和人为因素的综合影响,土壤功能在人类时间尺度上可以产生较快的转变,此开发能够准确反映和预测土壤信息时空变化的决策支持平台,对于土地管理者和政策制定者而言是必需的。在解决多源异构数据集成、模型管理和配置、土壤分类参比查询、科学计算可视化、土壤知识自学习等关键问题的基础上,通过集成地理信息系统和framework技术,构建了开放的土壤空间决策支持平台,形成了多目标土壤决策应用的解决方案和敏捷开
详细介绍了一种在柱面坐标系下非均匀FDTD(finite difference time domain,时域有限差分)网格的生成算法,并且利用OpenGL技术对其一维、二维、三维网格图形进行实现。一般地,使用传统方法进行三维图像的生成与消隐比较复杂,而采用OpenGL可以非常方便地对以上问题实现快速生成以及高效消隐。
对基于可信实时计算基(TTCB)的分布式容侵系统的体系结构进行了研究,针对分布式容侵系统中的一致性问题,实现了利用TTCB服务的容侵原子多播协议。在进程总数大于两倍恶意进程个数的条件下,该协议可以满足正确结果的一致性要求,达到了入侵容忍的目的。最后证明了该协议算法的正确性。
提出的基于担保的Web服务访问控制模型采用形式化的方式描述,核心思想就是主体与对象之间通过担保人建立联系,担保人为主体颁发授权担保,多级担保形成一条担保链,通过担保链,主体可以得到对象一定信任度的授权;给出了基于担保的Web服务访问控制模型的授权决策算法,并通过实例说明了基于担保的授权决策过程。
首先简要介绍了三维模型搜索引擎的发展概况,然后讨论了三维模型搜索引擎的关键技术及相关的研究进展,最后指出了三维模型搜索引擎进一步的发展前景。
由于网络游戏依托于现有的互联网技术,网络传输中的延迟、出错等问题总是不可避免的,因此游戏中状态的同步便是一个很大的问题。讨论了LockStep同步算法、Bucket同步算法、TimeW arp同步算法、基于DR的Bucket同步算法以及客户端预测等几种网络引擎同步技术,并在此基础上总结出在设计同步策略时应考虑的若干问题。
中文分词中,交集型歧义检测方法采用的双向最大匹配法与全切分方法存在着各自的弊病,无法满足大规模数据的精确处理。为此,提出了一种快速的交集型歧义检测方法,引入次长词进行检测,能高效准确地检测出中文文本中的交集型歧义。经实验验证,该方法在精度与速度两方面均能满足大规模语料的处理。
针对目前本体映射过程中相似度计算存在的问题,提出了一种综合的相似度计算方法。首先判断不同本体之间是否存在相关性,若相关,则充分考虑各种相关因素,从语义和概念两个层面来进行比较;然后给出本体的综合相似度计算方法;最后采用两组测试数据对该方法进行实验,并与GLUE系统的概率统计方法进行了实验对比。实验结果表明,该方法能够有效确保相似度计算的准确性。