期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到226篇文章
< 1 2 … 12 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
考虑资源限制的C2M企业订单接受与调度决策
1
作者 韩亚娟 章俊康 吴廷映 《计算机集成制造系统》 北大核心 2025年第9期3501-3512,共12页
在消费需求日益个性化的环境下,企业生产的柔性化程度不断提高,这使得成本控制与资源管理变得更加重要。因此,资源限制下的订单接受与调度问题成为C2M企业亟待解决的问题。为了合理评估接受订单数量,综合考虑可再生资源与不可再生资源约... 在消费需求日益个性化的环境下,企业生产的柔性化程度不断提高,这使得成本控制与资源管理变得更加重要。因此,资源限制下的订单接受与调度问题成为C2M企业亟待解决的问题。为了合理评估接受订单数量,综合考虑可再生资源与不可再生资源约束,并以最大化利润为目标函数,建立了混合整数规划模型。在模型的求解方面,采用基于逻辑的Benders分解(LBBD)算法将原模型分解为主问题和子问题。针对主问题求解困难的特点,引入分支检查策略确保高效的可行解搜索,获得可行解后,进一步求解子问题以生成切割。为加速求解,在组合型切割的基础上提出了两个最优切割。数值实验表明:中小规模算例下,改进方案求解速度明显提升;大规模算例下,传统模型和LBBD策略的求解质量大幅下降,但改进方案仍能求得全局最优解;考虑可再生资源对于评估订单接受数量至关重要。 展开更多
关键词 客户直通制造 订单接受与调度 基于逻辑的Benders分解算法 分支检查策略
在线阅读 下载PDF
基于多属性决策的一阶逻辑子句选择方法 被引量：2
2
作者 曾国艳 徐扬 +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
具有状态和输入量化的分数阶非线性系统自适应模糊控制
3
作者 孙珂 马志垚 +1 位作者 马宏军 佟绍成 《控制理论与应用》 北大核心 2025年第6期1132-1141,共10页
本文主要探讨在状态和输入量化条件下的分数阶非线性系统的模糊自适应控制问题.首先,基于状态非量化的情况,设计了状态量化下的虚拟控制器和实际控制器,其偏导数是量化状态的乘积,以实现最终的控制设计;其次,为确保由于状态量化和输入... 本文主要探讨在状态和输入量化条件下的分数阶非线性系统的模糊自适应控制问题.首先,基于状态非量化的情况,设计了状态量化下的虚拟控制器和实际控制器,其偏导数是量化状态的乘积,以实现最终的控制设计;其次,为确保由于状态量化和输入量化导致的一些列误差有界,构造了一个足够光滑的分数阶投影算子并设计了一种模糊自适应反步递推控制策略.进而建立并严格证明了分数阶一致有界准则,在已知参数有界的前提下,解决了分数阶意义下的误差信号一致有界问题.在分数阶一致有界准则的保障下,确保了所有闭环信号的有界性;最后,通过仿真结果验证了该方法的有效性. 展开更多
关键词 分数阶非线性系统 状态和输入量化 模糊逻辑系统 反步递推
在线阅读 下载PDF
使用本体和SWRL验证作战计划的方法 被引量：12
4
作者 钱猛 刘忠 +1 位作者 都业宏 姚莉 《计算机工程与应用》 CSCD 北大核心 2009年第8期208-212,245,共6页
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推... 计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。 展开更多
关键词 本体 规则 推理 作战计划验证 WEB本体语言 语义网规则语言 一阶逻辑
在线阅读 下载PDF
基于本体论的电子商务知识描述语言 被引量：7
5
作者 何坚 覃征 贾晓琳 《电子学报》 EI CAS CSCD 北大核心 2005年第2期297-300,共4页
应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言 (KDL) .介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法 .最... 应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言 (KDL) .介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法 .最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力 . 展开更多
关键词 本体论 电子商务 描述逻辑 框架系统 一阶逻辑
在线阅读 下载PDF
面向电子商务的知识描述语言 被引量：1
6
作者 何坚 覃征 +1 位作者 贾晓琳 谢国彤 《中文信息学报》 CSCD 北大核心 2004年第6期37-42,共6页
针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分... 针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法。最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力。 展开更多
关键词 人工智能 自然语言处理 本体论 电子商务 描述逻辑 框架系统 一阶逻辑
在线阅读 下载PDF
不同逻辑间翻译的逻辑性质 被引量：4
7
作者 申宇铭 马越 +2 位作者 曹存根 眭跃飞 王驹 《计算机学报》 EI CSCD 北大核心 2009年第10期2091-2098,共8页
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithful... 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的. 展开更多
关键词 翻译 语义忠实翻译 语义满翻译 二阶逻辑 一阶逻辑
在线阅读 下载PDF
BR_0–代数的无序表示形式及WBR_0–代数性质 被引量：29
8
作者 吴洪博 王昭海 《工程数学学报》 CSCD 北大核心 2009年第3期456-460,共5页
对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。
关键词 模糊逻辑 逻辑代数 BR0-代数 无序 WBR0-代数
在线阅读 下载PDF
统计关系学习模型Markov逻辑网综述 被引量：7
9
作者 孙舒杨 刘大有 +1 位作者 孙成敏 黄冠利 《计算机应用研究》 CSCD 北大核心 2007年第2期1-3,共3页
统计关系学习是人工智能研究的热点,在生物信息学、地理信息系统和自然语言理解等领域有着重要应用,Markov逻辑网是将Markov网与一阶逻辑相结合的一种全新的统计关系学习模型。介绍了Markov逻辑网的理论模型和学习方法,并探讨了目前存... 统计关系学习是人工智能研究的热点,在生物信息学、地理信息系统和自然语言理解等领域有着重要应用,Markov逻辑网是将Markov网与一阶逻辑相结合的一种全新的统计关系学习模型。介绍了Markov逻辑网的理论模型和学习方法,并探讨了目前存在的问题和研究方向。 展开更多
关键词 统计关系学习 一阶逻辑 MARKOV网 机器学习 MARKOV逻辑网
在线阅读 下载PDF
基于分数阶滑模控制技术的永磁同步电机控制 被引量：77
10
作者 张碧陶 皮佑国 《控制理论与应用》 EI CAS CSCD 北大核心 2012年第9期1193-1197,共5页
针对传统整数阶滑模控制系统中存在的抖震问题,本文提出了分数阶滑模控制策略并应用到永磁同步电机的速度控制.传统滑模控制器中的开关函数由作用在切换流型或其整数阶导数面推广到其分数阶导数面,利用分数阶系统的特性,缓慢地传递系统... 针对传统整数阶滑模控制系统中存在的抖震问题,本文提出了分数阶滑模控制策略并应用到永磁同步电机的速度控制.传统滑模控制器中的开关函数由作用在切换流型或其整数阶导数面推广到其分数阶导数面,利用分数阶系统的特性,缓慢地传递系统的能量,有效地削减抖震.本文采用模糊逻辑推理算法,实现软开关切换增益的自整定.仿真和实验证明,本文提出的分数阶滑模控制系统不但能有效地削减抖震,而且能保持滑模控制器对系统参数变化和外部扰动的鲁棒性. 展开更多
关键词 分数阶 滑模控制 模糊逻辑推理 抖震
在线阅读 下载PDF
二十七点九态控制器及其三阶对象仿真分析 被引量：9
11
作者 徐华中 余浩 +1 位作者 邱国廷 张南纶 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第3期767-769,共3页
本文介绍二十七点九态控制器的模型和控制作用。此控制器将相空间分为二十七个工作区域,而被控对象由九条不同规则控制。在此控制器作用下对不同的三阶对象进行稳定性仿真分析及其正弦跟踪分析,可得出结论:无论三阶对象是否稳定,在此控... 本文介绍二十七点九态控制器的模型和控制作用。此控制器将相空间分为二十七个工作区域,而被控对象由九条不同规则控制。在此控制器作用下对不同的三阶对象进行稳定性仿真分析及其正弦跟踪分析,可得出结论:无论三阶对象是否稳定,在此控制器作用下对于不同的三阶对象可以达到满意的控制效果。 展开更多
关键词 三阶对象 相空间 响应曲线 二十七点九态控制器
在线阅读 下载PDF
分数阶系统模糊自适应分数阶PI~λD~μ控制器 被引量：16
12
作者 梁涛年 陈建军 +2 位作者 王媛 林智伟 崔星毅 《北京工业大学学报》 CAS CSCD 北大核心 2013年第7期1040-1045,共6页
针对分数阶被控对象,采用分数阶微积分的数值解法,提出了模糊自适应分数阶PIλDμ控制器的数值实现方法与步骤.由于分数阶闭环控制系统的模糊化难以实现,将分数阶PIλDμ控制器与分数阶被控对象构成闭环分数阶控制系统,求其闭环系统在... 针对分数阶被控对象,采用分数阶微积分的数值解法,提出了模糊自适应分数阶PIλDμ控制器的数值实现方法与步骤.由于分数阶闭环控制系统的模糊化难以实现,将分数阶PIλDμ控制器与分数阶被控对象构成闭环分数阶控制系统,求其闭环系统在时域内的表达式,再用分数阶微积分的数值解法并结合模糊推理规则,推导出了模糊分数阶PIλDμ控制器的实现步骤,并对其控制系统的单位阶跃响应性能进行了仿真分析.结果表明:所设计的模糊自适应分数阶PIλDμ控制器比分数阶PIλDμ及传统的整数阶PID控制器表现出较好的控制性能. 展开更多
关键词 模糊控制 PIλDμ控制器 分数阶被控对象 模糊逻辑推理
在线阅读 下载PDF
两相邻路口交通信号的协调控制 被引量：36
13
作者 李灵犀 高海军 王飞跃 《自动化学报》 EI CSCD 北大核心 2003年第6期947-952,共6页
传统路口的控制算法大多研究单个路口的信号控制情况 .该文根据路口之间的相互关系 ,利用高阶广义神经网络及模糊推理提出了两个相邻交通路口的协调算法 .利用此算法设计的交通信号控制器 ,可以有效地协调两相邻路口的红绿灯信号 。
关键词 路口交通信号 协调控制 控制算法 模糊控制 神经网络 交通路口 模糊推理
在线阅读 下载PDF
基于矩阵解耦的精馏塔VOFFLC温控系统 被引量：6
14
作者 汪洋 江厚顺 +3 位作者 许冬进 诸昌武 杨瑞洪 杨欢 《控制工程》 CSCD 北大核心 2023年第2期262-274,291,共14页
针对复杂的精馏塔MIMO温控系统的多变量、非线性、强耦合的特点和自适应需求,设计了基于矩阵解耦精馏塔的VOFFLC系统。首先,对温控系统的多变量控制模型进行改进,利用矩阵解耦理论实现对角解耦,以此改变控制通道的特性;然后,设计基于矩... 针对复杂的精馏塔MIMO温控系统的多变量、非线性、强耦合的特点和自适应需求,设计了基于矩阵解耦精馏塔的VOFFLC系统。首先,对温控系统的多变量控制模型进行改进,利用矩阵解耦理论实现对角解耦,以此改变控制通道的特性;然后,设计基于矩阵解耦的精馏塔VOFFLC温控系统,实现精馏塔的塔顶和塔底的自适应温控;最后,采用仿真实验,对所设计的多种温控系统进行性能比较。实验结果表明,VOFFLC系统可以实现控制参数的自适应,具有更强的论域容错性和鲁棒性。 展开更多
关键词 矩阵解耦 温度控制 ITAE FLC FOPID VOFFLC
在线阅读 下载PDF
运用定理证明的形式化方法验证SpaceWire编码电路 被引量：10
15
作者 李黎明 关永 +2 位作者 吴敏华 张杰 施智平 《小型微型计算机系统》 CSCD 北大核心 2012年第6期1372-1376,共5页
我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验... 我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验证,运用定理证明的形式化方法,在HOL4工具上对该电路的设计实现与规范要求的一致性进行验证,克服了传统验证方法的局限性. 展开更多
关键词 形式化验证 SpaceWire标准 DS编码 定理证明 高阶逻辑
在线阅读 下载PDF
动态环境下GPS软件接收机研究 被引量：17
16
作者 唐斌 董绪荣 +1 位作者 刘舒莳 唐卫涛 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第8期1807-1810,共4页
载体的动态性所引入的多普勒频移给GPS接收机的载波跟踪带来了很大的困难。首先介绍了GPS软件接收机捕获与跟踪策略,提出了一种新的基于模糊逻辑控制器和三阶锁相环的动态载波跟踪方案,分析了模糊逻辑控制器的设计原理,推导了适合软件... 载体的动态性所引入的多普勒频移给GPS接收机的载波跟踪带来了很大的困难。首先介绍了GPS软件接收机捕获与跟踪策略,提出了一种新的基于模糊逻辑控制器和三阶锁相环的动态载波跟踪方案,分析了模糊逻辑控制器的设计原理,推导了适合软件实现的三阶锁相环的数字形式。实验结果证明提出的设计方法与传统环路相比可大幅度缩短载波跟踪时间,减小环路滤波器带宽,并能消除周跳。 展开更多
关键词 动态环境 GPS软件接收机 模糊逻辑控制器 三阶数字环路滤波器
在线阅读 下载PDF
基于重量分析的OBDD变量排序算法 被引量：6
17
作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《计算机学报》 EI CSCD 北大核心 1997年第8期702-710,共9页
有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性．本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法... 有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性．本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法．由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法．实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，尤其是对一些较难排序的电路（如Ｃ２６７０）效果更加突出． 展开更多
关键词 二叉判决图 OBDD 变量排序 逻辑设计 计算机
在线阅读 下载PDF
亲属关系的逻辑意义及其自动推理 被引量：8
18
作者 陈振宇 袁毓林 +1 位作者 张秀松 周强 《计算机工程与应用》 CSCD 北大核心 2009年第16期43-47,共5页
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的... 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。 展开更多
关键词 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简
在线阅读 下载PDF
模糊描述逻辑f-DLR-Lite∩的合取查询回答 被引量：1
19
作者 程经纬 马宗民 +1 位作者 严丽 王海龙 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期1249-1252,1296,1256,共6页
分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提... 分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理. 展开更多
关键词 描述逻辑 合取查询 模糊查询语言 一阶逻辑可归约性 f-DLR-Lite∩
在线阅读 下载PDF
一种求解认知难题的模型检测方法 被引量：5
20
作者 骆翔宇 苏开乐 顾明 《计算机学报》 EI CSCD 北大核心 2010年第3期406-414,共9页
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以... 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以验证相关的时态认知性质,这一特性是当前认知逻辑模型检测工具MCK、MCMAS和DEMO不能完全支持的.作者采用OBDD开发了相关的符号化模型检测工具MCTK并对和与积难题进行建模和验证,实验结果说明了文中方法的正确性和高效性. 展开更多
关键词 模型检测 OBDD 公告逻辑 时态认知逻辑 和与积难题
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 12 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部