国家自然科学基金(61300228)
- 作品数：21 被引量：48H指数：4
- 相关作者：刘志锋蔡涛牛德姣薛安荣王昌达更多>>
- 相关机构：江苏大学深圳信息职业技术学院中国人民解放军后勤指挥学院更多>>
- 发文基金：国家自然科学基金江苏省科技支撑计划项目浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- SCMPFS:面向SCM的聚合文件系统被引量：1
- 2015年
- 由于NVM器件集成度和DIMM接口数量的限制,大容量SCM系统中必然包含DIMM接口和PCIe接口NVM存储设备.这2类NVM存储设备在访问接口、访问方式、I/O性能、存储容量和内嵌处理能力等方面存在很大差异,这使得现有的内存和外存均难以直接应用与统一管理2类NVM存储设备;同时不同文件、文件数据与元数据、文件内各部分数据之间的访问特性和管理要求也不相同,这给高效管理大容量SCM系统带来了极大的挑战.提出了面向SCM的聚合文件系统SCMPFS,统一管理2类NVM存储设备.首先给出了聚合文件系统的结构;接着给出了元数据分层管理算法,具有元数据属性和NVM存储设备的特性,重构元数据的组织结构,将元数据属性合理分布到2类NVM存储设备中,提高元数据查找速度和管理效率;设计了数据聚合管理算法,通过打破文件数据的单一组织结构、通过文件数据在2类NVM存储设备之间的合理分布,提高访问文件的响应速度和文件系统的I/O性能,有效利用2类NVM存储设备中的存储容量;最后使用ramfs和PMBD分别模拟DIMM接口和PCIe接口NVM存储设备,在FUSE的基础上实现了SCMPFS的原型,使用postmark和Linux内核源码进行了测试与分析,验证了SCMPFS相比PMBD上Ext3能提高30%~63%的I/O性能,接近与PMFS,同时避免DIMM接口NVM存储设备容量的限制;此外测试也表明软件和接口开销成为影响大容量SCM系统性能的重要因素之一.
- 何耀牛德姣蔡涛朱叶青
- 关键词：非易失存储器元数据
- 基于属性的访问控制策略的正确性验证
- 2016年
- 基于属性的访问控制策略以更精确的粒度控制着用户或进程对系统资源的访问,因此获得了越来越广泛的应用。然而必须保证所制定策略的正确性,才能防止对系统资源的非法访问,因此必须研制出一种有效的方法来验证策略的正确性。基于模型检测技术提出了一种访问控制策略的覆盖性与完整性验证方法。主要思想是将覆盖性与完整性验证归约为模型检测问题。将规则集与其变异分别视为模型,以模态逻辑公式描述其性质。调用模型检测算法,分别在模型及其变异模型上检测性质,生成反例报告以确定模型故障点和模型规则缺失点,同时分析性质本身的完善性,最终以完善后的模型和性质再次调用模型检测算法来完成覆盖性与完整性验证。实例分析结果表明覆盖性验证能够有效发现错误的规则,完整性验证能够有效识别验证规则的完备性。方法依托于模型检测工具完成,具有自动化程度高、易操作、测试结果可靠的特点。
- 吕江华刘志锋徐亚涛周从华
- 主动网络流水印技术研究进展
- 2020年
- 简要介绍主动网络流水印技术的应用场景;描述了水印基本框架,对典型的主动网络流水印技术进行归纳和梳理,对各自的实现原理进行分析比较,给出最新研究进展;讨论现有针对网络流水印的攻击方法,并从隐蔽性、鲁棒性、抗攻击性等六个方面对水印典型算法的性能进行了比较;最后总结并指明了下一步的研究方向。
- 金华王成
- 关键词：网络隐通道匿名通信入侵追踪
- 基于PAT的使用控制模型的形式化规约与安全性分析被引量：1
- 2016年
- 使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数TCSP#建立了每个UCON核模型的形式化规约,以及针对一般化UCON的组合规约机制。其次,提出了各种基于单会话的进程组合机制,实现了复杂并发会话、时间控制与非确定性的形式化规范,从而使组合进程的可达空间即为所求空间。最后,提出了基于可达空间的UCON安全性分析方法,以及基于进程代数等价的控制规则冲突性分析方法。所有的工作都已在PAT上实现,表明所提方法是切实可行的,同时也为UCON的形式化规范与安全性验证寻找到了一个合适的工具。
- 周从华陈伟鹤刘志锋
- 关键词：UCON形式化规约
- 一种多种攻击并发下的WSN生存性评估模型被引量：2
- 2017年
- 无线传感器网络的生存性已成为部署传感器网络的一个重要考量因素。可生存的无线传感器网络要求在多种攻击并发的情况下能够继续提供关键服务,基于此提出一种多种攻击方式下的、基于簇的无线传感器网络生存性评估模型。因传感器网络的簇中存在多个遭受攻击的节点,为了更准确地判定簇的状态,设计了一种阈值机制来触发因多种攻击而产生的状态之间的转移,准确刻画了网络在遭遇攻击后采取的反制措施。利用连续时间马尔可夫链建立生存性评估模型并求解出可用性与生存性指标,分析了影响传感器网络生存性与可用性的若干因素。仿真结果表明,提高网络修复率和攻击响应率能有效提高生存性与可用性,并且提出的模型能正确地区分网络遭受的攻击形式。
- 刘志锋陈凯李雷周从华
- 关键词：无线传感器网络生存性有效性连续时间马尔可夫链
- 智能组卷的HSK自适应分级考试系统
- 2015年
- 在自适应分级的对外汉语考试系统(HSK)上提出了一种具有知识点最大覆盖性质的组卷算法。该算法把对知识点的覆盖、题型均衡化、自适应难度作为主要控制目标。当开始测试时,测试者可以使用系统的缺省等级,也可以自选等级,系统将依据指定的等级采用具有自适应功能的最大覆盖算法从题库中合理抽取试题组成试卷用于汉语水平测试。对比实验表明,具有最大覆盖性质的自适应试题抽取算法,对考生汉语能力的评价更为客观。
- 张梦凡王昌达张文莉
- 关键词：知识点智能组卷
- 关联子空间离群点挖掘被引量：2
- 2015年
- 针对高维数据,已有的子空间离群点挖掘方法未能有效反映子空间的关联程度,对所有数据点采用统一的子空间,不能有效凸显不同离群点存在的特有子空间,导致挖掘精度不高和挖掘结果难以解释等问题.且都平等的对待数据点在多个子空间中的离群得分,使离群点与非离群点之间的对比度低.为此,提出一个新的关联子空间离群点挖掘算法.算法根据数据点及其局部邻域在一维投影上的分布特性,把一维投影上具有最大非均匀分布程度的维作为关联度子空间的基准维,用类Apriori算法将关联度大的子空间快速构造成不同数据点特有的关联子空间集合,并基于关联子空间进行离群点挖掘.算法给偏离度大的赋予较大的权值,加大了离群点与非离群点之间的对比度.实验表明,算法取得较高准确度,并优于现有方法.
- 葛清龙薛安荣贾小艳
- 关键词：离群点挖掘子空间
- 不同网络环境下大数据系统的测试与分析被引量：5
- 2016年
- 为了研究网络架构和通讯协议对大数据处理与应用系统效率的影响,在介绍与分析不同网络架构和通讯协议的基础上,使用以太网和Infiniband网络连接,安装TCP/IP,IPoIB和RDMA协议,构建了Hadoop,Tachyon和Spark原型系统,使用通用测试工具和例程等进行了测试.测试结果表明相比使用TCP/IP,使用IPoIB能提高Hadoop的I/O性能4.6-5.6倍,减少Tachyon数据处理的时间开销达2%-27%,减少了Spark 90%-95%的时间开销,同时Spark性能提高了46倍.此外使用RDMA相比IPoIB减少了3%-15%的系统开销.最终分析得出,高速网络架构和高效通讯协议能有效提高大数据处理系统的I/O性能、处理效率和适应能力.
- 朱叶青牛德姣蔡涛何耀
- 关键词：HADOOPTACHYONSPARKINFINIBANDRDMA
- 基于贝叶斯方法和变化表的恐怖行为预测算法被引量：8
- 2016年
- 传统的恐怖行为预测算法没有考虑到组织会改变其行为策略,而CAPE算法根据组织背景的改变预测行为变化,但其只能根据变化表中存在的背景变化预测行为。为了能根据任意背景变化预测恐怖行为,针对恐怖数据高维小样本的特点,提出了一种利用贝叶斯方法在改进的变化表上预测组织行为的算法。利用贝叶斯方法可快速有效地解决高维小样本分类问题的特性,在改进的变化表上实现对组织行为的预测,从而提高了预测精度和计算效率。此外,考虑到背景的变化会在时间序列上对组织行为产生持续的影响,因此在不同时间滞差下,利用加权的贝叶斯方法预测组织行为。MAROB数据集上多个组织数据的实验结果也表明,所提算法在准确率及时间复杂度上优于CAPE算法。
- 薛安荣毛文渊王孟頔陈泉浈
- 关键词：贝叶斯方法
- 基于安卓的校车实时定位系统的设计与实现被引量：3
- 2015年
- 为了提高大学校园的校车服务质量,使得校车服务更加便民化,提出了基于Android平台移动终端的校车实时定位系统的设计方案。介绍了系统的总体结构框架、开发环境、数据库设计、系统各模块的详细设计以及系统功能的实现。经过实验测试,系统在网络延迟和GPS定位精度上均可达到实际需求。实现了通过套接字通讯技术在Android客户端应用地图服务实时显示校车的图形地理位置。
- 马暄炜刘志锋孙启航
- 关键词：GPSANDROID移动终端地图服务
