管线布局设计的约束因素分析及建模方法研究 被引量：4

1

作者 曹斌 谭建荣 伊国栋 《中国机械工程》 EI CAS CSCD 北大核心 2002年第15期1318-1323,共6页

布局设计是一个基于约束空间的求解过程 ,而影响布局设计的约束因素又是复杂多变的。针对工程领域的管线布局设计问题 ,提出了约束元、约束集、约束方法、约束度、约束链和关联约束子集等概念 ,并应用这些概念对影响管线布局的约束因素... 布局设计是一个基于约束空间的求解过程 ,而影响布局设计的约束因素又是复杂多变的。针对工程领域的管线布局设计问题 ,提出了约束元、约束集、约束方法、约束度、约束链和关联约束子集等概念 ,并应用这些概念对影响管线布局的约束因素进行了分析 。 展开更多

关键词 管线布局设计 约束 约束元 约束集 优化设计 建模

下载PDF 职称材料

产品设计更改在弱连接结构上的传播 被引量：6

2

作者 刘晓健 张树有 +1 位作者 张建新 张金美 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2012年第6期1041-1047,共7页

因对产品系统化认识的缺乏造成了设计更改传播的疏忽与遗漏,针对该问题,在功能-结构映射模型的基础上,提出弱连接结构的概念,对在设计更改传播过程中关联紧密、却在直观表现上没有直接物理连接关系或虽直接连接但却具有易被忽略的隐含... 因对产品系统化认识的缺乏造成了设计更改传播的疏忽与遗漏,针对该问题,在功能-结构映射模型的基础上,提出弱连接结构的概念,对在设计更改传播过程中关联紧密、却在直观表现上没有直接物理连接关系或虽直接连接但却具有易被忽略的隐含功能的结构进行描述.通过弱连接约束元对弱连接结构进行形式化表达,连接约束元得到弱连接关系图(WtRG),以WtRG为基础,实现设计更改在功能性、系统性结构上的传播.基于Solidworks平台开发了产品设计更改原型系统,通过建立电梯产品的功能约束集,对非标梯型设计过程进行约束,保证了设计更改的正确性与完整性. 展开更多

关键词 产品设计 设计更改 弱连接结构 约束元

下载PDF 职称材料

汉英量词辖域的对比及其解释 被引量：2

3

作者 李晓光 《外语学刊》 CSSCI 北大核心 1991年第2期26-31,共6页

Ⅰ.生成语法自五十年代问世以来,几经发展变化,到了八十年代采取了以四部分组成的规则系统:

关键词 量词辖域 成分统制 宽域 量词化 逻辑式 语链 短语 语义问题 歧义句 约束元

原文传递

采用多色集合理论的公差信息建模与推理技术 被引量：22

4

作者 张博 李宗斌 《机械工程学报》 EI CAS CSCD 北大核心 2005年第10期111-116,共6页

在特征自动识别的基础上,采用多色集合理论,给出了一种基于特征的层次式公差信息表示模型。利用多色集合理论对这种公差信息表示模型的底层框架进行描述。然后再利用多色集合的统一颜色和个人颜色间的推理关系矩阵实现了对底层框架中的... 在特征自动识别的基础上,采用多色集合理论,给出了一种基于特征的层次式公差信息表示模型。利用多色集合理论对这种公差信息表示模型的底层框架进行描述。然后再利用多色集合的统一颜色和个人颜色间的推理关系矩阵实现了对底层框架中的约束元层的推理,并且给出了推理的方法和步骤。最后以孔特征为实例对所介绍的推理方法和推理步骤进行了验证。 展开更多

关键词 公差信息 底层框架 多色集合 约束元层

下载PDF 职称材料

岩体节理在动荷作用下的有限元分析 被引量：18

5

作者 李宁 葛修润 《岩土工程学报》 EI CAS CSCD 北大核心 1994年第1期29-38,共10页

本义用约束节理单元法模拟应力波在节理处的传递过程。推导了动态约束节理单元的有限单元方程和数值分析公式以及碰撞、放释条件，并针对奥地利某公路隧洞工程进行了爆炸应力波在节理岩体中传播的有限元分析。

关键词 约束节理元 岩体节理 有限元

下载PDF 职称材料

京津冀城市群多情景空间演化模拟 被引量：23

6

作者 黄金川 林浩曦 《地理研究》 CSSCI CSCD 北大核心 2017年第3期506-517,共12页

