搜索筛选:
搜索耗时0.8282秒,为你在为你在102,285,761篇论文里面共找到 182 篇相符的论文内容
发布年度:
[期刊论文] 作者：许道云,,
来源：物流科技 年份：2012
针对目前高职物流人才培养规格现状进行相关研究，分析了目前高职人才培养规格存在的问题。结合高职物流企业人才培养规格，选择物流企业进行调研，了解物流职业岗位群及岗位能力要......
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2013
在Giorgi Japaridze引入的可计算性逻辑中，提出了将命题作为博弈，命题的真值由博弈结果得到的基本思想。本文通过引入环境状态概念，给出了命题求真过程的形式化表示方法。基于这......
[期刊论文] 作者：许道云,
来源：宁夏大学学报：自然科学版 年份：2012
工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2013
机制设计理论是博弈论与社会选择理论的综合应用，应用到计算机科学领域中，产生了算法机制设计，作为一种工具，可以应用到带自私性和分布信息的算法设计。本文介绍算法机制设计必要......
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：1993
就张钹等提出的时间规划的关系矩阵法,提出一个简化方法,这里不再分时间关系的单成分与多成分。简化后的方法对一般情形有效,而且不再考虑相容集,由此算法可以求出所有可能的...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2003
合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指公式...
[期刊论文] 作者：许道云,
来源：软件学报 年份：2005
合取范式(CNF)公式H到F的同态(是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公...
[期刊论文] 作者：许道云,
来源：软件学报 年份：2006
合取范式（CNF）公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足,（r,s）-CNF是限制CNF公式中每个子句恰有r个不同的文字,且每个变元出现的次数...
[期刊论文] 作者：许道云,
来源：计算机科学与探索 年份：2011
分析了全息算法的基本理论、原理和使用方法，旨在简化对全息算法的理解并加以应用；给出了几个实例（如平面3-CNF公式的计数问题），以帮助读者理解全息算法中的一些基本原理和方法。......
[期刊论文] 作者：许道云,
来源：南京大学学报：数学半年刊 年份：2006
研究了判定问题“对于命题CNF公式F和H，是否存在一个变元（或文字）改名φ，使得φ（F）=H？”的复杂性．对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价......
[期刊论文] 作者：许道云,
来源：计算机科学与探索 年份：2008
PCP定理是近十年来计算复杂性领域内的重要成果之一,介绍了从图灵计算模型到概率可验证明（PCP）计算模型的演变过程、PCP系统的基本理论,以及PCP定理应用于不可近似问题研究的基...
[期刊论文] 作者：许道云,,
来源：南京大学学报(数学半年刊) 年份：2006
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2003
研究判定合取范式公式F和H之间是否存在一个改名ψ使得ψ(F)=H的计算复杂性.公式的改名是将命题变元映到变元本身或变元的否定的一个映射,对于极小不可满足公式的子类MU(1)中...
[学位论文] 作者：许道云,
来源：南京大学 年份：2002
一个变元改名是一个关于变元的置换,一个文字改名是允许某些变元变换到它的补的变元改名,一个同态则是允许不同文字变换到同一文字的文字改名.该文研究了极小不可满足公式的...
Computability of the critical function for unsatisfiable k-CNF formulas withfew occurrences per vari
[会议论文] 作者：许道云;,
来源：2014年南开数理逻辑研讨会 年份：2014
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for...
[期刊论文] 作者：许道云,,
来源：中国物流与采购 年份：2015
根据物流职业岗位群,分析物流职业岗位能力,构建物流专业理论和实践课程体系,才能为企业提供高质量的物流专业人才高职教育肩负着为经济社会发展培养高素质技能型专门人才的...
Computability of the critical function for unsatisfiable k-CNF formulas withfew occurrences per vari
[会议论文] 作者：许道云,
来源：2014年南开数理逻辑研讨会 年份：2014
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for...
[会议论文] 作者：许道云,
来源：全国第五届计算机辅助生产管理学术会议 年份：1999
该文建立了一个决策优化模型的遗传算法，提供了一种生产管理中实用而有效的决策优化方法。通过适当的修改，对其他优化模型仍然有效。...
[期刊论文] 作者：许道云,,
来源：南京大学学报(数学半年刊) 年份：2006
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的...
[期刊论文] 作者：许道云,
来源：物流科技 年份：2013
摘 要：高职化工物流管理专业以培养高素质技能型人才的目标为前提，以职业岗位群的能力需求为主线、以人才培养目标为起点、以就业为导向设计学生的课程体系。文章以南京化工职业技术学院化工物流管理专业为例研究高职化工物流管理专业课程体系构建，首先分析高职物......
相关搜索：
