自由选择工作流网的可靠完备化简规则集

下载全文  

流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri 网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证… …   相似文献

张曼  段振华  王小兵 《软件学报》2013,24(5):993-1005

低码率视频编码的优化方法

下载全文  总被引：5，自引：0，他引：5

采用的低码率视频编码方法是以全局运动补偿和局部运动补偿为核心的混合编码方法.主要针对MPEG-4中原有算法计算量大、复杂度高的特点进行了编码系统优化,将这一编码方法实用化.该优化方法是针对占编码系统70%计算量的全局运动估计进行的,采用了基于运动特征的运动估计方法和鲁棒的目标函数… …   相似文献

贺玉文  王琪  袁昱  钟玉琢  杨士强 《软件学报》2002,13(8):1568-1576

适应物体形状的虚拟手抓取

  

目的 虚拟手抓取是虚拟交互中的核心技术之一,直接影响沉浸感。已有的虚拟手抓取规则基于接触点法矢夹角和接触点与体心连线的夹角,但在部分形状上不能正确抓取。为此提出一种适应物体形状的抓取规则。方法 针对长方体、球、圆柱这些构成物体的基本几何体,利用形状特征和手指抓握的接触关系制定抓取规则：1）长方体的规则是至少有3个不共线的接触点,并且一对接触点法矢夹角超过90°;2）球的规则要对接触点和球心的空间关系进行计算;3）圆柱的规则根据接触点是否在曲面上,使用长方体规则,或是仿照球的规则判断。对于需要使用多个几何体描述外形的复杂物体,先按照这3种基本几何体分解、单独计算,然后筛选出其中不稳定状态的几何体,把整体的接触点位置、法矢信息集中在这些不稳定状态几何体上,用单一几何体的抓取规则计算整体的抓取。同时加入力矩平衡可能性的计算,抓取规则和力矩平衡二者都满足才判定抓取成功,进一步减少了错误判断的发生。结果 使用unity3d构建虚拟场景,并用neuron的数据手套采集人体、手指数据,进行虚拟交互的仿真。该方法可以正确处理类似水杯这样的多几何体组合物体的抓取判断。结论 本文提出了基于物体形状的抓取规则,和用简单基本形状分解复杂物体的计算方法,准确计算抓取,符合直观感受。… …   相似文献

胡晨  张学聃  马惠敏 《中国图象图形学报》2017,22(5):663-670

节点证书与身份相结合的HMIPv6 网络接入认证机制

下载全文  

接入认证是层次型移动IPv6(HMIPv6)网络安全的基本需求.构建了适于HMIPv6的分层认证框架,设计了一种节点证书与身份相结合的签名方案,并以此为基础提出了HMIPv6网络双向接入认证机制.该机制利用基于身份密码技术简化了公钥基础设施的复杂密钥管理过程;以节点证书为接入认证… …   相似文献

高天寒  郭楠  朱志良 《软件学报》2012,23(9):2465-2480

一种基于拉普拉斯方程的图像彩色化方法

  总被引：4，自引：0，他引：4

黑白图像的彩色化是图像处理领域一个活跃的、有挑战性的研究课题。在总结现有图像彩色化方法的基础上,分析了彩色化由局部向全局扩展的本质,进而提出了一种通过求解拉普拉斯方程实现颜色扩展的彩色化方法。为提高边界定位能力,设计了加权形式的差分方案。与同是采用偏微分方程的Saprio彩色化方… …   相似文献

滕升华  谌安军  邹谋炎 《中国图象图形学报》2006,11(4):545-548,T0004

模糊逆Fisher鉴别分析及其在人脸识别中的应用

  

在逆Fisher鉴别分析的基础上,引入了模糊数学的思想,提出了模糊逆Fisher鉴别分析并成功应用于人脸识别。模糊逆Fisher鉴别分析通过隶属度函数将样本归入所有的类别之中,根据隶属度重新定义了类间散布矩阵和类内散布矩阵,进而将样本的原始分布信息通过相应的隶属度函数完全融入到了… …   相似文献

杨万扣  王建国  任明武  杨静宇 《中国图象图形学报》2009,14(1):88-93

图象序列运动目标特征点对应的极指数栅格方法

  

