期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
倾斜煤层开采地表移动变形等价计算方法研究 被引量:8
1
作者 张华兴 《煤炭科学技术》 CAS CSCD 北大核心 2020年第10期119-123,共5页
目前关于倾斜煤层开采引起的地表移动变形计算一般是将倾斜煤层开采等价为2个水平煤层的半无限叠加或者将倾斜煤层进行水平划分的方法,计算过程存在简化。为了克服倾斜煤层开采由于计算简化带来的误差,根据计算地表点与倾斜煤层的相对... 目前关于倾斜煤层开采引起的地表移动变形计算一般是将倾斜煤层开采等价为2个水平煤层的半无限叠加或者将倾斜煤层进行水平划分的方法,计算过程存在简化。为了克服倾斜煤层开采由于计算简化带来的误差,根据计算地表点与倾斜煤层的相对位置关系,利用开采影响传播角进行等价水平煤层转换,将倾斜煤层的移动变形计算转化为水平煤层计算,提出倾斜煤层开采地表移动变形等价计算方法,并将等价计算结果与半无限叠加开采、水平划分计算结果进行对比,分析了半无限叠加和水平划分简化计算误差产生的原因。研究结果表明:①等价计算结果与半无限开采叠加下沉量计算结果基本相同,半无限开采叠加计算存在变形计算误差表现为上、下山边界两侧拉伸与压缩变形值相同,未能充分体现变形与开采深度的密切关系;②由于煤层倾角和开采影响传播角的影响,水平划分方法下沉量、水平变形计算误差较大,煤层倾角越大误差越大,这一误差不会因水平煤层划分个数的增加而消除;③采用等价计算方法能够消除概率积分法对倾斜煤层开采地表移动变形计算的简化误差,实现计算结果与理论的完美契合。研究结果丰富了开采沉陷预计体系,对提高倾斜煤层开采地表移动变形计算精度具有一定意义。 展开更多
关键词 开采沉陷 倾斜煤层 移动变形 等价计算 误差分析
下载PDF
知识系统决策规则的动态更新策略及等价矩阵计算
2
作者 谭天乐 《上海航天》 CSCD 2019年第5期35-43,共9页
专家系统是航天领域中人工智能技术应用的重要形式。学习能力是人工智能、机器学习的本质特征之一。用属性及其取值表述对象的知识系统通常需要从大量样本中获取知识并以决策规则的形式加以表达。当样本集合发生变化时,则需对决策规则... 专家系统是航天领域中人工智能技术应用的重要形式。学习能力是人工智能、机器学习的本质特征之一。用属性及其取值表述对象的知识系统通常需要从大量样本中获取知识并以决策规则的形式加以表达。当样本集合发生变化时,则需对决策规则集进行动态更新。本文分析了增加和移除学习样本两种情况下调整决策规则的方法,提出了知识系统决策规则动态更新的策略和等价矩阵计算方法,通过算例进行了仿真和验证。结果表明:决策规则的动态更新方法和等价矩阵计算可以解决知识系统的动态学习问题,相较决策规则的全局获取运算,减少了计算量。 展开更多
关键词 知识系统 决策规则 动态更新 等价矩阵计算
下载PDF
建筑创作中的非形态问题——从空间功能到事件算法 被引量:2
3
作者 石永良 《建筑与文化》 2009年第9期60-62,共3页
文章从现代建筑的空间功能、当代建筑的信息认知和动态事件的算法这三个方面,以层次递推的方式展开有关事件算法的讨论,涉及建筑数字化创作中有关信息编码和赋值、数据统计与挖掘、计算等价性、有限元分析等操作步骤,阐述了事件的涌现... 文章从现代建筑的空间功能、当代建筑的信息认知和动态事件的算法这三个方面,以层次递推的方式展开有关事件算法的讨论,涉及建筑数字化创作中有关信息编码和赋值、数据统计与挖掘、计算等价性、有限元分析等操作步骤,阐述了事件的涌现现象、自下而上的操作策略、数理模型的导向性以及既有算法模块的引用等几个重要方面。 展开更多
关键词 事件算法 计算等价 有限元法 涌现性 数理模型
下载PDF
智能机器人民事主体地位辨析——机器人与自然人人格构成要素之对比分析 被引量:2
4
作者 安晖 袁蓥 《山西师大学报(社会科学版)》 2022年第2期106-112,共7页
智能机器人是否具备民事主体资格可以通过与自然人人格构成要素的对比进行分析。就生物要素以及心理要素中的认知功能而言,它们虽是自然人通过遗传获得的一种内嵌于生物体的操作程序,但是它们作为特定的算法,智能机器人可以通过计算等... 智能机器人是否具备民事主体资格可以通过与自然人人格构成要素的对比进行分析。就生物要素以及心理要素中的认知功能而言,它们虽是自然人通过遗传获得的一种内嵌于生物体的操作程序,但是它们作为特定的算法,智能机器人可以通过计算等级性予以实现。就心理要素中的自我反思能力以及社会要素的社会角色形成而言,智能机器人因为目前缺乏自指算法以及跨领域的学习能力,而不具备表征自我和他人的功能,因此智能机器人尚不具有民事主体资格,同时智能机器人的出现为我们反思人格的核心要素提供了新的契机。 展开更多
关键词 智能机器人 民事主体 人格 算法 计算等价
下载PDF
图灵机的神话:功能主义及相关论题的失败
5
作者 克里斯.伊利亚史密斯 刘占峰 陈丽 《哲学分析》 2014年第2期118-126,共9页
图灵著名的"通用机"的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为,对可多样实现性的标准的功能主义论证有一个逻辑问题。这些论证实质上都依赖于图灵对计算的强有力的洞察。在处理了对这... 图灵著名的"通用机"的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为,对可多样实现性的标准的功能主义论证有一个逻辑问题。这些论证实质上都依赖于图灵对计算的强有力的洞察。在处理了对这一批评的一种可能的答复之后,克里斯·伊利亚史密斯进一步论证了功能主义不是理解什么是具有心灵的一种有效途径。特别是他证明了在区别执行和功能时所涉及的难题会使可多样实现性无法检验,难以提供新的信息。因此,可以得出结论:图灵机在心灵哲学中的作用还需重新考虑。 展开更多
关键词 图灵机 功能主义 可多样实现性 计算等价 心灵哲学 柯尔莫哥洛夫
下载PDF
The rough representation and measurement of quotient structure in algebraic quotient space model 被引量:5
6
作者 陈林书 Wang Jiayang 《High Technology Letters》 EI CAS 2017年第3期293-297,共5页
Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an... Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an equivalence relation. In this paper,definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure. Then the accuracy and roughness were defined to measure the quotient structure in quantification. Finally,a numerical example was given to demonstrate that the rough representation and measuring methods are efficient and applicable. The work has greatly enriched the algebraic quotient space model and granular computing theory. 展开更多
关键词 granular computing algebraic quotient space model quotient structure upper(lower) congruence relation
下载PDF
A new method of frequency-dependent network equivalence for power system 被引量:3
7
作者 LIN JiKeng YAN YiPeng +4 位作者 PU TianJiao LUO ShanShan LIU Tao ZHENG WeiHong WANG XuDong 《Science China(Technological Sciences)》 SCIE EI CAS 2012年第7期1894-1907,共14页
Electromagnetic transient simulation for large-scale power system is a time-consuming problem.A new frequency-dependent equivalence method is presented in the paper,which might significantly accelerate power system el... Electromagnetic transient simulation for large-scale power system is a time-consuming problem.A new frequency-dependent equivalence method is presented in the paper,which might significantly accelerate power system electromagnetic transient simulation.In the method,an effective algorithm is designed to directly transfer the port admittance determinant of external system's mixing matrix into admittance rational function;and the step-by-step strategy for the equivalence of actual large system is put forward,which further reduces the calculation quantities needed.Moreover,the study of multiple real root pole characteristics of admittance transfer function of two-port network is performed and a proposition is achieved.Based on the proposition and residue theorem,the equivalence system for external system corresponding to the admittance rational function is obtained.The computation complexity of the step-by-step equivalence method is about o(┌n/np×T┐)(┌┐ is upper integral operation,n is the total buses number of external system,N P is the total buses number of single step equivalence network,T is single step equivalence time),which indicates that the computation complexity of the method proposed has nearly linear relationship with the buses number of external system,and the method proposed has satisfactory computation speed.Since the mixing matrix of external system includes all the information of external system,therefore,port admittance rational function derived from it can reflect its full frequency characteristic and the equivalence network achieved has high equivalence precision.Moreover,since the port rational function is gained at the condition of the external system without source,which equals stable passive network,it could not show any unstable pole and need not extra measure to make the equivalence system stable.The test results of the samples and comparison with other methods demonstrate that the new method proposed is valid and effective. 展开更多
关键词 equivalence method electromagnetic transient simulation frequency-dependent rational functions mixing matrix
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部