夏良 作品数:7 被引量:27 H指数:2 供职机构: 中国人民解放军炮兵学院 更多>> 发文基金: 中国民航总局科技基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于Time Petri Net的实时系统冲撞检测与消解 被引量:2 2012年 time Petri net(TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性. 周航 黄志球 祝义 夏良 刘林源关键词:时间PETRI网 冲撞 消解 云计算中的信息安全对策研究 被引量:20 2009年 云计算是继网格计算后又一项正在兴起中的技术。它的出现使得"把互联网上众多的计算机组织起来,成为一台虚拟超级计算机"的梦想慢慢变成了现实。该文从云计算的产生背景和技术特点出发,研究了云计算面临的信息安全问题,总结了相应的解决对策。 夏良 冯元关键词:云计算 信息加密 无盘启动技术在网络克隆中的应用研究 被引量:1 2009年 在大型计算机机房的管理中,操作系统的频繁损坏给机房维护带来了沉重的负担。基于系统克隆技术和无盘启动技术,研究了无盘启动方式下的网络克隆模式,实现了一种高效、灵活、便捷的网络克隆系统。 夏良 谢宝陵关键词:无盘启动 网络 克隆 Windows9x/NT中线程编程技术浅析 2003年 介绍windows9x/NT中的线程技术的基本概念,并通过一个简单的基于线程的定时关机程序了解线程技术的编程实现。 周航 夏良 戴宗友关键词:WINDOWS9X/NT 操作系统 线程 编程技术 函数 定时关机 基于信息素质的计算机基础教学过程的优化 2009年 为了进一步提升学院的信息素质,适应信息技术的发展变化,适应信息化战争的需要,对计算机基础教育进行分析研究。该文分析了目前院校计算机基础教育存在的一些问题,提出了计算机基础教育的培养目标,最后给出了对教学过程相应的优化策略。 张璐璐 夏良 吕永强关键词:信息素质 信息意识 计算机基础教学 一个新的高效认证密钥协商协议 被引量:1 2010年 提出一个新的高效认证密钥协商协议。对协议的运行过程进行详细描述(并给出示意图),然后对其运行效率和安全性进行逐项分析。通过分析表明:新提出的协议在计算效率和协议安全性方面取得了较好的平衡。 冯元 夏良关键词:密钥协商