闫仕宇
- 作品数：43 被引量：51H指数：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问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。
- 闫仕宇阳小华李萌谢金森
- 关键词：燃料元件
- 基于深度学习的水声OFDM通信信道反馈方法及系统
- 本发明涉及一种基于深度学习的水声OFDM通信信道反馈方法及系统，具体涉及通信技术领域。所述方法包括：接收端根据水声信道信息、导频子载波信号和导频子载波接收的信号确定估计水声信道信息；将估计水声信道信息输入训练好的auto...
- 王超峰刘征海闫仕宇万亚平聂明星毛宇蒋盼盼曾铁军
- 基于交叉指导和特征级一致性双正则化的半监督医学图像分割方法及系统
- 基于交叉指导和特征级一致性双正则化的半监督医学图像分割方法及系统，涉及图像处理技术领域。本发明通过交叉指导的正则化方法，协同CNN模型和多解码器混合Transformer模型，可提供多种视图来学习未标记数据的知识；而通过...
- 陈灵娜陈俊熹杨晓肃闫仕宇
- 一种似然蜕变关系构造方法
- 本发明公开了一种似然蜕变关系构造方法，该方法包括：将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；在预设输入关系库中查找与输入集合匹配的输入关系；在输入集合中确定出满足输入关系的输入子集，并在目标程序的输出数据中确...
- 闫仕宇阳小华吴取劲
- 科学计算程序蜕变关系层次分类模型被引量：3
- 2020年
- 蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。
- 阳小华闫仕宇闫仕宇李萌
- 关键词：科学计算程序
- 形式化方法在核事故评价系统中的应用被引量：2
- 2012年
- 核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.
- 闫仕宇胡义香蒋辉申君
- 关键词：形式化Z语言UML
