任胜兵
- 作品数：86 被引量：407H指数：9
- 供职机构：中南大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金湖南省高等学校教学改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信一般工业技术更多>>
- 基于逻辑的软件演化操作语言及结构化操作语义被引量：4
- 2007年
- 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
- 任胜兵喻寿益陈松乔余莹
- 关键词：结构化操作语义语义等价
- 基于信息融合的软件缺陷预测方法、系统、设备及介质
- 本发明公开了基于信息融合的软件缺陷预测方法、系统、设备及介质，本方法通过获取待预测软件程序对应的抽象语法树、控制流图以及程序依赖图；采用主题模型LDA和Node2vec方法，获取抽象语法树的语义特征；采用优化后的Node...
- 任胜兵张光辉毛栋柳叶晟
- 本科毕业设计协同监管系统研究与开发被引量：1
- 2020年
- 本科毕业设计是本科生人才培养的关键阶段,由于管理工作的繁琐复杂,目前仍缺乏有效的监督管理。本文采用轻量级Flask Web应用开发框架,提出了基于MVT架构的设计方案。系统采用flask-security进行权限控制,提高系统的安全性。论文详细阐述了毕业设计流程中信息录入、选题管理、任务书管理、日志管理、任务管理、文件管理、成绩分析和账号管理等八大功能模块的设计与实现关键技术和理念需求。系统测试与应用表明,本科毕业设计协同监管系统能够明显提高毕业设计的管理效率,有利于提高人才培养质量。系统实现了在线管理毕业设计整个流程,避免工作重复,明显简化管理和提高效率,同时在后期也可以对学生数据进行分析自动形成评价报告供指导老师参考。
- 张政唐杰袁键任胜兵
- 关键词：在线管理分析评价
- 基于LLVM架构的NiosⅡ后端快速移植被引量：3
- 2011年
- 编译器后端移植是目前嵌入式系统研究的重要领域,如何快速实现编译器后端移植仍然是嵌入式系统研究的热点。采用新的编译器架构LLVM,移植NiosⅡ处理器来分析LLVM快速后端移植架构。使用LLVM后端移植架构的TableGen描述NiosⅡ体系结构例如指令、寄存器等,使用完备LLVM C++函数库实现复杂或特殊的操作。TableGen与C++函数库互相配合,最终实现LLVM架构对NiosⅡ后端的支持。实验结果表明与GCC编译器后端移植方法相比,基于LLVM架构的编译器后端移植方法的工作量减少了64.2%～83.9%,大大节省后端移植时间。
- 任胜兵卢念张万利潘震宇
- 关键词：编译器
- 信息物理融合系统建模的区间GMDH算法
- 2019年
- 针对信息物理融合系统(CPS)建模中存在的误差及误差累积问题,本文在数据处理分组方法(GMDH)的基础上,结合区间分析思想,提出了区间GMDH算法.算法首先对基于区间分析的集合反演算法(SIVIA)进行了改进,提出了c SIVIA算法.通过引入收缩算子,在保持解集不变的情况下,对参数估计的区间进行压缩,解决SIVIA算法进行二分搜索时出现的计算量大、耗时长以及死锁问题.其次,将GMDH的输入及计算转变成区间数和区间运算,用改进的c SIVIA算法对模型参数进行估计.最后,取区间参数的中点作为待估参数的点估计,再利用外准则对产生的中间模型进行筛选,以建立最终系统模型.实验表明本文提出的区间GMDH算法与原算法相比在精确度、抗噪性等方面得到明显改善,有效地解决了CPS建模中存在的误差和误差累积问题.
- 任胜兵黄飞刘媛
- 关键词：信息物理融合系统参数估计区间分析
- 质量驱动的用例模型重构被引量：2
- 2004年
- 用例模型的质量对基于用例的软件开发至关重要。文章在分析用例模型的结构特点及质量需求的基础上,引入代码重构技术整理用例模型,构建了用例的换名、提炼和内联三类重构,在不改变参与者与系统间的交互信息之下,通过重新组织用例模型来提高用例模型的稳定性、简洁性及内聚性等语用质量。最后,给出了实现用例模型重构工具的设计方案。
- 任胜兵喻寿益陈松乔
- 关键词：用例模型
- 一种基于二维程序频谱的多缺陷定位方法、系统及设备
- 本发明公开了一种基于二维程序频谱的多缺陷定位方法、系统及设备，本方法根据测试用例集对源程序进行数据提取，获得数据提取信息；根据数据提取信息划分失败测试用例集和成功测试用例集，对失败测试用例集中的每个失败测试用例进行聚类分...
- 任胜兵陈旭洋彭泽文左兴
- 大型复杂软件带约束逻辑属性的软件网络表示、存储与检索方法
- 本发明公开了一种大型复杂软件带约束逻辑属性的软件网络的表示、存储与检索方法。首先通过静态分析得到开源面向对象软件的关于包、类、方法、语句、变量、视频、音频、图片及其关系的相关信息。然后结合约束逻辑理论将语句信息转换为约束...
- 任胜兵贾梦雨
- 一种基于GMDH-SVM的多国纸币冠字号识别方法
- 本发明公开一种基于GMDH‑SVM深度神经网络的多国纸币冠字号识别方法，属于模式识别技术领域。首先基于多国纸币采集冠字号图片，利用图片处理得到的特征构数据建立训练样本数据集，构建基于GMDH‑SVM分类器的分类模型，利用...
- 任胜兵化刘杰
- 文献传递
- 基于多依赖LSTM的软件缺陷定位方法、系统及设备
- 本发明公开了基于多依赖LSTM的软件缺陷定位方法、系统及设备，本方法通过通过静态分析待检测软件源码和测试用例，获得测试用例的执行轨迹、待检测软件源码的数据依赖图和执行路径；采用Word2Vec模型对执行路径进行词向量训练...
- 任胜兵柳叶晟张光辉毛栋
