公共文化服务平台

陶秋铭: 作品数：14 被引量：11H指数：2; 供职机构：中国科学院软件研究所更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>; 相关领域：自动化与计算机技术更多>>

合作作者

基于CTL的循环优化变换描述方法: 2007年; TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述。从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法。; 夏勇薛云志陶秋铭赵琛

基于用户兴趣挖掘的微博词云生成方法及访问支持系统: 本发明公开一种基于用户兴趣挖掘的微博词云生成方法及微博消息访问支持系统，该方法包括：给定当前登录用户所关注用户新发布的微博消息集，从中抽取出关键词集；分别基于用户关系、基于关键词的相似度计算当前登录用户对该关键词集中关键...; 汪美玲陶秋铭周翔李梅赵琛

使用内存缓存的迭代应用编程框架: 2015年; 迭代式计算是一类重要的大数据分析应用.在分布式计算框架MapReduce上实现迭代计算时,计算会被分解成多个作业并按作业依存关系顺序运行,这使得程序与分布式文件系统(DFS)有多次交互而影响程序执行时间.对这些交互相关数据的缓存会降低与DFS的交互时间,进而提升程序总体的性能.考虑到集群中的大量内存在多数情况下会处于空闲状态,提出了一种使用内存缓存的迭代式应用编程框架MemLoop.该系统从作业提交API、调度算法、缓存管理模块实现缓存管理以充分利用内存缓存迭代间可驻留数据与迭代内依存数据.我们将此框架与已有相关框架进行了比较,实验结果表明该框架能够提升迭代程序的性能.; 连文波汪美玲陶秋铭赵琛; 关键词：内存缓存迭代程序

基于形式描述的编译优化自动测试方法与技术研究: 编译优化是现代编译器不可缺少的重要功能。编译优化技术在过去几十年里取得了显著进展，对提升程序运行速度、节省存储空间、节省能耗等起到了不可替代的作用。然而，编译优化的可靠性却不尽人意。编译优化技术种类多、处理复杂而且可复用...; 陶秋铭; 关键词：测试自动化测试程序软件测试

基于多种同构化变换的SLP向量化方法: 2023年; 超字级并行(superword level parallelism,SLP)是一种面向处理器单指令多数据(single instruction multiple data,SIMD)扩展部件实现程序自动向量化的方法,这种方法被广泛应用于主流编译器中.SLP方法有赖于先找到同构指令序列再对之进行自动向量化.将非同构指令序列等价转为同构指令序列以扩展SLP方法的适用范围是当前研究趋势之一.提出SLP的一种扩展方法──SLP-M向量化方法,引入二元表达式替换同构转换方式,基于条件判断和收益计算的选择,利用多种指令序列同构化转换,将满足特定条件的非同构指令序列转换为同构指令序列,再进一步实施自动向量化,从而提升SLP的适用范围和收益.在LLVM中实现了SLP-M方法,并利用SPEC CPU 2017等标准测试集进行了测试评估.实验结果表明,SLPM方法相比于已有方法在核心函数测试中性能提升了21.8%,在基准测试程序整体测试中性能提升了4.1%.; 冯竞舸贺也平陶秋铭马恒太; 关键词：自动向量化

基于事件处理函数的GUI测试用例集约简技术被引量：4: 2015年; GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.; 陈军成薛云志陶秋铭赵琛; 关键词：测试用例集约简

基于时序逻辑证明编译优化程序变换的保义性被引量：3: 2009年; 基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.; 陶秋铭赵琛郭亮; 关键词：时序逻辑形式规约

增强覆盖度与非相似性的标签选择多样化方法: 2015年; 标签云是社交网站提供在线资源说明与导航功能的一种流行机制.标签选择即从大量标签中选出有代表性的有限标签,是创建标签云的核心任务.标签选择结果的多样性,是影响用户满意度的一个重要因素.信息覆盖度与标签非相似性是在标签选择中引入多样性的两个主要角度.为了进一步提高标签选择结果的信息覆盖度与标签非相似性,提出了3种标签选择方法.在每种方法中,定义了目标函数以同时量化标签集合的信息覆盖度与标签非相似性,并设计了近似算法以求解相应的最大化问题;同时,还分析了近似算法的近似比.利用CiteULike网站与Last.fm网站的标注数据集,将所提出的方法与已有方法进行了比较.实验结果表明,所提出的方法在信息覆盖度与标签非相似性方面都具有较好的效果.; 汪美玲周翔陶秋铭赵琛; 关键词：标签云

国产基础软件应用支撑及开发环境研制: 李明树王青丁治明王永吉周津慧杜栓柱武占春雷辉蒋晖陈烨孙丽霞张宇陈伟王朝辉吴锐舒风笛刘治国胡陈勇李涛王海涛邓涛黄蒙黎巎伍书剑杨秋松李浦姜楠刘豫平陶秋铭阮利曾海涛王秀利薛云志李娟刘霞王继喆; 基于国产基础软件和相关开源软件，建立了基于国产系统软件的应用支撑环境和国产软件集成开发环境，其中应用支撑环境包括业务规则管理系统、工作流管理系统和数据整合系统；集成开发环境包括项目管理工具、过程管理工具、过程度量与分析工...; 关键词：; 关键词：基础软件

基于用户兴趣挖掘的微博词云生成方法及访问支持系统: 本发明公开一种基于用户兴趣挖掘的微博词云生成方法及微博消息访问支持系统，该方法包括：给定当前登录用户所关注用户新发布的微博消息集，从中抽取出关键词集；分别基于用户关系、基于关键词的相似度计算当前登录用户对该关键词集中关键...; 汪美玲陶秋铭周翔李梅赵琛; 文献传递