国家自然科学基金(60873045)
- 作品数：5 被引量：1H指数：1
- 相关作者：李莹袁新宇徐印成孙煦雪何越强更多>>
- 相关机构：浙江大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于进程代数的构件语义标注技术研究
- 2011年
- 针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。
- 张琴燕高洪皓李莹
- 关键词：进程代数语义标注本体
- 增强JavaCard中Schnorr签名的预处理方案
- 2012年
- 为增强JavaCard的安全与执行效率,研究用于JavaCard中签名与认证的Schnorr算法,基于密钥恢复攻击技术,提出一种针对Schnorr签名的线性攻击方法,通过实例测试了该攻击的可行性.在此基础上,设计一种安全预处理方案,该方案使用一个线性检测器对随机数进行线性检测,将经过线性检测的随机数组和相应变量存入卡中特殊区域,避免了签名时在卡内产生随机数,且签名过程不用在卡内进行大运算量的幂模运算.实验结果分析表明:该方案可以大幅度提高处理速度,改善签名效率,同时避免了一类安全攻击.
- 李莹殷中科曹晓邓水光
- 关键词：数字签名随机数发生器预处理JAVACARD
- 基于交互信息的投机并行化方法被引量：1
- 2010年
- 针对投机并行化中如何权衡策略并确定合适的执行模型来获取理想性能的问题,提出了一种基于交互信息的投机并行化方法,利用交互信息来确定投机并行化的执行模型,建立相关评价模型,并着重从线程抽取创建角度提出了相应的策略及对应的性能评价。通过实验表明,基于交互信息进行"按需"并行化,可以达到所需的性能要求。
- 李莹孙煦雪袁新宇徐印成
- 关键词：并行化
- 使用代价分析的向量化循环分割技术
- 2011年
- 为了使循环在编译过程中更充分地被向量化,提出了一种基于代价分析的向量化循环分割技术。标记出了迭代依赖间隔中不存在依赖关系的循环片段,在此基础上建立一个简单有效的代价分析模型来评估这些循环片段向量化和未向量化的CPU时钟周期开销,最后从代价分析结果中确定是否需要将其向量化分割,从而把向量化特性应用到细短的循环片段。实验结果表明了该技术的有效性,对迭代依赖距离大的循环片段优化作用更明显。
- 何越强
- 关键词：自动向量化
- 交互式并行化系统ZIPS
- 2010年
- 目前全自动并行化方法在并行化能力和应用范围上存在较大限制,而交互式并行化方法能弥补全自动并行化系统的不足。基于此,提出一种交互式并行化方法及其系统ZIPS,描述系统的并行化处理机制,即采用一种计算类型驱动的并行化算法,并以其作为理论基础,针对2类不同计算,利用强大的交互功能获取相关程序信息,并结合自动并行化技术进行源到源的变换。实验表明,该交互式并行化方法能够获得较好的性能。
- 孙煦雪李莹袁新宇徐印成
- 关键词：并行化
