3-HSS虚轴机床位置正解算法

结合虚轴机床的结构特点 ,运用矢量法推导出了三平动自由度虚轴机床位置正解解析模型 ,解决了数控系统中位置显示、软限位设置问题。研究成果已成功地应用于一台并联机床样机的开发。

动态计算圆弧并面积算法的证明及改进

陈建勋等 [6 ] 给出了一个优美的圆弧并面积计算的算法 .文中对该算法的正确性予以证明 ,使该算法更完善 .基于推理所得结论 ,对该算法作了改进 ,降低了计算复杂度 .

随机Petri网模型到马尔可夫链的转换算法的证明

随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法是完全正确的.为了佐证证明结论,基于Java和SQL Server设计开发了一个软件平台,在此平台上实现了转换算法,测试实例的测试结果验证了算法的正确性.对算法时间复杂性的分析表明算法是有效的.

PAC最优的RMAX-KNN探索算法

探索与利用的均衡是强化学习研究的重点之一。探索帮助智能体进一步了解环境来做出更优决策;而利用帮助智能体根据其自身当前对于环境的认知来做出当前最优决策。目前大多数探索算法只与值函数相关联,不考虑当前智能体对于环境的认知程度,探索效率极低。针对此问题,提出了一种基于状态空间自适应离散化的RMAX-KNN强化学习算法,算法根据当前智能体对于环境状态空间的离散化程度改写值函数形式,然后基于此值函数对环境进行合理的探索,逐步实现对于环境状态空间的自适应离散化划分。RMAXKNN算法通过将探索与环境状态空间离散化相结合,逐渐加深智能体对于环境的认知程度,进而提高探索效率,同时在理论上证明该算法是一种概率近似正确(PAC)最优探索算法。在Benchmark环境上的仿真实验结果表明,RMAX-KNN算法可以在探索环境的同时实现对于环境状态空间的自适应离散化,并学习到最优策略。

寻求网中最优点算法

一、解决的问题随着计算机网络的发展,将产生越来越多的网际网。

探地雷达桩底圆周测线正确wiggle剖面生成方法

一直以来在挖孔圆桩桩底基岩完整性检测的探地雷达数据处理时,不管是直测线还是圆周测线均是采用wiggle直剖面显示。这样处理存在圆周测线显示位置失真、不够直观、地质解释表述不方便等诸多缺点及问题。基于圆周测线的几何特性,本文提出一种精确绘制挖孔圆桩桩底圆周测线的真实空间位置的wiggle剖面生成方法,并编写了相应的matlab程序。最后还通过渝黔高速公路扩能工程两合江特大桥实测数据,对比展示了基于本文提出的wiggle剖面生成方法与传统的圆周测线wiggle剖面生成方法的成图效果差异。该对比实验表明本文提出的wiggle剖面生成方法使得圆周测线归位到其真实的三维空间位置上,使其圆周测线wiggle剖面图显示非常直观、精确、可靠,且便于后续准确地质解释;充分展示了本文提出的wiggle剖面生成方法的可行性和优越性。

沣惠渠渠首取水枢纽抢险加固工程设计中有关问题探讨

有关设计手册计算陡坡坡度有误,本文介绍用正确算法。计算该工程陡坡坡度,并用非棱柱形(含棱柱形)非均匀流水面曲线简算法计算该工程陡坡的水面曲线。