搜索筛选:
搜索耗时0.9112秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
发布年度:
[期刊论文] 作者：许道云,,
来源：贵州大学学报(自然科学版) 年份：2012
通常汉诺塔问题只带三根杆，当圆盘数为n时，最优移动次数为L（n）：2^n-1．对于带4杆的汉诺塔问题，最优移动次数满足关系T4（n）=2T4（m）＋T3（n—m），其中m=argfmin{2T4（l）＋T3（n—1）}依赖于n．对于正数整k，当k（k......
[期刊论文] 作者：许道云,,
来源：物流科技 年份：2012
针对目前高职物流人才培养规格现状进行相关研究，分析了目前高职人才培养规格存在的问题。结合高职物流企业人才培养规格，选择物流企业进行调研，了解物流职业岗位群及岗位能力要......
[期刊论文] 作者：许道云,
来源：宁夏大学学报：自然科学版 年份：2012
工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实...
[期刊论文] 作者：许道云，XUDao-yun,
来源：黑龙江科技信息 年份：2012
本文通过对荣华二采区10...
[期刊论文] 作者：许道云, 王晓峰,,
来源：逻辑学研究 年份：2012
通过一个恰当的归约变换,可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式,使其两者具有相同的可满足性。一个典型的归约是将一般的CNF公式变换为3-CNF公式。通...
[期刊论文] 作者：Daoyun Xu,许道云,王晓峰,
来源：逻辑学研究 年份：2012
通过一个恰当的归约变换，可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式，使其两者具有相同的可满足性。一个典型的归约是将一般的CNF公式变换为3．GVF公式。通过构......
[期刊论文] 作者：韦立,许道云,王正才,
来源：计算机科学 年份：2012
对于给定的距离参数ε,性质测试算法A需以高概率正确地区分给定的对象具备预定性质Π与ε-远离性质Π。若存在Π的测试算法A满足其询问复杂性独立于规模参数n,则称Π是可测的...
[期刊论文] 作者：刘于新, 姚凯学, 许道云,,
来源：计算机技术与发展 年份：2012
三层架构是数据库开发中最常用的分层架构。三层结构能够提高代码重用率,降低项目开发难度。为了解决手工编写三层架构的代码工作量大且容易出错的问题,使用.Net平台提供的动...
[期刊论文] 作者：王晓峰,许道云,秦永彬,
来源：西南交通大学学报 年份：2012
为了探讨WP（警示传播）算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了...
[期刊论文] 作者：魏嘉银,秦永彬,许道云,
来源：计算机科学 年份：2012
在分析多处理机调度问题的基础上,提出了α-平坦的概念,并将其引入到多处理机调度问题中;基于此,提出了一种新的基于α-平坦的求解多处理机调度问题的算法。算法首先对作业集...
[期刊论文] 作者：任丽娜,秦永彬,许道云,,
来源：计算机应用研究 年份：2012
针对模糊C-均值聚类算法过度依赖初始聚类中心的选取,从而易受孤立点和样本分布不均衡的影响而陷入局部最优状态的不足,提出一种基于自适应权重的模糊C-均值聚类算法。该算法采用高斯距离比例表示权重,在每一次迭代过程中,根据当前数据的聚类划分情况,动态计算......
[期刊论文] 作者：王正才,许道云,王晓峰,唐郑熠,韦立,
来源：计算机工程 年份：2012
BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略......
相关搜索：
