华中农业大学信息学院
- 作品数：193 被引量：607H指数：14
- 相关作者：陈仲民邓君丽黄钰刘峰罗旭东更多>>
- 相关机构：武汉大学计算机学院中南民族大学计算机科学学院塔里木大学信息工程学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学文化科学生物学更多>>
- 基于变量符号关联分析的程序状态优化方法被引量：1
- 2018年
- 程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题,从而影响程序分析的效果。以提高路径分析精度为目标,首先分析不同执行路径对应的路径条件,并提取公共的符号表达式以提高符号关联分析的精度,然后逆向生成依赖条件逻辑表达式集合,使用依赖关联分析算法以提高路径分析的精度。实验结果表明,所提方法相对于传统的路径分析方法,有更准确的时间复杂度和更高的路径分析精度。
- 郭曦王盼
- 基于电子鼻的稻谷霉变在线检测系统的研制被引量：3
- 2019年
- 针对传统稻谷霉变检测方法操作繁琐这一问题,设计了一种基于无线电子鼻的稻谷霉变在线检测系统。该系统由气体检测装置、下位机系统以及上位机远程监控系统构成,具有数据采集、处理、显示、传输及存储等功能。下位机采用STM32微控制器,与上位机通信的传输速率为18 B/s,丢包率为0,上位机远程监控系统最大可实现轮询接收128路下位机数据。通过稻谷霉变检测试验,建立了霉菌含量预测模型,并运用粒子群优化算法对参数进行优化,模型的R^2为0. 983 9,均方根误差为0. 204 9 lg(cfu/g),灵敏度为0. 070,霉菌含量最低检出限为1. 5×10~1 cfu/g,分辨率为1. 5×10~1 cfu/g。表明此系统用于稻谷霉变检测具有一定的可行性,可为快速评价稻谷质量安全提供参考。
- 库晶黄汉英金星赵思明赵思明李路
- 关键词：气体检测电子鼻STM32微控制器
- 一种不确定模态缺失的多模态对抗虚假新闻检测框架
- 2024年
- 当前虚假新闻的检测方法已经从传统的单一模态数据分析转向了多模态数据融合技术的应用。然而现有的多模态虚假新闻检测方法未充分考虑到现实场景中可能存在的模态缺失问题。模态的缺失可能会导致无法完整地抽取和融合新闻特征,从而降低模型的性能。该文提出一种新的虚假新闻检测框架,该框架在多模态特征学习中,加入了一个模态鉴别器,其在与特征生成器进行对抗训练的过程中学习不同模态组合之间的迁移特征,实现了在不确定模态缺失场景下的虚假新闻检测。通过在真实数据集上进行实验证明,该文所提出的框架在不确定模态缺失场景下优于最新的多模态虚假新闻检测方法。
- 张永成魏小梅王欢徐荣康
- 一种农业认知智能服务构建框架及其应用实践
- 2024年
- 随着大数据、人工智能、物联网、云计算等现代信息技术与农业领域的深度融合,现代农业正朝着智能化方向迈进.知识工程在整合、管理、挖掘和利用农业知识方面发挥了至关重要的作用,为实现个性化、精准化的农业认知智能服务提供了强有力的技术支持.探讨了当前农业知识工程及认知智能服务面临的主要挑战,综述了国内外农业认知智能服务领域的研究现状,提出了集成数据层、算法层和认知服务层的基础研究框架.在此基础上,创新性地设计了基于主动元学习思想,通过软件智能体与科学大数据双向偶联自指循环方式完成农业大数据整合和知识建模、知识抽取、知识融合以及知识推理的农业认知智能服务构建框架,梳理了各环节涉及的关键技术和服务应用.最后,对农业认知智能服务领域的未来发展趋势和对策建议进行总结与展望.
- 许瑞清许多张隽美张红雨李兵何克清李万理张建伟冯在文
- 关键词：知识工程现代农业
- 中国规模生猪养殖的绿色技术进步偏向被引量：4
- 2020年
- 近年来中国生猪养殖面临粮食价格驱动的饲料成本上升、劳动力成本上升以及规模化经营趋势下粪污处理等现实挑战。中国生猪产业能否克服上述问题,实现可持续发展呢?理论上,有偏技术进步在优化资源配置、提升生猪养殖效率、促进规模生产和污染减排方面大有可观。本文基于2007—2017年中国小、中、大3种规模生猪养殖成本收益数据,计算考虑5种非合意产出的生猪养殖的投入偏向型技术进步指数;针对各区域生猪养殖可持续发展面临的现实问题和环境规制目标,划分多个中观地理单元;在此基础上,探讨技术进步所倚重的要素是否与区域资源禀赋相协调,进一步为各区域诱致生猪养殖技术进步方向和优化规模生产路径提供支持性证据。研究结果表明,1)不同规模生猪养殖均存在投入偏向型技术进步,且偏向型技术进步能够在中性技术进步的基础上促进绿色全要素生产率的提高;2)小、中、大3种规模生猪养殖的绿色技术进步的要素投入偏向呈现节约劳动力而使用精饲料趋势;3)大规模生猪养殖技术进步偏向性最高,对生猪养殖的绿色全要素生产率增长所发挥的正面作用最强。本文认为生猪养殖技术进步要素偏向主要由区域资源禀赋所决定,各区域应当基于其资源禀赋和环境规制目标诱致技术变迁。
- 闫桂权何玉成张晓恒陈国庭
- 关键词：绿色全要素生产率资源禀赋
- 新工科背景下的数字图像处理课程教学改革被引量：3
- 2023年
- 针对当前以项目为导向的数字图像处理课程教学中存在的问题,分别对理论教学和实验教学提出新的教学思路,兼顾基础和前沿,引导学生更注重问题的分析思考和对结果的归纳总结,介绍具体教学改革措施,阐述如何在教学模式中注重跨平台资源的充分利用,深入专题研讨,强调对学生综合能力的考查。
- 彭辉刘善梅翟瑞芳
- 关键词：数字图像处理理论教学实验教学教学模式
- 基于数字图像处理技术的鱼类寄生碘泡虫分类研究
- 2022年
- 针对采用传统的形态学分类方法进行鱼类寄生碘泡虫的分类时需要手动测量各种参数以作为分类依据的效率问题,提出了一种全新的基于数字图像处理技术的孢子虫参数提取方法,从而实现了孢子虫的分类操作。选取丑陋圆形、山东、野鲤、异形等4种碘泡虫作为研究对象,通过碘泡虫在显微镜下的图片样本进行形态学特征参数的计算,从而依据各类参数进行碘泡虫的区分。首先通过Canny边缘提取算法对单个碘泡虫图像进行边缘提取,再对最外层边缘进行椭圆拟合,得到碘泡虫的偏移角度作为将碘泡虫摆正位置的依据,从而计算孢子的长宽与面积。摆正孢子位置后寻找2个极囊的种子点,根据种子点进行改进的区域生长算法得到2个极囊的图像,再通过Canny算法计算得到极囊边缘的同时计算极囊的长宽与面积,最后对2个极囊边缘做椭圆拟合得到2个极囊之间的夹角和囊间突的位置。将所有得到的参数投入分类器进行分类操作,可准确地将4种碘泡虫区别开。
- 詹晔康耿协博李小霞柳阳章英
- 关键词：碘泡虫图像处理CANNY算法
- 新工科背景下大数据技术专业实训教学探索与实践
- 2024年
- 实训教学是大数据技术专业人才实践能力培养的关键环节,目前大数据技术专业实训教学中存在教学内容不完善、与产业需求结合不紧密、缺乏满足学科交叉需求的实训平台、考核评价标准单一等问题。根据新工科背景下大数据技术专业人才培养目标,以项目制为驱动,建立三层次分级实训教学体系,对项目内容、实训平台、考核方式、实施过程等方面进行探索与实践。通过综合项目、创新项目、科研训练三层实训教学,优化项目库内容、部署实训教学平台、改革考核方式,有效提升了学生面向大数据专业领域的创新思维和综合素质能力,有利于达到培养学生创新能力和科学素养的目标。
- 王海燕胡玉雪章文徐勋光
- 关键词：实训教学
- 蛋白-蛋白和蛋白-核酸相互作用对转录因子调控机制影响的分子动力学模拟研究
- 在真核生物中,转录因子可特异性结合DNA序列,精确调控遗传信息的转录过程,与细胞的代谢、周期、分化及死亡等各个过程密切相关。转录因子与DNA结合过程涉及到蛋白核酸相互作用、蛋白蛋白相互作用、残基突变及单核酸多态性等诸多因...
- 高军熊乐李根
- 关键词：分子动力学转录因子生物信息转录调控
- 基于依赖条件重构的程序符号值分析方法被引量：1
- 2019年
- 符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.
- 郭曦王盼
