检索结果-内蒙古大学图书馆

计算机科学 2019年第7期46卷 195-205页

作者：文习明方良达余泉常亮王驹广东行政学院信息技术教研部广州510053 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学计算机科学系广州510632 黔南民族师范学院数学与统计学院贵州都匀558000

遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研... 详细信息

遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45 n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。

关键词：多智能体模态逻辑知识推理知识编译知识遗忘

来源：评论

学校读者我要写书评

暂无评论

Zigbee传感器网络协议栈的研究与分析

引用

电脑知识与技术 2013年第6X期9卷 4220-4222页

作者：李小龙彭美平桂林电子科技大学计算机科学与工程学院广西桂林541004 广西可信软件重点实验室广西桂林541004

Zigbee为一种低延迟,低功耗,低成本和高可靠性的无线网状组网标准,有效满足传感器网络的要求,在工业监控、野外侦测、目标监控等领域具有广泛的应用前景。该文介绍和分析了Zigbee协议栈,给出了其整体系统结构,重点介绍了Zigbee标准物理... 详细信息

Zigbee为一种低延迟,低功耗,低成本和高可靠性的无线网状组网标准,有效满足传感器网络的要求,在工业监控、野外侦测、目标监控等领域具有广泛的应用前景。该文介绍和分析了Zigbee协议栈,给出了其整体系统结构,重点介绍了Zigbee标准物理层中的频段和通用规范,以及媒体访问控制层中的信道扫描技术和帧结构。

关键词：无线传感器网络 ZIGBEE技术协议栈物理层数据链路层

来源：评论

学校读者我要写书评

暂无评论

新型数学难题及其在分组密码中的应用研究

引用

信息网络安全 2014年第11期 79-82页

作者：王勇广西可信软件重点实验室广西桂林541004 桂林电子科技大学计算机科学与工程学院广西桂林541004

密码算法一般基于数学难题来保证安全性。目前已有的数学难题可以归结为求解一个或者一系列未知数。不同于已有的数学难题,文章提出一类新的数学难题,它求解的对象不是未知数,而是未知函数,这类难题并没有可行的求解方法。文章克服现实... 详细信息

密码算法一般基于数学难题来保证安全性。目前已有的数学难题可以归结为求解一个或者一系列未知数。不同于已有的数学难题,文章提出一类新的数学难题,它求解的对象不是未知数,而是未知函数,这类难题并没有可行的求解方法。文章克服现实障碍,考虑穷举攻击的安全性,利用未知函数求解难题和未知数求解难题相结合的方法提出了构造分组密码的方案。加密和解密的函数为未知函数,未知函数由密钥确定,而密码分析者不知道密钥,所以无法确定密码函数。由于密码函数未知,所以大多数的密码分析方法需要的前提条件未知,从而无法进行分析。在文中方案下形成了一种新的单向性,关于密码函数的单向性,加密和解密者很容易确定加解密的函数,而密码分析者不能确定。文中方案针对现有的密码分析具有很好的安全性,文章还对可能的攻击方法进行了设想,提出了几种攻击思路,并且针对这些攻击对未知函数的各种具体形式的设计提出了一些原则性建议,以避免密码分析者通过各种线索确定函数的具体形式,或者经过转化将未知函数统一为一个已知函数。

关键词：分组密码函数未知密码学

来源：评论

学校读者我要写书评

暂无评论

改进的基于Pignistic概率距离的证据组合方法

引用

桂林电子科技大学学报 2017年第4期37卷 317-321页

作者：李民政蓝剑平桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学广西信息科学实验中心广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004

针对现有DS改进算法度量冲突程度方法的不准确与收敛速度慢的缺陷,提出证据集期望的概念和一种基于冲突系数和Pignistic概率距离的证据融合规则。用冲突系数和Pignistic概率距离的平均值表征证据间的冲突程度,通过计算每条证据的重要程... 详细信息

针对现有DS改进算法度量冲突程度方法的不准确与收敛速度慢的缺陷,提出证据集期望的概念和一种基于冲突系数和Pignistic概率距离的证据融合规则。用冲突系数和Pignistic概率距离的平均值表征证据间的冲突程度,通过计算每条证据的重要程度权值,进而求出证据集期望。用证据集期望作为现有证据集的反馈替换证据集中相关性最低的证据,以此修正证据集中可信度低的干扰证据,对修正证据集用DS规则进行融合。通过算例分析,验证了改进的组合规则能够排除干扰证据,降低冲突,并加快系统收敛速度。

关键词：证据融合冲突度量 Pignistic概率距离证据集期望反馈

来源：评论

学校读者我要写书评

暂无评论

一种基于组合公钥的密钥派生方案

引用

郑州大学学报（理学版） 2018年第2期50卷 13-17页

作者：罗一帆张大伟常亮刘晓东马儒潇北京交通大学计算机与信息技术学院北京100044 桂林电子科技大学广西可信软件重点实验室广西桂林541004 山东大学网络信息安全研究所山东济南250100

为了提高单密钥签名系统的安全性,设计了一种基于组合公钥的密钥派生方案.首先,针对组合公钥体系中存在的共谋攻击提出一种新的密钥生成方案,通过引入素数系数使得映射系数矩阵达到满秩,且数量小于其秩的私钥均线性无关.其次,分析本方... 详细信息

