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

河南师范大学学报（自然科学版） 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模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.

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

来源：评论

学校读者我要写书评

暂无评论

弹性移动云计算的研究进展与安全性分析

引用

计算机研究与发展 2015年第6期52卷 1362-1377页

作者：李鹏伟傅建明李拴保吕少卿沙乐天武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 软件工程国家重点实验室(武汉大学) 武汉430072 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 西安710071 南京邮电大学计算机学院南京210046

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migrat... 详细信息

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migration-mobile cloud computing,CM-MCC)和通过云端的虚拟移动设备来辅助或代替移动设备完成多种任务的云端代理型移动云计算(cloud agentmobile cloud computing,CA-MCC)两类,分别对CM-MCC,CA-MCC的适用场景、实现流程、关键技术、存在问题及相应解决方法进行研究并指出其发展方向.对EMCC所面临的主要安全威胁,包括用户的错误操作或恶意行为、恶意代码、通信安全以及虚拟系统漏洞、多租户、不安全资源等云安全问题进行分析并研究相应防御方法,指出安全问题将是EMCC研究的重点和难点.

关键词：移动云计算计算迁移云端代理虚拟移动设备安全威胁

来源：评论

学校读者我要写书评

暂无评论

基于协作度的分布式自动协商联盟形成机制

引用

计算机研究与发展 2015年第5期52卷 1080-1090页

作者：胡军张振兴邹立湖南大学信息科学与工程学院长沙410082 计算机软件新技术国家重点实验室(南京大学) 南京210093 桂林电子科技大学广西可信软件重点实验室广西桂林541004

现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed autom... 详细信息

现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed automatic negotiation coalition formation mechanism,CDBDN),通过对处在网络拓扑结构中Agent的协作资源和协作态度的描述建立Agent协作度的概念.以分布式的应用环境为背景,建立分布式协商协议(distributed negotiation protocal,DNP)来实现分布式自动协商方式构建联盟.该机制建立了分布式协商协议和引入了Agent协作度,提出基于Agent协作度的协商策略.实验结果表明,该机制在联盟形成的效率、Agent协商效率和个体效用方面都表现出有较好的性能.

关键词：多Agent系统联盟形成分布式自动协商协商策略协作度

来源：评论

学校读者我要写书评

暂无评论

初等函数可验证赋值及误差分析

引用

计算机科学 2015年第4期42卷 25-30页

作者：刘剑唐敏曾霞曾振柄华东师范大学上海高可信计算重点实验室上海200062 桂林电子科技大学数学与计算机学院桂林541004

研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重... 详细信息

研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界。

关键词：初等函数误差分析区间算术可验证赋值

来源：评论

学校读者我要写书评

暂无评论

基于对象引用关系的Java程序内存行为分析方法

引用

电子学报 2015年第7期43卷 1336-1343页

作者：李文杰姜淑娟钱俊彦王兴亚鞠小林中国矿业大学计算机科学与技术学院江苏徐州221116 桂林电子科技大学计算机科学与工程学院广西桂林541004 广西可信软件重点实验室广西桂林541004 南通大学计算机科学与技术学院江苏南通226019

本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的... 详细信息

本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的重要性,通过研究数据结构之间在内存使用上的支配关系和对数据结构进行引用分析,得到程序中重要的内存行为.实验结果表明该方法能有效地分析程序的内存行为,且对比其它方法能提供更加准确的内存行为分析结果.

关键词：程序理解内存行为引用分析度量策略

来源：评论

学校读者我要写书评

暂无评论

中文微博情感分类的简单多标签排序算法

引用

计算机应用 2015年第10期35卷 2721-2726页

作者：史绍亮文益民缪裕青桂林电子科技大学计算机科学与工程学院广西桂林541004 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

针对中文微博文本情感分类中每个样本最多只有两种有序情感标签的情形,提出了一种简单的多标签排序算法——TSMLR,该算法采用两步学习和两步分类的策略,通过学习情感标签之间的主次关系,对微博文本的情感进行分类并对情感标签进行排序... 详细信息

