期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,553篇文章
< 1 2 … 78 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于多属性决策的一阶逻辑子句选择方法 被引量：2
1
作者 曾国艳 徐扬 +1 位作者 陈树伟 姜世攀 《西南交通大学学报》 北大核心 2025年第1期185-193,共9页
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子... 基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子句耗时较长.为此,本文基于矛盾体分离(S-CS)规则,提出一种新的多属性决策(MCDM)子句评估方法.首先,利用熵权法对子句属性进行客观赋权;其次,结合偏好顺序结构评估法(PROMETHEEⅡ)对子句进行评估,得到子句的完全排序;最后,将提出的MCDM方法加入自动定理证明器CSE 1.5(contradiction separation extension 1.5)、Vampire 4.7和Eprover(E 2.6)中,分别形成新的证明器MCDM_CSE、MCDM_V和MCDM_E.对MCDM_CSE测试了国际定理证明器问题库TPTP(Thousands of Problems for Theorem Provers)中一阶逻辑格式的定理,并对MCDM_V和MCDM_E测试了2022年CADE(Conference on Automated Deduction)竞赛例(一阶逻辑组).实验表明:MCDM_CSE比CSE 1.5多证明了151个定理(来自TPTP),并且能够证明Vampire 4.7无法证明的5个定理、E 2.6无法证明的41个定理以及Prover9无法证明的293个定理;在更短的平均时间内,MCDM_V比Vampire 4.7多证明了6个定理(来自CADE 2022),MCDM_E比E 2.6多证明了8个定理. 展开更多
关键词 一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法
在线阅读 下载PDF
基于图像融合的多光谱辐射测温MC-CNN反演算法
2
作者 邢键 朱自民 崔双龙 《光谱学与光谱分析》 北大核心 2025年第8期2124-2127,共4页
多光谱辐射测温法是在一个仪器中设置多个光谱通道,利用被测目标的多个光谱辐射亮度信息,经数据处理得到被测目标的温度和目标材料的光谱发射率。该方法不需要辅助设备和附加信息,对被测对象亦无特殊要求,因而特别适用于高温目标的温度... 多光谱辐射测温法是在一个仪器中设置多个光谱通道,利用被测目标的多个光谱辐射亮度信息,经数据处理得到被测目标的温度和目标材料的光谱发射率。该方法不需要辅助设备和附加信息,对被测对象亦无特殊要求,因而特别适用于高温目标的温度和材料发射率的同时测量。由于受未知的光谱发射率的影响,多光谱辐射测温反演问题可归纳为在发射率约束条件下的欠定方程组求解问题,传统的约束优化算法面对该问题存在求解时间长、惩罚系数调整困难导致算法不稳定等问题,因此多光谱辐射测温反演算法一直是该领域研究的难点和热点。随着深度学习的不断发展,为了充分利用深度学习算法在图像领域的精准特征识别能力解决多光谱辐射测温反演问题,本文提出基于马尔可夫转换场(MTF)和格拉姆角场(GAF)多种光谱-温度图像融合的多通道卷积神经网络(MC-CNN)多光谱辐射测温反演算法。为了利用卷积神经网络在图像特征识别领域的明显优势,提出利用MTF和GAF方法将一维的光谱-电压数据转换为具有光谱-温度特征的二维图像,然后将携带光谱-温度特征的图像融合后输入改进的卷积神经网络网络进行训练,从而实现温度反演。仿真结果表明,8个光谱通道数据,在温度2355~2624 K之间的1 K均分温度点进行反演的平均绝对误差为16.6 K,平均相对误差为0.7%,对火箭尾焰实测数据反演的误差与理论值相比均在±16.5 K内,反演精度较高。该方法不受未知发射率的影响,直接通过光谱-电压数据反演温度值,进一步完善了多光谱辐射测温理论。 展开更多
关键词 多光谱测温 图像转换 神经网络 反演
在线阅读 下载PDF
无穷观问题的研究(I)——历史的回顾与思考 被引量：12
3
作者 朱梧槚 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第2期101-107,共7页
本组系列论文 (I)～ (V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与... 本组系列论文 (I)～ (V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 展开更多
关键词 无穷观 历史回顾 三分法原则 公理集合论
在线阅读 下载PDF
基于蒙特卡罗随机模拟的矿岩崩落块度预测研究 被引量：9
4
作者 李响 贾明涛 +1 位作者 王李管 白云飞 《岩土力学》 EI CAS CSCD 北大核心 2009年第4期1186-1190,共5页
基于实测节理面空间几何参数,采用蒙特卡罗方法对某大型镍矿III矿区节理空间进行了模拟。采用自主研发的三维矿岩块度预测软件MAKEBLOCK对其矿岩块度分布进行了预测和分析。结果表明,该矿区大多数矿岩块体体积小于0.2m3,绝大多数块体形... 基于实测节理面空间几何参数,采用蒙特卡罗方法对某大型镍矿III矿区节理空间进行了模拟。采用自主研发的三维矿岩块度预测软件MAKEBLOCK对其矿岩块度分布进行了预测和分析。结果表明,该矿区大多数矿岩块体体积小于0.2m3,绝大多数块体形状为盘状和块状,块体等效尺寸大多在0.2m到1.5m之间。预测结果可以作为自然崩落法工程设计与实施的参考依据。 展开更多
关键词 自然崩落法 蒙特卡罗方法 节理 块度预测
在线阅读 下载PDF
基于TOPSIS重要度分析的风电场设备维修方式逻辑决策 被引量：11
5
作者 刘佳 王敏 +1 位作者 顾煜炯 宋磊 《可再生能源》 CAS 北大核心 2012年第12期29-34,共6页
以风电场设备重要功能单元(Functionally Significant Item,FSI)为研究对象,利用TOPSIS分析法对风电场FSI进行重要度评价。以风电场FSI重要度计算结果为依据建立不同等级的维修方式逻辑决策模型,利用TOPSIS重要度评价方法和设备维修方... 以风电场设备重要功能单元(Functionally Significant Item,FSI)为研究对象,利用TOPSIS分析法对风电场FSI进行重要度评价。以风电场FSI重要度计算结果为依据建立不同等级的维修方式逻辑决策模型,利用TOPSIS重要度评价方法和设备维修方式逻辑决策模型,从安全性、可靠性、经济性等方面优化现行风电场设备维修方式,在保证风电场设备高效运行的同时,降低风电场设备的运营维修成本,提高风电场的运营效益。 展开更多
关键词 重要功能单元 TOPSIS 重要度评价 逻辑决策
在线阅读 下载PDF
无穷观问题的研究(Ⅱ)—从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象 被引量：3
6
作者 朱梧槚 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期201-205,共5页
本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 Brouwer剧场现象 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义 数学基础
在线阅读 下载PDF
无穷观问题的研究(Ⅲ)——‘每一’与‘所有’ 被引量：3
7
作者 朱梧槚 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期206-210,共5页
本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 '每一’'所有’ 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义
在线阅读 下载PDF
集合论-泛逻辑悖论 被引量：4
8
作者 杜国平 王洪光 +1 位作者 李娜 朱梧槚 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第3期376-379,共4页
对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论. 展开更多
关键词 概括原则 泛逻辑 不可数无穷值逻辑 悖论
在线阅读 下载PDF
直线逼近非圆曲线的优化算法 被引量：9
9
作者 王振禄 刘鹏玉 蔡慧林 《机械设计与制造》 北大核心 2007年第9期176-178,共3页
文章分析了各种非圆曲线逼近方法的优缺点,详细介绍了一种用直线逼近非圆曲线的优化算法,根据逼近线段与加工误差的几何关系,给出了加工误差的计算公式和计算程序编制流程图。该算法能够实现在精度要求内逼近的圆弧段数较少。
关键词 数控加工 非圆曲线 节点计算 优化
在线阅读 下载PDF
不协调决策表的属性约简模型及规则提取 被引量：5
10
作者 安芹力 李安平 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第3期88-91,共4页
基于广义决策分布函数介绍了不协调决策表的属性约简模型,并对相关模型进行了研究,得出了相关结论;最后,给出了各种模型的规则提取方法。
关键词 粗糙集 决策表 属性约简 协调集 规则提取
在线阅读 下载PDF
无穷观问题的研究(Ⅳ)——自然数系统与无穷公理 被引量：1
11
作者 朱梧槚 肖奚安 +2 位作者 宋方敏 顾红芳 宫宁生 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第4期307-311,共5页
本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜... 本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观 自然数系统 无穷公理 公理集合论 对角线方法 直觉主义
在线阅读 下载PDF
基于幂零泛与运算模型的命题模糊逻辑 被引量：3
12
作者 罗敏霞 何华灿 《计算机科学》 CSCD 北大核心 2004年第8期97-99,共3页
本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([... 本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],∨,∧,*,→,0,1)作成一个 MV-代数。给出了基于幂零泛与运算模型 T(x,y,h)(h∈(0,0.75))的模糊命题演算系统 PC(T),证明了此命题演算系统与 Lukasiewicz 逻辑命题演算系统是等价的。 展开更多
关键词 泛与运算模型 泛蕴涵运算模型 幂零三角范数 剩余 伴随对 数理逻辑
在线阅读 下载PDF
分配序列效应代数的理想和同余 被引量：3
13
作者 郭建胜 李永明 《计算机工程与应用》 CSCD 北大核心 2009年第25期18-20,共3页
分配的序列效应代数(简记为DSEA),是指在一个效应代数上带有一种乘积运算并满足一定的条件。介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念,并且证明了满足(RDP)性质并且以1为乘积单位的分配序列效应代数是具... 分配的序列效应代数(简记为DSEA),是指在一个效应代数上带有一种乘积运算并满足一定的条件。介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念,并且证明了满足(RDP)性质并且以1为乘积单位的分配序列效应代数是具有(RDP)性质的反格分配序列效应代数的子直积。 展开更多
关键词 序列效应代数 分配序列效应代数 理想 同余 子直积
在线阅读 下载PDF
基于属性概念的决策形式背景协调性研究 被引量：3
14
作者 万青 马盈仓 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第3期336-341,共6页
决策形式背景是在形式背景的基础上通过增加决策属性而得到的,相应的可生成条件格和决策格。基于这两个格中属性概念外延之间的关系提出属性粒协调决策形式背景这一概念,并从属性概念的角度给出决策形式背景现有的强协调性、弱协调性和... 决策形式背景是在形式背景的基础上通过增加决策属性而得到的,相应的可生成条件格和决策格。基于这两个格中属性概念外延之间的关系提出属性粒协调决策形式背景这一概念,并从属性概念的角度给出决策形式背景现有的强协调性、弱协调性和协调性的新的描述方式,进一步解释属性粒协调决策形式背景与这三种决策形式背景之间的关系;最后,提出属性粒规则的概念,并给出以此为基础的规则获取方法。 展开更多
关键词 决策形式背景 属性概念 决策规则 属性粒规则
在线阅读 下载PDF
中介逻辑与中介公理集合论的综述 被引量：2
15
作者 洪龙 周宁宁 《南京邮电大学学报（自然科学版）》 EI 2008年第4期87-94,共8页
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;... 以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。 展开更多
关键词 中介数学系统 逻辑 公理集合论
在线阅读 下载PDF
(Q)格值模型的省略型定理 被引量：1
16
作者 王捍贫 谢惠扬 《北京大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第3期409-413,共5页
将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
关键词 广义量词 格值模型论 省略型定理 格值逻辑
在线阅读 下载PDF
多值逻辑定理机器证明的代数方法 被引量：5
17
作者 吴尽昭 《计算机学报》 EI CSCD 北大核心 1996年第10期773-779,共7页
由给定的多值逻辑系统中的一组公式，．．．，，出发，构造出了一组有理数域上的多项式ＰＳ，使得是，．．．，的逻辑结论，当且仅当ＰＳ定义的代数簇为空集，当且仅当ＰＳ生成的理想是平凡理想．从而，利用特征列方法和Ｇｒｏｅｂｎｅ... 由给定的多值逻辑系统中的一组公式，．．．，，出发，构造出了一组有理数域上的多项式ＰＳ，使得是，．．．，的逻辑结论，当且仅当ＰＳ定义的代数簇为空集，当且仅当ＰＳ生成的理想是平凡理想．从而，利用特征列方法和Ｇｒｏｅｂｎｅｒ基方法，给出了判定是否，．．．，逻辑结论的两种算法． 展开更多
关键词 多值逻辑 机器证明 代数法
在线阅读 下载PDF
可拓策略存在性 被引量：2
18
作者 杜国平 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第7期1091-1093,1107,共4页
对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能... 对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能性,最后证明了使用变换解决矛盾问题的三种策略的逻辑存在性． 展开更多
关键词 矛盾问题 变换 可拓变换 解悖变换
在线阅读 下载PDF
基于排队的分销系统费用问题 被引量：2
19
作者 曾华 《武汉科技大学学报》 CAS 2007年第3期330-332,共3页
用排队论的方法对商品分销过程的排队系统进行分析,确定了排队模型。给出统计平衡条件下的主要指标。讨论分销系统费用最优化,并进行实例分析。
关键词 排队论 分销网络 最优化
在线阅读 下载PDF
浅议图书馆绩效管理 被引量：10
20
作者 徐晓琳 彭瑶 《重庆工学院学报》 2006年第4期188-190,196,共4页
图书馆管理是一项追求效益的工作。实施绩效管理可以改善图书馆的服务效果,提高工作绩效,激励馆员,增强馆员工作满意感和图书馆凝聚力。论述了图书馆绩效管理特点、内容以及存在的问题,并针对存在的问题提出改进措施。
关键词 图书馆 绩效评估 绩效管理
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 78 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部