一种扩展图重写模型下函数语言惰性模式匹配的实现方法

下载全文  

本文给出惰性模式匹配基于扩展图重写模型的实现方法,包括模式匹配编译算法、参量一致化和模式平坦化算法,前一算法较好地实现了[6]中尚未解决的惰性模式匹配问题;而后一算法较[7]中提出的算法简单、高效。  相似文献

周光明  王鼎兴 《软件学报》1993,4(4):8-14

自适应T样条曲面重建

  

为了进行快速高精度的曲面重建,提出了一种新的基于T样条的曲面自动重建算法。由于T样条控制网格具有特殊性质,因此在使用T样条进行曲面重建时,一个关键的问题是如何构造好一个T网格。该新算法在进行曲面重建时,用三角网格的参数化方法,先将数据点同胚映射到平面,然后再利用平面四叉树细分的方… …   相似文献

彭小新  唐月红 《中国图象图形学报》2010,15(12):1818-1825

不需要可信任方的门限不可否认签名方案

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

在1992年澳大利亚密码会议上, Harn and Yang 第一次提出了(t,n)门限不可否认签名的概念.其中,只有成员个数不少于t的子集才能代表群体产生、确认和否认签名.随后,一些研究者又提出了几个方案,但这些方案都是不安全的.因此,到目前为止,怎样设计一个安全的(t,n)门限不可否认签名方案仍然是个公开问题.提出了一个基于离散对数密码系统的(t,n)门限不可否认签名方案.该方案不仅安全、高效,而且不需要可信任方.另外,方案还具有一个很好的性质,即成员的诚实性是可以验证的.这是由于在分发密钥时,采用了Schoenmakers在1999年美洲密码会议上提出的可公开验证秘密共享方案和两个用来提供正确性证据的离散对数恒等式协议.… …   相似文献

王贵林  卿斯汉 《软件学报》2002,13(9):1757-1764

噪扰下数字化多频连续波雷达的测距模糊问题

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

数字化多频连续波测距雷达是一种新体制雷达.它具有能同时测定多个目标、便于同时得到目标多个运动参数等突出优点.为了解决增大最大测距不模糊距离与提高测距精度之间的矛盾,我们将会在多频雷达中采用参差频差关系进行测距,这样我们可以大大提高测距最大不模糊距离.但此时噪声对测距结果有着各种有… …   相似文献

许邦建  李纲  皇甫堪 《电子学报》2002,30(6):903-906

中巴地球资源一号卫星多光谱扫描图象质量评价

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

基于中国资源卫星应用中心提供的中巴地球资源一号卫星红外多光谱扫描仪（IRMSS）4个波段零级图象数据,首先综合运用各种有效方法进行了图象预处理（包括错位纠正、辐射校正、去噪声、清晰化、几何精校正等）,然后在此基础上选择图象信噪比、地面分解力、清晰度、辐射精度、反差等5个指标对图象… …   相似文献

张霞  张兵  赵永超  童庆禧  郑兰芬 《中国图象图形学报》2002,7(6):581-586

一种新的图像合成方法

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

提出了一种新的图像分割与合成方法。对于图像的分割,提出了新的切割图法,先是手工把一些明显属于物体和明显属于背景的像素分割出来,然后设置了新的能量函数,求它取最小值时的分割结果。对于图像的合成,提出了梯度比较法,在保留物体基本颜色特征的同时,改变了物体的光亮度,使其与新背景的光亮度… …   相似文献

刘则毅  徐高奎  丁雅斌 《中国图象图形学报》2007,12(3):432-437

可信终端动态运行环境的可信证据收集代理

下载全文  

可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平台模块(trusted platform model,简称TPM)的终端动态运行环境可信证… …   相似文献

谭良  陈菊 《软件学报》2012,23(8):2084-2103

基于大规模语料库的高频汉字串互信息分布规律分析

  

基于互信息的词典构建和自动分词是典型的基于统计的中文信息处理技术。通过计算大规模中文文本语料库的高频二字串、三字串、四字串的互信息发现:第一,高频词的互信息并不是很高,词和短语之间的互信息分布不存在明显界限;第二,高频无效汉字串的互信息与词和短语的互信息也没有明确界限,词、短语、… …   相似文献

余一骄  尹燕飞  刘芹 《计算机科学》2014,41(10):276-282

一种并行分布对象的互操作模型

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

并行软件设计本身的复杂性使它的复用成为一个引人注目的问题.分布对象技术不仅可以将并行软件封装成相应的构件,而且提供了利用各种异构系统进行并行计算的可能性,但这样往往会使这些构件的互操作的效率有所降低.文章提出的并行分布对象互操作模型试图解决这一问题.这个模型与分布对象的旧有模型兼… …   相似文献

王晨  周颖  张德富 《软件学报》1999,10(8):861-867

PROLOG—DBMS系统实现中的子句间优化技术

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

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．  相似文献

李磊  左万历  李希春 《软件学报》1995,6(3):136-141

损坏容忍的数据查询降级服务机制

  

传统的数据库安全机制重点关注数据的机密性,忽略了用户对数据库系统提供数据的完整性和可用性要求.为了提高系统数据的可用性和用户查询服务的满意度,提出了一种损坏容忍的数据查询降级服务机制.首先,在现有可生存性研究的基础上,引入降级服务的数据模型、数据完整度等相关概念,给出查询降级服务… …   相似文献

