检索结果-内蒙古大学图书馆

程序不变量指的是程序中蕴含的不变性质，其生成方法主要分为两种类型：静态分析和动态分析。静态分析方法通过检查程序代码等文档发现系统隐含的性质，从而产生相应的形式化规格说明；动态分析方法是指通过程序的实际（重复）运行获得程序运行轨迹数据，并进行轨迹数据的分析得到程序不变量。在一定的条件下静态分析方法确实能够发现程序中所隐含的重要性质，但是这类技术通常只能成功应用于中小规模的程序。因此，动态分析方法近年来得到了长足的发展，其中影响最大的是Ernst等人的系列研究工作。严格来讲，在动态分析方法中程序不变量应该称为似然程序不变量，它描述的是在程序的多次运行中保持不变的性质。由于采集的数据总是有限的，所以似然程序不变量也许是真正的不变量，也许是伪不变量。目前的似然程序不变量动态发现方法比较粗糙，只能检测一些直观的不变量形式，难免会遗漏重要的程序特征。主要体现在两个方面，一个是检验遍历的盲目性，即针对所有预置似然不变量进行全方位的遍历测试，其计算量很大且存在大量的无用计算；另一个方面是预置似然不变量形式为人工预测，具有较大的主观性。因此需要寻找可行的方法尽可能地从程序运行轨迹数据中分析发现出程序中的各种不变性质，减少因遗漏造成的不良影响，同时减少盲目性造成的大量无用计算。\n 本文核心内容讨论的是关于如何通过对程序运行轨迹数据进行分析获取函数型程序不变量的技术。在具体实现时，依据程序不变量空间划分（函数型程序不变量与非函数型程序不变量）降低分析的复杂度，重点关注函数型程序不变量的发现和它的表达式形式确定工作。分三个步骤逐步求精完成，第一步利用关系理论判定函数型程序不变量是否存在，降低后续工作的盲目性；第二步利用GEP对函数的发现能力确定函数的基本类型，获得较客观的程序不变量的预置形式，进一步缩小关注的范围；第三步依据上一阶段获得的启发性信息寻找相应的数学理论指导函数表达式的精确确定，形成最终结果表达式。\n 本文总结了实际工作的结果，清楚地表述了在函数型程序不变量的发现工作中使用的创新思路，即利用关系理论的函数存在性判定能力降低检测的盲目性、利用GEP获取最优解的函数发现能力给出了一种自动的启发式的程序不变量预置形式的供应方法，减少主观性带来的缺点。获得了目前程序不变量发现技术中没能处理的函数型程序不变量，并且完整地解决了标准多项式函数型程序不变量的发现与生成的问题。整个工作是对目前程序不变量发现技术的一个补充改进，增大了从程序运行轨迹数据中发现更多程序不变量的可能性。

关键词：函数型程序不变量 GEP预置形式函数表达式关系理论程序运行轨迹数据处理

来源：评论

学校读者我要写书评

暂无评论

异常高压气藏岩石应力敏感性及其对产能的影响

引用

天然气工业 2005年第5期25卷 94-95页

作者：杨胜来肖香娇王小强杨清立石油大学.北京中国石油塔里木油田分公司

文章具体实测了克拉2异常高压气藏岩样不同覆压下的渗透率,根据其实测结果拟合出渗透率的应力敏感性幂函数表达式,总结了岩石渗透率随气藏压力或有效覆压的变化规律。考虑渗透率变化对气藏产能的影响,推导出新的产能方程。研究表明:克拉... 详细信息

文章具体实测了克拉2异常高压气藏岩样不同覆压下的渗透率,根据其实测结果拟合出渗透率的应力敏感性幂函数表达式,总结了岩石渗透率随气藏压力或有效覆压的变化规律。考虑渗透率变化对气藏产能的影响,推导出新的产能方程。研究表明:克拉2气藏岩样应力敏感性高于大庆油田岩样,具有异常高压气藏岩石欠压实的特点。岩样的应力敏感性使产能降低,在克拉2 气藏的条件下,考虑应力敏感时的绝对无阻流量是渗透率为常数时的70%左右。该研究对深入了解异常高压气藏的产能及预测异常高压气藏的开发动态和采收率有一定意义。

关键词：应力敏感性克拉2异常高压气藏克拉2气藏绝对无阻流量函数表达式岩石渗透率实测结果变化规律产能方程大庆油田开发动态岩样欠压实采收率推导

来源：评论

学校读者我要写书评

暂无评论

基于粒子群算法的井眼轨迹优化研究

引用

大连理工大学学报 2005年第3期45卷 449-452页

作者：丁华王秀坤孙焘大连理工大学计算机科学与工程系

为了更优更快地对石油工程中的井眼轨迹进行优化,进行了基于改进粒子群优化(PSO)算法的井眼轨迹优化研究.通过对造斜率归一化,推导出目标函数表达式,将问题归结到对式中参数优化问题上来.引入PSO算法,在保持了PSO算法结构简单可行特点... 详细信息

