两类图完美匹配的计数公式

利用划分、求和、再递推的方法给出图2-nRO_8和图2-F_(2n+1,4)完美匹配数目的计算公式.进一步,用所给的方法可计算出许多图类的所有完美匹配的数目.     

企业信息化环境下人-信息系统交互效率

针对制造业人-信息系统(H-IS)交互效率不高的问题,提出从任务-人-信息系统匹配的角度来优化交互效率,构建了人、任务、信息系统和交互环境匹配优度的概念模型.分析了任务与人、任务与信息系统、人与信息系统匹配对交互效率的影响机理,分析结果表明:任务与人的匹配、人与信息系统的匹配通过认知负荷、心理负荷影响人的认知效率和信息加工效率,进而影响人的自我效能感、焦虑程度和操作错误数;任务与信息系统的匹配通过员工的焦虑和信息系统功能的合理性要求影响人的情绪,进而影响人的觉醒水平和认知效率,最终影响人-信息系统交互效率.     

基于网络的模型库结构表示方法研究

针对现有方法存在的不能表示复杂模型关系以及模型组合与求解自动化程度低的局限性,在对模型库结构表示方式进行比较的基础上,从而进一步分析并提出了数据类型广义匹配的概念,将其应用于模型连接的表示,给出了模型库的网络结构表示的定义及其构造方法。分析了模型组合及模型库必须考虑的元素,并用网络结构表示模型库中元素间的静态连接结构;给出了模型库网络结构的形式化定义,模型间的连接通过引入类型转换实现。从而简化模型之间连接,使模型的连接判断由类型匹配判断转化为模型与转换和转换与模型之间的类型相等性判别,而类型匹配操作则通过转换自动完成。并且在组合模型求解过程中,转换过程也会自动完成,提高了模型组合与求解的自动化。     

基于结构光立体视觉的激光再制造工件的测量

为了实现激光再制造工件的快速准确测量,提出了1套与激光再制造机器人耦合的视觉系统.该视觉系统由2个摄像机、1个激光投射器和计算机组成.摄像机和激光投射器组成扫描测头,由6自由度机器人手持实现多视角扫描.并自动完成数据拼接,消除‘死角'.首先,通过MATLAB编程完成系统标定,分别标定出单目摄像机内外参数矩阵,双目相机关...     

m·K1∪T(1,2,n)及其补图的匹配刻画

研究了图的匹配刻画问题,利用匹配根的信息,根据匹配多项式的性质,给出了m·K1∪ T(1,2,n)及其补图匹配刻画的充分必要条件是n≠1,2,5,9.     

酉矩阵的一个新判定

把矩阵体积的概念推广到复数域上,并利用复矩阵体积的性质给出酉矩阵的一个新判定.     

Jordan标准形定理的一个矩阵证明

运用矩阵的初等运算重新证明了Jordan标准形定理.     

基于块匹配的综合图像检索技术

提出了一种基于文本、语义和特征块匹配相结合的综合图像检索方法．首先,将图像入库时进行人工标注;然后运用SVM机器学习框架,建立先验知识库,提取图像的语义特征;然后利用Harris算子检测出图像的特征点,进一步统计出两个图像中匹配的特征块数目,计算图像间的相似距离．实验结果表明,这种综合检索方法能更全面、更精确地描述了图...     

求解单圈多部图的匹配算法

给出了一个多部图及其匹配问题的定义,提出了求解单圈多部图匹配问题的一个算法。该算法提出多部图顶点间的可达性定义,并使用试探与缩小规模相结合的方法以及求二部图的最大匹配算法,求解单圈多部图的最大匹配问题。经过验证,算法的效率比较高。     

一种新型的混合模式运动估计搜索策略

基于实时视频图像序列的运动矢量分布特性,本文提出了一种新型的混合模式运动估计搜索(MPS)策略。该算法根据给定的搜索距确定相应的搜索模式,使用中途停止技术快速的给出运动矢量。相比现有各种搜索算法,MPS搜索策略能够同时满足图像序列中的高速运动与慢速运动的搜索。仿真试验表明,本文搜索策略不仅在搜索速度上比现有MPEG-4校验模型的DS算法更加快速,并且具有更小的运动补偿误差以及更加真实的运动矢量场。