李玲  秦小麟  戴华 《计算机科学》2013,40(6):90-93

移动自组网络中采用连通支配集的有效广播技术

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

广播是移动自组网络(MANET)中的一种常用操作.许多移动自组网络的按需路由协议依赖于它来发现任意两个节点之间的路径.广播也是许多MANET应用中发布信息的重要手段.实现广播的直接途径是洪泛(flooding).然而,在没有有效的控制机制下,洪泛将带来严重的消息冗余、传输冲突和碰… …   相似文献

彭伟  卢锡城 《软件学报》2001,12(4):529-536

全局各向异性四边形主导网格重建方法

下载全文  

四边形网格的结构特点要求网格单元满足全局一致性,难以取得网格质量与表达效率之间的平衡.为此,提出一种基于全局的各向异性四边形主导网格重建方法,可生成网格质量好且冗余程度低的四边形网格.重建过程以主曲率线为基本采样单元,首先计算模型表面的主曲率场并对主曲率场积分,得到密集的主曲率线… …   相似文献

朱为鹏  高成英  罗笑南 《软件学报》2012,23(5):1305-1314

一种嵌入视频流的丢包自测量方法

下载全文  

现有的丢包主动测量方法是通过探测流的丢包信息去推测网络的丢包特性,进而推测特定应用流的丢包,测量结果不能准确获知某一给定应用流的丢包情况.由于丢包通常属于短时间、小概率事件,要更加准确地测量丢包就意味着需延长测量时间,或者提高探测流的发送速率以及时发现丢包,这将不可避免地增加网络… …   相似文献

胡治国  张大陆  谷丽丽  张起强  陈志伟  周华磊  曹孝晶 《软件学报》2013,24(9):2182-2195

P-M扩散与相干增强扩散相结合的抑制噪声方法

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

该文讨论保边缘的去噪问题。针对P—M扩散不能有效保持线状特征,相干增强扩散易出现虚假条纹的缺点,提出了一种P—M扩散与相干增强扩散相结合的去噪方法。首先,建立了一个P—M扩散与相干增强扩散的加权组合模型。该模型在图像边缘部分侧重于相干增强扩散,其余部分则侧重于P—M扩散。然后,针… …   相似文献

谢华英  周海银  谢美华 《中国图象图形学报》2005,10(2):158-163

基于知识的软件全程生成系统体系结构设计与综合

下载全文  

本文提出了一个基于软件工程数据库与知识库的软件全程自动/辅助生成系统SA-AGS的基本结构,重点讨论了SAAGS的综合技术和工作过程,略述了SAAGS功能构件及设施的构造方法。  相似文献

吴振容 《软件学报》1992,3(2):53-59

一种基于照片中纹理重构三维模型的方法

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

如何从真实世界中获取具有真实感的三维场景模型一直是计算机图形学中的一个难点.该文给出了一种从真实世界的照片中重建三维场景模型的算法.算法根据在空间稀疏分布的不同视点处的真实场景照片中颜色纹理的一致性来建立达到照片级真实程度的三维场景模型,可用于真实世界复杂形体真实感三维模型的建立… …   相似文献

杨孟洲  石教英 《软件学报》2000,11(4):502-506

城市交叉路口背景提取与车道标定算法

  

目的 为解决车辆对车道标记的遮挡问题,提出一种新的背景提取算法,同时基于透视变换实现了城市交叉路口的多车道标定。方法 首先,通过均值与帧间差分方法的融合,进行城市交叉路口的背景稳定与更新;然后,利用Canny算子及Hough直线检测得到各类直线;其次,基于透视变换、聚类分析和先验知识建立了车道线的筛选数学模型,实现了车道线标定;最后,通过实验对算法进行了验证。结果 采用10min长度、分辨率为2592×2048像素的某城市交叉路口实际监控视频进行交叉路口背景提取。本文算法的背景提取准确率比均值法和传统高斯混合模型法分别提升20%和30%左右,车道线标定也优于其他类似方法。结论 算法具有收敛速度快、准确率较高、稳定性较好等特点,在车流量大时可快速更新并消除车辆虚影,适用于光照条件正常的城市交叉种口的车道线标定。… …   相似文献

高飞  梅凯城  高炎  卢书芳  肖刚 《中国图象图形学报》2016,21(6):734-744

从多幅参考图像合成目标图像的逆映射算法

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

提出了一种从多幅参考图像来合成新视点目标图像的逆映射算法.这种方法不但成功地填补了由于投影区域扩张而产生的第1类空洞,而且还成功地填补了由于空间非深度连续物体相互遮挡而产生的第2类空洞,从而方便地实现了虚拟环境中的漫游.基于物体表面深度的连续性,提出了一种位移预测方法.该方法可以… …   相似文献

郑新  吴恩华 《软件学报》2001,12(10):1464-1471

非线性稀疏表示理论及其应用

  

在分析与总结现有稀疏表示方法局限与待解决问题的基础上,提出非线性稀疏表示理论,主要包括:构造单目标非线性稀疏表示模型,分析模型性质与设计求解算法,突破现有稀疏表示理论的线性局限,扩展应用范围;构造多目标非线性稀疏表示模型并设计求解算法,改变现有稀疏表示理论只能处理单一目标的局限,… …   相似文献

栾悉道  王卫威  谢毓湘  张芯  李琛 《计算机科学》2014,41(8):13-18