您的位置： 专家智库 > >

国家高技术研究发展计划(2001AA115126)

作品数：5 被引量：48H指数：4
相关作者：汪国平董士海杨猛马志刚李成军更多>>
相关机构：北京大学中国科学院华中科技大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金北京市自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇理学

主题

  • 2篇图像
  • 2篇图像处理
  • 2篇计算机
  • 1篇三维重建
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇搜索
  • 1篇图像建模
  • 1篇状态搜索
  • 1篇自动机
  • 1篇最优搜索
  • 1篇网络
  • 1篇极线
  • 1篇极线几何
  • 1篇计算机视觉
  • 1篇建模方法
  • 1篇服务质量
  • 1篇QOS网络
  • 1篇SET方法
  • 1篇CAD

机构

  • 3篇北京大学
  • 1篇华中科技大学
  • 1篇华东理工大学
  • 1篇华南师范大学
  • 1篇解放军信息工...
  • 1篇中国科学院

作者

  • 3篇汪国平
  • 2篇董士海
  • 1篇韩琳娜
  • 1篇胡捍英
  • 1篇吴学礼
  • 1篇赖舜男
  • 1篇邵志清
  • 1篇陈丽琼
  • 1篇李成军
  • 1篇马正新
  • 1篇马志刚
  • 1篇吴琼
  • 1篇刘刚
  • 1篇杨猛

传媒

  • 1篇计算机应用研...
  • 1篇软件学报
  • 1篇计算机辅助设...
  • 1篇西安电子科技...
  • 1篇计算机科学

年份

  • 1篇2008
  • 1篇2005
  • 1篇2004
  • 2篇2002
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于Level Set方法的曲线演化被引量：22
2002年
Level Set方法是一种描述曲线以曲率相关的速度演化的有力工具,最近几年在医学图像处理、自然现象的模拟以及计算机视觉等领域得到了广泛的应用.其中,曲线演化后的平滑算法和轮廓跟踪方法是Level Set方法实际应用中的两个关键算法.给出了一种平滑Level Set距离函数的简单方法.该方法只采用内插值的方式,消除平面上的全部孤立点以及部分可能产生歧义的点,在允许存在部分冗余点的情况下,利用曲线轮廓跟踪算法,得到平面上所有曲线的轮廓.经过实验验证,该方法简单、高效,适应范围广.
杨猛汪国平董士海
关键词：LEVELSET方法图像处理计算机视觉
交互的极线几何建模方法被引量：10
2002年
讨论了一种基于图像的交互式几何建模方法 .该方法利用手动方式标定模型的平行线、特征点 ,得到照相机参数 ,进而计算出模型的几何信息 ,并从图像中提取纹理 .提出一种最优纹理选取算法 ,以确保拼接纹理的合理性 .该算法主要应用于构造形状规则的模型 ,不需要知道照相机的内外参数 ,简便实用 .实验结果表明 ,该方法在一定的场合下可以满足重建要求 ,重建出的三维模型具有照片真实感 。
李成军马志刚汪国平董士海
关键词：三维重建图像建模图像处理计算机
基于着色时间Petri网的实时系统的形式验证被引量：6
2008年
嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证。本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质。最后,用实例证明此方法有效。
吴琼邵志清刘刚陈丽琼
关键词：时间自动机
QoS网络最优节点状态搜索算法研究被引量：1
2005年
提出最优节点状态搜索算法,证明能够以最小的代价在网络单节点状态搜索图中找到最符合某种特定网络QoS要求的单节点状态,作为本节点在此次业务传输中的最优状态.则可根据某种网络业务的具体QoS要求,适当选取算法中的代价函数,达到分别满足相应业务QoS保证的目的.
韩琳娜马正新胡捍英
关键词：服务质量最优搜索
G^2三次Hermite样条曲线形状的交互修改被引量：9
2004年
构造了一种G2连续的三次Hermite样条曲线的表示形式,并提出了一种Hermite样条曲线形状修改和形状调整方法,通过直接调整曲线上的点的位置,从而达到调整曲线形状的目的。通过大量实例的验证和实际用户的使用表明,所提出的方法曲线形状交互修改简便可行,稳定性好。
赖舜男吴学礼汪国平
关键词：CAD
全选 清除 导出
共1页<1>
聚类工具0