针对中文微博文本情感分类中每个样本最多只有两种有序情感标签的情形,提出了一种简单的多标签排序算法——TSMLR,该算法采用两步学习和两步分类的策略,通过学习情感标签之间的主次关系,对微博文本的情感进行分类并对情感标签进行排序。首先,将一个多标签排序问题转化为八个多类单标签分类问题,分别对主要情感标签和次要情感标签进行学习;然后,利用得到的分类模型对微博表达的情感进行两步分类,首先给出主要情感标签,再给出次要情感标签。通过在NLP&CC2014的中文微博文本情感分析评测数据集上进行实验,与校准标签排序方法(CLR)相比,TSMLR方法的准确度和平均精度分别提高了8.59%和9.28%,1-错误率相应下降了9.77%,而且TSMLR所需的训练时间相对较少。实验结果表明:TSMLR对标签之间顺序关系的学习能够有效提高对中文微博情感分类的准确率。

关键词：情感分析中文微博多标签排序情感分类两步策略

来源：评论

学校读者我要写书评

暂无评论

面向社交网络基于协作度协商的联盟形成机制

引用

湖南大学学报（自然科学版） 2015年第2期42卷 100-108页

作者：胡军张振兴邹立湖南大学信息科学与工程学院湖南长沙410082 湖南大学嵌入式与网络计算湖南省重点实验室湖南长沙410082 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计... 详细信息

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计一种考虑到社交网络特征和Agent异质性的基于协作度的协商策略,采用分布式自动协商方式形成联盟.通过对全连通网络、层次网路和小世界网络的仿真实验结果表明,该机制能够有效地实现分布式环境下的联盟形成,并且在反应大多数实际应用环境的小世界社交网络中表现出相对较好的性能.

关键词：多Agent系统联盟形成分布式自动协商社交网络协作度

来源：评论

学校读者我要写书评

暂无评论

基于随机函数的哈希函数

引用

计算机工程与设计 2015年第10期36卷 2679-2683页

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

为增强hash函数的安全性,提出将哈希函数随机化的观点。将传统确定的哈希函数替换成随机的哈希函数,随机函数具有多种具体形式,在运算的时候通过消息确定随机函数的具体形式,哈希函数的破译者不知道消息,无从得知哈希函数的具体形式而... 详细信息

为增强hash函数的安全性,提出将哈希函数随机化的观点。将传统确定的哈希函数替换成随机的哈希函数,随机函数具有多种具体形式,在运算的时候通过消息确定随机函数的具体形式,哈希函数的破译者不知道消息,无从得知哈希函数的具体形式而很难破译。提出一些哈希函数的设计新原则,论证基于随机函数的哈希函数满足这些原则,相对于确定的哈希函数具有很好的安全性,对潜在的新型攻击方法进行分析,提出设计的思路,防止这些攻击方法。

关键词：哈希函数随机密码学安全性

来源：评论

学校读者我要写书评

暂无评论

基于概率相关性的多标签数据流变化检测

引用

计算机科学 2015年第8期42卷 60-64页

作者：石中伟文益民桂林电子科技大学计算机科学与工程学院桂林541004 广西可信软件重点实验室桂林541004

由于传统的概念漂移检测研究主要针对单标签数据流,对现实中常见的多标签数据流却缺乏足够的关注,多标签数据流概念漂移检测问题有待进一步的研究。因此,通过分析多标签数据流中存在的特殊依赖关系,提出了一种基于概率相关性的多标签数... 详细信息

由于传统的概念漂移检测研究主要针对单标签数据流,对现实中常见的多标签数据流却缺乏足够的关注,多标签数据流概念漂移检测问题有待进一步的研究。因此,通过分析多标签数据流中存在的特殊依赖关系,提出了一种基于概率相关性的多标签数据流概念漂移检测算法。其基本思想是从概念漂移的产生原因出发,利用概率相关性近似描述数据分布来监测新旧数据分布变化,判断概念漂移是否发生。实验结果表明,提出的算法能够比较快速、准确地检测到概念漂移,并在多标签概念漂移数据流分类问题上取得了预期的学习效果。

关键词：概念漂移多标签数据流概率相关性分类

来源：评论

学校读者我要写书评

暂无评论

溯因推理问题的碰集求解方法

引用

软件学报 2015年第8期26卷 1937-1945页

作者：余泉李承乾申宇铭王驹中山大学计算机科学系广东广州510006 黔南民族师范学院数学系贵州都匀558000 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 广东外语外贸大学思科信息学院广东广州510420 广西师范大学计算机科学与信息工程学院广西桂林541004

溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑... 详细信息

溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法.

关键词：极小碰集溯因推理本原蕴含式素蕴含

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：