搜索筛选:
搜索耗时0.8307秒,为你在为你在102,285,761篇论文里面共找到 182 篇相符的论文内容
发布年度:
[期刊论文] 作者：张国帅,许道云,
来源：软件学报 年份：2019
EPR态作为最基本的量子纠缠态,在量子隐形传态中起着重要作用.研究适应任意类型EPR通道的单量子比特隐形传送通用线路,并推广到任意W比特量子隐形传送通用线路.首先设计出4种...
[期刊论文] 作者：王晓峰,许道云,
来源：软件学报 年份：2016
置信传播算法求解RB（k,n，a,rc,p）模型实例时非常有效，几乎能够有效求解接近可满足性相变点的难解实例．然而，因子图带有回路的实例，置信传播算法不总有效，常表现为不收敛,对于这种现象......
[期刊论文] 作者：王晓峰,许道云,
来源：软件学报 年份：2016
信息传播算法求解可满足问题时有惊人的效果,难解区域变窄.然而,因子图带有环的实例,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.警示传播（wa...
[期刊论文] 作者：莫孝玲,许道云,
来源：计算机科学与探索 年份：2018
为分析合取范式(conjunctive normal form,CNF)公式的赋值空间在可满足性情况下的结构性质,引入一个变元翻转次数控制的参数k,k不小于1且不大于n,n为公式中出现的变元个数,以...
[期刊论文] 作者：许道云,王晓峰,
来源：计算机科学与探索 年份：2013
通过一个适当的归约变换，可以将一个CNF（conjunctive normal form）公式变换为另一个具有某种特殊结构或性质的公式，使两者具有相同的可满足性。带有正则结构的CNF公式的因子图在...
[期刊论文] 作者：许道云,秦永彬,
来源：计算机科学与探索 年份：2009
通过构造适当的极小不可满足公式，利用子句拼接技术，引入了一个一般化的从k-CNF公式（k≥3）到3-CNF公式之间的归约转换。基于该转换，给出了一个真值指派的转换算法，并证明了MAX—k—......
[期刊论文] 作者：张国帅,许道云,
来源：量子电子学报 年份：2018
在仅有广义GHZ态参与的量子隐形传态中,通过分析待传量子态、量子通道和联合测量基之间的关系,设计了一种节约量子资源的隐形传态方案.在非最大广义三粒子GHZ态隐形传送中,用...
[期刊论文] 作者：佘光伟,许道云,
来源：计算机科学 年份：2018
利用极小不可满足公式的临界特性,可以将任意的一个3-CNF公式多项式时间归约转换为一个正则(3,4)-CNF公式,从而得到一个保留NP完全性的正则(3,4)-SAT问题。警示传播算法(Warn...
[期刊论文] 作者：李梓齐,许道云,
来源：计算机与现代化 年份：2019
可满足性问题的求解算法和结构性质研究是计算机科学中重要问题之一,为寻求某些CNF公式子类问题有效算法或算法改进途径,对公式的结构加以某些限制,其中限定子句长度为恒定常...
[期刊论文] 作者：周兵洋,许道云,
来源：计算机与数字工程 年份：2004
针对带有一对属性值（ai ，bi ）的n个agent分配m个资源问题，构建了该问题的博弈模型，给出了判断Nash均衡是否存在的充要条件，利用充要条件对Nash均衡的存在性进行分析和讨论，并且分析......
[期刊论文] 作者：许道云,刘长云,,
来源：计算机科学与探索 年份：2004
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法-RSMLS.新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则).作为一个...
[会议论文] 作者：龙慧云;许道云;,
来源：2005中国计算机大会 年份：2005
对于一个命题逻辑 P ，如果存在一个函数rank : HP → N（其中 HP 是 P 上的原子集合），使得 P中每一条形如 a ← a1,...,am,not(b1),...,not(bn) 的子句，对于任意的 (1≤ i ≤ m,1≤...
[期刊论文] 作者：赵姣珍,许道云,
来源：贵州大学学报（自然科学版） 年份：2022
行列式的理论和应用是代数中的一个经典问题,矩阵的行列式是赋予矩阵的一个数,将矩阵的列向量视为变量,行列式可以视为列向量组的一个函数,其公理化定义为矩阵的性质推导和分析带来方便.基于行列式的公理定义,从公理出发,给出相关重要性质的详细推导,直接由性质......
[期刊论文] 作者：邹阳,宁卓,许道云,,
来源：黑龙江科技信息 年份：2000
本文通过对荣华二采区10...
[期刊论文] 作者：许道云, 韦立, 王晓峰,,
来源：软件学报 年份：2011
由鸽巢原理定义的鸽巢公式PH nn＋1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn＋1是一个极小不可满足公式,根据其极小不可满足性,给出了最大...
[期刊论文] 作者：彭凯, 秦永彬, 许道云,,
来源：计算机工程 年份：2011
为科学评估通信用户的忠诚度,运用专家法并通过数据抽取、转换和装载过程,从某通信企业数据库中选取120万条实验数据,利用基于互信息的属性约简算法简化冗余属性,以提高模型...
[期刊论文] 作者：王晓峰, 许道云, 韦立,,
来源：软件学报 年份：2013
信息传播算法在求解随机kSAT问题时有惊人的效果,难解区域变窄.对于这种现象,至今缺少系统的理论解释.警示传播(warning propagation,简称WP)算法是一种基础的信息传播算法,...
[期刊论文] 作者：宋超,许道云,秦永彬,,
来源：计算机工程 年份：2017
针对卷积神经网络主要使用图像的局部特征而忽略图像通道特征的不足,提出一种分离多路卷积神经网络。提取通道特征与卷积特征,并在全连接层进行融合,以此提升该网络的图像识别与分类效果。在cifar10和SVHN数据集上进行的实验结果表明,与ResNet,Network in Netwo......
[期刊论文] 作者：王晓峰,许道云,唐瑞雪,,
来源：计算机工程与科学 年份：2010
基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本身特性，调节阈值δ，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟......
[期刊论文] 作者：彭凯, 秦永彬, 许道云,,
来源：计算机科学 年份：2011
为挖掘存量用户的潜在数据业务使用需求,研究客户细分成为各电信运营商进行差异化营销所必须解决的问题。利用聚类算法提出了一种解决电信短信业务客户分群的应用模型。首先...
相关搜索：
