带死区的多智能体系统事件触发协同控制

1

作者 姜田 生宁 《复杂系统与复杂性科学》 CAS CSCD 北大核心 2024年第4期58-64,共7页

针对多智能体系统状态跟踪问题,研究具有输入死区的高阶非线性多智能体系统事件触发协同控制。首先,将死区模型转化为线性项和扰动项。然后,利用模糊逻辑系统对跟随者进行建模,以削弱对系统性能的影响;最后,采用事件触发控制节省带宽,... 针对多智能体系统状态跟踪问题,研究具有输入死区的高阶非线性多智能体系统事件触发协同控制。首先,将死区模型转化为线性项和扰动项。然后,利用模糊逻辑系统对跟随者进行建模,以削弱对系统性能的影响;最后,采用事件触发控制节省带宽,进一步减轻系统的通信负担。此外所提方法不仅能够保证领导者和跟随者的一致性,也能够证明提出的控制方案不受芝诺现象的影响。利用仿真结果验证该设计方案的跟随者所有状态与领导者的状态同步。 展开更多

关键词 事件触发控制 多智能体 协同控制 输入死区 模糊逻辑系统

在线阅读 下载PDF 职称材料

复杂结构归纳学习研究 被引量：2

2

作者 李琳娜 杨炳儒 《计算机工程与应用》 CSCD 北大核心 2008年第5期1-7,共7页

复杂结构归纳学习的需求近年来快速增长。复杂结构归纳学习方法按照知识表示方式不同分为基于逻辑的方法与基于数学图的方法。阐述了复杂结构归纳学习研究的历史沿革,介绍、分析和对比了不同知识表示方式下的学习方法,给出了复杂结构归... 复杂结构归纳学习的需求近年来快速增长。复杂结构归纳学习方法按照知识表示方式不同分为基于逻辑的方法与基于数学图的方法。阐述了复杂结构归纳学习研究的历史沿革,介绍、分析和对比了不同知识表示方式下的学习方法,给出了复杂结构归纳学习将来发展面临的挑战和需重点解决的问题。 展开更多

关键词 复杂结构 归纳学习 基于图的概念学习 归纳逻辑程序设计 高阶逻辑

在线阅读 下载PDF 职称材料

基于高阶逻辑的复杂结构归纳学习研究 被引量：1

3

作者 李琳娜 杨炳儒 周法国 《计算机科学》 CSCD 北大核心 2008年第9期136-143,共8页

归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述。归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很... 归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述。归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很多缺点。本文首先阐述了基于高阶逻辑的复杂结构归纳学习产生的历史背景;其次介绍了基于高阶逻辑的编程语言——Escher的知识描述形式及目前已提出的三种学习方法;复杂结构的归纳学习在机器学习领域的应用及如何解决一些现实问题的讨论随后给出;最后分析了复杂结构归纳学习的研究所面临的挑战性问题。 展开更多

关键词 归纳学习 高阶逻辑 归纳逻辑编程 遗传编程 复杂结构数据

在线阅读 下载PDF 职称材料

基于配对方法的自动定理证明 被引量：1

4

作者 陈玉泉 陆汝占 余皓 《软件学报》 EI CSCD 北大核心 1997年第4期271-277,共7页

ＰｅｔｅｒＢ．Ａｎｄｒｅｗｓ提出了自动定理证明的配对方法的理论和算法．本文针对该算法的缺点，给出了一个无需回溯的实现算法。

关键词 自动定理 证明 配对 归结 关联 高阶逻辑

在线阅读 下载PDF 职称材料

高阶认知视域下的批判性思维教学与研究 被引量：20

5

作者 张建军 《河南社会科学》 CSSCI 北大核心 2015年第7期59-63,123,共5页

批判性思维的要义在于"合理怀疑、合理置信",两个"合理"的评估有赖于以"基于合理推理的问题求解"为特征的"高阶认知"。高阶认知研究既要诉诸逻辑因素在认知行动中的作用机制,也要把握逻辑因素... 批判性思维的要义在于"合理怀疑、合理置信",两个"合理"的评估有赖于以"基于合理推理的问题求解"为特征的"高阶认知"。高阶认知研究既要诉诸逻辑因素在认知行动中的作用机制,也要把握逻辑因素与非逻辑因素的相互作用机制,从而隶属于"应用逻辑研究",因此批判性思维教学与研究中的"反逻辑主义观念"是不正确的。加强逻辑基础教学是推进批判性思维教育的题中应有之义,在逻辑基础教学中亦应强化批判性思维视角。 展开更多

关键词 批判性思维 高阶认知 应用逻辑

在线阅读 下载PDF 职称材料

基于复杂结构数据聚类的推荐系统 被引量：1

6

作者 李琳娜 张志平 《高技术通讯》 CAS CSCD 北大核心 2011年第11期1115-1120,共6页

