邓雪峰
- 作品数：23 被引量：118H指数：7
- 供职机构：山西农业大学信息科学与工程学院更多>>
- 发文基金：国家科技支撑计划国家自然科学基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术农业科学电子电信理学更多>>
- 基于颜色Petri网的食堂窗口排队模拟仿真被引量：2
- 2019年
- 食堂窗口是高校中排队现象最普遍的服务窗口,在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查,发现高校食堂窗口的平均到达率为1.3,平均服务率为0.672413793,平均队长为3.741935485,在此基础上,利用CPN Tools工具对食堂的排队情况进行动态仿真与监测。经实验证明,在可控制的误差范围内,该模型可以有效地对高校食堂的排队情况进行模拟仿真。
- 邓雪峰侯益明冯灵清
- 关键词：颜色PETRI网CPNTOOLS
- 基于前后断言法的温度控制系统程序验证
- 2019年
- 温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。
- 邓雪峰葛跃王建伟冯灵清侯思悦
- 关键词：温度控制系统
- 基于机会网络的牧场物联网数据传输方法被引量：6
- 2017年
- 智能化畜牧业管理需要对牧场中牲畜的行为进行检测以及对牲畜的运动路径、位置等信息进行采集,利用牧场物联网系统可以实现对上述信息的获取。基于无线传感器网络的系统架构能够满足各个采样节点间的通信需求,但是由于牧场所处的地理位置一般比较偏远,网络环境复杂,与互联网连接时经常出现连接中断、丢包等问题。采用传统的网络连接方式可能导致数据大量丢失,为了减少在与互联网连接中断时采样数据的丢失,提出了一种基于机会网络的牧场物联网数据传输方案,分析了在牧场环境中传感器之间的通信状态,总结出传感器之间通信的3种方式,分别予以建模分析。在传感器有限存储容量的前提下,利用机会网络的原理,提出接入点密度的计算方法,并总结了牲畜运动速度、传感器节点存储容量与数据传输丢包率之间的内在联系,从而保证了系统数据丢失在设计允许的范围内。通过评估和验证所提方法理论结果的实验,证明了方法的正确性。
- 邓雪峰孙瑞志杨华聂娟王文狄
- 关键词：物联网数据采集机会网络数据传输
- 一种多跳无线传感器网络时间同步方法
- 随着通信技术、嵌入式技术的发展,无线传感器网络(wireless sensor network,WSN)已经广泛的应用于军事、农业、交通等领域.无线传感器网络也是近年来出现的物联网、信息物理系统等新技术的研究基础.时间同...
- 邓雪峰孙瑞志聂娟张永翰
- 关键词：无线传感器网络时间同步信息发送
- 文献传递
- 电荷对粉尘和病原体团聚影响的数学模型研究被引量：2
- 2020年
- 由于封闭畜禽舍内聚集了大量的粉尘和病原体,将影响到动物和饲养人员的呼吸道健康,因此迫切需要研究去除粉尘和病原体的方法。以粉尘和病原体的结合体为研究对象,利用蒙特卡罗法及相关概率模型,研究电荷对粉尘和病原体团聚影响。通过研究粉尘和电荷间的附着模型,确定其附着受粒子半径、电荷情况、风速等因素影响;之后,进一步构建粉尘、病原体间以及病原体、电荷间的附着模型。结合数值化运算设定边界条件,得出三者间的结合率可达到15%。粉尘、病原体与电荷相互之间模型的建立能有效的了解到畜禽舍除尘的方法,提高除尘效率,并为高压静电除尘的推广和应用提供了理论基础。
- 刘振宇武志强邓雪峰杨政
- 关键词：畜禽舍病原体粉尘电荷静电除尘蒙特卡洛法
- 基于数据位图的滑动分块算法被引量：2
- 2014年
- 网络中相似的数据文件进行同步与存储的过程中,对数据进行分块是检测数据重复的重要步骤之一,在有效地对数据分块的基础上才能更准确地定位数据间的差异部分.就数据分块方法予以分析总结,在滑动分块算法的基础上,重新将数据文件组织成类似位图的排列形式,对数据位图以列向读取数据信息,形成新的数据分块,并计算列向读取数据的分块指纹信息,以列向数据指纹作为补充校正滑动分块算法定位差异数据能力的不足之处,从而获得更精确的数据差异信息.经实验证明,本方法在同源文件的数据重复检测中效果好于相同条件下的滑动分块方法.
- 邓雪峰孙瑞志张永瀚聂娟
- 关键词：数据同步
- 一种基于有限状态机的分布式框架配置属性校验方法
- 2022年
- 针对动态配置技术提供灵活方便配置方式的同时有潜在配置错误风险、可能导致系统崩溃、降低软件服务质量的问题,提出了一种基于有限状态机的分布式框架动态配置属性校验方法.该方法利用数据类型间的转换进行数据类型校验,运用有限状态机的状态转换逻辑实现多种数据类型之间的转换,并以Spring Cloud的动态配置为例实现了一个分布式框架配置校验器.为避免不必要的文件读写,改进了Java compiler,使动态编译所得字节码的加载在内存中进行.基于Spring Cloud Config框架对配置校验功能进行测试,设计了原始数据类型和包装数据类型配置错误的测试用例.结果表明,该方法可检测简单数据类型不匹配、数据溢出、容器类型未闭合、容器类型内数据类型错误、容器类型嵌套错误等错误类型,提供了一种比较清晰的配置属性校验逻辑,基于有限状态机的实现解耦了代码,为实现框架配置管理的校验功能提供了参考.
- 刘怡然谢鹏飞邓雪峰
- 关键词：有限状态机
- OTSU算法在图像分割中的应用研究被引量：15
- 2018年
- 分析了OTSU算法计算过程,针对该算法在抗干扰能力差问题。分析了二维、三维OTSU算法,并进行相关的算法性能提升。最终得到二维、三维OTSU算法自身运行效率低,可结合遗传算法提高算法效率。
- 燕红文邓雪峰
- 关键词：OTSU算法图像分割遗传算法
- 设施农业物联网系统建模与模型验证
- 随着信息技术的发展,物联网与农业生产相结合产生了“智慧农业”的概念。农业物联网是“智慧农业”的核心技术。在设施农业中,农业物联网充分发挥了智能感知、自动控制的特点,极大的促进了设施农业的智能化建设,有效地改善了农业生产的...
- 邓雪峰
- 关键词：农业物联网时间自动机
- 文献传递
- 基于数据位图的滑动分块算法
- 中相似的数据文件进行同步与存储的过程中,对数据进行分块,是检测数据重复的重要步骤之一,在有效的对数据分块的基础上才能更准确的定位数据间的差异部分.本文就数据分块方法予以分析总结,在滑动分块算法的基础上,重新将数据文件组织...
- 邓雪峰孙瑞志张永瀚聂娟
- 关键词：数据库文件管理
