王瑞
- 作品数：11 被引量：21H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于SAT的符号化模型检验技术研究
- 随着计算机技术的不断进步，计算机系统的软硬件设计越来越复杂，过于复杂和庞大的设计必定会带来越来越多的设计缺陷和错误。传统的方法很难检测到系统设计中的所有错误。然而，系统的安全性在航空、航天、国防、医疗等安全攸关的领域却非...
- 王瑞
- 关键词：符号化
- 基于抽象符号表的内存模型被引量：1
- 2011年
- 符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
- 代子营毛晓光马晓东王瑞
- 关键词：内存模型
- 面向方面体系结构建模研究
- 随着面向方面编程技术的日趋完善,面向方面思想已经不再局限于程序设计阶段并延伸到软件生命周期的各个阶段,形成了面向方面需求工程、面向方面体系结构设计、面向方面设计、面向方面编程和面向方面测试与验证等各方向协同发展的态势。软...
- 王瑞
- 关键词：UML软件体系结构建模
- 面向方面体系结构建模研究被引量：1
- 2011年
- 面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。
- 王瑞毛晓光代子营王燕妮
- 关键词：体系结构横切关注点
- 基于GPU的SIFT特征提取算法研究被引量：16
- 2010年
- 传统SIFT算法的优化和实现都是针对常用处理器(CPU)提出的,处理速度慢,实时性很难得到保证。通过实现基于NVIDIA公司CUDA架构图形处理器(GPU)的SIFT特征提取算法,优化了数据存储结构,提高了数据访问效率。实验结果表明,基于GPU的SIFT特征提取算法充分利用GPU的并行处理能力,计算速度提高幅度明显,图像越大越复杂,提高的幅度越大,处理1600×1200图像时甚至可达近15倍的加速比,极大地提高了SIFT算法在实际应用中的实时性。
- 王瑞梁华蔡宣平
- 关键词：特征提取描述符SIFTSIFTGPU
- 基于XML的仿真数据管理技术被引量：2
- 2014年
- 为了解决仿真中复杂数据的描述问题,实现数据管理,在仿真中引入了XML语言。介绍了XML语言的特点,研究了XML文档的典型结构,分析了XML语言在数据管理应用上的优势。基于XML语言实现了仿真输入数据和输出数据的描述,并结合XML语言灵活性、扩展性强的特点,研究了数据集成策略,实现了仿真数据管理。应用实践表明,XML可以很方便地描述各种不同类型的数据,有利于复杂数据整合和处理,能够提升仿真的数据管理效率。
- 王瑞梁彦刚张敏
- 关键词：可扩展标记语言仿真数据管理
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 基于教练技术的领导管理能力训练课程思政教学改革
- 2023年
- 文章在分析目前我国高校专业课程几种典型课程思政模式的基础上,探析如何引入教练技术对领导管理能力训练进行课程思政教学改革,深入探索了教练技术核心理念与课程思政教育理念的一致性,系统阐述了从教学目标、教学框架、教学内容、教学环境和教学方法等方面对该课程进行的教学改革和实践,以期为管理类专业课程思政提出一种新的模式和方法。
- 刘燕王瑞杨清清欧朝敏
- 关键词：教练技术教学改革
- 一种基于子块过滤的分布式代码克隆检测与搜索方法、系统及介质
- 本发明公开了一种基于子块过滤的分布式代码克隆检测与搜索方法、系统及介质，本发明方法包括对用户代码和代码库源代码分别分组并行进行预处理得到包含Token及其频率信息的中间文件；根据所有中间文件建立全局Token频率表；将代...
- 任怡杨立明谭郁松汪哲李宝阳国贵黄辰林魏旭鹏周洁陈梓榕王瑞董攀张建锋王晓川丁滟谭霜蹇松雷
- 一种基于子块过滤的分布式代码克隆检测与搜索方法、系统及介质
- 本发明公开了一种基于子块过滤的分布式代码克隆检测与搜索方法、系统及介质，本发明方法包括对用户代码和代码库源代码分别分组并行进行预处理得到包含Token及其频率信息的中间文件；根据所有中间文件建立全局Token频率表；将代...
- 任怡杨立明谭郁松汪哲李宝阳国贵黄辰林魏旭鹏周洁陈梓榕王瑞董攀张建锋王晓川丁滟谭霜蹇松雷
- 文献传递