针对目前推荐系统存在的不能处理结构复杂、语义丰富领域的推荐问题以及对项目空间和用户空间本质特征理解的狭窄性和简单性、稀疏性问题、可扩展性问题，研究了基于复杂结构数据聚类的推荐方法，提出了一个新颖、有效、具有高可扩展性... 针对目前推荐系统存在的不能处理结构复杂、语义丰富领域的推荐问题以及对项目空间和用户空间本质特征理解的狭窄性和简单性、稀疏性问题、可扩展性问题，研究了基于复杂结构数据聚类的推荐方法，提出了一个新颖、有效、具有高可扩展性的基于复杂结构数据聚类的混合型推荐系统HRSCCSD。该系统能同时融合用户语义、项目语义和项目协同多方面信息，极大地拓展了当前推荐系统的应用深度和广度。实验表明，所提出的推荐技术在覆盖性、准确性以及可扩展性方面均优于当前主流的推荐技术。 展开更多

关键词 复杂结构数据(CSD) 推荐系统 Escher语言 高阶逻辑

在线阅读 下载PDF 职称材料

高阶逻辑下知识表示与聚类方法的研究

7

作者 许晟 杨珺 +2 位作者 唐志刚 李琳娜 杨炳儒 《计算机应用研究》 CSCD 北大核心 2010年第8期2878-2881,共4页

针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决... 针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决新谓词构造的问题。设计了以Escher为基础的复杂结构数据中的知识发现过程和基于复杂结构数据的聚类算法,并以实验验证了其有效性。 展开更多

关键词 复杂结构数据 一阶逻辑 高阶逻辑 知识发现

在线阅读 下载PDF 职称材料

关于高等职业教育课程建设的逻辑思考 被引量：21

8

作者 李国志 《职业技术教育》 北大核心 2002年第1期37-39,共3页

课程建设是实现高等职业教育培养目标、创建具有高职特色教育的重要途径。对高等职业教育课程建设现状及其培养目标和人才规格进行分析和讨论，推导出课程建设的逻辑程序，提出课程建设所应遵循的基本原则，对于创建具有高职特色的课程... 课程建设是实现高等职业教育培养目标、创建具有高职特色教育的重要途径。对高等职业教育课程建设现状及其培养目标和人才规格进行分析和讨论，推导出课程建设的逻辑程序，提出课程建设所应遵循的基本原则，对于创建具有高职特色的课程具有十分重要而现实的意义。 展开更多

关键词 高等职业教育 课程建设 逻辑程序 基本原则 培养目标 人才规格

在线阅读 下载PDF 职称材料

基于高阶逻辑的复杂结构数据半监督聚类

9

作者 李琳娜 陈海蕊 王映龙 《计算机科学》 CSCD 北大核心 2009年第9期196-200,共5页

半监督聚类近年来成为了机器学习和数据挖掘领域的研究热点。目前存在的半监督聚类方法都采用属性-值的知识表示方式。但属性-值语言在表示复杂结构数据时存在很多弊端,而基于高阶逻辑的知识表示语言Escher能较好地表示复杂结构数据。在... 半监督聚类近年来成为了机器学习和数据挖掘领域的研究热点。目前存在的半监督聚类方法都采用属性-值的知识表示方式。但属性-值语言在表示复杂结构数据时存在很多弊端,而基于高阶逻辑的知识表示语言Escher能较好地表示复杂结构数据。在Escher的知识表示方式下,首先当先验知识是实例之间的约束信息时,提出了搜索K-Means算法的K个初始质心的方法;其次,对先验知识不完全、能够发现的初始质心的个数r小于K的情况,提出了搜索其余的K-r个初始质心的算法MSS-KMeans和SMSS-KMeans;最后在复杂结构数据集上,验证了所提算法的可行性。最终的实验结果表明,基于高阶逻辑知识表示方式的半监督聚类方法要优于基于属性-值语言的半监督聚类方法。 展开更多

关键词 高阶逻辑 模板 半监督聚类 复杂结构数据 先验知识

在线阅读 下载PDF 职称材料

基于高阶逻辑的硬件验证方法

10

作者 霍红卫 韩俊刚 《计算机学报》 EI CSCD 北大核心 1993年第10期768-775,共8页

本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性,文中给出的用以说明描述及验证的例子包括CMOS... 本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性,文中给出的用以说明描述及验证的例子包括CMOS反相器、复位的奇偶校验器。 展开更多

关键词 高阶逻辑 硬件 验证 方法

在线阅读 下载PDF 职称材料

面向对象数据库中的频繁模式发现

11

作者 李琳娜 张志平 《高技术通讯》 CAS CSCD 北大核心 2011年第1期15-21,共7页

