隐私保护数据发布中身份保持的匿名方法

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

在隐私保护的数据发布研究中,目前的方法通常都是先删除身份标识属性,然后对准标识属性进行匿名处理.分析了单一个体对应多个记录的情况,提出了一种保持身份标识属性的匿名方法,它在保持隐私的同时进一步提高了信息有效性.采用概化和有损连接两种实现方式.实验结果表明,该方法提高了信息有效性,… …   相似文献

童云海  陶有东  唐世渭  杨冬青 《软件学报》2010,21(4):771-781

基于动态描述逻辑的网构软件系统故障诊断

下载全文  

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算… …   相似文献

王竹晓  杨鲲  史忠植 《软件学报》2010,21(2):248-260

ICN中的一种协作缓存机制

下载全文  

为了克服现有 Internet 架构存在的众所周知的缺点,未来网络的研究成为热点.ICN(information-centric networking)在众多新架构中正逐渐被公认为最有前途的方案.它把传输的内容缓存到沿途的节点.高效的缓存机制是它的一个重要研究方面.为此,提出了一… …   相似文献

刘外喜  余顺争  蔡君  高鹰 《软件学报》2013,24(8):1947-1962

基于聚类分解的高维度量空间索引B⁺-Tree

下载全文  

为了提高索引性能,高维度量空间索引通常采用K-Means等聚类技术来获取数据的分布信息.但是,已知的工作需要根据经验来确定聚类参数,缺乏对聚类与查询性能之间关系的理论分析.提出了一种基于聚类分解的高维度量空间B⁺-tree索引,通过聚类分解,对数据进行更细致的划分来减少查询的数据访问.对聚类与查询代价的关系进行了讨论,通过查询代价模型,给出了最小查询代价条件下的聚类分解数目等理论的计算方法.实验显示,提出的索引方法明显优于iDistance等度量空间索引,最优聚类分解数的估计接近实际最优查询时所需的聚类参数.… …   相似文献

张军旗  周向东  王梅  施伯乐 《软件学报》2008,19(6):1401-1412

改进粒子群算法对BP神经网络的优化

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

介绍一种基于改进粒子群算法优化BP网络的权值调整综合方法。该算法在传统BP算法的误差反传调整权值的基础上,引入粒子群算法的权值修正,并且在训练神经网络权值的同时优化其连接结构,删除冗余连接,从而建立了基于粒子群算法优化的BP网络新模型。结果表明,改进算法不仅可以克服传统BP算法收… …   相似文献

沈学利  张红岩  张纪锁 《计算机系统应用》2010,19(2):57-61

BACH:线性混成系统有界可达性模型检验工具

下载全文  

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具-… …   相似文献

卜磊  李游  王林章  李宣东 《软件学报》2011,22(4):640-658

一种有效的隐私保护关联规则挖掘方法

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

隐私保护是当前数据挖掘领域中一个十分重要的研究问题,其目标是要在不精确访问真实原始数据的条件下,得到准确的模型和分析结果.为了提高对隐私数据的保护程度和挖掘结果的准确性,提出一种有效的隐私保护关联规则挖掘方法.首先将数据干扰和查询限制这两种隐私保护的基本策略相结合,提出了一种新的… …   相似文献

张鹏  童云海  唐世渭  杨冬青  马秀莉 《软件学报》2006,17(8):1764-1774

一种TCP/IP卸载结构的设计与实现

下载全文  

为了将处理器从繁重的通信任务中解脱出来,解决通信系统中的瓶颈部分,适应高速通信网络,本文研究了一种新的TCP/IP卸载引擎（TOE）的原理和设计方法,并提供了TOE网络接口卡（NIC）的一套参考实现方案,此方案以Intel IOP310 I/O为处理器芯片组,在Linux上搭建自… …   相似文献

陈续喜  曾文海  程扬军 《计算机系统应用》2009,18(1):125-128

逆向工程中复杂拓扑关系的三角网格构造*

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

三角网格构造是逆向工程CAD建模技术中的一个重要步骤。提出了一种针对扫描线点云数据的三角网格构造方法,该方法的核心思想是合并同层的扫描线,并且标记合并后扫描线的间断点,以便三角网格构造和拓扑结构建立。该方法解决了对于包含分叉和内孔特征的三角网格的构造问题。  相似文献

陈志杨  潘如刚  叶修梓 《计算机应用研究》2005,22(1):232-234

基于抽象解释理论的程序验证技术

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

抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换… …   相似文献

李梦君  李舟军  陈火旺 《软件学报》2008,19(1):17-26