为了提高单密钥签名系统的安全性,设计了一种基于组合公钥的密钥派生方案.首先,针对组合公钥体系中存在的共谋攻击提出一种新的密钥生成方案,通过引入素数系数使得映射系数矩阵达到满秩,且数量小于其秩的私钥均线性无关.其次,分析本方案对线性共谋攻击、选择共谋攻击和随机共谋攻击的抵抗能力.最后,使用Python语言实现密钥派生方案并对消息签名与验签,给出了该方案与传统ECDSA签名的性能比较.

关键词：密钥派生组合公钥共谋攻击

来源：评论

学校读者我要写书评

暂无评论

基于CTL的并发系统CSP模型验证

引用

河南师范大学学报（自然科学版） 2016年第5期44卷 140-145页

作者：王亚丽杨育捷赵岭忠翟仲毅河南师范大学计算机与信息工程学院河南新乡453007 河南师范大学"智慧商务与物联网技术"河南省工程实验室河南新乡453007 桂林电子科技大学广西可信软件重点实验室广西桂林541004

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证... 详细信息

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.

关键词：模型检测迹模型计算树逻辑回答集程序设计

来源：评论

学校读者我要写书评

暂无评论

一种新的外网访问内网的混合方法

一种新的外网访问内网的混合方法

引用

作者：蒙艳琳聂俊符红光电子科技大学计算机科学与工程学院中国科学院成都计算机应用研究所自动推理实验室

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网... 详细信息

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网可直接访问内网服务器;当系统中UPnP功能没有开启时,外网对内网的访问请求将转发到中转服务器,然后从中转服务器获取访问结果。给出了利用此种方法实现外网对内网的WEB访问的关键技术。最后,分析和总结了该方法的优点。

关键词： DDNS UPnP Squid 端口映射

来源：评论

学校读者我要写书评

暂无评论

传感器网络中基于信任管理的高可靠覆盖机制

传感器网络中基于信任管理的高可靠覆盖机制

引用

2013全国高性能计算学术年会

作者：李小龙董书豪梁海桂林电子科技大学计算机科学与工程学院广西可信软件重点实验室桂林541004

针对传感器网络中的安全覆盖问题，将覆盖算法整合到信任管理系统中，提出了一种分布式基于信任管理的高可靠覆盖机制。通过分析信任管理系统的潜在要求，理论上推导和分析了网格尺寸选择。引入动态信任阈值新的概念，定量分析了覆盖节... 详细信息

针对传感器网络中的安全覆盖问题，将覆盖算法整合到信任管理系统中，提出了一种分布式基于信任管理的高可靠覆盖机制。通过分析信任管理系统的潜在要求，理论上推导和分析了网格尺寸选择。引入动态信任阈值新的概念，定量分析了覆盖节点集大小、联合信任度与动态信任阈值之间的关系。在此基础上，设计了确保可靠覆盖目标区域的节点调度覆盖算法。仿真结果表明新的机制在覆盖率和联合信任度等方面的有效性。

关键词：无线传感器网络信任管理高可靠覆盖动态信任阈值网格分布式

来源：评论

学校读者我要写书评

暂无评论

基于减治的点与凸多边形位置关系判定算法

引用

湖北工业大学学报 2022年第5期37卷 33-37页

作者：张浩沈华谌刚湖北工业大学计算机学院湖北武汉430068 桂林电子科技大学广西可信软件重点实验室广西桂林541004

人们利用移动设备享用的很多位置服务涉及点与凸多边形位置判定问题。移动设备资源受限的客观条件使得设计轻量级算法解决该问题成为当务之急。寻找一种轻量级的判定算法是必要的,减少与点进行操作的边的条数成为一种可行思路。因此,基... 详细信息

人们利用移动设备享用的很多位置服务涉及点与凸多边形位置判定问题。移动设备资源受限的客观条件使得设计轻量级算法解决该问题成为当务之急。寻找一种轻量级的判定算法是必要的,减少与点进行操作的边的条数成为一种可行思路。因此,基于减治思想提出了一种轻量级点与凸多边形位置关系判定算法。算法包括三个模块:区域划分、点的区域判断和点与凸多边形的位置关系判断。算法通过将点与凸多边形的位置关系判断转化为点与凸多边形的部分区域位置关系判断,减少了时间开销。通过将凸多边形的顶点编序并划分为多个子区域作为算法的预处理部分,算法的时间开销可以达到O(log√n)。本算法可以适用在移动设备资源受限的场景下快速进行点与凸多边形的位置关系判断。

关键词：减治法凸多边形区域判断位置关系判定算法

来源：评论

学校读者我要写书评

暂无评论

基于ASP的CSP进程描述与组合研究

基于ASP的CSP进程描述与组合研究

引用

第四届全国智能信息处理学术会议

作者：赵岭忠司徒凌云翟仲毅钱俊彦桂林电子科技大学计算机科学与工程学院桂林541004 广西可信软件重点实验室桂林541004 桂林电子科技大学计算机科学与工程学院桂林541004

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述... 详细信息

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程.研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证.实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性.

关键词：计算机程序语言模型动态服务器页面组合进程生成技术

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：