算法正确性相关论文
本文提出一种基于时间等效的空间矢量脉宽调制的快速算法,该算法无需进行三角函数以及包含无理数的运算,无需进行复杂的坐标转换,只有......
本文利用了3-状态设备网络可靠度计算转化为2-状态网络可靠度计算的一个归约定理,结合J.Scott Provan等的算法,给出计算3-状态设备......
对机器人控制算法进行验证工作,对于保障机器人安全工作具有重要意义.本文给出了一个可以在双臂机器人无碰撞运动规划中应用的空间......
提出了一种验证LTL属性的分布式嵌套深度优先算法(Distributed Double Depth First Algorithm—DDDFA).DDDFA运行在工作站网络或集......
在现代DSP产品中定点器件以其结构简单、价格低廉、运算速度快的特点占据了巨大的应用市场,但却有不方便浮点操作的缺点.此算法......
一、解决的问题随着计算机网络的发展,将产生越来越多的网际网。如何在不同的网中选取顶点进行连......
陈建勋等 [6 ] 给出了一个优美的圆弧并面积计算的算法 .文中对该算法的正确性予以证明 ,使该算法更完善 .基于推理所得结论 ,对该......