京津冀城市群是中国经济发展三大引擎之一,随着京津冀协同战略的深入推进,其空间拓展呈现出新趋势与新动力。首先,集成约束性元胞自动机、空间聚类、Logistic回归、时间迭代等算法,构建出以地理分区、宏观预测和微观分配为核心的多情景... 京津冀城市群是中国经济发展三大引擎之一,随着京津冀协同战略的深入推进,其空间拓展呈现出新趋势与新动力。首先,集成约束性元胞自动机、空间聚类、Logistic回归、时间迭代等算法,构建出以地理分区、宏观预测和微观分配为核心的多情景空间演化模型。然后,利用京津冀2000-2013年及规划预测的用地、交通、城镇、生态和社会经济等数据,进行模型参数识别与模拟效果验证,并从交通引导、城镇辐射、经济发展等定量揭示城市群地域空间演化的动力机制。最后,从城镇化发展速度、生态保护格局和规划政策引导三大角度进行多情景模拟,总体呈现城镇扩展速度减缓、京津用地疏解效应明显和交通引导趋势加强等特点,且主要沿京津、京保石、京唐秦和京张四条发展轴扩展。2014-2030年新增城镇建设用地共3851 km^2,年均增长量226.5 km^2,远低于2000-2013年的339.7 km^2;其中,京津两地新增用地占比由42%下降到26%,保定和廊坊则成为未来城镇扩展的主力军,四市总增量占比达56%。 展开更多

关键词 京津冀城市群 约束性元胞自动机 空间演化 情景分析 模拟预测

原文传递

基于约束性CA的大都市郊区城镇增长的情景模拟与管控——以武汉市江夏区为例 被引量：13

7

作者 王海军 夏畅 +1 位作者 张安琪 邓羽 《地理科学进展》 CSCD 北大核心 2016年第7期793-805,共13页

大都市郊区是快速城镇化进程中空间演变最为频繁、人地矛盾最为突出的区域,尤其在中国加快推进"就地就近"城镇化战略的背景下,把握大都市郊区小城镇土地利用时空变化过程及其演变机制,对制定科学合理的管控政策和优化都市空... 大都市郊区是快速城镇化进程中空间演变最为频繁、人地矛盾最为突出的区域,尤其在中国加快推进"就地就近"城镇化战略的背景下,把握大都市郊区小城镇土地利用时空变化过程及其演变机制,对制定科学合理的管控政策和优化都市空间结构具有重要的现实意义。约束性元胞自动机(constrained Cellular Automata,constrained CA)能够通过简单的规则模拟复杂的城市动态演化过程。本文将土地利用总体规划指标、城镇空间发展战略布局、土地利用开发适宜性等,嵌入约束性CA的转换规则中,采用Logistic逐步回归法分析土地利用空间影响因素,对严格约束下的武汉市江夏区2020年土地利用进行情景模拟分析,并提出城市增长管控手段。结果表明:(1)研究时段内,江夏区城镇用地呈低效外延式扩张,土地利用集约节约程度较低,其人口规模并未有较大增长,对主城区人口的分散作用尚未真正形成;(2)约束性CA在模拟大都市郊区演化方面具有较高的可靠性,能够真实反映近郊小城镇的未来空间布局与结构,模拟结果与土地利用规划和城市规划较为契合;(3)将规划目标导向与现实发展趋势下的模拟结果进行叠加分析,可确定城镇增长需求与规划指标调控间冲突的空间分布,从而划定土地督察的重点监测区域,为加强大都市近郊区的违法用地监查和土地利用管控提供先验的预警知识。 展开更多

关键词 约束性元胞自动机 大都市郊区 城镇增长 情景模拟 土地督察 武汉市江夏区

原文传递

集成变权与约束性模糊CA的城镇用地扩张情景模拟 被引量：11

8

作者 舒帮荣 刘友兆 +1 位作者 张鸿辉 张庆利 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2013年第4期498-503,共6页

引入变权理论、模糊理论、规模及空间约束等,构建了基于变权的约束性模糊元胞自动机(CA),用于城镇用地空间管制边界的模拟,并以太仓市区为例进行应用研究。结果显示,太仓市区城镇用地扩张首先通过内部填充,再进行外部扩张,体现了紧凑式... 引入变权理论、模糊理论、规模及空间约束等,构建了基于变权的约束性模糊元胞自动机(CA),用于城镇用地空间管制边界的模拟,并以太仓市区为例进行应用研究。结果显示,太仓市区城镇用地扩张首先通过内部填充,再进行外部扩张,体现了紧凑式发展模式,其发展方向符合"十一五"规划要求。研究表明,该模型不仅能解决城镇用地扩张的合理规模问题,同时也可灵活处理不同因素的作用程度及空间选择的模糊决策问题,故可更好地满足土地利用规划的需要。 展开更多

关键词 城镇土地利用 约束性模糊元胞自动机 变权理论 情景模拟

