高阶逻辑

作品数：32被引量：40H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：关永施智平张杰李琳娜李晓娟更多>>
相关机构：首都师范大学北京化工大学北京科技大学中国科学院研究生院更多>>
相关期刊：《哲学研究》《计算机工程与设计》《高技术通讯》《科技视界》更多>>
相关基金：国家自然科学基金国际科技合作与交流专项项目北京市教委科学研究与科研基地建设项目北京市优秀人才培养资助更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度学习的微生物高阶逻辑关系分析方法
《现代计算机》2022年第13期1-9,共9页刘芃兰 孙硕男 
微生物群体是所有生物体和生态系统保持健康稳定的核心组分,分析生态系统中微生物的互作用,挖掘微生物群落共现模块,可以加深对微生物群落的认知,提高利用和改造微生物群落的能力,为生态修复、疾病治疗和药物研发提供新的手段。传统的...
关键词：高阶逻辑关系 超图聚类 深度神经网络 最大模块度 
群机器人区域覆盖算法高阶逻辑建模与验证
《小型微型计算机系统》2022年第3期475-482,共8页尹晓娜 王国辉 施智平 关永 张倩颖 张景芝 
国家重点研发计划项目(2019YFB1309900)资助;国家自然科学基金项目(61876111,61877040,62002246)资助;特区项目(18-163-11-ZT-005-038-05)资助;北京市教委科技计划一般项目(KM20190028005)资助;科技创新服务能力建设-基本科研业务费(科研费)项目(00621530290000)资助。
区域覆盖算法广泛用于群机器人解决资源勘查、目标搜救、地形测绘等问题.目前,对区域覆盖算法的研究主要是用传统计算机仿真和数值计算方法对算法模型进行测试,然而,软件系统缺陷可能会使测试结果出现偏差,导致任务失败.因此,本文采用...
关键词：群机器人 区域覆盖 高阶逻辑 定理证明 形式化验证 
函数极限的高阶逻辑形式化建模与验证被引量：2
《计算机学报》2020年第11期2119-2133,共15页赵春娜 赵刚 
国家自然科学基金(61862062,61104035)资助.
在高阶逻辑定理证明器中研究了函数无穷远处极限的形式化建模和验证,包括函数无穷远处极限定义的形式化模型,函数极限相关性质的建模与验证,有唯一性、保不等式性、绝对值函数在无穷远处的极限、极限等价性、常函数极限等.函数无穷远处...
关键词：函数极限 高阶逻辑 形式化验证 定理证明 卷积 
多元量化和无类型集合论对逻辑悖论的规避
《新经济》2019年第7期47-51,共5页何佳 
近百年来,数学家、逻辑学家们使用了公理集合论、类型论等方法多次重塑我们对逻辑悖论及其解决方案的理解。发现悖论与拯救悖论的过程对推动现代数学、分析哲学、语义学的发展起到不可替代的作用。在本文中,笔者对一些逻辑悖论中的某些...
关键词：多元量化 无类型 逻辑悖论 高阶逻辑 
确证悖论中的语言形式化缺陷和确证困难
《宿州学院学报》2018年第11期63-66,共4页唐谦 
为解决亨普尔在确证悖论中所提出的尼科德标准及等值条件的兼容矛盾问题,需首要分析亨普尔对悖论的建构及解悖方法。结合既有的概率论方案,不难发现确证悖论的解悖方法均在保留两条原有预设的基础上对矛盾进行消解,亦或是在概率论上找...
关键词：确证悖论 语言形式化 高阶逻辑 确证困难 
高阶逻辑验证系统HOL及其应用初探
《科技视界》2018年第28期162-163,共2页陈波 
形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明系统HOL作了介绍,并结合例子说明HOL系统在硬件设计中的应用。
关键词：形式化验证方法 HOL逻辑 HOL系统 带复位的奇偶校验器 
几何代数的高阶逻辑形式化研究
《数学学习与研究》2018年第6期7-7,共1页李福林 黄利忠 
几何代数是一门关于几何的代数语言,主要用来描述、计算几何问题,目前已在几何学、理论物理学、工程应用等领域获得广泛应用.不过几何代数中的传统计算方法,如数值计算方法、符合计算法等都存在一定的缺陷.高阶逻辑则是一种严密的形式...
关键词：几何代数 高阶逻辑 形式化 验证方法 
基于高阶逻辑的定理证明方法及其对策的应用
《计算机应用与软件》2017年第11期6-12,共7页康漫 张杰 李晓娟 关永 
国家自然科学基金项目(61572331;61373034)
定理证明是形式化验证的主要方法之一,其中定理证明器的使用是难点。为了提高证明效率,论述HOL4系统中主要的三种证明方法:支持高级证明步骤。自动推理和化简器,为定理的证明提供了一个完整而通用的理论框架。详细说明了以上三种证明方...
关键词：定理证明方法 形式化验证 定理证明器 证明方法 对策 
汇率的比价——杠杆属性系统、高阶逻辑问题与宏观混沌机制
《复旦学报（社会科学版）》2017年第3期129-139,共11页吴文 
汇率是国际金融领域中的关键变量,在世界经济渐趋一体化的时代背景下,汇率同时成为影响一国经济运行内部状况的重要因素。汇率的高低对经济的内涵与外延增长有不同的影响,从而使经济的内部均衡呈现不同的状态。本文首先尝试在教育部重...
关键词：汇率 经济增长 高阶逻辑 混沌 
函数矩阵及其微积分的高阶逻辑形式化被引量：2
《计算机科学》2016年第11期24-29,共6页杨秀梅 关永 施智平 吴爱轩 张倩颖 张杰 
国际科技合作计划(2011DFG13000);国家自然科学基金项目(61170304;61472468;61572331);北京市科委项目(Z141100002014001);北京市教委科研基地建设项目(TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助
函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定...
关键词：函数矩阵 微积分性质 形式化验证 高阶逻辑定理证明 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部