您的位置： 专家智库 > >

姜春艳

作品数：3 被引量：2H指数：1
供职机构：兰州理工大学计算机与通信学院更多>>
发文基金：甘肃省自然科学基金更多>>
相关领域：自动化与计算机技术理学电子电信更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 2篇LOTOS
  • 1篇设计方法
  • 1篇互斥
  • 1篇互斥访问
  • 1篇ESTELL...
  • 1篇FDT
  • 1篇IP协议

机构

  • 3篇兰州理工大学

作者

  • 3篇姜春艳
  • 2篇苗志锋
  • 1篇孙昊
  • 1篇王继曾
  • 1篇王继增

传媒

  • 2篇计算机工程与...

年份

  • 2篇2006
  • 1篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
Estelle中的通道扩展及广播通道被引量：1
2006年
广播通道(点到多点通道)是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术(FDT)标准之一的Estelle,其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展,使其能够描述广播通道。通过分析Estelle通道的3种扩展方案,引入了虚拟转发接口模块(VFNM)的概念。在尽可能保持与原版本的兼容性和一致性的基础上,对新的基于VFNM的广播通道扩展模型的语法和语义进行修订说明,从而扩展了Estelle对广播通道的描述能力。
王继增苗志锋姜春艳孙昊
关键词：ESTELLE
基于进程算子的IP协议形式描述
文章主要由四部分构成:第一部分:简要介绍了形式描述技术在协议工程中的应用范围,LOTOS技术的背景和发展状况(第一章);然后介绍了LOTOS的语言基础(第二章).第二部分:详细描述了在网络协议设计中基于LOTOS相关技术...
姜春艳
关键词：FDTLOTOS
文献传递
LOTOS渐进细化设计方法在互斥访问系统中的应用被引量：1
2006年
在复杂系统的设计流程中,每个设计阶段都要制定标准的设计方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念,并将其应用于互斥访问系统中,同时用LOTOS规范进行描述。
王继曾姜春艳苗志锋
关键词：LOTOS互斥访问
全选 清除 导出
共1页<1>
聚类工具0