质点几何定理证明的机器实现

本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使用质点坐标而直接对质点进行运算;其次,利用三个模块架构证明器,形成了具有完全性的消点过程;最后,利用待定系数法判定结论语句.由于可以对点直接进行运算,该证明器的消点过程比原有质点法具有明显的几何意义和较高运算效率.     

基于矿井中LEACH的无线传感器网络节能改进算法

为了最大限度延长无线传感器网络的使用寿命,本文分析了LEACH协议并在此基础上提出了一种新算法。该算法主要在簇首选取上进行了改进。簇首选择由原来的随机选取到现在的固定放入。理论和仿真结果证明,该算法要优于LEACH协议,使整个网络的生命周期延长。     

Kernel method in face recognition based on 2DLDA

针对基于二维线性判决分析的人脸识别算法中缺少非线性判决信息的问题,提出了一种改进的基于核方法的二维线性判决分析的人脸识别算法.实验结果表明,改进后的算法相对原算法具有更好的识别效果.在此基础上研究了在使用多项式核函数时本文算法的性能,得出了在选用低次数多项式核函数时识别率较高的结论.     

基于模拟退化算法的混合遗传算法及其应用

将遗传算法和模拟退火算法进行了有机结合,并采用一种自适应的交叉和变异概率,本文提出了一种改进的混合遗传算法——自适应的模拟退火遗传算法.通过旅行商问题的仿真实验,对比遗传算法和模拟退火算法的实验结果,这种混合遗传算法改进了传统遗传算法的性能,并且提高了整个算法的收敛速度,拥有更好的优化性能.     

一种基于翻转角度的二进制粒子群优化算法

为了提高二进制粒子群优化的收敛速度和收敛效果,提出一种新的改进二进制粒子群优化算法,该算法利用翻转角度作为进化条件,利用局部翻转因子和全局翻转因子来决定粒子群的收敛速度。实验证明,该方法具有更快的收敛速度和更佳收敛值。     

级联模型的影响力改进算法的应用

本文提出一中改进的级联模型影响力算法,将两个节点的相似度和程度中心度纳入算法中,并将其应用于中国100所上市公司的经理人网络,通过应用证明,基于“相似度”概念的影响力算法具有普遍适用性。     

微分中值定理应用中构造辅助函数的探讨

微分中值定理又称微分学基本定理,是微积分教学中的核心内容,在其定理的证明过程中,需要建立辅助函数,这是一种技巧性较强的手段.构造辅助函数是高等数学证明中常采用的技巧,在应用微分中值定理解决实际问题时,到底该选择怎样的函数是需要着重考虑的问题.本文给出有直接观察、移项法,凑导数法,不定积分法,常数值法四种常用的辅助函数构造法,供教学参考.     

网络审计系统中Apriori算法的应用与研究

此文介绍了关联规则的主要内容,结合了网络审计系统中事务数据库的特征,从Apriori算法的基本概念出发,根据网络审计的特点,介绍了一种基于分片的改进的Apriori算法的,并给出证明。最后在改进的策略选择上给出结论。     

应用Green公式、Gauss公式证明安培环路定理与高斯定律

安培环路定理和高斯定律是电磁学中的重要定理,本文应用高等数学中的Green公式和Gauss公式来证明它们.     

可视化数据分析案例,母猪返情空怀经典图表解读

2018年5月,江西某存栏800头母猪的猪场反馈,该场持续半年多母猪空怀返情的问题非常突出。笔者应邀到现场对收集到的配种、分娩等数据,运用Excel、Tableau Desktop软件,进行了数据可视化分析和解读,发现了隐藏在数据背后的原因,并帮助猪场制定了个性化的改进方案。     

基于改进YOLOv4的地面鸡蛋识别算法研究

为实现散养模式下智能收集地面鸡蛋的需求,研究提出一种基于改进YOLOv4的地面鸡蛋识别算法,基于原YOLOv4目标识别算法,通过添加SENet模块增强识别算法获取目标特征的能力,裁剪路径聚合网络分支加快特征提取速度,使用soft-NMS算法降低漏检率,提高模型的准确率。结果显示,改进后的YOLOv4算法相比于Faster-RCNN和YOLOv3算法,mAP分别提高了12.2%、5.68%,识别速度分别提高了29.45FPS、1.23FPS;与YOLOv4算法相比,改进后的YOLOv4算法提高了识别效率,mAP提升了2.08%,识别速度为41.49FPS。结果表明,改进后的YOLOv4目标识别算法能够快速准确地识别出弱光条件下以及复杂环境中的地面鸡蛋,改善了地面鸡蛋因被遮挡而产生的漏检问题,为地面鸡蛋采集等装置提供了视觉技术支持。     

