您的位置: 专家智库 > >

夏良

作品数:7 被引量:27H指数:2
供职机构:中国人民解放军炮兵学院更多>>
发文基金:中国民航总局科技基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇电子电信

主题

  • 1篇定时关机
  • 1篇信息安全
  • 1篇信息加密
  • 1篇信息素质
  • 1篇信息意识
  • 1篇云计算
  • 1篇认证密钥协商
  • 1篇认证密钥协商...
  • 1篇时间PETR...
  • 1篇实时系统
  • 1篇网络
  • 1篇网络克隆
  • 1篇无盘
  • 1篇无盘启动
  • 1篇线程
  • 1篇消解
  • 1篇协商协议
  • 1篇密钥协商
  • 1篇密钥协商协议
  • 1篇克隆

机构

  • 6篇中国人民解放...
  • 1篇南京航空航天...
  • 1篇徐州师范大学

作者

  • 6篇夏良
  • 2篇冯元
  • 1篇谢宝陵
  • 1篇戴宗友
  • 1篇祝义
  • 1篇黄志球
  • 1篇周航
  • 1篇周航
  • 1篇刘林源
  • 1篇张璐璐
  • 1篇吕永强

传媒

  • 2篇电脑知识与技...
  • 1篇计算机研究与...
  • 1篇电脑知识与技...
  • 1篇彭城职业大学...
  • 1篇软件导刊

年份

  • 1篇2012
  • 1篇2010
  • 3篇2009
  • 1篇2003
7 条 记 录,以下是 1-6
排序方式:
基于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年
提出一个新的高效认证密钥协商协议。对协议的运行过程进行详细描述(并给出示意图),然后对其运行效率和安全性进行逐项分析。通过分析表明:新提出的协议在计算效率和协议安全性方面取得了较好的平衡。
冯元夏良
关键词:密钥协商
共1页<1>
聚类工具0