期刊文献+
共找到79篇文章
< 1 2 4 >
每页显示 20 50 100
计及数据中心负载特性的多时间尺度优化调度
1
作者 帅文利 杨秀 +2 位作者 赵晓莉 孙改平 李莉华 《智慧电力》 北大核心 2025年第7期1-10,共10页
为降低数据中心能耗,提出一种基于负载特性的新型多时间尺度调度模型。在日前阶段,通过分析批处理负载的到达率、可延迟时间、执行时间及内部DAG结构等底层逻辑特性,建立矩阵模型参与调度优化,以平滑服务器能耗曲线;在日内阶段,结合冗... 为降低数据中心能耗,提出一种基于负载特性的新型多时间尺度调度模型。在日前阶段,通过分析批处理负载的到达率、可延迟时间、执行时间及内部DAG结构等底层逻辑特性,建立矩阵模型参与调度优化,以平滑服务器能耗曲线;在日内阶段,结合冗余备份与异地转移策略应对负载波动,构建滚动优化模型,实时调整日内计划。采用YALMIP+CPLEX求解器进行仿真验证,结果表明该模型显著降低了数据中心的运行成本,对提升能效管理水平具有重要实践价值。 展开更多
关键词 数据中心 负载特性 底层逻辑 矩阵模型 多时间尺度
在线阅读 下载PDF
清晰化逻辑与“模糊性基质”:城市基层数字治理的实践张力与调适
2
作者 申恒胜 《天津行政学院学报》 北大核心 2025年第5期63-73,共11页
城市基层数字治理的实质是通过技术的确定性逻辑来消解治理场域的不确定性因素,但也造成实践中“技术清晰化”与“治理模糊性”的深层悖论。数据不完全映射产生的“模糊性剩余”、基于算法理性的技术偏差和数据迟滞、高阶复杂问题的技... 城市基层数字治理的实质是通过技术的确定性逻辑来消解治理场域的不确定性因素,但也造成实践中“技术清晰化”与“治理模糊性”的深层悖论。数据不完全映射产生的“模糊性剩余”、基于算法理性的技术偏差和数据迟滞、高阶复杂问题的技术简化和认知遮蔽,以及脱离实际的技术低配和数字悬浮,共同形塑城市数字治理的“模糊性基质”,致使基层政府面临简约治理与繁杂现实、控制逻辑与自主诉求、运动式治理与“隐性制度化”多重张力。现代城市治理应超越“清晰化治理”与“模糊性治理”的二元对立,基于区域差异性、治理复杂性和现实承载力等实际,因地制宜和梯度推进数字治理的强度和边界,动态调整和优化数字治理的推进速度,在治理实践中提升驾驭不确定性的制度能力。 展开更多
关键词 数字治理 清晰化逻辑 “模糊性基质” 模糊性治理
在线阅读 下载PDF
联合收获机轻量级数字孪生系统构建方法研究 被引量:5
3
作者 马博文 刘孟楠 +5 位作者 尹彦鑫 孟志军 张宾 张亚伟 温昌凯 张安琪 《农业机械学报》 EI CAS CSCD 北大核心 2024年第5期108-120,共13页
针对现有农机装备数字孪生系统开发难度大、配置要求高以及资源占用过高的问题,提出基于轻量级网络的联合收获机数字孪生系统构建方法,包含物理、虚拟、数据交互、模型计算以及人机交互等多个子系统的实现方法。基于数字孪生的技术特点... 针对现有农机装备数字孪生系统开发难度大、配置要求高以及资源占用过高的问题,提出基于轻量级网络的联合收获机数字孪生系统构建方法,包含物理、虚拟、数据交互、模型计算以及人机交互等多个子系统的实现方法。基于数字孪生的技术特点和联合收获机的作业特性,设计了一种基于JavaScript语言的轻量级数字孪生系统框架。通过采用Solidworks和CMdevelopment kit工具进行数字孪生系统的模型轻量化处理及坐标系整合,实现了在不影响模型精度和功能的前提下,显著降低系统对硬件要求和内存占用量。以雷沃GM100型联合收获机为对象,开发基于轻量级网络的联合收获机数字孪生系统,为联合收获机孪生系统性能分析、实时监控、瞬时计算以及远程操纵提供联合仿真、分析以及验证平台。为验证数字孪生系统性能和功能,开展了孪生系统性能测试及油耗预测实验。实验结果表明,在数据更新频率20 Hz下,响应时间在78 ms以内,内存占用量在331 MB以内;性能测试中,系统在运行状态下CPU和GPU的平均占用率分别为17%和30%;即使在高强度操作下,系统帧率仍可保持在75.6 f/s;在正常作业下油耗预测模型平均误差为0.34 L/h,平均相对误差仅为2.51%。本系统提供了一种低成本、高效率的数字孪生轻量化构建方案。 展开更多
关键词 联合收获机 数字孪生 轻量级 运动逻辑建模 齐次矩阵
在线阅读 下载PDF
基于模糊测度的模糊分支时态逻辑模型检测
4
作者 刘子源 马占有 +3 位作者 李霞 高滢囡 何娜娜 黄瑞祺 《计算机工程与科学》 CSCD 北大核心 2024年第4期676-683,共8页
针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测... 针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点。最后,通过医疗专家系统的实例说明了该模型检测算法的有效性。 展开更多
关键词 模糊决策过程 模糊测度 模糊分支时态逻辑 模型检测 矩阵运算
在线阅读 下载PDF
TiC含量对SPS制备TiC/Cu复合材料力学与摩擦学性能的影响
5
作者 李雪伍 陈朝鹏 +2 位作者 尹艳丽 邢志国 于鹤龙 《材料工程》 EI CAS CSCD 北大核心 2024年第8期178-188,共11页
采用等离子烧结技术(spark plasma sintering,SPS)制备了不同质量分数TiC颗粒增强的铜基复合材料,研究了不同烧结温度和TiC含量的铜基复合材料的微观结构,考察了TiC含量对铜基复合材料电导率、纳米力学性能、显微硬度、拉伸性能和摩擦... 采用等离子烧结技术(spark plasma sintering,SPS)制备了不同质量分数TiC颗粒增强的铜基复合材料,研究了不同烧结温度和TiC含量的铜基复合材料的微观结构,考察了TiC含量对铜基复合材料电导率、纳米力学性能、显微硬度、拉伸性能和摩擦学行为的影响。结果表明:850℃烧结得到的TiC/Cu复合材料组织致密,增强体和基质相结合良好。一方面,随着TiC含量的升高,TiC/Cu复合材料中的铜基质相的晶粒不断得到细化,晶界密度升高,导致复合材料的硬度和屈服强度升高。另一方面,TiC含量的增加逐渐导致增强体和基质相的结合界面出现孔隙和裂纹,并成为应力集中和裂纹形成的首选位置,造成复合材料电导率、抗拉强度和伸长率的下降。TiC质量分数为5%~15%时,复合材料的抗拉强度、弹性模量和屈服强度较高,硬度适当,综合力学性能较好。当TiC质量分数超过20%时,TiC/Cu复合材料的屈服强度大幅降低,复合材料断裂机制由韧性断裂转为脆性断裂。TiC增强体显著改善了铜基复合材料的摩擦学性能,摩擦过程中复合材料摩擦因数和磨损量随载荷增大呈线性增加,并随TiC含量的升高呈下降趋势。在TiC质量分数为20%时,复合材料具有最高的耐磨性和最低的摩擦因数,其磨损机制以磨粒磨损为主,且伴随轻微黏着磨损和氧化磨损。 展开更多
关键词 铜基复合材料 放电等离子烧结 微观结构 力学性能 摩擦学行为
在线阅读 下载PDF
粗糙集概念与运算的布尔矩阵表示 被引量:20
6
作者 李龙星 运士伟 杨炳儒 《计算机工程》 EI CAS CSCD 北大核心 2005年第14期16-17,共2页
建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;在此基础上给出了粗糙集理论中概念与运算的布尔矩阵表示;最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。
关键词 粗糙集 属性约简 布尔矩阵 逻辑方程组 等价性
在线阅读 下载PDF
基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型 被引量:2
7
作者 唐浩坤 刘宴兵 +1 位作者 黄俊 张衡 《计算机科学》 CSCD 北大核心 2013年第5期141-146,共6页
良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性... 良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。 展开更多
关键词 结构化P2P网络 逻辑矩阵 蠕虫对抗 节点搅动
在线阅读 下载PDF
块序列布尔网络的拓扑结构 被引量:2
8
作者 宋金利 李志强 《控制理论与应用》 EI CAS CSCD 北大核心 2015年第2期142-149,共8页
利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩... 利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩阵特征值和特征向量的角度研究了块序列布尔网络的拓扑结构,显式表示出了不同长度极限环的个数,并指出网络的极限环总数等于(2n-结构矩阵的秩). 展开更多
关键词 半张量积 布尔网络 特征向量 逻辑矩阵
在线阅读 下载PDF
微型燃气轮机分布式能源系统混合逻辑建模研究 被引量:6
9
作者 张俊礼 沈炯 李益国 《中国电机工程学报》 EI CSCD 北大核心 2016年第12期3354-3365,共12页
针对具有多设备集成、多产点和多负荷耦合特征,且运行方式灵活多样的微型燃气轮机分布式能源系统(microturbine-based distributed energy system,MT-DES),提出新的运行优化模型。将MT-DES分解成CHP机组、热/冷辅助设备、购/售电等环节... 针对具有多设备集成、多产点和多负荷耦合特征,且运行方式灵活多样的微型燃气轮机分布式能源系统(microturbine-based distributed energy system,MT-DES),提出新的运行优化模型。将MT-DES分解成CHP机组、热/冷辅助设备、购/售电等环节。在厘清各设备/环节间耦合关系以及其与主要运行策略之间联系的基础上,采用混合逻辑方法,合理描述了考虑启停逻辑和负荷限制等约束的各环节运行特性。并与经济、能效和环保等目标模型联立,通过线性变换和矩阵化,得到了适用于各主要运行策略研究的滚动优化模型。对文中思路的可行性和优越性通过优化算例进行了验证。 展开更多
关键词 分布式能源系统 微型燃气轮机 运行优化 混合逻辑 线性矩阵
在线阅读 下载PDF
基于矩阵初等变换的四量子比特可逆电路综合算法 被引量:2
10
作者 王冬 陈汉武 +1 位作者 安博 杨忠明 《电子学报》 EI CAS CSCD 北大核心 2010年第11期2561-2565,共5页
量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表... 量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表示及变换和邻接矩阵的电路转化规则,总能以较小的量子代价综合出任意给定置换的4量子比特可逆逻辑电路. 展开更多
关键词 量子计算 量子可逆逻辑电路 酉矩阵
在线阅读 下载PDF
基于低碳经济视角的企业碳资产识别研究 被引量:6
11
作者 刘楠峰 范莉莉 《生态经济》 CSSCI 北大核心 2016年第10期84-86,92,共4页
在低碳经济时代,提升企业低碳竞争力更是事关企业未来的生存和发展。企业碳资产的积累和开发则是企业提升低碳竞争力、发展低碳经济的重要途径。然而,目前业界对碳资产认识相对比较模糊,缺乏明确统一的定义,使得企业在对自身碳资产进行... 在低碳经济时代,提升企业低碳竞争力更是事关企业未来的生存和发展。企业碳资产的积累和开发则是企业提升低碳竞争力、发展低碳经济的重要途径。然而,目前业界对碳资产认识相对比较模糊,缺乏明确统一的定义,使得企业在对自身碳资产进行盘查、开发和利用时产生了较大困惑。文章试图通过辨析不同观点下资产定义的特点,挖掘"碳"的价值内涵,利用逻辑学的定义结构,提出基于低碳经济视角的企业碳资产的定义,并进一步对企业碳资产的特征和分类展开研究。 展开更多
关键词 碳资产 低碳经济 逻辑学定义 分类矩阵
在线阅读 下载PDF
服务建模基础理论研究(英文) 被引量:1
12
作者 陈福 杨扬 熊曾刚 《计算机科学与探索》 CSCD 2008年第4期439-448,共10页
面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要... 面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。 展开更多
关键词 服务逻辑 服务矩阵 合成服务建模 JENA
在线阅读 下载PDF
归纳逻辑程序设计中的优化问题研究 被引量:1
13
作者 叶风 徐晓飞 +2 位作者 权光日 陈彬 邱深山 《计算机研究与发展》 EI CSCD 北大核心 1999年第5期560-566,共7页
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设.按Ocam准则,满足约束的最精简归纳假设为优,但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决.文中以扩张矩阵理论为工具证明了归... 归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设.按Ocam准则,满足约束的最精简归纳假设为优,但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决.文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是NP困难的,并给出了构造优假设的启发式算法,实验表明该算法产生的归纳假设在结构上具有明显的优越性. 展开更多
关键词 归纳学习 归纳逻辑程序 程序设计 优化
在线阅读 下载PDF
区域自治式后备保护分区方案 被引量:21
14
作者 姜宪国 王增平 +1 位作者 李琛 唐玮 《电工技术学报》 EI CSCD 北大核心 2013年第1期234-241,共8页
提出了一种区域自治式后备保护分区方案。首先制定了保护分区原则,分别对主站保护范围、边界元件处理方式、主站失效对策等关键原则进行论述。要求分区后保护系统具有以下特点:兼顾信息需求和通信延时,确保信息的完备性和保护的快速性;... 提出了一种区域自治式后备保护分区方案。首先制定了保护分区原则,分别对主站保护范围、边界元件处理方式、主站失效对策等关键原则进行论述。要求分区后保护系统具有以下特点:兼顾信息需求和通信延时,确保信息的完备性和保护的快速性;每个元件可由至少一个主站独立保护,简化主站间的配合策略;任一主站决策单元失效时仍能准确判断元件故障,加强保护系统适应能力。在此基础上提出了保护分区实现方法,定义狭义邻接矩阵完成主站选定和主站保护范围划分两项功能。并进一步分析了该分区方案下区域自治式后备保护的动作逻辑,保证各种情况下故障可靠切除。最后通过实际系统算例分析验证了该方案的有效性。 展开更多
关键词 区域自治式后备保护 分区方案 边界元件 狭义邻接矩阵 动作逻辑
在线阅读 下载PDF
导弹模糊增益调参鲁棒飞控系统设计 被引量:2
15
作者 周锐 魏晨 +1 位作者 张鹏 陈宗基 《宇航学报》 EI CAS CSCD 北大核心 2005年第4期431-435,共5页
由于导弹飞控系统的高度非线性、时变性和不确定性,如何设计导弹高性能鲁棒控制系统是一项关键技术。利用模糊逻辑很强的知识综合和推理等特点,基于模糊控制和H∞鲁棒控制方法,建立了一种模糊参数化的增益调参飞控系统鲁棒设计方法,并... 由于导弹飞控系统的高度非线性、时变性和不确定性,如何设计导弹高性能鲁棒控制系统是一项关键技术。利用模糊逻辑很强的知识综合和推理等特点,基于模糊控制和H∞鲁棒控制方法,建立了一种模糊参数化的增益调参飞控系统鲁棒设计方法,并利用线性矩阵不等式(LMI)技术,将鲁棒增益调参控制器设计转化成了相应的LMI凸优化问题,解决了复杂鲁棒控制器的求解问题。并将该方法应用于导弹鲁棒控制系统设计,仿真结果表明了该设计方法有效性。模糊逻辑、鲁棒控制以及线性矩阵不等式技术的有机结合可以设计具有全局稳定性及鲁棒性能要求的高性能导弹飞控系统。 展开更多
关键词 导弹 模糊逻辑 鲁棒控制 线性矩阵不等式
在线阅读 下载PDF
基于Matlab与VC++混编技术的混杂系统预测控制及仿真 被引量:9
16
作者 李秀改 高东杰 《系统仿真学报》 CAS CSCD 2003年第5期637-639,共3页
深入研究了混杂系统基于混合逻辑的建模方法,提出变权重矩阵的预测控制策略对系统进行优化和控制,对一个具体实例进行了仿真研究,表明基于混合逻辑动态模型的变权重预测控制策略能使系统跟踪设定值并满足约束条件。基于Matlab与VC++设... 深入研究了混杂系统基于混合逻辑的建模方法,提出变权重矩阵的预测控制策略对系统进行优化和控制,对一个具体实例进行了仿真研究,表明基于混合逻辑动态模型的变权重预测控制策略能使系统跟踪设定值并满足约束条件。基于Matlab与VC++设计的系统仿真平台,为算法工程化实施提供了一个有效途径。 展开更多
关键词 混杂系统 混合逻辑动态 变权重预测控制 MATLAB引擎
在线阅读 下载PDF
变电站五防闭锁规则库生成法的实现 被引量:11
17
作者 裴佩 吴晓博 王浩 《电力系统自动化》 EI CSCD 北大核心 2009年第8期51-55,共5页
《电力系统自动化》杂志2008年第20期《根据变电站一次接线图导出闭锁公式的方法》一文从理论上推导出了一种生成变电站五防闭锁规则库的方法。在该文的基础上,文中对该方法做了进一步的完善和改进,并着重探讨了生成五防闭锁规则库的具... 《电力系统自动化》杂志2008年第20期《根据变电站一次接线图导出闭锁公式的方法》一文从理论上推导出了一种生成变电站五防闭锁规则库的方法。在该文的基础上,文中对该方法做了进一步的完善和改进,并着重探讨了生成五防闭锁规则库的具体实现方案,编写了应用软件并完成调试运行,验证了该方法的可行性。由于五防闭锁规则库是在离线情况下生成的,因此,必须以布尔型变量代替实际运行时断路器和刀闸的状态量。将断路器和刀闸的状态与布尔型变量进行映射并对含有布尔型变量矩阵的运算及化简是文中最大的难点和技术关键点。文中找到了一种新的计算可达矩阵的算法,大大简化了化简步骤,提高了运算速度,将理论算法变成了实用软件工具。 展开更多
关键词 五防闭锁规则库 逻辑表达式化简 矩阵乘法 可达矩阵 邻接矩阵
在线阅读 下载PDF
城市高密地区的理性高密增长——福州八一七路多重制约背景下的规划探讨 被引量:3
18
作者 刘博敏 《南方建筑》 2008年第4期72-77,共6页
城市中心的发展就是城市中心地区在某些方面的效益增长,传统概念上常指空间上量的增长。城市中心都处于城市高密地区,可用改造建设用地有限时,有时还会遇到历史文化保护区的制约,只从物质空间上寻求进一步增长显得很难。要从看似很难形... 城市中心的发展就是城市中心地区在某些方面的效益增长,传统概念上常指空间上量的增长。城市中心都处于城市高密地区,可用改造建设用地有限时,有时还会遇到历史文化保护区的制约,只从物质空间上寻求进一步增长显得很难。要从看似很难形成空间增长的城市中心里寻求新的增长途径,理性高密增长模式是一种值得尝试的方法。与传统单纯物质空间高密增长模式不同,理性高密增长是立足于目标效益增长的多维发展模式,作者在福州八一七路规划中,尝试从物质空间、功能格局、活动构成与环境特色四个方面,寻求合适地区效益增长的可行发展方式,借助于逻辑矩阵比较分析,为规划混沌局面突破提供一些具有创新理念的策略与技术方法。 展开更多
关键词 城市中心 逻辑矩阵分析 高密增长 理性高密增长
在线阅读 下载PDF
不确定性问题中逻辑关系方程的置换矩阵解法 被引量:6
19
作者 范铁生 陈春光 《小型微型计算机系统》 CSCD 北大核心 2002年第2期204-206,共3页
本文给出了在不确定性问题中逻辑关系方程有解 ,有唯一解的充分必要条件 ,并把求解逻辑关系方程的问题转化为求解一些系数矩阵是置换矩阵的逻辑方程组问题 。
关键词 不确定性问题 逻辑关系方程 系数矩阵 增广矩阵 布尔矩阵 置换矩阵 人工智能
在线阅读 下载PDF
一阶谓词公式关联矩阵的构造方法 被引量:1
20
作者 耿霞 张继军 吴秋兰 《计算机工程与应用》 CSCD 2014年第3期36-41,共6页
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接... 一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。 展开更多
关键词 一阶谓词公式 关联矩阵 逻辑推理 二叉树 递归方法
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部