期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
动态计算圆弧并面积算法的证明及改进 被引量:3
1
作者 袁平鹏 陈刚 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第1期67-71,共5页
陈建勋等 [6 ] 给出了一个优美的圆弧并面积计算的算法 .文中对该算法的正确性予以证明 ,使该算法更完善 .基于推理所得结论 ,对该算法作了改进 ,降低了计算复杂度 .
关键词 圆弧并面积 算法正确性 关联扇形组 计算几何 CAD
下载PDF
随机Petri网模型到马尔可夫链的转换算法的证明 被引量:3
2
作者 何炎祥 沈华 《小型微型计算机系统》 CSCD 北大核心 2014年第2期339-342,共4页
随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性... 随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法是完全正确的.为了佐证证明结论,基于Java和SQL Server设计开发了一个软件平台,在此平台上实现了转换算法,测试实例的测试结果验证了算法的正确性.对算法时间复杂性的分析表明算法是有效的. 展开更多
关键词 随机PETRI网 马尔可夫链 算法正确性证明 Floyd不变式断言法 良序集法 算法复杂性分析
下载PDF
寻求网中最优点算法
3
作者 王培泉 《计算机应用》 CSCD 1989年第S2期26-30,共5页
一、解决的问题随着计算机网络的发展,将产生越来越多的网际网。
关键词 网中 最优点 目标函数值 最短路径 生成树 算法复杂性 网际 算法正确性 费用函数 距离矩阵
下载PDF
ZMP-based Gait Optimization of the Biped Robot 被引量:1
4
作者 窦瑞军 马培荪 谢玲 《Journal of Donghua University(English Edition)》 EI CAS 2003年第4期83-86,共4页
The gait of the biped robot is described using six parameters such as stature,velocity,length of the step,etc.The algorithm of the Newton-Euler is actualized by object-oriented idea,and then the zero moment point (ZMP... The gait of the biped robot is described using six parameters such as stature,velocity,length of the step,etc.The algorithm of the Newton-Euler is actualized by object-oriented idea,and then the zero moment point (ZMP) of the dynamically walking biped is calculated.Finally,the gait of biped is optimized using gene algorithm,and the optimized result prove the correctness of the algorithm. 展开更多
关键词 biped robot gait design zero moment point (ZMP) genetic algorithm
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部