一种基于点对的姿态估计和结构恢复方法

针对模型的姿态估计问题提出了一种基于点对的姿态估计和结构恢复方法．首先根据由3个模型点构成的3个点对独立地估计旋转矩阵,再据此计算平移向量和模型点的三维结构．该方法的特点在于单独估计旋转矩阵,且只需少数几个模型点就能获得好的估计结果;又能得到线性和非线性估计结果,且非线性估计的初始猜测由线性估计自动给出：即使旋转矩阵估计误差很大,结构恢复的结果仍然比较准确．模拟和实际试验结果均表明该方法的有效性．     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

多层多分辨率的扩展高斯图像的三维模型检索方法

为了解决扩展高斯图像在三维模型特征表示上的缺陷,提出了一种多层多分辨率的三维模型特征描述方法.首先用法向主成分分析法对三维模型进行姿态校正,使得三维模型具有平移、缩放、旋转的不变性,然后将三维模型映射到多个扩展高斯球面上,统计各个高斯球面网格上的法向面积分布,并对该分布作球面调和分析得到三维模型的特征描述向量.实验结果表明该办法查全-查准率均好于基于射线的球面映射方法(radialized spheri-cal extent function,REXT),特征描述向量的维数仪为REXT的26.5%.     

一种基于颜色信息的图像查询方法

把图像颜色信息用聚类表示，聚类过程中考虑象素的空间相关性．实验结果表明方法是有效的．     

一种简单的可得到闭式解的姿态估计方法

针对基于模型的姿态估计问题提出了一种新颖的深度估计算法,该算法能根据特征点对而不是单个的特征点与相机的几何关系,直接计算出相机运动前后特征点的深度.根据该深度估计技术,进一步提出了一种简单的可得到闭式解的运动参数估计方法.该姿态估计方法实时性高、便于实际应用,其方法的有效性得到了实验验证.     

一种基于模型检查的入侵检测方法

在分析系统行为以及其动作序列的语义的基础上，利用时序逻辑公式描述攻击特征，提出了一种基于模型检查的入侵检测方法，该方法解决了检测中的重复验证等问题，通过增加推理链的长度约束，引入时序算子处理统计攻击，从而优化了入侵检测过程。     

用有限元法耦合反应扩散模型的骨重建和仿生拓扑优化方法研究

本文介绍了用有限元法耦合反应扩散模型的骨重建和仿生拓扑优化理论和方法．首先对骨微结构进行了建模,然后用仿生拓扑优化方法模拟了骨小粱结构的形成过程．对骨骼宏观结构和形状的形成过程也进行了建模并进行了仿生拓扑优化．不同载荷条件下的骨微结构模型在保留体积不同时的仿生拓扑优化结果表明,所有的结果最终都得到小梁结构并在给定的保留体积内趋于稳定,但是小梁尺寸大小有所不同．对于骨骼宏观模型,建立了不同边界条件的模型,用仿生拓扑优化方法模拟了骨骼宏观结构和形状的形成过程,得到了接近股骨、腓骨、脊椎骨、错骨和指骨等实际骨骼形状．     

一种改进的参考点同步模型多媒体同步控制方法

首先介绍了多媒体同步的分类,并指出了实现多种媒体同步的关键就在于建立适当的同步控制模型;接着分析了现在流行的３ 种单一同步模型以及二级同步模型,评价了它们各自的优点与缺陷． 在此基础上,提出了一种改进的参考点同步模型多媒体同步输出控制方法,这种折衷的同步控制方法,在一定程度上弥补了单一同步模型和二级同步模型各自的缺陷．     

一种基于O-RGPS领域建模框架的按需模型选择方法

在O-RGPS(Ontology annotated Domain Role/Goal/Process/Service Model Repository)领域建模框架的指导下.提出了一种支持按需模型选择的方法.该方法利用领域本体和领域模型之间的基于本体标注的语义关联,在语素相似度计算和目标相似度计算的基础上,提出了期望目标需求自动建模算法,达到按需模型选择的目的,通过一个城市交通领域实例验证了此方法的有效性.     

一种改善直流系统恢复特性的低压限流环节优化方法

换相失败恢复策略中的低压限流环节参数大多选择折中值或经验值,没有充分考虑无功功率的动态需求,影响系统恢复中的控制性能.文章建立了电流指令值与交流母线电压的关系式,提出了基于交流母线电压求解电流指令的恢复策略,采用静止同步补偿器(STATCOM)解决因恢复速率过快导致再次换相失败的问题,改善系统恢复特性.通过搭建仿真模型...     

基于对称性的单幅图像花朵建模

基于自然界各类花朵普遍具有的对称特性,提出了一种利用单幅图像的三维花朵建模方法.根据输入的单幅花朵图像,用户通过交互方式描绘花朵每个花瓣的2条边缘曲线,对花朵边缘曲线的顶部顶点和底部顶点进行最小二乘圆锥拟合,利用拟合得到的圆锥计算花朵各花瓣的对称面;根据不同种类花朵所固有的对称特性和各个花瓣的对称面信息,计算花瓣2条边缘曲线上所有采样点的深度,得到其三维构造曲线;利用恢复了深度信息的三维构造曲线作离散化网格处理,构建各个花瓣的三维模型,进而重建整个花朵的三维模型;最后根据输入的单幅图像纹理信息合成花朵的表面纹理,得到了真实感较强的花朵模型.实验结果表明：该建模方法充分利用了花朵的对称特性,用户交互少、建模效率高,能够准确地从单幅花朵图像中恢复其深度信息和整体结构,方便快捷地实现花朵的三维重建.     

基于模糊识别的三维模型检索

提出了基于2D图像模糊识别的3D模型检索的方法。该方法根据人识别习惯模式,从6个方向采集3D模型的2D图像。考虑到人眼对色差的敏感的特点,采用适当的均匀色空间,建立各2D图像的纹理特征。然后对这些纹理特征采用模糊C-均值算法建立模糊集,这些模糊集用于模拟人对图像模糊认识,模糊集对图像变形具有鲁棒性,故提高了提取特征的稳定性和灵活性,同时改善了检索效果与人识别效果的一致性。     

制作和显示中文软件封面的一种新方法

本文提出利用SPT和西文W inflows制作中文软件封面的一种新方法.其主要步骤是,先在SPT下生成具有TIF格式的底稿,再用图像格式转换文件,使之转换成PCX格式或BMP格式,最后在Windows操作环境下进行艺术处理,生成中文软件封面.,其次,通过对BMP图像格式文件的分析,编制一个在应用程序中显示该中文软件封面的程序.     

3D人脸线框模型的自动调整

3D人脸线框模型是自然人脸表述的重要方法.如何将通用的模型调整到特定的人脸上涉及脸部特点的自动提取和模型的调整两个主要过程.对通过皮肤颜色分割和形态滤波得到复杂背景的视频场景中的候选人脸,用区域惯量椭圆方向进行调整并用先验人脸模板校验以找出人脸和脸部特征区域.根据人脸特征区域所具有的颜色特性和空间分布采用基于特征的人脸识别算法提取部分重要的脸部特征点,由曲线和活动轮廓模型拟合脸部特征边缘,从中提取特征点,用来估计头部姿势和作为插值结点的使用径向基函数插值,可将3D人脸线框模型自动调整到特定的人脸上.