原文传递

基于城市空间增长模拟的城镇规模体系预测——以常州市为例 被引量：8

9

作者 黄金川 林浩曦 +1 位作者 漆潇潇 陈云谦 《经济地理》 CSSCI CSCD 北大核心 2017年第10期49-58,共10页

应用地理空间模型定量推演城市空间增长,进一步探索市域城镇等级体系结构和空间功能分区,提高建设用地演化模拟的应用导向性,是当前城市模拟研究的重点和难点。以常州市为对象,以约束性元胞自动机模型为基础,集成邻域思想、约束条件、... 应用地理空间模型定量推演城市空间增长,进一步探索市域城镇等级体系结构和空间功能分区,提高建设用地演化模拟的应用导向性,是当前城市模拟研究的重点和难点。以常州市为对象,以约束性元胞自动机模型为基础,集成邻域思想、约束条件、空间聚类、Logistic回归、演化迭代等要点,构建城镇建设用地空间扩展的模拟预测模型和计算实验系统,探索基于城镇建设用地模拟的城镇规模体系情景分析方法。利用五期遥感影像解译数据为信息源,运用GIS空间分析方法进行建设用地适宜性评价;剖析城镇建设用地拓展的微观机制和地域演变模式,并通过引入城市规划和土地利用规划等规划因子,采用用地转换规则差异代替驱动因子差异来优化空间聚类算法,模拟和预测城镇建设用地总量和空间布局;在此基础上论证城乡建设用地增减挂钩政策的适用性,并基于人地挂钩机制预测各级城镇人口规模,为常州市相关空间规划和政策制定提供依据。 展开更多

关键词 城镇体系 功能分区 约束性元胞自动机 空间演化模拟 常州

原文传递

含有Dirac位势的非线性S-P方程的约束极小元

10

作者 陈熙 王征平 《数学物理学报（A辑）》 CSCD 北大核心 2024年第4期907-913,共7页

该文研究了一类含有Dirac位势的非线性Schrödinger-Poisson方程的约束变分问题,在一定的参数和指标假设条件下,证明了约束极小元的存在性,推广了文献[2]中的相关结论.

关键词 Dirac位势 Schrödinger-Poisson方程 约束极小元

下载PDF 职称材料

R^N中Schrdinger-Poisson方程约束极小元的存在性 被引量：5

11

作者 朱新才 《数学物理学报（A辑）》 CSCD 北大核心 2018年第1期61-70,共10页

研究变分问题(1.2)约束极小元的存在性.该文对指标p进行了分类,而问题(1.2)极小元的存在性及非存在性依赖于指标p.对任意给定的系数a>0,当p满足0<p<4/N时,问题(1.2)至少存在一个极小元;而当p>4/N时,问题(1.2)不存在极小元.... 研究变分问题(1.2)约束极小元的存在性.该文对指标p进行了分类,而问题(1.2)极小元的存在性及非存在性依赖于指标p.对任意给定的系数a>0,当p满足0<p<4/N时,问题(1.2)至少存在一个极小元;而当p>4/N时,问题(1.2)不存在极小元.特别地,当P=4/N时,问题(1.2)存在极小元当且仅当0<a≤a~*:=‖φ‖_2^(4/N),这里的φ(x)(在平移的意义下)是方程-△u(x)+u(x)=u^(1+4/N)(x),x∈R^N唯一的径向对称正解.而当a>a~*时,问题(1.2)不存在极小元. 展开更多

关键词 Schrodinger—Poisson方程 约束极小元 存在性.

下载PDF 职称材料

举例子能证明几何定理吗? 被引量：3

12

作者 张景中 《自然杂志》 1991年第1期55-62,共8页

验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘记:从有限能推断无限,正是数学的魅力所在。而例证法的发明,... 验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘记:从有限能推断无限,正是数学的魅力所在。而例证法的发明,使演绎和归纳这两种逻辑方法,在更高的层次上达到了辩证统一。 展开更多

关键词 三角形面积 几何定理 约束变元 例证法 子能 辩证统一 自由变元 三点共线 逻辑方法 不大于

下载PDF 职称材料

一个古老的梦实现了!——几何定理机器证明的吴法浅谈 被引量：1

13

作者 井中 《自然杂志》 1990年第10期682-688,703,共8页

我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。

关键词 定理机器证明 几何定理 内分角线 约束变元 中国古代数学 莫勒定理 著名数学家 升列 代数问题 初等几何

下载PDF 职称材料

计算机数学基础练习题2

14

作者 冯泰 《当代电大》 2002年第11期88-90,共3页