为了更优更快地对石油工程中的井眼轨迹进行优化,进行了基于改进粒子群优化(PSO)算法的井眼轨迹优化研究.通过对造斜率归一化,推导出目标函数表达式,将问题归结到对式中参数优化问题上来.引入PSO算法,在保持了PSO算法结构简单可行特点的同时,利用惩罚函数方法和叉乘控制项,对基本PSO算法易限入局部极小点周边区域的局限进行了改进.该井眼轨迹模型和相应算法提高了井眼轨迹优化速度.通过对钻井工程中轨迹参数的优化实践,验证了本算法优于基本的PSO算法,较好地实现了对井眼轨迹的优化.

关键词：井眼轨迹优化研究粒子群算法 PSO算法粒子群优化函数表达式罚函数方法局部极小点石油工程优化问题算法结构轨迹参数钻井工程优化速度归一化造斜率控制项周边区

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的机械零部件可靠性优化设计

引用

农业机械学报 2005年第4期36卷 112-115,122页

作者：张义民张雷东北大学机械工程与自动化学院吉林大学机械科学与工程学院

采用概率约束等价转换的数值逼近法,研究了具有任意分布参数的可靠性优化设计,可以迅速准确地获得优化设计结果。针对具有多失效模式的机械零部件可靠性优化设计,提出了随机模拟神经网络( MCSNN)方法,模拟得到随机设计变量与机械零部件... 详细信息

采用概率约束等价转换的数值逼近法,研究了具有任意分布参数的可靠性优化设计,可以迅速准确地获得优化设计结果。针对具有多失效模式的机械零部件可靠性优化设计,提出了随机模拟神经网络( MCSNN)方法,模拟得到随机设计变量与机械零部件系统可靠度之间的显性函数表达式,简化了计算过程,同时可以获得较高的计算精度。

关键词：可靠性优化设计机械零部件神经网络任意分布参数数值逼近法函数表达式系统可靠度等价转换概率约束失效模式随机模拟设计变量计算过程计算精度实用价值

来源：评论

学校读者我要写书评

暂无评论

界面反射P-SV波转型超声散斑统计特性

引用

声学学报 2005年第2期30卷 153-157页

作者：朱鸿茂陈福龙华中科技大学力学系武汉430074

对超声P波入射至强散射粗糙界面上时,反射声场中的转型SV波散斑的统计特性进行研究。根据Frensel-Huygens理论和自相关原理,得到了SV波散斑振幅概率密度函数的Rayleigh分布形式以及散斑平均横向尺寸的计算公式。进而又得到了,在使用具... 详细信息

对超声P波入射至强散射粗糙界面上时,反射声场中的转型SV波散斑的统计特性进行研究。根据Frensel-Huygens理论和自相关原理,得到了SV波散斑振幅概率密度函数的Rayleigh分布形式以及散斑平均横向尺寸的计算公式。进而又得到了,在使用具有一定尺寸孔径的横波探头时,所接收的SV波散斑的归一化声强的概率密度函数表达式,它与横波探头内接收到的平均散斑个数有关。在实验中,应用了两种不同孔径尺寸的横波探头对SV波的散斑声强进行测量。对测量所得的散斑合强度的数据进行统计分析的结果表明,实验值与理论值有较好的一致性。由此证实,上述理论分析的结果是正确的。

关键词：统计特性 P-SV波超声散斑界面反射转型 Rayleigh 概率密度函数函数表达式粗糙界面相关原理计算公式横向尺寸分布形式孔径尺寸统计分析探头横波归一化一致性理论值实验值平均声强接收测量声场个数

来源：评论

学校读者我要写书评

暂无评论

第二章函数

引用

数学爱好者(高一人教大纲) 2008年第9期 25-48+65-66页

作者：陈长松河南郏县一高

来源：评论

学校读者我要写书评

暂无评论

浅说一次函数的学习

引用

初中生辅导 2020年第Z2期 53-64页

作者：杨鑫昀贵州省贵阳市第十八中学

函数是刻画和研究现实世界变化规律的重要模型,是初中阶段数学学习的一个重要内容,它贯穿于整个中学阶段.在七年级从多方面感知变量间关系的基础上,《一次函数》这一章带着我们初步认识函数,明确变量之间的这种关系是可以用函数这个数... 详细信息

函数是刻画和研究现实世界变化规律的重要模型,是初中阶段数学学习的一个重要内容,它贯穿于整个中学阶段.在七年级从多方面感知变量间关系的基础上,《一次函数》这一章带着我们初步认识函数,明确变量之间的这种关系是可以用函数这个数学模型来刻画的,并进一步研究一次函数.一次函数是中学数学中一种最简单、最基本的函数,是今后进一步学习其他函数的基础.掌握一次函数的概念、图像特

关键词：一次函数坐标轴取值范围正比例函数函数关系式函数表达式

来源：评论

学校读者我要写书评

暂无评论

与二次函数相关的竞赛题

引用

数理化学习（初中版） 2008年第8X期 7-9页

作者：姜继学贵州省剑河县革东中学

二次函数是初中数学中十分重要的知识,其内容极为丰富.在近年全国各地各类初中数学竞赛中,与二次函数相关的竞赛题频频出现.本文举例介绍一些常见的题型,供读者学习参考。

关键词：二次函数竞赛题数学竞赛题设学习参考顶点坐标钝角三角形函数表达式锐角三角形已知点

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：