云南省自然科学基金(2007F008M)
- 作品数：10 被引量：37H指数：3
- 相关作者：李彤柳青李云飞郝林谢仲文更多>>
- 相关机构：云南大学更多>>
- 发文基金：云南省自然科学基金国家自然科学基金云南省教育厅科学研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种有效的Batch RSA算法的研究被引量：2
- 2011年
- 提出了一种改进的Batch RSA算法来提升Batch RSA算法的解密性能。该改进算法结合了负载转移技术和Multi-Power RSA技术,在Batch RSA算法的指数计算阶段提升Batch RSA算法的解密性能。实验结果和理论分析表明,该改进算法使得Batch RSA算法的解密性能得到显著提升,且易于并行实现,可使基于多核平台的BatchRSA算法的整体性能得到进一步提升。
- 李云飞柳青李彤郝林
- 关键词：BATCHMULTI-POWER多核
- 基于EPMM的软件过程行为偏离诊断研究
- 2014年
- 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。
- 朱锐李彤莫启张璇王一荃林雷蕾代飞
- 关键词：进程代数
- 基于多核的批处理RSA的并行加速方法被引量：5
- 2011年
- 为了改善RSA算法解密和签名的性能,Fiat提出了batch RSA算法,但效果并不显著.针对现有计算机多核的特点,对batch RSA算法进行并行优化,使其在解密和签名时的速度得到大幅度提升,实验表明并行优化后平均加速比可达到4.75.
- 李云飞柳青李彤周保林彭华
- 关键词：多核
- 基于EPMM的任务和活动的规范化研究被引量：3
- 2010年
- 为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
- 谢仲文李彤秦江龙李经磊刘金卓
- 关键词：逻辑关联
- 一个层次化的软件体系结构模型
- 软件体系结构对提高软件系统质量有着重要的作用,软件体系结构模型是一种用来定义软件体系结构的工具。在分析软件系统和软件体系结构的五个重要特征的基础上,基于CSP和Petri网提出了一个形式化的软件体系结构模型MSAM,其体...
- 谢仲文李彤代飞赵娜郁湧刘金卓金运志
- 关键词：软件体系结构CSPPETRI网
- 一种有效的RSA算法改进方案被引量：27
- 2010年
- RSA算法的解密性能与大数模幂运算的实现效率有着直接的关系。提出一种RSA算法的改进方案,通过将RSA解密时的一些运算量转移到加密方,并且运用多素数原理使得解密时大数模幂运算的模位数和指数位数减小。实验结果表明该方案不仅提高了RSA密码系统的安全性,而且提升了RSA密码系统解密的性能,且该方案易于并行实现,可使得基于多核平台的RSA系统的性能得到进一步提升。
- 李云飞柳青郝林周保林
- 关键词：RSA算法模幂多核
- 基于扩展有色Petri网的构件表示及分析
- 在基于构件的软件工程中,构件的作用越来越重要。软件构件是构成软件体系结构的计算或数据存储单元之所在。构件表现出的外部特征是它能够提供的一系列服务。本文在软件体系结构中构件的特点和相关定义的基础之上,根据构件的特性,把或变...
- 郁湧李彤柳青江涛谢仲文
- 关键词：PETRI网
- 文献传递
- 一种超协调的软件演化需求元模型
- 2011年
- 为了建模包含非协调信息的软件演化需求,提出一个超协调的元模型,其主要部件包括:特征、演化需求和演化意图.首先,分析了演化需求的5个重要特征;其次,在形式定义特征的基础上,研究了特征之间的协调、层次和交叠关系;再次,在分析特征属性间的依赖和互斥关系基础上,形式定义演化需求和演化意图,使得演化需求能包含非协调信息而演化意图必须完整和一致;最后,把演化需求规范化为演化需求第一范式(1ERNF)到第四范式(4ERNF),演化需求规范化的过程提供了一种将演化需求转化为演化意图的方法.结果表明:提出的元模型可以有效支持演化需求的5个重要特征,为提高软件演化实施的质量和效率奠定基础.
- 谢仲文李彤代飞秦江龙郁湧
- 基于EPMM的软件过程模型规范化研究被引量：2
- 2010年
- 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。
- 谢仲文李彤代飞卢萍秦江龙刘金卓
- 关键词：软件过程模型PETRI网
- 一个层次化的软件体系结构模型
- 软件体系结构对提高软件系统质量有着重要的作用,软件体系结构模型是一种用来定义软件体系结构的工具。在分析软件系统和软件体系结构的五个重要特征的基础上,基于CSP和Petri网提出了一个形式化的软件体系结构模型MSAM,其体...
- 谢仲文李彤代飞赵娜郁湧刘金卓金运志
- 关键词：软件体系结构CSPPETRI网
- 文献传递
