搜索筛选:
搜索耗时0.8746秒,为你在为你在102,285,761篇论文里面共找到 182 篇相符的论文内容
类      型:
[期刊论文] 作者:许道云,杨明华, 来源:贵州大学学报:自然科学版 年份:1993
本文叙述了 PRECIS的基本概念和PRECIS的汉语移植。解决了PRECIS应用于汉语中的实际问题。给出了汉语PRECIS的算法,并在PC机上用Turbo C语言实现。该系统具有良好的用户界面,...
[期刊论文] 作者:许道云,杨明华, 来源:贵州大学学报:自然科学版 年份:1994
本文就PRECIS移植到汉语后的情形提出了所有算法设计.系统已用TURBOC编制而成,汉语文献的标引结果令人满意....
[期刊论文] 作者:杨艳,许道云,, 来源:计算机科学与探索 年份:2018
超像素是近年来快速发展的一种图像预处理技术,被广泛应用于计算机视觉领域。简单线性迭代聚类(simple linear iterative clustering,SLIC)算法是其中的一种图像预处理技术框架,该算法根据像素的颜色和距离特征进行聚类来实现良好的分割结果。然而,SLIC算法尚存......
[期刊论文] 作者:王健,许道云, 来源:南京大学学报:数学半年刊 年份:2005
根据极小不可满足公式的特征,对于固定的3 ≤t<k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内...
[期刊论文] 作者:张明明,许道云, 来源:计算机科学 年份:2016
通过对3-CNF公式加以限制,要求其中每个变元出现的次数相同,引出正则3-SAT问题。进一步,通过对两种子句产生机制形成的(3,s)-CNF公式进行可满足性观察,发现在规模较小的情况下,...
[期刊论文] 作者:卢友军,许道云, 来源:贵州大学学报:自然科学版 年份:2013
随机图G(n,P)模型是随机图理论中最重要的模型之一。该模型中有两个参数n和P,n表示图中的顶点数,P表示图中的任意两个不同顶点之间独立生成边的概率。证明了随机图G(n,P)中存在k一团......
[期刊论文] 作者:何彬,许道云, 来源:计算机科学 年份:2021
通过构造适当的极小不可满足公式以实现在多项式时间内将3-CNF公式归约转换为一个正则(3,4)-CNF公式,转换后的公式与原公式具有相同的可满足性,同时公式的结构也发生相应的变...
[期刊论文] 作者:张丹,许道云, 来源:计算机与数字工程 年份:2004
给出了一种求解某类n×n矩阵博弈Nash均衡的近似解的算法.通过剖分单纯形,将混合策略空间离散化,利用初始的单纯形根据标号函数和替换规则求出此类矩阵博弈Nash均衡的近似解....
[期刊论文] 作者:许道云,丁德成, 来源:Science in China(Series F:Information Sciences) 年份:2002
This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-nor...
[期刊论文] 作者:王明玉,许道云,, 来源:商场现代化 年份:2008
本文分析了基于供应链的采购管理风险产生的环境背景,以及主要来源,并探讨了采购管理风险管理的具体策略。...
[期刊论文] 作者:许道云, 代寸宽,, 来源:贵州大学学报(自然科学版) 年份:2015
给定一个大于1的正整数n,它的下一个数由n的奇偶性决定。如果n是偶数,则下一个数为n/2,否则为3n+1。重复这样的运算,直到得到1为止。科拉茨(Collatz)猜想:对于任意给定的正整数n,...
[期刊论文] 作者:王明玉, 许道云,, 来源:中国民营科技与经济 年份:2007
竞争压力的加大及经济的全球化、区域化,使得企业必须专注于自己的核心业务,将非核心的部分外包,于是产生大量对第三方物流服务的需求,与第三方物流的合作模式的选择成为企业...
[期刊论文] 作者:梁贵波, 许道云,, 来源:计算机与数字工程 年份:2015
提出了一种资源均匀占有问题,结合归约和递归理论将占有问题转化为受限的资源分配问题,设计了一种用于求解此类问题的LORUP算法。算法的基本思想是参与者依次对资源进行局部...
[期刊论文] 作者:孙金香,许道云,, 来源:计算机应用与软件 年份:2009
针对国内邮政运输路线规划存在的主要问题,建立解决邮政运输的多目标决策问题的数学模型,使用蚁群算法来求解该模型的近似解。仿真实验证明该方法是有效的、可行的。...
[期刊论文] 作者:秦永彬, 许道云,, 来源:计算机工程与应用 年份:2010
详细分析了警示传播算法基本原理,给出了算法的收敛性分析及算法的改进。实验证明,改进后的算法比原算法具有更少的迭代次数和更少的运行时间,提高了收敛速度。警示传播算法...
[期刊论文] 作者:许道云, 王晓峰,, 来源:逻辑学研究 年份:2012
通过一个恰当的归约变换,可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式,使其两者具有相同的可满足性。一个典型的归约是将一般的CNF公式变换为3-CNF公式。通...
[期刊论文] 作者:王勇明, 许道云,, 来源:贵州大学学报(自然科学版) 年份:2017
经典的汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为H3(n)=2n-1。对于带k杆的汉诺塔问题,最优移动次数满足递归关系Hk(n)=2Hk(lk(n))+Hk-1(n-lk(n)),其中最优剖分数lk(n)=min{l:argl......
[期刊论文] 作者:许道云, 王明玉,, 来源:消费导刊 年份:2007
主要介绍了托盘在物流系统中的重要作用,托盘共用的概念,根据我国托盘共用的现状和存在的问题,提出建立托盘共用系统的一系列措施。...
[期刊论文] 作者:许维美, 许道云,, 来源:铜仁学院学报 年份:2011
通常汉诺塔问题只考虑带3根杆,当圆盘数为n时,最佳方案的移动次数为J(n)=2^m-1。本文考虑带4杆的汉诺塔问题及其移动方案[(1-a),a,0,0]。一个有趣的问题是:对于0〈a〈1,当口取什么值时,[......
[期刊论文] 作者:符祖峰,许道云, 来源:软件学报 年份:2020
研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;...
相关搜索: