课程文献中心 更多>>

关键词： 一阶逻辑   定理证明   人工智能   启发式策略   多元动态演绎  

摘要： 一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛盾体分离式的文字,通过分析变元项、函数项、基项之间的联系与差异,本文提出一种基于稳定度的子句评估方法,其核心思想是通过所含项的组成部分度量子句参与演绎的稳定程度;同时提出一种基于子句稳定度的多元动态演绎算法(clause stability algorithm,CFA),旨在搜索当前演绎过程中的较优路径;将提出的CFA算法应用于国际著名证明器Prover9(CFA_P证明器)和国际顶尖证明器Eprover2.6(CFA_E证明器),使用CFA_P和CFA_E对国际CASC-26 FOF组竞赛例进行测试,相比原始Prover9和原始Eprover2.6,CFA_P多证明119个定理、CFA_E多证明11个定理;在证明相同定理总数的情况下,CFA_P缩短了证明时间14.76 s、CFA_E则缩短了2.54 s;针对Eprover2.6未证明的94个定理进行单独测试,CFA_E能证明27个定理,占定理总数的28.7%。实验表明,CFA算法是有效的,其在优化演绎路径方面具有良好作用,能提高一阶逻辑自动定理证明器的性能。

关键词： tower crane   ant colony algorithm   transition probability   local path chunking strategy   path planning  

摘要： In order to solve the problem of path planning of tower cranes,an improved ant colony algorithm was ***,the tower crane was simplified into a three-degree-of-freedom mechanical arm,and the D-H motion model was established to solve the forward and inverse kinematic ***,the traditional ant colony algorithm was *** heuristic function was improved by introducing the distance between the optional nodes and the target point into the *** the transition probability was improved by introducing the security factor of surrounding points into the transition *** addition,the local path chunking strategy was used to optimize the local multi-inflection path and reduce the local redundant inflection ***,according to the position of the hook,the kinematic inversion of the tower crane was carried out,and the variables of each joint were *** specifically,compared with the traditional ant colony algorithm,the simulation results showed that improved ant colony algorithm converged faster,shortened the optimal path length,and optimized the path quality in the simple and complex environment.

关键词： 计算思维   Python程序设计   项目驱动教学   职业教育创新  

摘要： 在高职教育体系中,计算思维已成为培养技术型人才的关键能力之一,而“Python程序设计”课程是实现这一目标的重要载体。通过对教学模式的创新与优化,将计算思维核心要素有效融入课程内容和实践环节,有助于提升学生解决复杂问题的能力。同时,项目驱动式教学、模块化课程设计和多元化评估机制被证明是提升计算思维能力的有效策略。此外,强调实践与理论的结合,可通过实时反馈和个性化指导促进学生自主学习能力与思维的拓展。该教学模式不仅为高职学生提供了更具应用性和前瞻性的学习路径,也为未来职业教育模式的改革提供了参考框架。

关键词： 供应链   多目标优化   改进的NSGA-II算法  

摘要： 在对制造企业进行供应链系统的优化过程中,针对系统的经济性、稳定性和消费者满意度之间存在的优化冲突问题,结合制造企业供应链系统的运行特性,对由供应商、制造商、零售商和分销商所组成的四级供应链系统体系进行研究,实现以供应链系统的利润最大、稳定性最高和消费者满意度最大为核心目标建立多目标优化模型.结合企业具体算例,通过引入矩阵实数编码、邻域搜索算子和动态拥挤距离的多样性保持策略对NSGA-II算法进行改进.利用MATLAB软件对制造企业供应链系统可靠性优化模型进行仿真验证.结果证明本方法能有效提高制造企业供应链系统的优化能力,从而为企业在竞争激烈的市场中实现供应链的高效管理和运营提供参考.

关键词： 意识形态算法   算法推荐技术   中华民族共同体  

摘要： 算法推荐技术推动互联网传播方式的深度变革,在传播过程中,具有意识形态属性的算法可以将社会意识形态思想融入其中,使算法成为社会思想理论的基因载体。作为新质生产力的重要组成部分,意识形态算法在赋能铸牢中华民族共同体意识中实现了信息匹配的高度集成,完成了话语、情感、技术等多方面的时代性布局。为新时代发展提供便利的同时,意识形态算法也面临着协同过滤、黑箱遮蔽、离心定位等时代挑战。因此,为应对算法时代铸牢中华民族共同体意识的焦虑与难题,应在实践中做好技术改进、法治约束、人文弥补等相关规范建构工作,在完善相关体制机制中更好地提升中华民族共同体意识的传播实效。

关键词： 图论   数学归纳法   图同构   图染色算法  

摘要： 图论是数学中的一个重要分支,与组合数学、控制论、运筹学等有着紧密联系。在众多研究方法和技术手段当中,数学归纳法因其强大的推导功能和分析能力被广泛应用于图论中。数学归纳法在图论中的应用广泛,图论的基本内容涵盖了图的各种要素,其图同构问题涉及图染色算法及几类相关问题(包括最小顶点度为1的三圈图、最少边数的完全图);解决问题的方法有两种,即递归与循环法。数学归纳法是解决图论问题的有力工具,将其合理运用到图论中能够有效地提高解题效率,减少计算时间,提升计算精度,使图论领域获得新突破。

关键词： 无人拖拉机   路径优化   农业管理   差分进化算法   适应性参数  

摘要： 为了提高农业生产效率,以提高多台无人驾驶拖拉机的协同作业为研究目标,构建了农业生产多台无人驾驶拖拉机的路径优化模型。同时,根据拖拉机驾驶参数优化总转弯时间和总作业时间的目标函数,提出了适用于多台拖拉机路径优化的自适应精英差分进化(AEDE)算法,并通过改进微分进化算法进行求解,采用精英选择策略选择最优运行方案。以果园为研究对象开展田间验证试验,结果表明:与传统的差分进化算法(Differential Evolution, DE)相比,基于AEDE优化后的多拖拉机路径优化方案下拖拉机总转弯时间和总作业时间分别减少了3.85%和1.46%。由此表明,基于AEDE智能算法可以优化多台拖拉机田间操作路径,显著提高农业生产效率工作效率,降低拖拉机田间运行时间。研究结果可为提升农业生产智能化管理提供理论借鉴与技术参考。

关键词： 无人机   视觉跟踪   深度网络   融合算法   孪生网络   模型更新  

摘要： 为了解决无人机视觉跟踪目标识别算法在复杂环境下因目标快速移动、光线短时间变化、物体遮蔽以及目标形态变化等因素产生的跟踪识别准确性差的问题,提出一种基于深度全卷积孪生网络的目标识别及跟踪算法,通过放大卷积神经网络的宽度、全卷积孪生网络跟踪算法的特征提取环节,增加回归算法强化识别目标外形轮廓的准确度,提取模版帧和检测帧的特征;采取在线的深度网络跟踪算法有缘特征深度卷积模块,结合注意力信息融合,将初始帧的目标视为固定模版,应用高置信度更新算法计算动态模版,在线实时跟踪过程中,采取傅里叶快速变化识别固定模版与动态模版的目标变化值,将依据颜色特征得到目标的极大似然概率图与前期提取双模版的深度特征进一步融合,抑制背景的同时,实现目标跟踪。实验显示,提出的优化算法应用于无人机复杂场景跟踪后,准确率达到79.9%,成功率达到59.7%,对比其他算法有大幅提升,充分说明了提出算法的优越性。

关键词： 改进蚁群算法   信息素更新   群体机器人   轮盘赌策略   多目标搜索  

摘要： 在多目标搜索中,群体机器人的目标搜索过程中,很容易出现相互重复搜索,主要以为依靠的蚁群算法在信息素更新过程中,存在重复操作,为此提出基于改进蚁群算法的群体机器人多目标搜索方法。针对蚁群算法中的信息素浓度更新规则,以最大最小交叉为原则改进,得到基于路径选择概率和路径长度的信息素更新方式。结合栅格化处理、目标孳息计算、搜索步长动态调整、状态转移概率与轮盘赌的最终单元选择等操作,完成群体机器人对多个目标的搜索任务。在静态与动态两种环境中展开测试,通过各机器人的间距、机器人与障碍物的间距、机器人与目标间到达情况,可知所提方法下群体机器人以理想的间距精准躲避了障碍物,且成功搜索到全部目标,方法应用效果较好。

关键词： 生态环境监测机构   仪器设备   管理  

摘要： 仪器设备是进行生态环境监测的必要工具。文章详细阐述了生态环境监测机构仪器设备使用过程中的各个工作环节,旨在探讨如何提高生态环境监测机构仪器设备的管理水平,以确保其所提供的监测数据真实、准确、客观、可追溯。