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

软件学报 2022年第8期33卷 2930-2946页

作者：骆翔宇黄欣玥古天龙苏开乐陈祖希郑黎晓华侨大学计算机科学与技术学院福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院广东广州510632 南京信息工程大学人工智能学院江苏南京210044

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

关键词：符号化模型检测公平离散系统正时态测试器实时分支时态逻辑二元决策图

来源：评论

学校读者我要写书评

暂无评论

基于BP神经网络的B2C网站商品个性化推荐模型

引用

中国城市经济 2011年第30期 305-306页

作者：陈传凯刘晓暨南大学信息科学与技术学院广东广州510632 暨南大学计算机系广东广州510632

通过提取顾客在B2C网站数据库中的数据特征,用基于BP神经网络的数据挖掘方法挖掘出顾客对商品的各种属性的偏好,为设计开发个性化的商品推荐提供决策支持。针对传统神经网络中很难获取有广泛代表性的训练样本、常常导致普通神经网络对... 详细信息

通过提取顾客在B2C网站数据库中的数据特征,用基于BP神经网络的数据挖掘方法挖掘出顾客对商品的各种属性的偏好,为设计开发个性化的商品推荐提供决策支持。针对传统神经网络中很难获取有广泛代表性的训练样本、常常导致普通神经网络对陌生样本推荐时精度不高的问题,提出改进的BP神经网络,依据专家知识对神经网络的权重进行初始化,并根据训练样本对权重加以微调。仿真案例验证了该方法的有效性。

关键词：数据挖掘 B2C 商品 BP神经网络

来源：评论

学校读者我要写书评

暂无评论

量子指纹的长度与最大错误概率

量子指纹的长度与最大错误概率

引用

2006年全国理论计算机科学学术年会

作者：李鑫刘田彭瀚孙宏涛朱嘉奇北京大学信息科学技术学院计算机系北京大学信息科学技术学院计算机系北京大学信息科学技术学院计算机系北京大学信息科学技术学院计算机系北京大学信息科学技术学院计算机系

1 引言量子信息学是量子力学、信息科学和数学等结合的新兴交叉学科,它研究如何利用量子力学效应更好地完成信息处理任务,并帮助人们更深入理解信息与物理之间的关系。指纹是信息处理中一种

关键词： Quantum information, Quantum fingerprint, Maximum error probability

来源：评论

学校读者我要写书评

暂无评论

软件实时可信度量:一种无干扰行为可信性分析方法

引用

软件学报 2019年第8期30卷 2268-2286页

作者：张帆徐明迪赵涵捷张聪刘小丽胡方宁武汉轻工大学数学与计算机学院湖北武汉430023 School of Electrical and Computer Engineering Jacobs University Bremen 28759 Germany 武汉数字工程研究所湖北武汉430205 东华大学电机系台湾花莲08153719 宜兰大学资讯工程系台湾宜兰02415271 暨南大学信息科学技术学院广东广州510632 暨南大学网络空间安全学院广东广州510632

可信度量作为可信计算“度量、存储、报告”三大核心功能的基础,到目前为止仍未有有效的数学理论以及运行时(runtime)度量方法.其困难在于3点:一是如何建立涵盖不同主流“可信”定义的通用数学模型;二是如何依托数学模型构建运行时可信... 详细信息

可信度量作为可信计算“度量、存储、报告”三大核心功能的基础,到目前为止仍未有有效的数学理论以及运行时(runtime)度量方法.其困难在于3点:一是如何建立涵盖不同主流“可信”定义的通用数学模型;二是如何依托数学模型构建运行时可信度量理论;三是如何将上述模型和理论映射到真实信息系统以形成可实践的实时度量方法.提出了一种基于无干扰的软件实时可信度量方法.首先,利用无干扰模型解释了各类主流的可信定义,表明无干扰模型可以作为可信计算通用数学模型的一个选择.其次,基于无干扰模型提出了一种软件实时可信度量理论,其基本思想是将系统调用视作原子动作,将软件真实行为α看做系统调用的序列,并基于α中所有系统调用所属安全域之间的无干扰关系计算软件理论上的预期行为β,得到α和β之后,利用无干扰等式判定两者之间是否存在偏差,从而实现对软件可信性的实时度量.最后,给出了实时可信度量算法,算法的时间复杂性为O(1).原型实验结果表明了所提出的方法的有效性.

