搜索筛选:
搜索耗时0.8114秒,为你在为你在102,285,761篇论文里面共找到 182 篇相符的论文内容
发布年度:
[期刊论文] 作者：王芳,秦永彬,许道云,
来源：贵州大学学报：自然科学版 年份：2013
有限随机系统状态迁移过程中对系统状态集的压缩，将系统分为两类随机子系统，由此建立了该随机系统的商系统并降低了概率矩阵的计算复杂度。在图论的基础上，通过研究有限随机系统......
[期刊论文] 作者：王芳,秦永彬,许道云,,
来源：计算机应用与软件 年份：2014
有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立该随机系统的商系统。在商系统中,根据不完整子系统概率矩阵的特征,引入弱概率矩阵的定义,并结合弱概率矩阵的极限性质,考察商系统对应的概率矩阵的极限性质。在保留原有随机系......
[期刊论文] 作者：Daoyun Xu,许道云,王晓峰,
来源：逻辑学研究 年份：2012
通过一个恰当的归约变换，可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式，使其两者具有相同的可满足性。一个典型的归约是将一般的CNF公式变换为3．GVF公式。通过构......
[期刊论文] 作者：宋超,秦永彬,许道云,,
来源：计算机与数字工程 年份：2017
机器视觉与机器学习的不断发展对传统的视觉特征提取的影响在不断加强,在实际的使用当中也在逐步替代那些繁杂的人工特征提取的方式,论文从实际应用当中介绍一种基于K-means自动提取特征的方法,其在鸡蛋缺陷检测使用中得到了较好的实际效果。......
[期刊论文] 作者：郑洁,秦永彬,许道云,,
来源：计算机工程与设计 年份：2013
壳近邻分类算法克服了k近邻分类在近邻选择上可能存在偏好的问题,使得在大数据集上的分类效果优于k近邻分类,为了进一步提高壳近邻算法的分类性能,提出了基于Relief特征加权...
[期刊论文] 作者：许道云,周沛,聂堂钊,,
来源：贵州大学学报(自然科学版) 年份：1994
本文就自平方复函数z→z~2+c生成的Fractal在计算机上的处理进行了广泛讨论.形成了一个完整的Fractal图形生成系统.系统由Microsoft c 6.0编制而成,可对形如Z_(n+1)=f(z_n)的复变换进行作图分析.......
[期刊论文] 作者：王健,董改芳,许道云,
来源：贵州大学学报：自然科学版 年份：2004
本文建立自动排课系统的数学模型 ,并利用遗传算法进行问题求解。在演化过程中采用了一种新的遗传策略 ,加速了群体的收敛速度。对本系统做适当的修改 ,可适用于其它的时间表...
[期刊论文] 作者：周锦程,许道云,卢友军,
来源：软件学报 年份：2016
研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则（k,r）-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格...
[期刊论文] 作者：许道云,丁德成,张明义,
来源：软件学报 年份：2001
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的...
[期刊论文] 作者：许道云,刘长云,Dao-yun,Chang-yun,
来源：计算机科学与探索 年份：2007
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法-RSMLS.新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则).作为一个...
[期刊论文] 作者：许道云,董改芳,王健,
来源：软件学报 年份：2006
改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合,研究CNF公式的改名有助于改进DPLL算法．考虑判定......
[期刊论文] 作者：韦立,许道云,王正才,
来源：计算机科学 年份：2012
对于给定的距离参数ε,性质测试算法A需以高概率正确地区分给定的对象具备预定性质Π与ε-远离性质Π。若存在Π的测试算法A满足其询问复杂性独立于规模参数n,则称Π是可测的...
[期刊论文] 作者：韦立,许道云,王晓峰,
来源：广西师范大学学报：自然科学版 年份：2011
匹配计数问题是一个著名的难问题,考虑它的两个参数化问题p-deg-#MATCHING与p-#MATCHING,证明了p-deg-#MATCHING是固定参数易解的,p-#MATCHING有固定参数易解随机近似方案。...
[期刊论文] 作者：许道云,丁德成,张明义,
来源：计算机科学技术学报 年份：2004
In this paper, an equivalence condition for deciding whether a default theory isan auto-compatible default one is presented. Under the condition, the existence...
[期刊论文] 作者：王勇明，许道云，WANGYongming，XUDaoyun,
来源：黑龙江科技信息 年份：2017
本文通过对荣华二采区10...
[期刊论文] 作者：许道云,丁德成,张明义,
来源：软件学报 年份：2001
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小...
[会议论文] 作者：王健,董改芳,许道云,
来源：2003年全国理论计算机科学学术年会 年份：2003
本文考虑排课问题中的一些约束条件,定义了相关的评价系数,建立了排课问题的数学模型,利用遗传算法对问题进行求解.最后生成各类时间表....
[会议论文] 作者：许道云,韦立,王晓峰,
来源：2011年全国理论计算机科学学术年会 年份：2011
一个概念由一个属性子集所决定,从而一个布尔函数刻画一个概念.具有给定性质 的布尔函数形成一个函数类,判定函数 是否具有性质 即为判定 是否在中.对函数 的性质测试通常是对中函数进行取样,重构一个近似函数,以所具有的性质近似刻画 的性质.......
[期刊论文] 作者：许道云, 秦永彬, 刘长云,,
来源：铜仁学院学报 年份：2011
正态分布是随机变量分布中基础而且核心的分布。中心极限定理支持这样的结果:通过统计的手段,对任一个随机变量的分析和研究,可以借助于正态分布进行。在数理统计的抽样分析...
[期刊论文] 作者：魏明俊, 许道云, 徐梦珂,,
来源：计算机工程与应用 年份：2017
针对不同卷积核可以提取不同的图像特征，而卷积核的训练比较困难这一问题，提出一种带主成分分析（PCA）卷积的稀疏表示分类算法。先对训练样本集做分片去均值化处理，然后直接应用PCA......
相关搜索：
