一个无证书强指定验证者签名方案的安全性分析与改进

  

位置隐私泄露已经成为限制LBS应用普及的主要因素,而现有的位置隐私保护方法大都没有考虑移动用户所处的环境背景——道路网络。针对此问题,提出了一种基于路网环境的位置隐私保护方法,该方法主要包含3个部分:(1)利用Voronoi图原理构造路网V图,以满足用户路段多样性要求;(2)提出一种新的隐私模型——V_k-隐私模型,其兼顾匿名集内所有用户的隐私需求,并有效保证服务质量;(3)基于V_k-隐私模型提出一种新的位置匿名算法,它对同一V区内的多个用户进行共同匿名处理,以提高匿名效率和安全性。方法充分考虑了道路网络的结构特点,兼顾了用户的隐私需求与服务质量。通过理论分析论证了方法的抗推断攻击特性,并通过实验验证了方法的可行性。… …   相似文献

刘唐  汪小芬  丁雪峰 《计算机科学》2013,40(7):126-128,166

单发多收模式下无源雷达成像研究

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

首先分析了无源雷达成像系统的目标回波形式,得到了目标散射分布函数和雷达接收信号之间的傅里叶变换对关系;对单个外辐射源的情况,提出了利用部署多个接收站等效合成大的孔径对目标进行成像的方法.由于采集的数据非均匀分布且数据量很少,本文采用极坐标格式对数据进行处理,充分利用了原始精确数据… …   相似文献

王大海  王俊 《电子学报》2006,34(6):1138-1141

多值模态逻辑的计量化方法

下载全文  

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同… …   相似文献

时慧娴  王国俊 《软件学报》2012,23(12):3074-3087

基于知识的装配前趋约束图的生成

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

装配前趋约束图的生成是装配规划的关键环节,也是其中最困难的一步.该文在讨论了几种装配前趋约束图生成方法的具体实现以及它们的优缺点之后,提出利用几何知识和装配经验知识相结合的方法,建立装配知识库/数据库,给出了几种在复杂度上可行的解决方法.最后给出结论,并简单地讨论了结合知识的数学… …   相似文献

陈正  张钹 《软件学报》1998,9(7):487-495

一种基于形式化描述的测试序列生成改进方法

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

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试… …   相似文献

张立东  刘积仁  李华天 《软件学报》1995,6(3):142-147

遥感影像中模糊对象表达

下载全文  

遥感影像中的空间对象及其边界具有模糊性。针对遥感影像中模糊对象的表现特征,借助云理论和云模型来对模糊对象进行表达研究。基于影像的灰度和梯度等数字特征,构建基于数字图像的对象云,用对象云表达模糊对象,核外半云环表达其边界,从而用模糊数学的方法来合理表达遥感影像模糊对象,最后以遥感影… …   相似文献

王佐成  李永树  薛丽霞  汪林林 《中国图象图形学报》2007,12(11):2081-2085

机载火控雷达近距离地面慢速目标检测

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

机载火控雷达对近距离地面慢速目标进行检测时,由于地杂波散射体俯仰角随距离变化,引起杂波的空时二维分布随距离变化,呈现出严重的非平稳性.在这种杂波环境中,常规处理和空时二维处理都难以得到好的性能.本文提出一种杂波频移补偿的方法,对不同距离的杂波数据施加不同的频移变换,有效减弱了杂波… …   相似文献

王彤  保铮  廖桂生 《电子学报》2001,29(6):721-725

归纳数据类型的范畴论方法

  

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自… …   相似文献

苗德成  奚建清  苏锦钿 《计算机科学》2015,42(6):8-11

基于多层神经网络的交叉线自动识别

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

神经网络是一个非线性动力学系统,在许多方面都表现出强大的生命力,特别为信息科学所瞩目。将图形信息输入计算机是ＣＡＤ、ＧＩＳ等应用系统中不可避免而又十分繁重的工作,人们一直在追求一种自动化的方法来解决这一问题。该文在深入分析Ｈｏｐｆｉｅｌｄ模型及多层神经网络的理论基础、学习算法的基… …   相似文献

曹爱军  史杏荣  孙贞寿  梅建华 《中国图象图形学报》2000,5(2):149-152

具有超松弛因子的OSEM重建算法

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

创建了一种比 OSEM法更快收敛的、更灵活地适应临床要求的医学图象重建迭代算法 .通过引入超松弛因子 z改进现有的 OSEM图象迭代重建算法 ,在 z=1时 ,回复为通常的 OSEM,在 z>1时 ,合并引入非负约束和总计数归一化约束条件 ,保证迭代快速收敛 .使用计算机模拟数据… …   相似文献

刘力  吴朝霞  赵书俊 《中国图象图形学报》2002,7(8):814-817

面向路网的不确定移动范围查询技术

下载全文  