关键词：可信度量无干扰行为可信可信计算软件安全

来源：评论

学校读者我要写书评

暂无评论

业务拓展与渠道管理——学生感想篇

引用

计算机教育 2008年第23期 57-59页

作者：吴天琪姚从磊周顾婧信息科学技术学院计算机系北京大学信息科学技术学院网络实验室北京大学计算机系

个人的华丽，合作的精彩吴天琪信息科学技术学院计算机系区别于北大所有的领导力课程，“职业规划与领导力发展”最吸引人的地方，莫过于全部演讲者都是我们的学长学姐。他们不但熟谙我们现在正在学习的专业，而且亲身经历过我们日后... 详细信息

个人的华丽，合作的精彩吴天琪信息科学技术学院计算机系区别于北大所有的领导力课程，“职业规划与领导力发展”最吸引人的地方，莫过于全部演讲者都是我们的学长学姐。他们不但熟谙我们现在正在学习的专业，而且亲身经历过我们日后将面临的困难，享受着我们梦寐以求的成功。和书本上抽象而笼统的管理概念不同，他们的讲座亲切而生动、体会精辟而深刻、对问题的解答更是一针见血。每周三次的讲座让人受益匪浅，对我们这些后辈们在日后的学习、工作中都有很大帮助和启发。

关键词：渠道管理业务拓展信息科学技术学院学生计算机系职业规划管理概念学习

来源：评论

学校读者我要写书评

暂无评论

GRT:高性能可定制无线网络底层软硬件开放平台

引用

电子科技大学学报 2015年第1期44卷 123-128页

作者：吴浩洋王韬陈佳华龚健李晓光张高瀚吕松武北京大学信息科学技术学院北京海淀区100871 北京大学洛杉矶加州大学理工联合研究所北京海淀区100871 美国加州大学洛杉矶分校计算机系洛杉矶加州美国90095

随着无线技术的飞速发展,无线领域的研发者和特殊需求的使用者亟需一种高性能、可定制的无线网络底层软硬件平台。本文介绍了自主设计并实现的GRT平台,能够提供高性能、高可定制性、高兼容性与开放性的特征。作为示例,已经在GRT系统上... 详细信息

随着无线技术的飞速发展,无线领域的研发者和特殊需求的使用者亟需一种高性能、可定制的无线网络底层软硬件平台。本文介绍了自主设计并实现的GRT平台,能够提供高性能、高可定制性、高兼容性与开放性的特征。作为示例,已经在GRT系统上实现了一套基于802.11a/g协议的软/硬件代码,性能超过了协议标准中对于物理层最大速率的要求,且能够与商用Wi Fi设备进行互通。

关键词：可定制高性能开放平台无线网络

来源：评论

学校读者我要写书评

暂无评论

2基于S5PC100的存储器设计与移植实现

引用

计算机与数字工程 2013年第7期 1210-1212页

作者：钟祥睿丁旭昌广东工程职业技术学院计算机信息系暨南大学信息科学技术学院

根据S5PC100微处理器的存储器特性,论文提出了扩展DRAM、Nand Flash、Nor Flash三种存储器的方法和硬件连接示意图,给出了扩展后所对应的存储器地址.通过为其搭建嵌入式系统的软件开发环境,并在Android 2.1系统上移植实现,验证了系统的... 详细信息

根据S5PC100微处理器的存储器特性,论文提出了扩展DRAM、Nand Flash、Nor Flash三种存储器的方法和硬件连接示意图,给出了扩展后所对应的存储器地址.通过为其搭建嵌入式系统的软件开发环境,并在Android 2.1系统上移植实现,验证了系统的可行性.最后,分析了实验结果,系统运行良好.

