7131.
7132.
7133.
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构造出一个新的、更为精细的判定方法.并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱.与E.D.Sontag的类似结论比较,… … 相似文献
7134.
为了达到视域评估的可视化效果,文中构建了人眼可视范围的半透明模型,并绑定到虚拟人的骨骼中,通过驱动虚拟人,以实时混合绘制技术完成动态视域评估。以龙门式数控加工中心造型设计模型为对象进行实例仿真,结果表明逼真的可视化效果使得视域评估变得简单、快捷和直观,避免了大量的人工运算,提高了… … 相似文献
7135.
7136.
7137.
本文首先把迷宫排序问题推广为ｍ×ｎ迷宫（ｍ＞１,ｎ＞１）的排序问题,证明了ｍ×ｎ迷宫的任一初始状态能经过有限步移动转变成目标状态的充要条件,然后给出了一个ｍ×ｎ迷宫排序的算法,该算法的时间复杂度是Ｏ（ｍｎ（ｍ＋ｎ））,空间复杂度是Ｏ（ｍｎ）．最后还指出了它的时间复杂度的一个下界．… … 相似文献
7138.
在视频应用中,运动目标的提取是一个重要的研究课题。为了对运动目标进行更有效的分割,提出了一种从视频序列中自动提取运动目标的空时分割算法。该算法在时域分割中采用基于齐异矢量消除的目标检测方法来获得运动目标的初始模板。通常,该初始模板具有不连续的边界和一些\"孔\"。为了得到较为完整… … 相似文献
7139.
基于粘滞流体模型的非刚体配准算法是一种适合个体差异较大配准场合的方法。其关键步骤为求解偏微分运动方程组,但原始算法中采用直接离散结合同步超松弛(SOR)的方法相当耗时。为了缩短求解时间,提出一种基于粘滞流体B样条模型的快速方法。首先利用B样条对速度场进行建模,将方程组未知量转为B… … 相似文献
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