深部输精器与常规输精器猪配种效果应用研究

母猪配种使用的输精器是影响猪人工授精效果的重要因素之一,近年来,随着猪人工授配覆盖率的逐年提升,一次性输精器在生产中大量使用.市场上提供的常规商品输精器大多是泡沫塑料头输精器,这种输精器有输精头和输精管组成,按输精头直径大小分为大号（经产母猪使用,直径约20 mm）、小号（后备母猪使用,直径15 mm）二种型号.在生产实践中因母猪受品种、体格、发育情况、营养状态、经产与否等因素影响,阴道腔体大小差异很大,用常规商品输精器输精,往往会出现精液倒流现象,为了解决这一问题,委托专业生产厂家对常规商品输精器进行改进,改进为深入型输精器.改进后的输精器按输精头直径大小分为小（15 mm）、中（18 mm）、大（21 mm）三种类型,实验定为1号、2号、3号输精器,现将改进制作方法与其和现用的常规商品输精器在生产实践中的对照试验分述如下：     

微分中值定理应用中构造辅助函数的探讨

微分中值定理又称微分学基本定理,是微积分教学中的核心内容,在其定理的证明过程中,需要建立辅助函数,这是一种技巧性较强的手段。构造辅助函数是高等数学证明中常采用的技巧,在应用微分中值定理解决实际问题时,到底该选择怎样的函数是需要着重考虑的问题。本文给出有直接观察、移项法,凑导数法,不定积分法,常数值法四种常用的辅助函数构造法,供教学参考。     

粒子群算法求解物流路径优化问题

为了高效解决物流配送车辆路径优化问题,提出一种粒子群优化算法,根据粒子群较强的寻优能力,扩大了种群多样性和提高算法精度。本文针对此算法进行仿真实验,结果证明该算法寻求的最优解、平均解、以及找到最优解次数和时间均有明显效果。     

大规模物流配送车辆调度问题研究

研究大规模物流配送车辆调度问题,提出其整数规划数学模型,把大规模配送车辆调度问题(VRP)转化为配送区域划分问题和单车线路优化问题2个子问题,用改进的基地启发式分区算法(ILBH)解决配送区域划分问题,运用混合遗传算法(GA NS)解决分区域后区域内的配送车辆的单车线路优化问题.此改进的2阶段算法有效地解决了大规模配送条件下,在可行时间内得到近似解或满意解的问题,该方法已在某物流企业中成功应用并取得了显著的经济效益,其成果在城市配送系统中具有普遍的适用性和应用推广前景.     

无线传感器网络中能量多路径路由算法的研究

能量多路径路由算法考虑了通信路径上的能量消耗和剩余能量,节点根据概率选择下一跳节点。改进算法在原有算法的基础上加入了路由跳数控制,实验仿真结果表明根据改进算法所获得的传输路径跳数和传输能耗明显减少,延长了网络生命周期。由于无线传感器网络是动态变化的,文章最后提出了动态跳数限制的想法以期能够更好的适应传感器网络,选择最优路径。     

简易组合式蜜蜂饲喂器

蜜蜂的饲喂是活框新法养蜂最常见的管理措施之一,针对蜂群的不同情况采取相应的补助饲喂或奖励饲喂,是蜂群管理好坏的关键.而饲喂器的类型与质量直接影响到蜂群的饲喂效果.本文通过试用改进,制作出一种组合式蜜蜂饲喂器,供同行参考. 1现行饲喂器的类型与结构 饲喂器是饲喂蜜蜂的专用器皿,用于贮存糖水供蜜蜂取食.要求是安全可靠、不伤蜂、不起盗.市场上最为常见的是箱内槽式饲喂器,查阅近年来的蜂学文献资料,还有鸭舌式饲喂器、自控式饲喂器及各种自制饲喂器等.通过实践证明:各种饲喂器各有优劣,尚须改进完善.     

辅助函数法在微分中值定理中的应用

微分中值定理的证明可借助辅助函数法,本文总结了两种构造辅助函数的方法,并将其用于一些证明题,取得了较好的效果.     

辅助函数法在微分中值定理中的应用

微分中值定理的证明可借助辅助函数法,本文总结了两种构造辅助函数的方法,并将其用于一些证明题,取得了较好的效果.     

解决0-1背包问题的启发式算法

本文给出了背包问题基于0/1规划的数学模型,提出了这类问题的一种基于贪婪算法的启发式近似算法,通过寻找尽可能大的可行解和尽可能小的上界,从而求出近似最优解,该算法的优点是可以给出计算误差,算法的最坏性能比是2,并通过编程计算证明该算法具有良好的性能。