检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

构造型几何定理及其机器证明系统

系统科学与数学 1987年第2期 163-172页

作者：王东明,胡森中国科学院系统科学研究所中国科学院系统科学研究所

Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们... 详细信息

Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平凡的几何定理,并且独立发现了相当深入的结果。

关键词：定理证明人工智能机器证明几何定理多项式方程构造型消去非退化方程组联立方程项数

构造型陆架控制了南海中央峡谷系西段的沉积体系演化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

构造型陆架控制了南海中央峡谷系西段的沉积体系演化

构造型碳酸盐岩气烟囱地球物理特征及其成因分析

2020年中国地球科学联合学术年会

作者：王大伟王微微欧阳敏中国科学院深海科学与工程研究所三亚 572000 中国石油大学(华东) 青岛 266580 成都理工大学、中海油湛江分公司湛江 524057

从11.6 Ma至今,南海琼东南盆地东部陆架边缘位置相对稳定,没有发生大的位移。这一现象表明琼东南盆地东部大陆架属于构造型陆架——陆架边缘呈现垂向叠加模式。本文着重强调了构造型陆架对深水沉积体系演化的控制作用,以及构造型陆架对... 详细信息

从11.6 Ma至今,南海琼东南盆地东部陆架边缘位置相对稳定,没有发生大的位移。这一现象表明琼东南盆地东部大陆架属于构造型陆架——陆架边缘呈现垂向叠加模式。本文着重强调了构造型陆架对深水沉积体系演化的控制作用,以及构造型陆架对海洋工程的深水地质灾害影响。利用三维RGB颜色融合数据,以中新世以来,南海西部中央峡谷沉积体系为例,揭示构造型陆架如何控制深水沉积体系的形成与演化。

关键词：琼东南盆地沉积体系中央峡谷构造型

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

构造型碳酸盐岩气烟囱地球物理特征及其成因分析

中国地球物理学会第二十六届年会、中国地震学会第十三次学术大会

作者：陈端新吴时国孙启良王大伟赵强中国科学院海洋研究所海洋地质与环境重点实验室中国科学院研究生院

1.地质概况及定义东沙隆起带上的流花油田1996年投产并获高产,但之后油气产量迅速下降。前人认为,碳酸盐岩岩石物理性质横向差异性是导致油气产量下降的主要因素。1997年的三维地震数据发现了该地区大规模

关键词：碳酸盐岩砂岩地层气烟囱地球物理特征构造型成因分析

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Welsh定理的一种构造型证明

复旦学报(自然科学版) 1984年第2期 211-214页

作者：王哲民

在代表系理论中,Welsh给出以下一个一般性定理: 设S是一非空有限集,(?)=(A_i(?)i∈I)为S的一些非空子集A_i组成的一个族,其中I是一非空有限集,令μ:2~s→N为一非降子模函数,其中N为非负整数集,则当且仅当

关键词： Welsh 模函数有限集构造型非负整数集当且仅当拟阵交顶点集李门复旦学报

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

放飞思维创意构造——构造型试题例析

考试(中考版) 2008年第Z1期 66-67页

作者：黄慧

新课标要求数学学习内容应当是现实的,有意义的,具有挑战性的,能吸引学生主动投入到充满探索的学习活动中去。构造型问题正是诱导学生放飞思维,展示才能的一类好题。一、构造分式

关键词：等腰三角形等腰梯形代数式构造型

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

房山矿区构造型冲击地压发生过程及防治研究

煤矿开采 1998年第1期3卷 21-23页

作者：关杰阚兴北京矿务局

文章结合房山矿区的开采、地质条件，分析了构造型冲击地压的发生过程及冲击地压防治实践。

关键词：构造型冲击地压围岩力学系统防治措施

在线全文

学校读者我要写书评

暂无评论

弹药装载的构造型启发式算法研究

军事运筹与系统工程 2005年第1期19卷 29-32页

作者：唐慧丰于洪敏陈致明刘开军械工程学院河北石家庄050003 辽宁省军区装备部辽宁沈阳110032

多约束条件下的弹药装载问题是一个复杂的组合优化问题,属于NP-完全问题,其求解是很困难的,所以在实际应用中,往往采用一些启发式算法来求解。本文在考虑弹药装载中各类约束条件的情况下,构建了弹药装载优化模型,提出了一种弹药装载的... 详细信息

多约束条件下的弹药装载问题是一个复杂的组合优化问题,属于NP-完全问题,其求解是很困难的,所以在实际应用中,往往采用一些启发式算法来求解。本文在考虑弹药装载中各类约束条件的情况下,构建了弹药装载优化模型,提出了一种弹药装载的构造型启发式算法。该算法考虑了装载方向、重量、弹药箱装入顺序和装载位置以及运输工具装载平衡等因素,并通过算例检验,说明了该算法在弹药装载中应用的有效性。

关键词：弹药装载构造型启发式算法组合优化

在线全文

学校读者我要写书评

暂无评论

解析几何非构造型问题的解题思路

中学教研(数学) 1986年第1期 28-30页

作者：杨忠良河北定兴中学

根据几何图形的给出方式,圆锥曲线的问题大体分为两个类型:构造型和非构造型.所谓构造型问题,是指题目按着作图方式给出图形,依照叙述的顺序能够作出图形的问题;所谓非构造型问题,则是指题目不按作图顺序来叙述,事先不能用作图方法画出... 详细信息

根据几何图形的给出方式,圆锥曲线的问题大体分为两个类型:构造型和非构造型.所谓构造型问题,是指题目按着作图方式给出图形,依照叙述的顺序能够作出图形的问题;所谓非构造型问题,则是指题目不按作图顺序来叙述,事先不能用作图方法画出图形的问题.非构造型问题是解析几何的难点.本文在归纳分类的基础上,对非构造型

关键词：二次方程解题思路圆锥曲线动直线抛物线方程解析几何构造型

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

UML构造型类图到XMI的映射方法研究

安阳师范学院学报 2015年第2期 36-39页

作者：申云成顾庆传昭通学院信息科学与技术学院云南昭通657000

将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。首先介绍了MDA,UML,XMI以及构造类图等基本概念,然后提出一种UML类图到XMI的映射算法,并根据XMI模式定义和UML类图映... 详细信息

将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。首先介绍了MDA,UML,XMI以及构造类图等基本概念,然后提出一种UML类图到XMI的映射算法,并根据XMI模式定义和UML类图映射规则对映射算法进行具体描述。最后通过一个具体的构造型类图到XMI的映射实例进行算法验证。实例表明提出的算法是切实可行的。

关键词： UML 构造型类图 XMI 映射