排序方式: 共有54条查询结果,搜索用时 15 毫秒
1.
许道云 《贵州大学学报(自然科学版)》2019,36(1)
实例空间X的一个子集规定一个概念,表现为一个函数c:X→{0,1}。给定X上一个分布D,可能近似正确(PAC)学习算法的目的是基于独立同分布样本S,由算法产生一个近似函数hS,以高概率保证它与目标函数c的误差不超过给定误差值。如果存在这样的算法其样本复杂性及时间复杂性受多项式界,则认为目标概念可以有效PAC学习。本文讨论二维欧氏空间上有界线性凸区域定义的目标概念的学习理论和方法,证明了有界线性凸区域定义的目标概念是有效PAC可学习的,其方法可以推广到n维欧氏空间上由超平面界定的有界凸区域对应的目标概念学习。 相似文献
2.
前文报道了采用 Yang—Hongen 方法,从四种机理假设建立了十三个竞争功力学方程。本文则重点解决从上述竞争方程中识别出能适应于以云南硅藻土为载体的钒催化剂上 SO_2氧化机理的本征动力学方程。我们利用线性回归分析方法,用15组实验数据。从十三个竞争方程中,筛选出较为理想的动力学方程,并用6组实验数据进行验证,最后确定了最佳机理模型方程为:r=(KB(Po_2~1/2-P_(so3)/KP_(so2)/(1+(k_BP_(so3)/k_BP_(so2)~(1/2)+k_PP_(so3)~(1/2))~2 相似文献
3.
基于W alsh函数,建立一个新的函数系T n n∈N.它是一个分段线性函数序列,在0,1的子区间上其函数图像呈现三角形。并且证明了它是C[0,1]上一个完备的正交函数系。在此函数系上展成的Fourier级数有许多与三角Fourier级数相似的性质,三角形Fourier级数的部分和在作为函数的逼近工具时确实要比三角Fourier级数优越一些。 相似文献
4.
5.
时间规划的关系矩阵法之简化 总被引:2,自引:0,他引:2
许道云 《贵州大学学报(自然科学版)》1993,10(4):200-206
就张钹等提出的时间规划的关系矩阵法,提出一个简化方法,这里不再分时间关系的单成分与多成分。简化后的方法对一般情形有效,而且不再考虑相容集,由此算法可以求出所有可能的时间安表排,且计算复杂性仍在多项式时间内。 相似文献
6.
许道云 《贵州大学学报(自然科学版)》2012,29(5):49-52,62
通常汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为T3(n)=2n-1.对于带4杆的汉诺塔问题,最优移动次数满足关系T4(n)=2T4(m)+T3(n-m),其中m=arglmin{2T4(l)+T3(n-l)}依赖于n.对于正数整k,当k(k-1)/2+1≤n≤k(k+1)/2,n=k(k-1)/2+l时,T4(n)=(l+k-2)2k-1+1.特别,T4(sk)=2T4(sk-1)+T3(k),其中s0=0,sk=sk-1+k(k≥1). 相似文献
7.
许道云 《贵州大学学报(自然科学版)》2018,(3)
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明中开启可计算理论(递归论)之门,用现在成熟递归论的结果重新认识哥德尔不完全定理,使其变得更容易接受。近年来,机器学习取得突破性成果,由此引发有关人工智能是否可以完全代替人的思维能力等热点问题讨论。针对这一问题,如果承认"人工智能"是在一个交互计算系统中完成的,那么哥德尔不完全定理给出的是否定回答。 相似文献
8.
许道云 《贵州大学学报(自然科学版)》1986,(4)
本文旨在二值逻辑意义下,证明了如下三个公理系统的等价性。系统Ⅰ:(A_1)■→(x→■);(A_2)[■→(x→θ)]→[■→x)→(■→θ)];(A_3)(■→■]x)→(x→■)系统Ⅱ:(a)(■→x)→[(x→θ)→(■→θ)];(b)(■→■)→■;(c)■→(■→x)系统Ⅲ:(α)({[(■→■)→(■→■θ)]→x}→τ)→[(τ→■)→(θ→■)]以上系统都使用同一推理规则——分离规则。 相似文献
9.
匹配计数问题是一个著名的难问题,考虑它的两个参数化问题p-deg-#MATCHING与p-#MATCHING,证明了p-deg-#MATCHING是固定参数易解的,p-#MATCHING有固定参数易解随机近似方案. 相似文献
10.
(k,s)-SAT是命题满足性问题限制在一种特殊的命题公式上,该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点。已经验明对于正整数k,s存在一个指数函数f,满足:对任意s≤f(后),所有的(k,s)-SAT例都是可满足的,而(k,f(k)-SAT却是一个NP-完全问题。目前为止,只知道f(3)和f(4)的精确值.对于,是否可计算是一个仍未解决的问题.由于每个满足某种条件的数值序列对应一个MU(1)中的公式,在[2]中,作者S.Horry和S.Seizder通过对数值序列的运算来构造(k,s)-SAT中的MU(1)公式例,得到了函数厂的可计算上界函数。但当k比较大时,该方法不太实用。作者定义了一种树规则来减少数值计算的步数,得到了一个确定的实用的算法来计算函数f的上界,该上界接近[2]中的上界,同时,也得到了一些NP-完全满足性问题类。 相似文献