地下工程围岩参数反演的仿生算法及其工程应用研究 被引量：18

1

作者 高玮 冯夏庭 郑颖人 《岩石力学与工程学报》 EI CAS CSCD 北大核心 2002年第A02期2521-2526,共6页

围岩参数优化反演实质为一个高度复杂的非线性函数优化问题,采用传统局部优化技术存在依赖于初值、易失败等缺点,而进化算法这种全局优化方法却可以很好地解决此问题。但常用的遗传算法存在效率低等缺点,结合免疫系统原理及进化规划机... 围岩参数优化反演实质为一个高度复杂的非线性函数优化问题,采用传统局部优化技术存在依赖于初值、易失败等缺点,而进化算法这种全局优化方法却可以很好地解决此问题。但常用的遗传算法存在效率低等缺点,结合免疫系统原理及进化规划机制提出的新型仿生算法——免疫进化规划可以克服遗传算法的缺点。通过某水电站工程洞室围岩参数反演研究,证明了仿生算法参数反演的合理性、有效性。 展开更多

关键词 地下工程 参数反演 优化方法 进化算法 仿生算法

在线阅读 下载PDF 职称材料

Tikhonov正则化方法在测井反演中的应用 被引量：3

2

作者 范宜仁 魏丹 邓少贵 《测井技术》 CAS CSCD 2005年第2期102-104,共3页

地球物理测井的反演问题受到人们的广泛重视,然而大多数反演问题具有不适定性,需要高效的不适定问题解法和相应的数值算法。讨论了地球物理反演问题中的第一类算子方程的解法,基于Tikhonov正则化思想,给出了详细的理论分析和算法描述。... 地球物理测井的反演问题受到人们的广泛重视,然而大多数反演问题具有不适定性,需要高效的不适定问题解法和相应的数值算法。讨论了地球物理反演问题中的第一类算子方程的解法,基于Tikhonov正则化思想,给出了详细的理论分析和算法描述。该方法旨在提高老井测井资料信息的有效性,改善了老油区测井二次解释精度。 展开更多

关键词 反演问题 不适定问题 TIKHONOV正则化方法 正则化参数 高分辨率

在线阅读 下载PDF 职称材料

关于勒让德多项式递推公式的研究 被引量：8

3

作者 余海洋 方世跃 《四川理工学院学报（自然科学版）》 CAS 2008年第2期27-29,32,共4页

勒让德多项式在求解数学物理问题中有重要的应用,但是勒让德多项式的通项公式比较复杂,不便于应用。论文从不同的方面对勒让德多项式的递推公式进行了归纳、总结、推导,这些递推公式有助于勒让德多项式在解决实际数学物理问题时的应用。

关键词 勒让德方程 勒让德多项式 罗德里格斯公式 级数

在线阅读 下载PDF 职称材料

二元判决图的实现及改进方法 被引量：2

4

作者 李翔宇 陈光 《电子科技大学学报》 EI CAS CSCD 北大核心 1999年第5期516-519,共4页

构造布尔函数的二元判决图（BDD）财核心是ite算符，文中详细介绍了ite算符表示布尔代数的基本运算，以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明，该BDD软件包性... 构造布尔函数的二元判决图（BDD）财核心是ite算符，文中详细介绍了ite算符表示布尔代数的基本运算，以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明，该BDD软件包性能优于国外同类软件。 展开更多

关键词 二元判决图 运算符 哈希表 反向属性边 布尔函数

在线阅读 下载PDF 职称材料

多值模代数中RM展开式算子解

5

作者 诸静 《计算机学报》 EI CSCD 北大核心 1997年第5期459-464,共6页

本文基于多值模代数中ＲＭ展开式的矩阵变换，给出一种算子算法，不仅使运算矩阵降维，计算简单，而且原理清晰．算法也适合于对称多值模代数求解．对于变量数ｎ＞３的情况，具有递推性．

关键词 多值模代数 Z算子解 RM展开式 多值逻辑

在线阅读 下载PDF 职称材料

核磁共振系统产生A-A相时的量子跃迁

6

作者 孙世军 黄永莲 赵鹏飞 《湛江师范学院学报》 2002年第3期11-16,共6页

该文研究在产生A -A相的条件下 ,核磁共振系统的量子跃迁 .结果表明 :对于一个大小给定的旋转磁场 ,其角速度只能在为一系列离散的、依赖于自然数n(n =2 ,3 ,4,… )的值时 ,才能产生A -A相 ;系统在演变过程中 ,存在量子跃迁 ,随n的增大 。

关键词 A—A相 核磁共振系统 量子跃迁

在线阅读 下载PDF 职称材料

关于产品投资模型优化解算法

7

作者 李建章 丁玉敏 杨映莉 《红河学院学报》 2004年第2期10-12,共3页

