逻辑规则

作品数：301被引量：516H指数：9
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：汪璟玢杨昆顾海军杨雪赵淦森更多>>
相关机构：国家电网有限公司华中科技大学福州大学国家电网公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划教育部人文社会科学研究重大课题攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向多无人系统的安全协同模型
《计算机科学》2022年第7期332-339,共8页李瑭 秦小麟 迟贺宇 费珂 
国家自然科学基金(61728204)。
随着无人系统技术的不断发展,多无人系统的协同控制技术受到了广泛的关注。设计合理的协同模型是多无人系统中的重要研究内容,而已有协同模型在开放的网络环境中存在一定的安全性问题。在分析已有模型的不足的基础上,提出了一种具有安...
关键词：无人系统 协同模型 逻辑规则 安全性 仿真系统 
一个基于逻辑的存取控制模型
《计算机科学》2007年第10期152-154,172,共4页阮宏一 彭智勇 雷建军 
本文得到国家863数据库重大专项课题<基于"关系+对象+代理"模型的对象管理技术研究>(2002AA423450)资助
在任何一个安全系统中,存取控制都是一个极为重要的问题。本文提出一个基于逻辑程序设计的方法来管理非集中式的授权及其代理。在这个系统中,允许用户代理管理权限、授权或禁止其他用户使用某些存取权限。给出一组独立于论域的规则来实...
关键词：逻辑规则 控制模型 授权 代理 
基于逻辑规则的递归查询之自底向上处理被引量：3
《计算机科学》1992年第3期48-52,共5页徐洁磐 范明 
八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本...
关键词：递归查询 自底向上 演绎数据库 数据库技术 逻辑规则 查询处理 魔集 求值 无限循环 关系代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部