江苏省自然科学基金(BK2010192) 作品数:28 被引量:65 H指数:4 相关作者: 王昌达 周从华 鞠时光 刘志锋 金华 更多>> 相关机构: 江苏大学 紫琅职业技术学院 南通大学 更多>> 发文基金: 江苏省自然科学基金 国家自然科学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
面向统计应用的隐私保护发布 2011年 现有的隐私保护模型多为通用发布方法,基于信息损失率的评价方法在具体应用中并不能很好地反映数据的发布质量。面向统计应用提出了一种基于交互的序列表发布模型,结合用户查询需求基于QI相容类最小覆盖,在不割裂QI和敏感属性的基础上进行数据发布。实验结果表明,该模型对于大数据集的隐私保护发布具有很高的查准率。 金华 鞠时光 兰丽辉 刘善成关键词:数据发布 隐私保护 统计应用 用户交互 基于DCT域实时语音的信息隐藏方法 被引量:2 2012年 为了满足对秘密信息的实时性的需求,提出一种基于DCT域实时语音的信息隐藏方法。该方法使用DirectSound对实时的语音进行捕获,依据人类听觉系统的掩蔽效应,选择DCT中的高频系数,通过量化秘密的音频信息将其嵌入到捕获的原始语音中,通过Socket技术对语音进行实时的传输,并且在秘密信息的提取过程中不需要原始音频载体信息的参与,实现秘密信息的盲提取。实验结果表明,在网络较好的情况下可以有效地借助实时的语音传递秘密信息。 王昌达 马登峰关键词:捕获 离散余弦变换 盲提取 语音 基于HOG算子的手型特征提取算法 被引量:3 2015年 手型是动态手势的一个重要特征。已有的动态手势识别方法虽利用了手型信息,但是信息都隐含在数据中。对此提出一种动态手势中手型特征的提取算法。该算法能准确识别出动态手势中的手型特征。通过Kinect获取手部位置数据,计算手势样本的手局部图像的HOG(Histogram of Oriented Gradient)算子,通过统计手势过程中,临近帧的手局部图像的HOG算子的相似性,确定该样本的手型特征所在帧。实验结果显示,其手型特征识别平均正确率达到92.78%。 蒋美云 郭雷 徐梦珠关键词:手势识别 HOG 概率实时时态认知逻辑模型检测中抽象技术的研究 被引量:2 2013年 概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性. 刘志锋 孙博 周从华关键词:状态空间爆炸 基于项目反应理论的HSK自适应分级考试系统 2014年 为了提供一个高效、准确的HSK分级考试系统,文中提出了一种基于项目反应理论的对外汉语教学(HSK)自适应分级考试系统。该系统基于项目反映理论,并以试题作为一个基本的测试项目。当测试开始时,测试者可以自选等级,系统根据受测者指定的等级从题库中随机抽取若干题目组成一套试卷进行测试,根据测试结果,使用本文中设计的基于项目反映理论的试题抽取算法自动向受试者推送合适等级的测试题目。当满足试题抽取的终止条件时,系统将给出受试者合适的HSK学习级别。通过对学生考查实验并进行模型分析表明,该系统具有测试准确、效率高的特点,达到了设计要求。 肖刚 王昌达 张文莉关键词:项目反应理论 自适应 HSK 分级考试 一种可靠双盲的IP时间隐通道 被引量:1 2012年 针对现有的IP时间隐通道需要事前约定IP数据包的时间间隔与传输信息之间的编码方案,不能在收发过程中根据网络的传输质量进行双盲动态调整的问题,提出了一种IP时间隐通道编码方案的双盲动态调整策略。该策略通过细分网络环境,并针对不同网络环境动态选择预设的编码方案,实现了收发双方间编码方案的双盲动态调整。为了验证策略的可靠性,实现了这种可靠双盲的IP时间隐通道。实验结果表明,该策略能够较好地实现收发双方间的双盲动态调整。 管星星 王昌达 李志国 薄兆军关键词:抗干扰 马尔可夫决策过程的限界模型检测 被引量:8 2013年 限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法. 周从华 邢支虎 刘志锋 王昌达关键词:马尔可夫决策过程 状态空间爆炸 概率时态认知逻辑模型检测中三值抽象技术的研究 被引量:1 2012年 为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系;提出概率时态认知逻辑模型检测算法;依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果. 周从华 孙博 刘志锋 葛云关键词:反例 一种基于信息流脉络网的隐蔽通道搜索方法 被引量:1 2013年 针对隐蔽流树搜索方法存在的规模大、分析工作量繁重等问题,提出一种改进的隐蔽通道搜索方法。该方法采用网结构描述系统中的隐蔽信息流,提出网中隐蔽通道的判定规则;依据判定规则在深度优先搜索网中隐蔽通信路径过程中排除合法通道;结合路径中的操作序列构造隐蔽通道工作场景,从而发现系统中的隐蔽通道。实例分析和对比表明,该方法可以弥补隐蔽流树搜索方法的不足。 宋香梅 周密 鞠时光 王昌达 周从华基于改进MDLP算法和分子布朗运动优化的传感器节点故障诊断 2013年 针对监测区域中的传感器节点由于环境因素易于出现各类故障而影响了监测精度,提出了一种基于改进MDLP(Minimum Description Length Principle,MDLP)算法和布朗优化运动优化算法的节点故障诊断方法;首先,在经典MDLP的基础上设计了一种改进的全局数据离散化方法能有效地根据属性重要度对所有连续属性值进行离散化,在此基础上采用差别矩阵进行属性约简以减少特征维数,采用适合小样本数据故障诊断的LSSVM(Least Square Support Vector Machine,LSSVM)作为故障诊断模型,为了进一步提高其诊断精度,采用改进的分子布朗运动优化算法对其参数进行优化,从而得到最终的故障诊断模型;仿真实验表明:文中方法能有效实现传感器节点的故障诊断,具有较小的诊断误差的优点,与其他方法相比,在具有较高诊断效率的同时具有较高的故障诊断精度,具有一定的优越性。 韩小祥 王雪梅关键词:传感器节点 故障诊断 支持向量机