哈尔滨市科技创新人才研究专项资金项目(2011RFXXG015)
- 作品数：3 被引量：15H指数：1
- 相关作者：张健沛杨静张冰谢静李文平更多>>
- 相关机构：哈尔滨工程大学天津城建大学更多>>
- 发文基金：哈尔滨市科技创新人才研究专项资金项目国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于酶数值P系统的大数据场分析方法
- 2013年
- 为了解决大数据环境下快速求解数据场势值的计算效率问题,基于膜计算领域的酶数值P系统(ENPS),提出一种数据场分析方法。该方法先引入转移P系统对ENPS加以改进,以提高后者的流程可控性,再基于改进的系统给出计算大数据场势值的ENPS的具体实现。P系统的极大并行性导致大数据场势值求解在3步内完成,每个步骤的计算时间为常数,且与数据规模无关。在真实人脸图像数据场上的实验结果验证了此方法的高效性。
- 李文平杨静张健沛
- 关键词：数据场大数据
- 传播最大和最新接受前驱的On-the-Fly并行空性检测被引量：1
- 2015年
- 针对一种结合最大接受前驱的on-the-fly并行空性检测方法,在接受环最大接受前驱处于环外的情境,无法通过传播接受前驱以on-the-fly方式识别接受环的问题,提出一种传播最大和最新接受前驱的on-the-fly并行空性检测方法.在首次遍历积自动机时,它采用最大接受前驱和最新接受前驱的双值传播模式,最大接受前驱仍保留原方法的传播特征,引入的最新接受前驱追踪并行空性检测的局部遍历特征,使其在原方法传播接受前驱识别失效时仍能on-the-fly识别接受环.理论证明了该算法的正确性,对比实验验证了该算法提前终止率更高,时空成本更低,on-the-fly优势更强.在软件模型检测领域,该方法为并行空性检测进一步控制状态空间爆炸,提供了一种有效途径.
- 赵璐张健沛杨静
- 关键词：软件模型检测
- 基于敏感属性值语义桶分组的t-closeness隐私模型被引量：14
- 2014年
- t-closeness模型是数据发布领域中用于抵御相似性攻击和偏斜攻击的一种有效方法,但其采用的EMD(earth mover's distance)距离没有考虑等价类与数据表间敏感属性分布的稳定性,不能全面地衡量分布间距离,在分布间稳定差异过大时会大大提高隐私泄露的风险.针对这种局限,提出了一种SABuk t-closeness模型,它在传统t-closeness模型的基础上,为更加准确地度量分布间距离,以EMD距离与KL散度(kullback-leibler divergence)结合构建距离度量标准.同时,根据敏感属性的层次树结构,对数据表进行语义相似性桶分组划分,然后采用贪心思想生成满足要求的最小等价类,并且运用k-近邻的思想来选取QI(quasi-identifiers)值相似的元组生成等价类.实验结果表明,SABuk t-closeness模型在牺牲少量时间的前提下减少了信息损失,能在有效地保护敏感信息不泄露的同时保持较高的数据效用.
- 张健沛谢静杨静张冰
- 关键词：EMDKL散度