目前的图象序列特征点对应方法是建立在相邻图象间的特征点在运动形式上变化不大 ,即相邻两帧图象间的时间间隔较小这样的一个假设之上的 ,但当相邻图象间的时间间隔较大时 ,则这些方法很难找到对应的特征点 .为此 ,提出了一个由粗到细解决图象序列特征点对应的新方法 ,该方法首先进行粗定位… …   相似文献

张海燕  宋克欧  王东木 《中国图象图形学报》2003,8(5):527-532

Polycube参数化自动构造

下载全文  

提出了Polycube参数化的自动构造技术.该算法首先对网格进行特征分解,然后用立方体组成的一些基本形体逼近分解得到的各部分网格区域,确定基本Polycube的顶点和边在区域上的对应顶点和路径,将各区域进一步分解为面片,从而在构造Polycube的同时完成对曲面的分片,最后再分片… …   相似文献

林俊聪  金小刚  范争文  刘圣军  冯结青 《软件学报》2008,19(11):3061-3072

带局部形状参数的λ-B曲线设计

  

目的 目前有很多研究B样条曲线的含参数扩展,给出的曲线都具备B样条曲线的局部形状控制性以及独立于控制顶点的形状可调性,但有些文献给出的参数是全局的,导致曲线不具备局部形状调整性,有些文献给出的调配函数不具有全正性,导致曲线不具备变差缩减性、保凸性。本文的出发点是构造同时具备保凸性、局部形状调整性、局部形状控制性的曲线。方法 首先运用拟扩展函数空间的理论框架证明了已有的3次Bézier曲线的扩展基,简称λμ-Bernstein基,恰好为所在空间中的规范B基。然后运用λμ-Bernstein基的线性组合来构造3次均匀B样条曲线的扩展基,根据预设的曲线性质反推出扩展基的性质,进而求出线性组合的系数,得出扩展基的表达式。扩展基可以表示成λμ-Bernstein基与一个转换矩阵的乘积,证明了转换矩阵的全正性,由扩展基定义了一种结构与3次B样条曲线相同的含一个局部形状参数的分段曲线。结果 转换矩阵的全正性决定了扩展基的全正性,扩展基的全正性决定了扩展曲线的变差缩减性、保凸性,形状参数的局部性决定了曲线的局部形状调整性,曲线的分段结构决定了曲线的局部形状控制性。结论 本文给出的构造具有全正性的B样条扩展基的方法具有一般性,与现有众多扩展曲线相比,本文方法构造的曲线因为具有变差缩减性和保凸性,从而为保形设计提供了一种有效方法。… …   相似文献

严兰兰  韩旭里  饶智勇 《中国图象图形学报》2016,21(2):174-183

图像检索中的动态相似性度量方法

  总被引：10，自引：0，他引：10

为提高图像检索的效率,近年来相关反馈机制被引入到了基于内容的图像检索领域。该文提出了一种新的相关反馈方法－－动态相似性度量方法。该方法建立在目前被广泛采用的图像相拟性度量方法的基础上,结合了相关反馈图像检索系统的时序特性,通过捕获用户的交互信息,动态地修正图像的相似性度量公式,从… …   相似文献

段立娟  高文  林守勋  马继涌 《计算机学报》2001,24(11):1156-1162

计算两类网络的可靠性的多项式时间算法

下载全文  

定义了两类有向网络——ORC-网络和IRC-网络,并且提出一个计算它们的根通信可靠性(网络的一个特定结点(根点)能与其余每个结点通信的概率)的多项式时间算法.对于ORC-网络和IRC-网络,该算法的时间复杂度分别是O(｜E｜)和O(｜V｜·｜E｜),这里,｜V｜,｜E｜分别表示网络所含结点和边的数量.… …   相似文献

孔繁甲  王光兴  张祥德 《软件学报》1999,10(3):324-326

混合云中的一个高效协调器

  

云计算提供了4种部署模型:公有云、私有云、社区云和混合云.通常,一个私有云中可用的资源是有限的,因此云用户不得不从公有云租用资源.这意味着云用户将会产生额外的费用.越来越多的企业选择混合云来部署它们的应用.在混合云中,为了实现用户的利益最大化,必须满足使用资源的费用最小化和用户的… …   相似文献

