期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
BP-PSO-based intelligent case retrieval method for high-rise structural form selection 被引量:10
1
作者 ZHANG ShiHai OU JinPing 《Science China(Technological Sciences)》 SCIE EI CAS 2013年第4期940-944,共5页
Modern architectures are developing in the direction of tall buildings and complex structures,and the theoretical analysis and the design experience have seriously lagged behind the construction of super high-rise str... Modern architectures are developing in the direction of tall buildings and complex structures,and the theoretical analysis and the design experience have seriously lagged behind the construction of super high-rise structures.Structural form selection,especially the case based reasoning (CBR) based structural form selection,is a promising tool for the construction of high-rise structures.In view of the limit of cognitive ability of domain experts,a BP (back propagation)-PSO (particle swarm optimization)-based intelligence case retrieval method for high-rise structural form selection is proposed.The CBR-based case retrieval method and the construction of the BP-PSO neutral network are introduced.And then the BP-PSO-based case retrieval method is validated by some engineering cases.The results of training and prediction indicate that the proposed method has good ability to retrieve the cases of high-rise structures. 展开更多
关键词 structural form selection case based reasoning high-rise structure BP-PSO neutral network
原文传递
司法审判中的形式推理与实质推理探微 被引量:3
2
作者 印大双 《山西高等学校社会科学学报》 2004年第8期79-82,共4页
为维护法律的权威 ,保障人们的合理预期 ,必须关注法律与社会秩序、法律的正式渊源和非正式渊源、历史、社会习俗和时代精神在司法审判中的地位 ,必须强调司法审判中法律的稳定性、法律的社会性、法律的人文精神、伦理道德等 ,用形式推... 为维护法律的权威 ,保障人们的合理预期 ,必须关注法律与社会秩序、法律的正式渊源和非正式渊源、历史、社会习俗和时代精神在司法审判中的地位 ,必须强调司法审判中法律的稳定性、法律的社会性、法律的人文精神、伦理道德等 ,用形式推理和实质推理共同完成司法审判的论证任务 。 展开更多
关键词 司法审判 形式推理 实质推理
下载PDF
刑事法律推理机制的缺失与构建 被引量:2
3
作者 赵运锋 《武汉理工大学学报(社会科学版)》 CSSCI 北大核心 2011年第4期608-616,共9页
传统的刑事司法实践中,重规范解读轻法官思维一直盛行。在刑事法官的思维方式当中,重形式推理轻实质推理又较为严重。在形式推理中,演绎推理是重心,归纳推理与类比推理常被忽略。形式推理的不足,会导致法官思维僵化,刑法原则遭弃,立法... 传统的刑事司法实践中,重规范解读轻法官思维一直盛行。在刑事法官的思维方式当中,重形式推理轻实质推理又较为严重。在形式推理中,演绎推理是重心,归纳推理与类比推理常被忽略。形式推理的不足,会导致法官思维僵化,刑法原则遭弃,立法精神迷失;实质推理缺位,则会出现恶法亦法、司法不公及规范滞后等消极现象。构建合适的刑事法律推理机制,并对相关问题予以解读是当务之急。 展开更多
关键词 形式推理 实质推理 刑事法律推理 恶法亦法 司法公正
下载PDF
论法治实施的技术手段——法律推理
4
作者 印大双 《南京林业大学学报(人文社会科学版)》 2003年第4期39-43,共5页
根据法律推理定义的演变和发展,给出了符合当今法治社会特点的法律推理定义,阐述了还原推理、衡平推理、类比推理和辩证推理,探讨了法律推理的客观性评价标准,总结了法律推理应遵循的哲学原则和在司法实践中应遵循的原则。在多元化价值... 根据法律推理定义的演变和发展,给出了符合当今法治社会特点的法律推理定义,阐述了还原推理、衡平推理、类比推理和辩证推理,探讨了法律推理的客观性评价标准,总结了法律推理应遵循的哲学原则和在司法实践中应遵循的原则。在多元化价值取向的当今社会,通过法律推理,可以达到法律生活各种层面的法治目标。 展开更多
关键词 法律推理 法治 形式推理 实质推理 还原推理 衡平推理 类比推理 辩证推理
下载PDF
基于功能的注塑件形状特征模糊选择 被引量:2
5
作者 王玉 邢渊 阮雪榆 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第7期1041-1043,1056,共4页
应用模糊逻辑理论 ,讨论了基于特征的注塑件 CAD中从功能需求到形状特征的映射方法 .首先建立功能和形状特征集合 ,其次基于领域知识构造模糊关系转换矩阵 ,最后根据推导的模糊映射算法实现从功能域到形状特征域的映射 .将该方法融于传... 应用模糊逻辑理论 ,讨论了基于特征的注塑件 CAD中从功能需求到形状特征的映射方法 .首先建立功能和形状特征集合 ,其次基于领域知识构造模糊关系转换矩阵 ,最后根据推导的模糊映射算法实现从功能域到形状特征域的映射 .将该方法融于传统 CAD系统中可使 展开更多
关键词 模糊逻辑理论 形状特征 功能推理 注塑件 CAD 模糊关系转换矩阵 模糊映射算法 特征选择
下载PDF
Enhancing building pattern recognition through multi-scale data and knowledge graph:a case study of C-shaped patterns 被引量:1
6
作者 Zhiwei Wei Wenjia Xu +4 位作者 Yi Xiao Mi Shu Lu Cheng Yang Wang Chunbo Liu 《International Journal of Digital Earth》 SCIE EI 2023年第1期3860-3881,共22页
Building pattern recognition is important for understanding urban forms,automating map generalization,and visualizing 3D city models.However,current approaches based on object-independent methods have limitations in c... Building pattern recognition is important for understanding urban forms,automating map generalization,and visualizing 3D city models.However,current approaches based on object-independent methods have limitations in capturing all visually aware patterns due to the part-based nature of human vision.Moreover,these approaches also suffer from inefficiencies when applying proximity graph models.To address these limitations,we propose a framework that leverages multi-scale data and a knowledge graph,focusing on recognizing C-shaped building patterns.We first employ a specialized knowledge graph to represent the relationships between buildings within and across various scales.Subsequently,we convert the rules for C-shaped pattern recognition and enhancement into query conditions,where the enhancement refers to using patterns recognized at one scale to enhance pattern recognition at other scales.Finally,rule-based reasoning is applied within the constructed knowledge graph to recognize and enrich C-shaped building patterns.We verify the effectiveness of our method using multi-scale data with three levels of detail(LODs)collected from AMap,and our method achieves a higher recall rate of 26.4%for LOD1,20.0%for LOD2,and 9.1%for LOD3 compared to existing methods with similar precisionrates.We,also achieve recognition efficiency improvements of 0.91,1.37,and 9.35 times,respectively. 展开更多
关键词 BUILDING pattern recognition urban form knowledge graph rule-based reasoning
原文传递
推理链:科学发现的逻辑新论 被引量:1
7
作者 张盛彬 《河南师范大学学报(哲学社会科学版)》 北大核心 2005年第6期40-44,共5页
科学发现有没有逻辑的争论,由来已久。有人称其无,有人说其有,还有归纳派和演绎派的形同水火。究其实,争论是由逻辑观———传统形式逻辑和现代数理逻辑的不同引起的。其实,归纳派和演绎派各执一端,各有长短,彼此是相通的,类比、归纳和... 科学发现有没有逻辑的争论,由来已久。有人称其无,有人说其有,还有归纳派和演绎派的形同水火。究其实,争论是由逻辑观———传统形式逻辑和现代数理逻辑的不同引起的。其实,归纳派和演绎派各执一端,各有长短,彼此是相通的,类比、归纳和演绎整合的推理链,才是科学发现的逻辑。 展开更多
关键词 发现逻辑 形式逻辑 数理逻辑 归纳派 演绎派 推理链
下载PDF
法律推理在司法领域的应用与研究
8
作者 徐颂 《辽宁公安司法管理干部学院学报》 2008年第4期119-120,共2页
本文以法律逻辑为研究对象,从法律逻辑引出法律推理,介绍目前法律推理的研究状况,从法律推理中探究实质推理的作用和应用。笔者认为,形式推理和实质推理两者不可偏废,只有两者相结合才能构建完善科学的司法体系。
关键词 法律逻辑 实质推理 形式推理
下载PDF
明末清初的数学论证
9
作者 特古斯 潘丽云 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第2期351-358,共8页
目的探讨推理形式的变化及其结果,说明数学论证的发展及其范围。方法文献考证与理论分析,古今对比与中西比较。结果数学会通促进了论证的发展,推理形式发生了显著的变化,由此导致中算内容的增加。结论数学论证的进一步发展受到知识传统... 目的探讨推理形式的变化及其结果,说明数学论证的发展及其范围。方法文献考证与理论分析,古今对比与中西比较。结果数学会通促进了论证的发展,推理形式发生了显著的变化,由此导致中算内容的增加。结论数学论证的进一步发展受到知识传统的制约,学者排除了纯粹形式推导的可能性,这是中算概念发展缓慢的原因之一。 展开更多
关键词 数学会通 推理形式 明清数学史
下载PDF
Research of CBR, DM and smart algorithms based design methods for high-rise building structure form-selection
10
作者 张世海 刘叔军 +1 位作者 刘晓燕 欧进萍 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2006年第3期325-332,共8页
First, the high-rise building structure design process is divided into three relevant steps, that is, scheme generation and creation, performance evaluation, and scheme optimization. Then with the application of relat... First, the high-rise building structure design process is divided into three relevant steps, that is, scheme generation and creation, performance evaluation, and scheme optimization. Then with the application of relational database, the case database of high-rise structures is constructed, the structure form-selection designing methods such as the smart algorithm based on CBR, DM, FINS, NN and GA is presented, and the original forms system of this method and its general structure are given. CBR and DM are used to generate scheme candidates; FINS and NN to evaluate and optimize the scheme performance; GA to create new structure forms. Finally, the application cases are presented, whose results fit in with the real project. It proves by combining and using the expert intelligence, algorithm intelligence and machine intelligence that this method makes good use of not only the engineering project knowledge and expertise but also much deeper knowledge contained in various engineering cases. In other words, it is because the form selection has a strong background support of vast real cases that its results prove more reliable and more acceptable. So the introduction of this method provides an effective approach to improving the quality, efficiency, automatic and smart level of high-rise structures form selection design. 展开更多
关键词 high-rise building structure structure form selection case-based reasoning (CBR) data-mining(DM) smart algorisms
下载PDF
图形推理研究 被引量:8
11
作者 杜国平 《北京行政学院学报》 CSSCI 北大核心 2007年第2期99-103,共5页
对于人类的智能而言,抽象推理和形象推理缺一不可,而图形推理是形象推理非常重要的形式。积极、深入地开展图形推理规律的研究,对于揭示人类智能的本质、进一步开发人类的智力潜能具有非常重要的理论意义。图形推理是以推理为主、其他... 对于人类的智能而言,抽象推理和形象推理缺一不可,而图形推理是形象推理非常重要的形式。积极、深入地开展图形推理规律的研究,对于揭示人类智能的本质、进一步开发人类的智力潜能具有非常重要的理论意义。图形推理是以推理为主、其他思维方式为辅的综合性思维过程;图形推理的有效性既考虑图形在空间形式结构上的联系,又考虑图形与图形之间内容上的联系;图形推理的结论有些是确定的,有些是不确定的,图形推理培养的是发散型思维。图形推理可以分为必然型和或然型、确定型和不确定型、直指型和意谓型、平面型和立体型等多种不同的推理形式。图形推理具有重要的创新功能。 展开更多
关键词 图形推理 图形推理的特点 图形推理的形式 图形推理的创新功能
下载PDF
专家系统推理的可视化研究 被引量:2
12
作者 陈德运 王育舒 《计算机工程与应用》 CSCD 北大核心 2000年第7期57-58,共2页
该文在介绍可视化基本概念及ICON系统形式化规范基础上,提出了专家系统推理过程可视化问题,并给出了一个具有可视特性的知识库系统的一般模型。
关键词 专家系统 推理 可视化 人工智能
下载PDF
我在推理心理学领域中的研究历程 被引量:1
13
作者 胡竹菁 《心理与行为研究》 CSSCI 北大核心 2015年第5期599-605,共7页
本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重... 本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重结构模型"的提出与发展。 展开更多
关键词 推理题与推理者的推理知识双重结构模型 推理题的形式结构 推理题的内容结构 推理者的形式知识结构 推理者的内容知识结构
下载PDF
表“义”的近似推理 被引量:1
14
作者 侯广坤 周端宁 《中山大学学报论丛》 1996年第6期100-107,共8页
指出了以形式演绎为基本推理操作的表“形”的“广义的推理科学”的局限性;并提出在我国“太极思维”的基础上建立表“义”的“广义的推理科学”,力图在此基础上建立表“义”的自然论解的计算理论;并将表“形”的和表“义的“广义的... 指出了以形式演绎为基本推理操作的表“形”的“广义的推理科学”的局限性;并提出在我国“太极思维”的基础上建立表“义”的“广义的推理科学”,力图在此基础上建立表“义”的自然论解的计算理论;并将表“形”的和表“义的“广义的推理科学”进行了比较.该文作为自然论解近似推理系统的研究的引言. 展开更多
关键词 广义的推理科学 表“形”推理 表“义”推理 自然论解
下载PDF
《九章算术》及刘徽的辩证思想 被引量:2
15
作者 李俊秀 《陕西师大学报(自然科学版)》 CSCD 1993年第4期73-76,共4页
研究了《九章算术》和刘徽注中所蕴涵的数学思想和辩证思维形式。结果表明,用“得失相反”的关系定义负数,揭示了负数的本质,体现了概念的抽象性和具体性的对立统一;正负数运算法则“同一性自身包含着差异性”;割圆术所用的极限方法,揭... 研究了《九章算术》和刘徽注中所蕴涵的数学思想和辩证思维形式。结果表明,用“得失相反”的关系定义负数,揭示了负数的本质,体现了概念的抽象性和具体性的对立统一;正负数运算法则“同一性自身包含着差异性”;割圆术所用的极限方法,揭示了直线与曲线可以相互转化,有限和无限是对立统一的;“解体用图”体现了形与数的统一,包含了解析几何的萌芽;刘徽运用墨家的推类法也包含演绎推理和归纳推理,并把分析和综合结合起来。 展开更多
关键词 古典数学 九章算术 辨证思想 刘徽
下载PDF
基于事例推理的自由曲面型汽车前照灯方案设计方法 被引量:2
16
作者 李迪 郭鹏伟 吕庆龙 《工程设计学报》 CSCD 北大核心 2014年第4期315-322,共8页
快速地确定满足配光要求的自由曲面型前照灯的设计方案,是车身造型的要求.采用基于事例推理的方法,首先研究了面向对象的前照灯事例表达模型,然后根据最近邻事例检索方法,利用车灯包围盒和布置坐标系等预处理工具,建立了前照灯事例索引... 快速地确定满足配光要求的自由曲面型前照灯的设计方案,是车身造型的要求.采用基于事例推理的方法,首先研究了面向对象的前照灯事例表达模型,然后根据最近邻事例检索方法,利用车灯包围盒和布置坐标系等预处理工具,建立了前照灯事例索引模型和匹配算法,提出了约束满足和尺寸驱动求解相结合的前照灯事例修改算法.应用实例表明,所提出的方法能在前照灯方案设计中引入工程设计要求,快速产生符合要求的设计方案,能够有效地克服工程要求与造型设计的冲突,减少设计过程的反复. 展开更多
关键词 自由曲面型汽车前照灯 方案设计 基于事例推理 约束满足 配光模拟
下载PDF
对罗彼塔法则运用所闪现“失效”性的探讨 被引量:1
17
作者 刘上林 《武汉冶金管理干部学院学报》 2004年第3期72-75,共4页
罗彼塔法则作用显赫,但并非万能。本文归纳和分析了罗彼塔法则在未定式极限的求解和证明中所闪现“失效”的种种情形和原因,并列举了一些有说服力的典型例题。从理论到方法深入探讨罗彼塔法则对提高数学素养是有着启示积极作用和教学实... 罗彼塔法则作用显赫,但并非万能。本文归纳和分析了罗彼塔法则在未定式极限的求解和证明中所闪现“失效”的种种情形和原因,并列举了一些有说服力的典型例题。从理论到方法深入探讨罗彼塔法则对提高数学素养是有着启示积极作用和教学实际意义的。 展开更多
关键词 罗彼塔法则 罗彼塔法则闪现的“失效”性 未定式极限 逻辑推理
下载PDF
数据库表与MATLAB矩阵间的转化推理及其应用
18
作者 柴俊霞 薛瑞 刘道华 《现代计算机》 2015年第6期43-46,共4页
分析基于产生式规则的数据库存放形式,提出专家系统中规则的数据库表与MATLAB矩阵间的转化推理方法,给出这种表-阵转化的推理实例,进而由表-阵转化推理的"0-1"结构分析其在神经网络及遗传演化算法中的应用。
关键词 数据库表 MATLAB矩阵 表-阵转化推理 “0-1”结构的应用
下载PDF
论法律原则在司法审判中的适用——兼从法律推理的逻辑形式角度
19
作者 郭志强 李巧辉 《黑龙江省政法管理干部学院学报》 2004年第5期8-11,共4页
在司法审判过程中 ,明文规定在法律文本中的法律原则在个案审判中具有可诉性。第一 ,法律文本中的法律原则规定对整个法律体系具有的统帅作用也应该体现在个案审判时对具体规则适用的检验上。第二 ,法律原则能更好体现法律的精神从而弥... 在司法审判过程中 ,明文规定在法律文本中的法律原则在个案审判中具有可诉性。第一 ,法律文本中的法律原则规定对整个法律体系具有的统帅作用也应该体现在个案审判时对具体规则适用的检验上。第二 ,法律原则能更好体现法律的精神从而弥补具体条款的不足。第三 ,明文规定在法律文本中的法律原则不是法律文本中多余的内容 ,仅规定在条文上而不适用在案件中无异于使法律原则的规定成为虚设。第四 ,在个案中 ,法律原则具体化为特定的法律规范后 ,具有明确的内容 。 展开更多
关键词 法律原则 法律推理逻辑形式 司法审判
下载PDF
明清时期的勾股算术
20
作者 特古斯 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2010年第1期93-98,共6页
探讨了明清时期勾股算术的论证形式、运算结构及其变化,认为学者坚持古代的知识传统,拒绝纯粹的形式系统,是勾股算术未能完成代数化的主要原因.
关键词 勾股算术 论证形式 明清数学史
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部