•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8721-8740项 搜索用时 108 毫秒
[首页] « 上一页 [432] [433] [434] [435] [436] 437 [438] [439] [440] [441] [442] 下一页 » 末  页»
8721.
本文叙述了两类并行文件系统中diskcache一致性的维护方法,并基于release一致性模型,给出了其正确性证明.  相似文献
8722.
  
齿轮裂纹等级的识别对于齿轮箱故障诊断具有重要意义。通过随机化邻域约简,生成一系列邻域可分子空间,从而形成不同的子分类器。通过最小化间隔损失或者求解L1正则最小平方损失问题来改变间隔分布,从而得到子分类器权值,对分类器按权值排序后,选择使得训练集分类精度最高的子分类器集合。实验结果… …   相似文献
8723.
  
针对线性投影结构非负矩阵分解迭代方法比较复杂的问题,提出了一种线性投影非负矩阵分解方法.从投影和线性变换角度出发,将Frobenius范数作为目标函数,利用泰勒展开式,严格导出基矩阵和线性变换矩阵的迭代算法,并证明了算法的收敛性.实验结果表明:该算法是收敛的;相对于非负矩阵分解等… …   相似文献
胡俐蕊  吴建国  汪磊 《计算机科学》2013,40(10):269-273
8724.
  
本文提出了GF(q)上(n,k)置换多项式的概念,建立了它与函数相关免疫性之间的联系,并研究了它们的性质.得到了GF(q)(q>2)上一些特殊类型的函数是m阶和所有二次多项式是最大阶相关免疫的充分必要条件.证明了在GF(q)(q>4)上存在非线性的具有最大阶相关免疫阶的函数,也给出了一种由低次数具有特定相关免疫阶的函数构造非线性次数高的同阶相关免疫函数的有效方法.… …   相似文献
隆永红 《软件学报》1996,7(7):442-448
8725.
面向作业的调度(job oriented scheduling,简称JOS)在实际作业车间(job shop)调度中得到普遍的应用,它的基本思想是将作业一个个地安排到工作机器上.该文提出了一种基于计算机JOS系统的快速调度算法,该算法指定作业操作的可行调度起始和结束时间以正排工序… …   相似文献
黄启春  陈奇  俞瑞钊 《软件学报》1999,10(10):1073-1077
8726.
研究了视频误码的语法/语义检测、相关性检测方法和错误掩盖方法,分析了AVS的技术特性。在此基础上提出了一种基于AVS的错误两步检测法和基于图像编码帧类型(I,P,B)的自适应错误掩盖方法。实验结果表明,两步检测法能对AVS码流中的错误进行准确定位,自适应错误掩盖方法对图像的恢复效… …   相似文献
8727.
下载全文  总被引:3,自引:0,他引:3
给出了一个无双线性对的无证书两方密钥协商方案,并演示了这些不安全无证书方案存在的攻击.只要每方至少有1个未泄露的秘密值,该方案在最强的安全模型下就是安全的.即使密钥生成中心知道双方的临时私钥或显示双方的秘密值/替换公钥(但不能同时),但只要计算Diffie-Hellman假设成立… …   相似文献
刘文浩  许春香 《软件学报》2011,22(11):2843-2852
8728.
  总被引:1,自引:1,他引:1
由于存在相干斑噪声的影响,使得常规的图像分割技术应用于SAR图像时,效果往往较差。该文提出一种新人工免疫系统SAR图像分割算法,算法首先提取每幅图像的纹理特征,并对其进行实数编码,然后通过借鉴生物学免疫系统的抗体克隆选择机理,构造适合于图像分割的克隆算子,以较快的收敛速度优化目标… …   相似文献
8729.
在讨论神经网络的容错性的文献中,主要涉及的一直是关于输入噪音的容错问题.在这些文献中通常把该问题转换为某种优化问题,并用现成的优化方法进行求解,但很少涉及由网络故障所引起的容错问题,即结构容错问题.利用覆盖算法分析结构容错问题,给出一个神经网络容纳所有单节点故障的充要条件和构造这… …   相似文献
张铃 《软件学报》2001,12(11):1693-1398
8730.
  