随着移动定位技术和物联网技术的不断发展,时空查询技术受到了广泛关注。在实际的应用中,对象的移动方向和轨迹常受到空间网络限制并且位置信息往往带有不确定性。在以一般性的概率分布函数形式表示位置的不确定性的基础上,提出一种基于分割区间的概率查询增量处理模型和查询优化方法。考虑采用概率分… …   相似文献

谷峪  郭娜  于戈 《软件学报》2013,24(6):1243-1262

运用层次纹理映射的基于图像绘制算法

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

提出一种基于图像绘制(image-basedrendering,简称IBR)的算法,以发挥图形卡的纹理映射功能,并能表现物体表面的三维凹凸细节.首先将深度图像的像素按其相关深度分为多层纹理图像,然后利用纹理映射的硬件支持,将这些层次纹理图像依次投影到与视点相关的成像面上,以得到所… …   相似文献

郑新  王文成  吴恩华 《软件学报》2001,12(11):1647-1653

软件流水中的一种数据调度算法

  

文章第1节对软件流水下多重循环中数据元素的调度进行了分析,着重讨论了用地址计数器完成简单地址运算的意义、ILSP(interlaced inner and outer loop software pipelining)算法的基本思想及其在此基础上分析了软件流水下多重循环中数据元素… …   相似文献

罗军  汤志忠  张赤红 《软件学报》1998,9(6):474-480

基于改进符号压力函数的变分水平集图像分割算法

  

为了更好地解决含有弱边界、灰度不均匀的图像在分割时出现的轮廓线错误移动而导致分割结果错误的问题,结合图像的统计信息,构造出一种新的符号压力(SPF)函数,提出了一种基于改进的压力符号函数的变分水平集图像分割算法。首先,利用新的压力符号函数代替边缘函数,构造了新的活动轮廓模型;其次… …   相似文献

曹俊峰  吴小俊  陈素根 《计算机科学》2015,42(8):40-43

Dual-Object: 面向对象的并行程序设计

下载全文  

面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力,从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄ… …   相似文献

袁伟  孙永强 《软件学报》1998,9(1):47-52

一种支持多媒体通信QoS的拥塞控制机制

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

本文针对Internet传输协议TCP的和式增加积式减少(AIMD)拥塞控制机制不适应多媒体通信,而目前拥塞控制的研究又大多集中在尽量做好(Best-effort)服务上的问题,结合Internet上多媒体通信的特点及其对QoS的要求,提出了一种将多媒体通信服务质量(QoS)控制… …   相似文献

罗万明  林闯  阎保平 《电子学报》2000,28(Z1):48-52

基于高斯混合模型的区域颜色迁移

下载全文  

针对具有多种颜色区域图像以及灰度图像的颜色迁移合成问题,提出了一种基于高斯混合模型的区域颜色迁移算法,以用于将一幅源图像的颜色迁移到一幅目标图像中。该算法首先在lαβ颜色空间中,采用高斯混合模型对源图像的颜色样本空间进行聚类拟合来得到具有源图像颜色信息的参考色彩模型;然后利用该参… …   相似文献

向遥  李宏  谢政  张卫 《中国图象图形学报》2006,11(11):1728-1731

一种基于图像区域系综分类的室外场景理解方法

下载全文  

多层感知机分类器是一种有效的数据分类方法,但其分类性能受训练样本空间的限制。通过多层感知机分类器系综提高室外场景理解中图像区域的分类性能,提出了一种自动识别室外场景图像中多种景物所属概念类别的方法。该方法首先提取图像分割区域的低层视觉特征,然后基于系综分类方法建立区域视觉特征和语… …   相似文献

张敏  刘利雄  贾云得 《中国图象图形学报》2004,9(12):1443-1448

基于熵模型的压缩域运动对象检测

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

随着视频编解码技术的发展,H.264已成为最主要的标准之一。为了能从H.264码流中准确有效地分割和提取出运动对象,提出了一种压缩域下的对象检测算法。该算法主要利用压缩域下对象的运动矢量信息,先对矢量进行中值滤波预处理,目的是为了减少运动估计算法和对象实际运动所产生的误差。然后利… …   相似文献

徐剑峰  刘志  张兆杨 《中国图象图形学报》2007,12(10):1815-1818

基于相位线性度的ISAR非平稳目标成像时间选择新算法

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

该文针对非平稳旋转目标ISAR成像时间选择问题,提出基于相位线性度准则的成像时间选择新算法。首先详细分析了目标非平稳旋转时散射点的相位特性,提出适合目标成像的运动条件;然后基于目标平均距离像提取两个特显点距离单元信号,共轭相乘去除平动相位,相位解缠并曲线拟合得到转动相位,进而评价… …   相似文献

彭石宝  许稼  向家彬  彭应宁 《电子与信息学报》2010,32(12):2795-2801