国家重点基础研究发展计划(2004CB318000) 作品数:304 被引量:1,401 H指数:17 相关作者: 汪国昭 廖启征 魏世民 黄文奇 李华 更多>> 相关机构: 浙江大学 中国科学院数学与系统科学研究院 北京邮电大学 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 理学 机械工程 电子电信 更多>>
Stewart台体并联机器人位置正解 被引量:4 2009年 为获得Stewart台体并联机器人位置正解的解析解,使用分次字典序Groeb-ner基和Sylvester结式相结合的代数方法对该问题进行研究.利用计算代数中的分次字典序Groebner基算法,计算该机器人位置正解封闭数学模型的分次字典序Groebner基;从得出的51个基中选取20个基,构造20阶Sylvester结式,分析符号形式方程组的变量次数,可以直接得出该机器人位置正解一元高次方程的次数为40且最多有40组解的结论,其结果与前人的完全一致,但结式的尺寸却小得多.为了对结果进行验证,使用同伦连续法对同一个数字算例进行计算,两种方法得到结果一致.为并联机构位置正解的研究提供了一种新的有效算法. 庄育锋 黄昔光 廖启征关键词:并联机构 位置正解 一种基于内容相似度和推荐反馈的信任模型 被引量:3 2009年 在已有P2P模型的基础上提出了基于内容相似度和推荐反馈计算节点推荐值的对等网络信用模型IPBS(Integrated-partial based si milarity Trust)。该模型利用节点间的内容相似度来评价节点提供推荐服务的能力,根据每次交易的内容不同而改变节点间相似度值;同时依据节点交易历史时间和推荐反馈值自适应动态地调整节点的推荐值;实例表明,IPBS节点间推荐值,通过参考节点内容相似度、交易历史时间和推荐反馈3种机制,加强了模型的动态适应能力和搜索服务的效率。 谢福鼎 安娜 黄丹 刘绍海关键词:信任模型 内容相似度 一种类Legendre基及其应用 被引量:4 2006年 利用T-Bézier基的优美性质,如对称性质和端点性质,在空间Γn=span{1,t,t2,…,tn-4,sint,cost,sin 2t,cos 2t}中构造了一组正交基,并利用正交性和升阶及求导性质得出了这两组基之间的过渡矩阵,进一步指明了这组类Legendre基在降阶逼近中的应用.另外,在T-Bézier系统中可以充当Legendre基在Bézier系统中的角色. 周志敏 汪国昭关键词:BERNSTEIN基 降阶逼近 最大Abel商群为局部循环群的可解群 2007年 从自同构群的角度出发,给出了一些具有有限性条件的、最大Abel商群为局部循环群的可解群的结构. 刘合国 马玉杰关键词:可解群 自由变形技术及其应用 被引量:14 2010年 物体变形一直是计算机图形学和辅助设计中的一个热点问题.自由变形方法作为物体变形的核心技术,已被成功集成到当今主流的造型软件及动画软件中.对20年来自由变形技术的发展作了详细的综述,对现有技术进行了系统的分类,即将其分为非精确自由变形和精确自由变形,并根据所使用的变形工具的不同,将非精确自由变形技术分为4类:基于体的变形、基于曲面的变形、基于曲线的变形、基于点的变形.进一步比较了各类技术在变形工具的创建、参数化效率、变形工具的修改、多功能性等方面的优缺点,并分析了它们之间的内在联系.最后对其应用及未来工作进行了简要的介绍.该综述不仅对于该领域的研究人员具有重要的参考价值,而且对于三维造型师及三维动画师也有一定的指导意义. 徐岗 汪国昭 陈小雕关键词:动画技术 平面代数曲线间最近距离的计算 被引量:7 2008年 通过几何观察,指出一条曲线上的最近点是另一条曲线的等距曲线与该曲线的切点这一事实,同时提出基于等距思想的方法来求解2条平面代数曲线间的最近距离.该方法几何意义明显,可同时用来计算代数曲线/参数曲线间的最近距离.对于平面二次曲线,采用文中方法得到的单变量多项式方程次数比已有类似方法中结果方程的次数更低,从而可以降低方程求解的计算复杂度或提高求解的稳定性. 陈小雕 雍俊海 汪国昭代数双曲三角函数空间中的一组正交基 被引量:8 2008年 利用代数双曲三角函数空间Γn=span{1,sin t,cos t,sinh t,cosh t,t,t2,…,tn-4}中拟Bézier基的对称性构造了一组正交基,并给出该正交基和拟B啨zier基之间的转换矩阵.进一步,应用最小二乘法对代数双曲三角B啨zier曲线进行了保端点降阶逼近. 李亚娟 汪国昭关键词:正交基 降阶逼近 求解等圆Packing问题的完全拟物算法 被引量:12 2008年 沿着拟物的思路进一步研究了具有NP难度的等圆Packing问题.提出了两个拟物策略,第一个是拟物下降算法,第二是让诸圆饼在某种物理定律下做剧烈运动.结合这两个策略,提出了一个统一的拟物算法.当使用N(N=1,2,3,…,100)等圆最紧布局的国际记录对此算法进行检验时,发现对于N=66,67,70,71,77,89这6个算例,本算法找到了比当前国际纪录更优的布局. 黄文奇 叶涛关键词:等圆PACKING问题 NP难度 基于吴方法的多值模型检验 被引量:6 2008年 大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充. 赵林 吴尽昭关键词:多项式 数学机械化中的AC=BD模式 被引量:5 2008年 介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD(?)KerA,则存在算子B使AC=BD.利用带余除法对于给定的算子A给出了求其C-D对的算法,使得AC=BD.并将其应用到求解算子方程,可以将一些较为复杂的方程化为简单方程求解.其次,利用对偶算子给出了将非线性非交换算子方程组化为单个方程求解的算法.最后,利用解方程的方法给出了机械化产生并证明定理的模式,并且给出了一些实例. 张鸿庆关键词:解方程 数学机械化