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

新一代网上银行系统基础架构的设计研究

引用

微电子学与计算机 2006年第5期23卷 179-182,186页

作者：艾飞曹先彬叶静中国科学技术大学计算机科学技术系安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027 交通部物流工程研究中心北京100088

首先对网上银行系统在整个银行信息系统中的定位和重要性进行了研究,分析了网上银行发展的新趋势,并结合笔者曾经参与建设的一家国有大型商业银行的网银系统的设计和实现,详细阐述了网上银行的核心架构和业务需求。

关键词：网上银行企业应用集成中间件群集大集中

来源：评论

学校读者我要写书评

暂无评论

面向龙芯3A体系结构的BLAS库优化

引用

小型微型计算机系统 2012年第3期33卷 571-575页

作者：何颂颂顾乃杰朱海涛刘燕君中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学院计算技术研究所北京100190 安徽大学计算机科学与技术学院合肥230039

双精度普通矩阵乘法DGEMM是BLAS库中最核心的函数之一,大部分三级BLAS库函数的核心计算都是通过调用DGEM M来实现的.该文针对龙芯3A具有128位访存指令的特点,通过理论分析,找到了最佳的循环展开方式;针对龙芯3A的Cache替换策略(随机替... 详细信息

双精度普通矩阵乘法DGEMM是BLAS库中最核心的函数之一,大部分三级BLAS库函数的核心计算都是通过调用DGEM M来实现的.该文针对龙芯3A具有128位访存指令的特点,通过理论分析,找到了最佳的循环展开方式;针对龙芯3A的Cache替换策略(随机替换),通过使用地址交错技术,减少了Cache的冲突失效;针对龙芯3A访存带宽有限的问题,通过使用共享数据的任务划分方式,减少了数据访存量.优化后的DGEMM单核和多核运算速度均是性能最高的开源BLAS库(Goto-BLAS)的2倍多.

关键词：矩阵乘法 BLAS 任务划分 Linpack

来源：评论

学校读者我要写书评

暂无评论

改进动态符号执行中的非线性约束求解过程

引用

小型微型计算机系统 2014年第11期35卷 2396-2401页

作者：董齐兴曾凡平严俊张辉彭凌中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026 中国科学院软件研究所软件工程技术研究开发中心北京100190

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 详细信息

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度.

关键词：软件测试动态符号执行非线性算术约束约束相似性

来源：评论

学校读者我要写书评

暂无评论

安全组播中的密钥树最优结构

引用

小型微型计算机系统 2006年第12期27卷 2272-2275页

作者：刘小虎顾乃杰陆余良毕坤任开新中国科学技术大学计算机科学与技术系安徽省计算与通信软件重点实验室安徽合肥230027 解放军电子工程学院网络工程教研室

组播常用来对一组用户发送数据.为了保障安全性,安全组播使用组内共享的加密密钥对组内通信进行加密.因为组成员关系的动态性,有效进行组密钥管理成为安全组播通信性能的关键.本文研究了组密钥管理的密钥树结构,并提出了一种新的基于组... 详细信息

组播常用来对一组用户发送数据.为了保障安全性,安全组播使用组内共享的加密密钥对组内通信进行加密.因为组成员关系的动态性,有效进行组密钥管理成为安全组播通信性能的关键.本文研究了组密钥管理的密钥树结构,并提出了一种新的基于组成员更新概率的最优密钥树结构.这种结构能够进一步减少系统开销.实验结果表明这种密钥树结构要优于其它基于组成员更新概率的密钥树结构,同时理论分析给出了这种结构的平均更新代价的取值范围.

关键词：安全组播密钥树重发密钥

来源：评论

学校读者我要写书评

暂无评论

一种检测Android应用程序隐式权限的方法

引用

小型微型计算机系统 2016年第3期37卷 515-519页

作者：彭凌曾凡平严俊汤杨中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026 中国科学院软件研究所软件工程技术研究开发中心北京100190

隐式权限在Android应用开发中有大量的应用.针对隐式权限审核与资源关联的特性,提出一种基于程序静态分析与过程内数据流分析技术的隐式权限检测方法.该方法首先根据函数调用在引发权限审核的过程中是否与系统资源关联分类为显式和隐式... 详细信息

隐式权限在Android应用开发中有大量的应用.针对隐式权限审核与资源关联的特性,提出一种基于程序静态分析与过程内数据流分析技术的隐式权限检测方法.该方法首先根据函数调用在引发权限审核的过程中是否与系统资源关联分类为显式和隐式;然后借助过程内数据流分析技术对隐式调用提取参数值,构建包含资源信息的完整函数调用;最后与事先收集的权限—函数映射关系比对后得到权限信息.实验结果表明,方法可以有效地检测程序中的隐式权限,漏误报数目少,在性能上相比同类型工具有极大的提升.此外,本文收集的隐式权限—资源映射关系相比其他相关工作更完整,将其与开源的显式权限映射表结合,本文实现了权限自动提取工具UpsetEx.

关键词：隐式权限检测静态分析权限审核分类权限—资源映射关系

来源：评论

学校读者我要写书评

暂无评论

基于龙芯3B的循环规约算法向量化研究

引用

计算机工程 2013年第2期39卷 293-298页

作者：吴淅黄章进顾乃杰中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学与中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量... 详细信息

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量化算法相比,向量化算法的性能提升较大。

关键词：龙芯3B 三对角线性方程循环规约算法向量化泊松方程离散化

来源：评论

学校读者我要写书评

暂无评论

基于插桩和布尔逻辑的运行时程序验证框架

引用

计算机工程 2013年第1期39卷 29-34,40页

作者：李业华顾乃杰张颖楠彭飞中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,... 详细信息

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。

关键词： RPA框架 RPAL语言运行时程序验证程序插桩布尔逻辑事实推理

来源：评论

学校读者我要写书评

暂无评论

一种传感器网络分布式认证方案

引用

信息安全与通信保密 2006年第7期28卷 114-116页

作者：林先超杨寿保单来祥喻祥中国科学技术大学计算机科学技术系安徽省计算与通讯软件重点实验室合肥230026

传感器网络的资源受限性给它的安全认证机制设计带来很大的困难。论文在基于椭圆曲线密码体制(ECC)的基础上提出了一种新的分布式认证方案,利用节点群实现公钥算法,在不提高节点计算强度的前提下可以实现节点间的身份认证,并有效提高整... 详细信息

传感器网络的资源受限性给它的安全认证机制设计带来很大的困难。论文在基于椭圆曲线密码体制(ECC)的基础上提出了一种新的分布式认证方案,利用节点群实现公钥算法,在不提高节点计算强度的前提下可以实现节点间的身份认证,并有效提高整个网络的安全性。

关键词：无线传感器网络椭圆曲线密码体制分布式认证

来源：评论

学校读者我要写书评

暂无评论

一种基于ECDSA的盲签名方案的设计

引用

信息安全与通信保密 2006年第6期28卷 78-80页

作者：林先超杨寿保单来祥韩兵中国科学技术大学计算机科学技术系安徽省计算与通讯软件重点实验室合肥230026

盲签名技术随着电子商务的发展,得到了越来越广泛的应用。文章在分析了以往各种盲签名方案的基础上,利用椭圆曲线密码体制加密强度高,计算强度小的特点,设计了一种基于ECDSA的强盲签名方案,通过分析,方案具有较高的安全性,在实际中是可... 详细信息

盲签名技术随着电子商务的发展,得到了越来越广泛的应用。文章在分析了以往各种盲签名方案的基础上,利用椭圆曲线密码体制加密强度高,计算强度小的特点,设计了一种基于ECDSA的强盲签名方案,通过分析,方案具有较高的安全性,在实际中是可行的。

关键词：盲签名椭圆曲线密码体制 ECDSA

来源：评论

学校读者我要写书评

暂无评论

基于代表样本动态生成的快速文本分类

引用

计算机仿真 2007年第6期24卷 322-325页

作者：华北曹先彬中国科学技术大学计算机科学技术系安徽省计算与通讯软件重点实验室安徽合肥230027

κ-近邻作为一种简单、有效、非参数的分类方法,在文本分类中得到广泛的应用,但是这种方法计算量较大。针对κ-近邻法的不足之处,提出了一种新的快速文本分类方法,通过对原始训练样本集的训练生成代表样本,再根据原始训练样本与已生成... 详细信息

κ-近邻作为一种简单、有效、非参数的分类方法,在文本分类中得到广泛的应用,但是这种方法计算量较大。针对κ-近邻法的不足之处,提出了一种新的快速文本分类方法,通过对原始训练样本集的训练生成代表样本,再根据原始训练样本与已生成代表样本之间的分布状况,对已生成的代表样本进行多次调整,从而使代表样本更具有代表性。这种方法有效地压缩了原始训练样本集,提高了分类效率;同时,由于代表样本的分布更加合理,可以提高分类的准确性。实验结果显示,此方法具有很好的分类性能。

关键词：文本分类代表样本快速分类

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：