在现代经济活动中,如何充分利用资源,以最少的资金投入产生较好的社会效益?大量的规划问题抽象出一个非线性模型(I).当总产品b满足m<b<M时,论文[2]给出了模型(I)优化解的一个简便近似计算公式,本文在论文[2]的基础上进一步给出该... 在现代经济活动中,如何充分利用资源,以最少的资金投入产生较好的社会效益?大量的规划问题抽象出一个非线性模型(I).当总产品b满足m<b<M时,论文[2]给出了模型(I)优化解的一个简便近似计算公式,本文在论文[2]的基础上进一步给出该模型优化解的一种叠代算法. 展开更多

关键词 投资模型 优化解 算法

在线阅读 下载PDF 职称材料

极限的运算方法 被引量：2

8

作者 屈文文 《山西经济管理干部学院学报》 2004年第1期64-65,74,共3页

本文利用极限与某些概念、定理、公式间的联系,介绍了几种常用方法之外的求极限的方法,目的在于开拓解题思想,更深入地理解高等数学各部分的联系。

关键词 定积分 级数 中值定理 导数 泰勒级数

在线阅读 下载PDF 职称材料

实时二叉判定图

9

作者 王强 郭建 刘建元 《西安邮电学院学报》 1999年第3期1-5,74,共6页

对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉... 对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ），并利用ＣＵＤＤ包实现了ＴＢＤＤ． 展开更多

关键词 二叉判定图 时间参数 布尔函数 BDD VLSI CAD

在线阅读 下载PDF 职称材料

局部相似原理在数学猜想及证明中的应用

10

作者 杨朝晖 《河南科学》 2010年第2期154-156,160,共4页

站在数学方法论的高度,不仅指出相似原理是近代数学各分支处理相当广泛一类问题的理论基础,而且还建构了它在近代数学各领域中处理数学问题的框架——广义的RMI原则,最后指出某些数学猜想与相似原理之间的有机联系,从而为其证明提供了... 站在数学方法论的高度,不仅指出相似原理是近代数学各分支处理相当广泛一类问题的理论基础,而且还建构了它在近代数学各领域中处理数学问题的框架——广义的RMI原则,最后指出某些数学猜想与相似原理之间的有机联系,从而为其证明提供了一些有益的启示. 展开更多

关键词 优局部相似系统 广义RMI原则 猜想与证明

在线阅读 下载PDF 职称材料

PEL1:一个示例式演绎学习算法

11

作者 林原 《中央民族大学学报（自然科学版）》 1996年第2期39-45,共7页

本文提出一个启发式示例学习算法．同现存的示例学习方法相比，本文算法是基于演绎推理的．并且不需要提供反例集．本文算法对给定的正例集进行演绎学习以获取具有保真性的概念规则．本文算法也适用于多值逻辑函数的极小化．

关键词 示例学习 演绎学习 知识获取 多值逻辑函数极小化

在线阅读 下载PDF 职称材料

有穷集合上函数类的生成集

12

作者 何纯瑾 《哈尔滨商业大学学报（自然科学版）》 CAS 1992年第1期50-55,共6页

证明了 F 有生成集{f_0,f_1},并且当 n=3时,证明了 F 有最小生成集{k(x,y)}。

关键词 生成集 最小生成集

在线阅读 下载PDF 职称材料

数形结合:数学解题方法归类叙论

13

作者 尚会妍 《天津商务职业学院学报》 2014年第1期86-87,90,共3页

数形结合是解决数学问题的一种重要思想方法,在数学教学中占有重要地位。它是通过"以形助数,以数解形"的巧妙应用,使复杂问题简单化、抽象问题具体化,使问题能够轻松得到解决,从而起到事半功倍的效果。

关键词 数形结合 以形助数

在线阅读 下载PDF 职称材料

模态逻辑K、K_4系统Matrix证明方法中的可采纳替换

14

作者 孙吉贵 刘叙华 《模式识别与人工智能》 EI CSCD 北大核心 1996年第3期234-238,共5页

Wallen的模态逻辑Matrix证明方法是在机器上较容易实现的一种模态逻辑自动推理方法.它将推理的难点转移到求可采纳替换中去,因而,可采纳替换的计算构成了模态逻辑Matrix证明方法的本质内容.本文讨论了模态逻辑K、K_4系统可采纳替换的存... Wallen的模态逻辑Matrix证明方法是在机器上较容易实现的一种模态逻辑自动推理方法.它将推理的难点转移到求可采纳替换中去,因而,可采纳替换的计算构成了模态逻辑Matrix证明方法的本质内容.本文讨论了模态逻辑K、K_4系统可采纳替换的存在性对多重性函数μ的依赖关系;指出了Wallen关于模态逻辑K、K_4系统的K-原子路径的若干结果和定义是不合适的,从而其某些结论是不正确的. 展开更多

关键词 模态逻辑 Matrix证明方法 可采纳替换 类演算

原文传递