闫仕宇
- 作品数：43 被引量：50H指数：4
- 供职机构：南华大学更多>>
- 发文基金：湖南省教育厅科研基金衡阳市科技计划项目湖南省教育科学“十一五”规划课题更多>>
- 相关领域：自动化与计算机技术文化科学核科学技术电子电信更多>>
- 基于一种文档表示模型的站内搜索引擎设计与实现被引量：1
- 2013年
- 根据全信息理论,认识论信息是语法信息、语义信息和语用信息的三位一体,在信息检索的过程中加入语用信息能有效的提高信息检索的质量.基于查询与内容的文档表示模型较好的利用了语用信息,对站内搜索引擎的查准率的提高有着很好作用;Lucene是一个用java语言开发的开源的全文搜索引擎架构.本文利用Lucene设计和实现一个基于查询与内容的文档表示模型的站内搜索引擎,实验结果表明该模型能有效的提高信息检索的查准率.
- 蒋辉阳小华刘志明闫仕宇马家宇李晓昀李萌周座
- 关键词：LUCENE站内搜索引擎搜索引擎信息检索
- 基于Z语言的互联网登陆系统的形式化规格与验证被引量：1
- 2009年
- Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.
- 闫仕宇
- 关键词：Z语言
- 一种基于复杂性的数值表达式型蜕变关系选择方法
- 本发明公开了一种基于复杂性的数值表达式型蜕变关系选择方法。该基于复杂性的数值表达式型蜕变关系选择方法，包括以下步骤：S1数值表达式基本参数获取；S2数值表达式基本参数的复杂性分析；S3数值表达式复杂性度量方法确定；S4数...
- 李萌阳小华刘杰闫仕宇马安刚
- 一种数值程序蜕变关系的自动识别方法
- 本发明提出了一种数值程序蜕变关系(Metamorphic Relation，MR)的自动识别方法，包括以下步骤：(1)基于问题域的输入模式分析；(2)基于随机方法的初始测试输入生成；(3)基于基因表达式编程(Gene E...
- 李萌王丽君阳小华闫仕宇刘杰万亚平李丰源任长安陈珍平谢金森赵鹏程于涛
- 文献传递
- 基于蜕变测试的热传导程序的验证测试研究被引量：3
- 2017年
- 核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。
- 闫仕宇阳小华李萌谢金森
- 关键词：燃料元件
- 数值计算方法课程建设的探索与思考被引量：1
- 2015年
- 数值计算方法是一门将数学知识和计算机编程技术相结合的课程,针对工程专业学生学习这门课程存在的困难,阐述了在工程专业开设数值计算方法课程的必要性。结合工程实践教学特点,优化教学模式和方法,提升工程专业学生计算思维能力,使得教学效果更好。
- 闫仕宇饶捷蒋辉李萌阳小华
- 关键词：课程建设计算思维
- 堆芯中子扩散计算程序蜕变测试技术研究
- 核电“走出去”是我国的重大战略需求，堆芯核设计软件是支撑自主化核电技术“走出去”的重要组成部分，软件质量是其生命线。验证与确认(Verification&Validation，V&V)是保证软件质量的重要手段。只有经过大...
- 闫仕宇
- 关键词：中子扩散方程
- 《国标》背景下软件工程专业毕业设计质量提升路径探析被引量：2
- 2021年
- 分析和对照《普通高等学校本科专业类教学质量国家标准》要求,针对软件工程专业毕业设计质量存在的问题,提出毕业设计与毕业实习相结合,项目选题、团队构建、过程管理、质量评价“四位一体”的本科毕业设计质量提升策略,介绍软件工程本科毕业设计(论文)质量提升实践路径。
- 闫仕宇李萌欧阳纯萍刘征海
- 关键词：本科教学软件工程
- 基于深度学习的水声OFDM通信信道反馈方法及系统
- 本发明涉及一种基于深度学习的水声OFDM通信信道反馈方法及系统，具体涉及通信技术领域。所述方法包括：接收端根据水声信道信息、导频子载波信号和导频子载波接收的信号确定估计水声信道信息；将估计水声信道信息输入训练好的auto...
- 王超峰刘征海闫仕宇万亚平聂明星毛宇蒋盼盼曾铁军
- 一种似然蜕变关系构造方法
- 本发明公开了一种似然蜕变关系构造方法，该方法包括：将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；在预设输入关系库中查找与输入集合匹配的输入关系；在输入集合中确定出满足输入关系的输入子集，并在目标程序的输出数据中确...
- 闫仕宇阳小华吴取劲
- 文献传递