关键词 练习题 计算机数学基础 自然数集合 命题公式 自由变元 谓词公式 等价关系 约束变元

下载PDF 职称材料

评蒯因的“本体论的承诺”─—美国新实用主义研究之二 被引量：1

15

作者 邹铁军 《吉林大学社会科学学报》 CSSCI 北大核心 1997年第3期40-44,共5页

美国新实用主义的奠基人蒯因，为了与以往的本体论相区别，提出了一个新的概念─—“本体论的承诺”，概括来说，就是用语言的、逻辑分析的访法来研究本体论。这一概念的提出引起当代美国哲学界的关注，被看作是对逻辑经验主义的背叛。... 美国新实用主义的奠基人蒯因，为了与以往的本体论相区别，提出了一个新的概念─—“本体论的承诺”，概括来说，就是用语言的、逻辑分析的访法来研究本体论。这一概念的提出引起当代美国哲学界的关注，被看作是对逻辑经验主义的背叛。利因创立的逻辑实用主义既克服了原来的实用主义理论上的粗糙性，保留和发扬了实用主义与生活、与文化的密切关系，同时又吸收了分析哲学理论上的严密性的优点，把实用主义推向发展的新阶段。 展开更多

关键词 本体论的承诺 约束变元的值 相对主义

下载PDF 职称材料

程序说明语言

16

《计算机工程与应用》 1983年第4期28-35,共8页

我们从第一章介绍的软件生产流程中看出,要组织好一个软件系统,除了上面谈到的方法论问题之外,如何定义好一个文本。

关键词 形式定义 算法 谓词演算 约束变元 命题函数演算 集合论公理系统

下载PDF 职称材料

集合“描述法”表示中一些值得注意的问题

17

作者 谢琳 李家根 《辽宁师范大学学报（自然科学版）》 CAS 2011年第1期1-5,共5页

在较多的教材和教辅材料中,存在某些不规范的集合表示,并缺乏必要的约定和解释.由于这些不规范表示方法的繁衍和流行,造成了很多学生学习数学过程中的理解障碍与思维混乱.介绍教学过程中引起困惑的某些争议;分析其产生的源头以及在教学... 在较多的教材和教辅材料中,存在某些不规范的集合表示,并缺乏必要的约定和解释.由于这些不规范表示方法的繁衍和流行,造成了很多学生学习数学过程中的理解障碍与思维混乱.介绍教学过程中引起困惑的某些争议;分析其产生的源头以及在教学中引起的歧义,指出在很多情况下,广泛存在着将约束变元与参变量混淆的现象;阐述"集合描述法"的基本要求,特别讨论了被忽略的变元约束问题;并对相关教学内容的安排提出了一些看法和建议. 展开更多

关键词 集合 参变量 量词 约束变元

下载PDF 职称材料

Schrodinger-Possion方程的约束极小解

18

作者 周晓敏 王淑丽 郭祖记 《数学的实践与认识》 北大核心 2019年第21期243-250,共8页

研究R^N中一类Schrodinger-Possion方程约束极小解的存在性与非存在性.通过对该方程非线性项部分所含参数p的分类讨论,利用极小化序列方法,Ekeland’s变分原理,消失引理,Pohozaev’s恒等式,Gagliardo-Nirenberg不等式,Hardy-Littewood-S... 研究R^N中一类Schrodinger-Possion方程约束极小解的存在性与非存在性.通过对该方程非线性项部分所含参数p的分类讨论,利用极小化序列方法,Ekeland’s变分原理,消失引理,Pohozaev’s恒等式,Gagliardo-Nirenberg不等式,Hardy-Littewood-Sobolev不等式等变分工具,最终证明了相应的结论. 展开更多

关键词 Schrodinger-Possion方程 变分法 极小化序列 约束极小元

原文传递

对Quine本体论承诺标准的几点质疑

19

作者 徐敏 张志林 《中山大学研究生学刊（社会科学版）》 2004年第1期1-5,共5页

本文针对Quine本体论承诺标准提出三个问题:是否如Quine所说,专名可以等值分析为摹状词,约束变元的使用是进入本体论承诺的唯一标准,QOCC的语境是外延的。对此作者给出了否定的答案,并分别进行了论证。

关键词 QUINE 本体论承诺标准 摹状词 约束变元 QOCC 语境 外延

下载PDF 职称材料

计算机科学与逻辑学

20

作者 王元元 汪灵华 骆光武 《自然杂志》 1991年第11期832-837,共6页

我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。

关键词 逻辑学家 计算机科学 我不知道 丘奇论题 谓词演算 约束变元 演绎数据库 现代逻辑 逻辑演算 模态逻辑

下载PDF 职称材料