提出了基于高阶归纳逻辑编程发现面向对象数据库中的频繁模式的算法。此算法使用高阶逻辑编程语言Escher作为数据及模式表示语言。由于高阶逻辑编程语言不仅能描述复杂结构的数据而且还能描述复杂的模式，以及Escher语言的强类型语法能... 提出了基于高阶归纳逻辑编程发现面向对象数据库中的频繁模式的算法。此算法使用高阶逻辑编程语言Escher作为数据及模式表示语言。由于高阶逻辑编程语言不仅能描述复杂结构的数据而且还能描述复杂的模式，以及Escher语言的强类型语法能有效缩小由于高阶逻辑编程语言较强表达能力所带来的较大的模式搜索空间，故此算法能充分利用面向对象数据库中丰富的语义信息引导频繁模式搜索过程且能发现复杂频繁模式。实验证明，此算法在效率和发现的频繁模式质量上都优于经典的WARMAR算法。 展开更多

关键词 面向对象数据库 数据挖掘 频繁模式发现 高阶归纳逻辑编程

在线阅读 下载PDF 职称材料

函数矩阵理论在HOL4中的形式化 被引量：2

12

作者 刘振科 施智平 +4 位作者 关永 金声震 张杰 叶世伟 李晓娟 《小型微型计算机系统》 CSCD 北大核心 2013年第3期654-658,共5页

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库. 展开更多

关键词 函数矩阵 形式化验证 矩阵微分法 定理证明 higher-order logic4

在线阅读 下载PDF 职称材料

函数矩阵及其微积分的高阶逻辑形式化 被引量：2

13

作者 杨秀梅 关永 +3 位作者 施智平 吴爱轩 张倩颖 张杰 《计算机科学》 CSCD 北大核心 2016年第11期24-29,共6页

函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定... 函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定理证明器HOL4中对函数向量和函数矩阵相关理论进行形式化,内容包括函数向量和函数矩阵及其连续性、微分、积分的形式化定义和相关性质的逻辑推理证明。为示范函数矩阵形式化的应用,最后给出机器人运动学中旋转矩阵微分公式的形式化验证。 展开更多

关键词 函数矩阵 微积分性质 形式化验证 高阶逻辑定理证明

在线阅读 下载PDF 职称材料

VLSI设计形式化验证方法的综述 被引量：2

14

作者 姜明 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 1996年第2期155-160,共6页

在本文中，作者讨论了形式验证的理论，并综述了各种形式验证的方法、系统及一些重要的应用。对形式验证的发展趋势也做了论述。

关键词 VLSI 形式化验证 设计 计算机模拟

在线阅读 下载PDF 职称材料

函数极限的高阶逻辑形式化建模与验证 被引量：2

15

作者 赵春娜 赵刚 《计算机学报》 EI CSCD 北大核心 2020年第11期2119-2133,共15页

在高阶逻辑定理证明器中研究了函数无穷远处极限的形式化建模和验证,包括函数无穷远处极限定义的形式化模型,函数极限相关性质的建模与验证,有唯一性、保不等式性、绝对值函数在无穷远处的极限、极限等价性、常函数极限等.函数无穷远处... 在高阶逻辑定理证明器中研究了函数无穷远处极限的形式化建模和验证,包括函数无穷远处极限定义的形式化模型,函数极限相关性质的建模与验证,有唯一性、保不等式性、绝对值函数在无穷远处的极限、极限等价性、常函数极限等.函数无穷远处极限的高阶逻辑定义是利用拓扑极限方式定义的,并在实数域内利用集合关系等验证定理.根据集合有序关系定理验证了唯一性.利用差值和绝对值的高阶逻辑性质验证极限为零的属性.变量与常数之和与积的极限高阶逻辑定理也通过已验证定理和高阶逻辑策略验证了.建立了函数极限四则运算的高阶逻辑模型,并验证了函数极限加法、函数极限减法、函数极限乘法、函数极限与常数乘法、函数极限除法的高阶逻辑定理.也建立了函数积分极限的高阶逻辑形式化模型,验证了函数积分极限上限绝对值定理、函数积分极限上限可加定理、函数积分极限上限可乘定理.在此基础上,建立了拉普拉斯变换卷积定理的高阶逻辑形式化建模与验证.最后,对电阻-电感电路中的电流进行了高阶逻辑形式化建模与验证,建立了单位阶跃信号和电路中电流的高阶逻辑形式化定义,并验证了其正确性.该实例验证表明了函数极限和相关性质的高阶逻辑形式化模型的正确性,为后续控制系统的形式化分析奠定了良好的基础. 展开更多

关键词 函数极限 高阶逻辑 形式化验证 定理证明 卷积

在线阅读 下载PDF 职称材料

用高阶逻辑表达时态逻辑及其应用 被引量：2

16

作者 韩俊刚 《计算机学报》 EI CSCD 北大核心 1993年第12期925-930,共6页

硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计... 硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计验证中的应用,这种方法的优点是既利用高阶逻辑系统HOL的机械化定理证明手段,又发挥了时态逻辑的表达硬件的动态性质的能力。 展开更多

关键词 硬件 设计 时态逻辑 高阶逻辑

在线阅读 下载PDF 职称材料