您的位置： 专家智库 > >

夏循斌

作品数：7 被引量：6H指数：2
供职机构：武汉大学计算机学院计算机科学系更多>>
发文基金：国家高技术研究发展计划软件工程国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 7篇中文期刊文章

领域

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

主题

  • 6篇操作系
  • 6篇操作系统
  • 5篇分布式
  • 4篇分布式操作
  • 3篇系统模型
  • 3篇分布式操作系...
  • 2篇计算机
  • 1篇形式语义
  • 1篇自动生成
  • 1篇字处理
  • 1篇字处理系统
  • 1篇文字处理
  • 1篇文字处理系统
  • 1篇集成化
  • 1篇处理系统

机构

  • 7篇武汉大学

作者

  • 7篇何炎祥
  • 7篇夏循斌
  • 2篇孙祥胜
  • 2篇陈燕涛
  • 2篇蔡一炜
  • 1篇黄敏学
  • 1篇彭堂玉

传媒

  • 2篇高技术通讯
  • 1篇计算机研究与...
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇计算机与数字...
  • 1篇计算机科学

年份

  • 2篇1996
  • 2篇1995
  • 3篇1994
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
DOSFGS中的语义子系统被引量：1
1996年
分布式操作系统形式化生成系统（ＤＯＳＦＧＳ）主要由文法部分ＤＯＳＦＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法（ＣＦＧ），ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象、描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统ＤＯＳＦＳＳ相关的数据结构、操作集及其定义等。
何炎祥陈燕涛夏循斌孙祥胜蔡一炜
关键词：分布式操作系统计算机
中日文字混合处理系统的设计与实现被引量：1
1994年
本文通过对现今的中文和日文文字处理的分析，指出了对中日文字混合处理的必要性。在对现行系统编码分析的基础上，给出了既兼容现行系统的汉字编码系统又能接受日文编码系统，使其为一中日英全兼容的编码系统；并结合中文文字处理ＳＰＤＯＳ系统给出了一可行快速实现中日文字混合排版的方法。
黄敏学夏循斌何炎祥
关键词：文字处理系统
一种分布式OS自动生成系统模型被引量：1
1995年
现行分布式ＯＳ（操作系统）在理论和研制方法上仍存在一些问题，对此，我们提出了一种集智能型、集成化和可塑性于一体的分布式ＯＳ自动生成系统模型（ＤＯＳＡＧＳ）。用此模型生成分布式ＯＳ的过程几乎达到智能化、自动化和工程化的程度，所生成的分布式ＯＳ具有广泛的适应性和实用性。
何炎祥夏循斌孙祥胜陈燕涛
关键词：分布式集成化操作系统计算机
DOSFGS中的语义子系统被引量：1
1996年
分布式OS形式化生成系统模型(DOSFGS)主要由文法部分DOSFSG和语义子系统DOSFSS组成.其中DOSFSG采用了上下文无关文法(CFG)。DOSFSS则是一个带操作集的语义子系统,DOSFGS按照抽象、描述和细化三个步骤自动模拟生成用户所需的分布式OS。本文主要讨论其中的语义子系统DOSFSS的设计思想、操作集及其定义及基本工作流程等。
何炎祥夏循斌彭堂玉蔡一炜
关键词：操作系统
分布式操作系统形式化生成系统模型的研究被引量：2
1995年
分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。
何炎祥夏循斌
关键词：操作系统形式语义分布式操作系统
新型分布式操作系统及其研制方法被引量：3
1994年
现行分布式OS及其研制方法存在若干问题,对此,我们提出了一种集智能型、集成化和可塑性于一体的分布式OS自动生成系统(DOSAGS)模型,用此模型生成的OS是一种名副其实的新型分布式OS。
何炎祥夏循斌
关键词：分布式操作系统
一种新型分布式操作系统自动生成系统模型被引量：5
1994年
针对现行分布式ＯＳ及其研制方法所存在的主要问题，本文提出了一种集智能型、集成化和可塑性于一体的分布式ＯＳ自动生成系统模型ＤＯＳＡＧＳ，主要讨论了形成该模型的动机、它的逻辑结构、各组成部分的功能，以及在研制和实现过程中应探讨和解决的一些关键问题。
何炎祥夏循斌
关键词：分布式操作系统
全选 清除 导出
共1页<1>
聚类工具0