基于LBP算子具有旋转不变性和灰度不变性等显著特点,本文通过LBP算子的特征提取,将人脸分成子区域,然后通过连接这些子区域的LBP直方图生成人脸特征向量,由于生成的特征向量的维数过高,通过PCA算法降维压缩,最后用欧式距离分类器完成测试样本和训练样本的人脸识别,通过实验比较得出很… …   相似文献
8731.
下载全文  总被引:6,自引:0,他引:6
为进一步提高遥感图像水质反演的精度,提出了一种基于知识和遥感图像相结合的神经网络水质反演模型。该模型利用遥感图像数据以及与水质相关的知识数据作为BP神经网络的输入,经训练后,确定神经网络的结构,在训练好的BP神经网络基础之上对水质进行反演。以中国太湖为例进行实证研究,实验中,使用… …   相似文献
8732.
下载全文  总被引:4,自引:0,他引:4
能够进行无损伤探测的功能核磁共振成像(functional magnetic resonance imaging,fMRI)技术使人们又多了一种研究神经活动的有力工具,但传统的数据分析方法还不能很好地揭示fMRI数据中所包含的丰富信息,而独立分量分析(indepenctent c… …   相似文献
李可  闫镔  单保慈 《中国图象图形学报》2005,10(5):561-566,i001
8733.
  
随着获取设备的发展,大尺度、高分辫率数字图像已逐步进入人们的生活,大尺度图像的梯度域编辑显得更为重要,求解大规模未知数的泊松方程是大尺度图像梯度域编辑的关键。传统多重网格算法的迭代、约束和插值操作单独进行,内存和外存间通讯量大,算法效率低,为此提出了一种面向大尺度图像梯度域编辑的… …   相似文献
8734.
下载全文  总被引:12,自引:0,他引:12
提出一种新方法,以检测一个点是否在多边形或多面体内.该方法通过将多面体的面片和多边形的边组织成层次结构,在检测时运用二分查找算法,不必处理每个面片和每条边.试验结果表明,这种方法简单、有效,有较高的检测速度.  相似文献
王文成  吴恩华 《软件学报》2000,11(12):1614-1619
8735.
下载全文  总被引:14,自引:1,他引:13
曲线拟合在图象处理、逆向工程应用等领域中有着重要意义。由于对于B样条参数曲线拟合,数据点的参数化直接影响着拟合的精度,因此提出了一种基于迭代最近点的方法来优化修正数据点的参数,并且证明了应用该方法进行曲线拟合具有局部收敛性。通过实验分析,验证了方法的正确性和鲁棒性。  相似文献
8736.
函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这… …   相似文献
MOHAMEDHamada 《软件学报》2001,12(9):1279-1286
8737.
下载全文  总被引:1,自引:0,他引:1
提出了\"内涵亏值\"与\"紧致依赖\"的概念,证明了由\"紧致依赖\"组成的依赖基对于\"左部加属性、右部减属性\"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭… …   相似文献
马垣  张学东  迟呈英 《软件学报》2011,22(5):962-971
8738.
为了降低H264中I帧编码模式选择时的计算量,提出了一种快速编码算法。该方法首先选择适当的滤波算子对待编码宏块进行平滑滤波,同时使用滤波后的结果与原始宏块数据进行比较来得到滤波残差量;然后将该滤波残差量作为依据,提前判断出当前宏块编码所属的基本模式集,这样由于减小了候选模式的范… …   相似文献
8739.
下载全文  总被引:2,自引:1,他引:1
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状.近年来,学者们提出了许多方法进行命题知识库的更新,一类是基于公式的方法;一类是基于模型的方法,但所有这些方法在通常情况下都是难解的.本文讨论基于公式的Ginsberg更新方法,并给出在公式个数远小于变元个数情况下的一… …   相似文献
陶雪红  孙伟  马绍汉 《软件学报》1996,7(5):300-305
8740.
0-1矩阵常用于设计分组密码的扩散结构,首先证明,当GF(2n)上的矩阵重新定义在扩域GF(2mn)上时其分支教保持不变,据此补充了Choy等人关于GF(2n)上二元矩阵分支数上界的证明.构造了一批分支数达到最优的8阶二元可逆矩阵,给出了一类差分分支数和线性分支数相等的二元可逆矩… …   相似文献
崔霆  陈河山  金晨辉 《软件学报》2012,23(9):2430-2437
[首页] « 上一页 [432] [433] [434] [435] [436] 437 [438] [439] [440] [441] [442] 下一页 » 末  页»