排序方式: 共有61条查询结果,搜索用时 15 毫秒
21.
给出了一类具有连续p(x)-增长条件的积分泛函,由已有的此类积分泛函的Q-极小的局部高阶可积性,利用Ekeland变分原理、Young不等式等证明了满足一定条件的此类积分泛函的ω-极小的局部Hlder连续性. 相似文献
22.
孔红 《重庆理工大学学报(社会科学版)》2013,27(9)
限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序. 相似文献
23.
郭顺利 《湖南科技大学学报(社会科学版)》2012,15(5):23-27
刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质. 相似文献
24.
郭顺利 《湖南科技大学学报(社会科学版)》2012,15(4)
刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑 C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了 C2Lm的一个刻画某种多余条件的扩充系统 C1,证明了它的一些语法及语义性质 相似文献
25.
26.
针对目前反垃圾邮件技术的缺点,提出一种基于遗传优化神经网络的垃圾邮件过滤器模型,利用遗传算法全局搜索能力优化神经网络连接权值,克服神经网络局部极小值点问题,提高神经网络的学习速度和识别能力。通过对遗传算法和人工神经网络算法的实现,证明它们在垃圾邮件过滤器中有很好的应用效果。 相似文献
27.
讨论了一类带等式、不等式约束的极大极小值问题,将其转化为带等式、不等式约束的非线性规划问题,利用辅助规划进行处理,给出了一个广义的梯度投影算法,解决了一般约束极大极小值问题。算法可在有限步达到最优点或产生一系列点列,其极限点则是最优点,并证明了该算法的全局收敛性。 相似文献
28.
设M是S~(n+1)的闭定向极小超曲面,众所周知,如果M的高斯映射的象取决于S~(n+1)的开半球,则M为全测地。当n=2时此定理已由文[2]准确地给出,本文讨论n≥2时的情形。 相似文献
29.
本文利用极小子模定义了极小平坦模,进而定义了极小平坦维数,并且利用它们分别刻画了极小IF环、极小半遗传环. 相似文献
30.
古孝鸿 《电子科技大学学报(社会科学版)》1989,(6)
本文提出一种有有事分式阵作为预补偿阵以实现对角优势的新方法,先将对象传递阵和预补偿阵进行适当的分解,使待解方程的结构变得简单,再分别用极小化方法和最小二乘法术预补偿阵。通过实例计算证明本文所迷方法是成功的。 相似文献