搜索筛选:
搜索耗时0.8229秒,为你在为你在102,285,761篇论文里面共找到 182 篇相符的论文内容
类      型:
[期刊论文] 作者:周锦程, 许道云,, 来源:贵州大学学报(自然科学版) 年份:2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食Back to yield...
[期刊论文] 作者:周兵洋,许道云, 来源:计算机与数字工程 年份:2015
针对带有一对属性值(ai,bi)的n个agent分配m个资源问题,构建了该问题的博弈模型,给出了判断Nash均衡是否存在的充要条件,利用充要条件对Nash均衡的存在性进行分析和讨论,并且分...
[期刊论文] 作者:秦欣云,许道云, 来源:贵州大学学报:自然科学版 年份:2018
在量子力学中,密度算子作为量子系统的混合状态表示,其表达能力和性质得到广泛应用。本文基于矩阵和密度算子基础理论,利用Bloch向量表示单量子比特,得到纯态和混合态的密度...
[期刊论文] 作者:吴占斌,许道云, 来源:贵州大学学报:自然科学版 年份:2007
将矩阵直积的概念引入图论,证明了直积图的结点数、度及特征值分别等于原图结点数之积、度之积和特征值之积,并将这些性质应用于由两个膨胀图构造一个新的膨胀图,分别从矩阵的角......
[期刊论文] 作者:刘长云,许道云, 来源:贵州大学学报:自然科学版 年份:2007
在非空集合上引入各种关系,目的在于对集合中的元素信息进行研究时,可以借助于关系从其它元素的信息得到帮助。关系的性质是对关系进行限制,性质的闭包是对不具有指定性质的关系......
[期刊论文] 作者:吴学江,许道云, 来源:贵州大学学报:自然科学版 年份:2007
本文中引入了一个求解满足性问题的随机算法。在该算法中,利用CNF公式转换为其对偶式——DNF公式,通过对满足DNF公式的真值赋值数Y作出估计。根据Y与2”比较结果,对CNF公式的可...
[期刊论文] 作者:曾利全,许道云, 来源:贵州大学学报:自然科学版 年份:2016
可求和布尔函数是临界布尔函数判定理论中比较重要的内容之一。该类函数有一个参数k,k表示布尔函数存在k个成真点X^1,X^2,…X^K和k个成假点Y^1,Y^2,…Y^k,并且它们的和相等。本文主......
[期刊论文] 作者:唐瑜穗,许道云,, 来源:贵州大学学报(自然科学版) 年份:2015
经典的安全双方问题一直专注于零信息泄露的模式,虽然这是理想的安全双方模型,但在实际的安全双方计算中需要付出昂贵的代价且效率不高。本文在传统安全双方的问题上构建卷积安全双方问题,并基于此问题建立不公开信息和需要部分信息公开的安全双方计算模型,提供......
[期刊论文] 作者:张庆顺,许道云, 来源:贵州大学学报:自然科学版 年份:2005
可满足合取范式(CNF)公式F到极小不可满足公式MU(1)的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var(G)(∪)var(F)并使得F+G∈MU(1).Horn公式到MU(1)公式的扩张问题...
[期刊论文] 作者:赵姣珍 许道云, 来源:贵州大学学报(自然科学版) 年份:2020
摘 要:两条莫比乌斯(Mobius)带沿边缘粘合可形成一个克莱因(Klein)瓶。本文给出一种简单方法:由平面上一条简单闭曲线C(闭环)和位于闭环C内部的一条简单曲线段L可以生成一条Mobius带。基于这一原理,由平面上一条简单C闭环和位于C内部的另一条简单闭环C0就可以生成一个Kle......
[期刊论文] 作者:尚旭静,许道云, 来源:计算机工程与科学 年份:2009
研究货≤调度优化问题,本文根据编组站到达场到达货车的情况.做出合理的解体计划,为出发列车及时安排足够多的车辆,建立配流模型。本文将货车调度问题描述成适合蚁群算法的形式,并......
[期刊论文] 作者:赵英阳,许道云, 来源:贵州大学学报:自然科学版 年份:2005
一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字.NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类.通过构造一个命题公式Hn,m,...
[期刊论文] 作者:秦永彬,许道云, 来源:济南大学学报:自然科学版 年份:2006
通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。......
[期刊论文] 作者:刘长云,许道云, 来源:贵州大学学报:自然科学版 年份:2004
鸽巢公式的一个真值指派可以用一个边带标记的完全二分图表示.在完全二分图中插入一个新的中介结点集,可以将鸽巢公式推广到带中介的情形,从而形成一类新的消解难例公式.文中...
[期刊论文] 作者:董改芳,许道云, 来源:计算机工程与应用 年份:2009
通过分析A算法,设计并实现用索引数组和二叉堆表示开放列表的A改进算法。该算法与用索引数组表示的开放列表相比,可以节省约11%的运行时间。...
[期刊论文] 作者:李翰芳,许道云, 来源:吉林大学学报:理学版 年份:2007
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用......
[期刊论文] 作者:许道云,王晓峰, 来源:广西师范大学学报:自然科学版 年份:2011
本文以带输出的非确定型标记变迁系统为基本框架,建立了一个可控制变迁系统模型。在该模型中,伴随内部状态的输出作为观察部分,根据外部观察固定长度的历史记录,决定对系统实施反......
[期刊论文] 作者:陈庆燕,许道云, 来源:贵州大学学报:自然科学版 年份:2005
MAX+(k) 是极小不可满足公式的一个子类.作者引入了 MAX+(k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定.证明了 MAX+(k)...
[期刊论文] 作者:龚平,肖华,许道云, 来源:贵州大学学报:自然科学版 年份:2005
(k,s)-SAT是命题满足性问题限制在一种特殊的命题公式上, 该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点.已经验明对于正整数k,s存在一个指数...
[期刊论文] 作者:许道云,吴占斌, 来源:贵州大学学报:自然科学版 年份:2008
介绍了膨胀图的基本理论,组合膨胀与代数膨胀之间的联系,以及膨胀器构造方法等。系统地阐述了膨胀图在随机算法设计中的应用原理和方法。通过对“坏事件”发生的概率上、下界估......
相关搜索: