国家高技术研究发展计划(2011AA060406)
- 作品数:17 被引量:46H指数:4
- 相关作者:陆阳张达方欢朱晓娟金枫更多>>
- 相关机构:合肥工业大学北京矿冶研究总院安徽理工大学更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术矿业工程更多>>
- 一种公平有效的假名管理模型被引量:1
- 2013年
- 匿名是实现隐私保护的有效方法。由于恶意用户的存在,一些应用需要匿名追踪。针对当前可追踪匿名方案存在的两个问题:管理员的权利过大,ID和秘密关联的追踪机制产生的存储和搜索开销随着用户数量的增加而增加,提出了一种公平有效的假名管理模型。模型由假名证书发行、应用和协同追踪组成;采用新的部分盲签名协议确保CA参与假名证书发行,但无权追踪;采用秘密共享机制确保追踪机构必须协同才可揭露假名。由于实现了发行和追踪的分离且追踪机构无需存储、搜索ID与秘密的关联,因此所提模型有效地解决了上述问题。分析表明,模型具有匿名性、可追踪性、不可伪造性、健壮性、公平性,可应用于有匿名追踪需求的Internet安全通信,且能够与传统的PKI应用较好地衔接。
- 朱晓玲陆阳张本宏侯整风
- 关键词:匿名部分盲签名
- VANET中基于不经意传输和群签名的强隐私保护方案被引量:9
- 2014年
- 隐私保护是部署VANET的重要需求,事故责任判定要求隐私可揭露,因此给出可追踪的VANET隐私保护方案。为解决已有方案中权威伪造签名和权威妥协后隐私泄露问题,采取不经意传输为车辆颁发私钥,基于秘密共享联合揭露身份。为确保高效的匿名通信,采用了群签名、批验证、撤销预处理方法。安全分析表明,方案在匿名性和健壮性方面优于已有方案;性能分析表明,方案通信和计算代价与已有方案相近,可有效应用于有强隐私保护需求的VANET安全通信。
- 朱晓玲陆阳侯整风朱晓娟
- 关键词:隐私保护不经意传输秘密共享
- 实现故障无二义诊断的部分可观系统设计方法
- 2015年
- 针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。
- 方欢陆阳岳峰官骏鸣
- 关键词:故障诊断PETRI网
- 石材制品生产流程的CPN建模与优化调度分析
- 2015年
- 复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的优化调度方法。重点运用了3个关键方面:首先,在建模中实现多阶段、多产品的工序选择;其次,通过设置单个步骤变迁的输入和输出函数,满足不同石材制品不同处理时间的需要;最后,应用CPN-Tools工具验证了模型的活性,并基于可达标识图和状态空间报告求解最优调度。
- 王苏城方欢
- 关键词:颜色PETRI网性能分析
- 手持终端Linux实时性机制与分类调度策略研究被引量:2
- 2016年
- 针对手持终端高实时性和多任务的特点,在内核中增加编译实时互斥锁、线程化中断、高精度定时器和动态时钟等实时机制。基于RM算法和SCHEDFIFO算法相结合的思想,提出任务集分类调度策略,根据截止期调度算法硬实时性高的特点,分别使用截止期调度算法与实时组调度算法调度硬实时任务与软实时任务。理论推导和实验结果表明,改进后Linux内核的实时性能指标符合硬实时任务的微秒级要求,并且当系统过载时能有效降低任务的截止期错失率,在1.2-2.8的CPU负载区间内平均降幅达到18%。
- 王铭铖陆阳
- 关键词:手持终端
- 基于电子感应的鱼雷罐跟踪算法的设计与仿真被引量:1
- 2016年
- 为了实现鱼雷罐的自动跟踪,提出了一种基于电子挂接器和车列检测器的鱼雷罐跟踪算法。该算法主要包括鱼雷罐自动挂接算法、下传点名信息算法和上传挂接信息包算法,使车列检测器能根据接收到的挂接信息包推算出车列信息,进而得到鱼雷罐的位置和状态,实现鱼雷罐的跟踪和摘挂故障自排查定位,提高了鱼雷罐的周转率。并使用C#的多线程编程技术和MapInfo工具实现算法的仿真,验证了算法的正确性和实用性。
- 刘彦彦陆阳汤俊
- 关键词:鱼雷罐点名故障处理仿真
- 尾矿库灾害应急指挥平台研究被引量:3
- 2015年
- 尾矿库灾害发生时将极大的影响矿方的生产及人员安全,目前很多矿山都建立尾矿库在线监测系统来预防尾矿库灾害的发生,但是尾矿库在灾害应急方面所做工作还是不够。针对该问题,本文在已有的尾矿库在线监测的基础上,重点开展了尾矿库应急指挥软件平台、尾矿库报警联动机制、尾矿库远程控制技术、故障自诊断以及故障定位技术研究等。通过这些方面的研究极大的提高了矿方尾矿库灾害应急处理能力,为矿方安全多了一层保障。
- 陈凯张宣张晓朴张晓朴
- 关键词:尾矿库灾害应急报警联动远程控制
- 地下金属矿无线通讯技术被引量:4
- 2013年
- 综述了国内外地下金属矿无线通讯技术的主要技术特点及发展现状,介绍了透地通讯系统、井下RFID系统、井下ZigBee系统、井下Wi-Fi系统和Mesh网络的相关技术原理及其在地下金属矿中的体系结构及应用情况,分析了各技术的适用场地及性能,并指出了目前各技术在通讯速率、可靠性、功耗等方面的不足。
- 金枫张达战凯
- 关键词:地下金属矿无线通讯
- 基于ZigBee的图像传输系统研究及其应用
- 通过对ZigBee无线传感器网络进行研究,并在该系统基础上实现了图像传输系统,并成功应用于三山岛金矿,通过将矿上井下图像传输到井上监控中心,能够及时了解井下环境,当井下发生灾害时,能够根据图片及时对救援进行科学部署,降低...
- 李涛刘旭金枫吕潇
- 关键词:ZIGBEE无线传感器网络图像传输
- 文献传递
- 基于活动关联度的服务构件识别方法
- 2013年
- 采用自顶而下的分析方法,结合面向服务架构(SOA)下企业业务流程模型组成元素的特点,提出一种基于活动关联度的服务构件识别方法。利用业务流程模型元素间的关联关系,通过业务活动之间关联度计算公式,形成关联度矩阵,采用基于矩阵变换的层次聚类分析方法对矩阵进行处理,获取高内聚、低耦合、可复用的业务构件。实例分析结果表明,与基于遗传算法的服务识别方法和基于聚类分析的企业信息系统业务构件方法相比,该方法识别出的服务构件综合度量指数最优。
- 吴雷魏臻魏臻岳峰
- 关键词:聚类分析