闫仕宇
- 作品数：40 被引量：43H指数：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...
- 王超峰刘征海闫仕宇万亚平聂明星毛宇蒋盼盼曾铁军
- 一种似然蜕变关系构造方法
- 本发明公开了一种似然蜕变关系构造方法，该方法包括：将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；在预设输入关系库中查找与输入集合匹配的输入关系；在输入集合中确定出满足输入关系的输入子集，并在目标程序的输出数据中确...
- 闫仕宇阳小华吴取劲
- 文献传递
- 龙格库塔程序的似然蜕变关系识别方法
- 2022年
- 为解决蜕变测试中的蜕变关系识别问题,提出一种似然蜕变关系识别方法。根据程序算法层面的数学性质,结合领域知识给出识别输入模式的指导规则;利用SPSS工具从程序输出结果中自动化地挖掘出相应的输出模式,使输出模式的挖掘过程既简单又高效;通过产生新的测试数据来检验输入、输出模式,获得一批有意义的似然蜕变关系。通过常微分方程龙格库塔算法程序实例,验证该方法能有效地识别出似然蜕变关系,为识别真正的蜕变关系提供了一种途径。
- 文双红阳小华闫仕宇刘杰李萌冯晋涛
- 关键词：常微分方程
- 基于交叉指导和特征级一致性双正则化的半监督医学图像分割方法及系统
- 基于交叉指导和特征级一致性双正则化的半监督医学图像分割方法及系统，涉及图像处理技术领域。本发明通过交叉指导的正则化方法，协同CNN模型和多解码器混合Transformer模型，可提供多种视图来学习未标记数据的知识；而通过...
- 陈灵娜陈俊熹杨晓肃闫仕宇
- 一种似然蜕变关系构造方法
- 本发明公开了一种似然蜕变关系构造方法，该方法包括：将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；在预设输入关系库中查找与输入集合匹配的输入关系；在输入集合中确定出满足输入关系的输入子集，并在目标程序的输出数据中确...
- 闫仕宇阳小华吴取劲
- 文献传递