关键词： S5PC100 存储器 Android 系统移植

来源：评论

学校读者我要写书评

暂无评论

无用内存单元自动回收过程的实时性问题研究

引用

计算机应用与软件 2006年第2期23卷 137-139页

作者：赵苑苑王万诚黄广君普杰信河南科技大学计算机系河南洛阳471003 广东外语外贸大学信息科学技术学院广州510420

自动垃圾回收技术是Java的核心技术之一。垃圾回收耗时的不确定性阻碍了Java在实时过程中的应用。基于最大响应时间分析方法,利用Petri网分析了垃圾回收过程。通过Java虚拟机内部堆空间的合理划分和采用多线程同步技术可以降低垃圾回收... 详细信息

自动垃圾回收技术是Java的核心技术之一。垃圾回收耗时的不确定性阻碍了Java在实时过程中的应用。基于最大响应时间分析方法,利用Petri网分析了垃圾回收过程。通过Java虚拟机内部堆空间的合理划分和采用多线程同步技术可以降低垃圾回收中的停滞现象,提高Java程序的执行速度和实时性。

关键词：虚拟机垃圾回收实时性 Petri网回收过程内存单元自动 Java虚拟机 Java程序回收技术

来源：评论

学校读者我要写书评

暂无评论

求图控制集问题的模拟退火算法的改进

引用

重庆师范大学学报（自然科学版） 2004年第2期21卷 24-27页

作者：陈卫东孟小华华南师范大学计算机系广州510631 暨南大学信息科学技术学院广州510632

图控制集问题要求确定任意简单无向图的最小控制集,是NP 难度的问题。本文针对已有的求解此问题的模拟退火算法进行了两个方面的改进:一是给出了一个更为合理的解的评估函数;二是提出了一个产生邻解的加权随机策略。仿真实验表明,改进... 详细信息

图控制集问题要求确定任意简单无向图的最小控制集,是NP 难度的问题。本文针对已有的求解此问题的模拟退火算法进行了两个方面的改进:一是给出了一个更为合理的解的评估函数;二是提出了一个产生邻解的加权随机策略。仿真实验表明,改进后的模拟退火算法在稠密图的随机实例上明显提高了收敛速度。

关键词：图控制集模拟退火算法简单无向图评估函数加权随机策略

来源：评论

学校读者我要写书评

暂无评论

基于区块链的群智感知双向信誉评估隐私保护

引用

计算机研究与发展 2024年第11期61卷 3681-3692页

作者：邓清勇左清华李哲涛王恩郭斌教育区块链与智能技术教育部重点实验室(广西师范大学) 广西桂林541004 暨南大学信息科学技术学院广州510632 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 西北工业大学计算机学院西安710129

在移动群智感知系统中,信誉管理是提高数据收集质量的有效途径,但现有基于主观评价的方案难以实现隐私保护下的工人信誉真实评估.为此,提出了一种基于区块链的分布式群智感知双向信誉评估隐私保护(bilateral reputation evaluation priv... 详细信息

在移动群智感知系统中,信誉管理是提高数据收集质量的有效途径,但现有基于主观评价的方案难以实现隐私保护下的工人信誉真实评估.为此,提出了一种基于区块链的分布式群智感知双向信誉评估隐私保护(bilateral reputation evaluation privacy-preserving,BREPP)方案.首先采用随机干扰、佩德森承诺隐藏工人信誉更新的参数,利用紧凑型可链接自发匿名群签名匿名验证了信誉更新过程,联合Bulletproofs范围证明与Schnnor签名验证了工人的信誉评估过程;然后,采用子地址方法实现工人和请求者身份匿名下的快速定位检索;最后在Hyperledger Fabric上部署了实验原型系统并进行了性能评估.结果表明,BREPP方案与已有信誉隐私保护方案相比,信誉管理总时延和信誉评估误差率分别至少降低了2.00个百分点和24.96个百分点;与无隐私方案相比,在信誉评估准确率与总时延之间取得了较好均衡.

关键词：移动群智感知信誉管理区块链隐私保护匿名验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：