您的位置： 专家智库 > >

吴国伟

作品数：2 被引量：0H指数：0
供职机构：江苏省教育装备与勤工俭学管理中心更多>>
发文基金：重庆市自然科学基金江苏省高校自然科学研究项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇基于LINU...
  • 1篇OPEN
  • 1篇SOLARI...
  • 1篇SUN
  • 1篇XYZ/E
  • 1篇MIPS
  • 1篇LINUX

机构

  • 2篇江苏省教育装...
  • 1篇苏州大学

作者

  • 2篇吴国伟
  • 1篇张广泉
  • 1篇王少将

传媒

  • 1篇电脑知识与技...
  • 1篇南京师范大学...

年份

  • 1篇2010
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Linux/MIPS平台的升级和还原系统的设计与实现
2010年
该文设计和现实了一种面向Linux/MIPS平台的升级和还原系统,该系统可以通过网络、U盘或本地硬盘来还原或升级Linux操作系统,从而充分利用原有系统的软件资源,减少部署和维护系统的工作量,文中给出了该系统的实现原理和描述了部分系统工具的功能。该系统具有使用方便、功能强大和成本低等特点,对国产处理器的产业化具有重要现实意义和应用价值。
吴国伟
关键词：LINUXMIPS
基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析
2008年
建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作.
王少将张广泉吴国伟
关键词：XYZ/E形式化描述
全选 清除 导出
共1页<1>
聚类工具0