王宗江  郑秋生  曹健 《计算机科学》2015,42(1):92-95,105

基于SVD的灰度水印单色通道嵌入算法

  总被引：2，自引：0，他引：2

为了更有效地进行多媒体数据的版权保护,提出了一种在真彩色宿主图像中利用奇异值分解实现的灰度水印嵌入的鲁棒算法。该算法首先利用奇异值的特征来对灰度水印图像进行编码预处理,编码后的水印信息存储为二值数字序列,并选择视觉掩蔽性高的宿主图像区域进行隐藏。为了保证水印的不可察觉性,该水印算… …   相似文献

赵丕锡  王巍  王成喜 《中国图象图形学报》2008,13(1):29-33

一种基于动直线的多幅图像分存方法

下载全文  总被引：12，自引：0，他引：12

Shamir给出了一种基于拉格朗日插值的密码学分存方案,该文将其思想引入到图像信息安全处理当中,提出了用动直线进行多幅图像分存的方法,并阐述了这一算法的数学基础.此外,在进行图像分存时考虑了更多的原始图像,采用高次有理曲线进行图像分存计算,并分析比较了基于拉格朗日插值的分存算法和… …   相似文献

闫伟齐  丁玮  齐东旭 《软件学报》2000,11(9):1176-1180

带通配符的模式匹配问题及其解空间特征分析

  

随着生物信息学、信息检索等领域的发展,带有通配符和长度约束的模式匹配问题引起了广泛关注。该问题扩展了精确模式匹配问题,使匹配更加灵活,同时也增加了匹配的复杂性,极大地提高了非线性匹配算法的复杂度。求解该问题的匹配算法的效率与问题的解空间密切相关,而目前针对该问题的解空间及其特征尚… …   相似文献

项泰宁  郭丹  王海平  胡学钢 《计算机科学》2014,41(9):269-273,310

基于约束优化的Bézier曲面形状修改

  

Bézier曲线和曲面广泛应用于CAGD(计算机辅助几何设计)和计算机图形学,对Bézier曲线或者曲面的设计和形状修改是一个重要的问题。研究了基于几何约束的Bézier曲面优化问题,对单点和多点约束的问题,提出了一种通过修改控制点的约束优化方法。用这种方法,通过修改原Bézie… …   相似文献

夏飞海  吴庆标 《中国图象图形学报》2006,11(2):265-268

基于统计特性的小波噪声抑制在低剂量CT中的应用

下载全文  总被引：2，自引：0，他引：2

较高的照射剂量限制了X线断层成像(computed tomography,CT)技术在筛查及体检中的应用,目前临床常采用降低剂量的解决方案,但CT图像质量亦有明显下降。为提高低剂量CT的重建质量,提出了一种基于投影数据统计特性的小波去噪算法。通过分析低剂量投影数据的噪声特性,发现… …   相似文献

王东明  卢虹冰  张军英  刘欣 《中国图象图形学报》2008,13(5):876-881

子句型缺省逻辑中的分情形推理

下载全文  总被引：3，自引：0，他引：3

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.  相似文献

许道云  丁德成  张明义 《软件学报》2001,12(8):1140-1146

基于学习的高分辨率掌纹细节点质量评价方法

下载全文  

细节点在高分辨率掌纹匹配中扮演了重要角色,然而掌纹图像受到主线、褶皱线等的影响,提取出的细节点质量参差不齐.所以,对细节点进行质量评价并去除伪细节点,成为一个研究课题.提出了一种基于学习的高分辨率掌纹细节点质量评价方法.首先使用了基于图像的Gabor卷积响应和复数滤波响应等的一系… …   相似文献

王瀚  刘重晋  付翔  封举富 《软件学报》2014,25(9):2180-2186

联合无监督词聚类的递归神经网络语言模型

下载全文  

研究表明,在递归神经网络语言模型的输入层加入词性标注信息,可以显著提高模型的效果. 但使用词性标注需要手工标注的数据训练,耗费大量的人力物力,并且额外的标注器增加了模型的复杂性. 为了解决上述问题,本文尝试将布朗词聚类的结果代替词性标注信息加入到递归神经网络语言模型输入层. 实验… …   相似文献

刘章  陈小平 《计算机系统应用》2014,23(5):101-106