您的位置： 专家智库 > >

周晨

作品数：4 被引量：1H指数：1
发文基金：国家教育部博士点基金国家自然科学基金更多>>
相关领域：电子电信自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 2篇SDL
  • 1篇语义
  • 1篇数据类
  • 1篇数据类型
  • 1篇通信
  • 1篇转换器
  • 1篇网络
  • 1篇网络层
  • 1篇网络层协议
  • 1篇网模型
  • 1篇模型化
  • 1篇集成环境
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇ADT
  • 1篇ISDN
  • 1篇抽象数据
  • 1篇抽象数据类型
  • 1篇CHILL

作者

  • 4篇周晨
  • 3篇陈俊亮
  • 1篇丁炜

传媒

  • 2篇通信学报
  • 2篇北京邮电学院...

年份

  • 1篇1993
  • 2篇1992
  • 1篇1990
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
SDL中ADT的CHILL实现与证明
1992年
软件生产自动化是人们长期追求的目标。如今,在通信领域,软件自动化生产已成为现实。本文着重描述SDL到CHILL变换中,抽象数据类型(ADT)的CHILL实现,并证明了这种实现的正确性(使用IF-THEN-ELSE重写规则)。同时,我们提出了用CHILL实现ADT的一般方法。
周晨陈俊亮
关键词：抽象数据类型通信
SDL规范性能自动分析
1993年
重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成.
周晨陈俊亮
关键词：PETRI网模型
一个SDL集成环境IES被引量：1
1992年
随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的原理和实现方法,并描述了SDL的应用前景。
周晨陈俊亮杨放春袁迅杨正球罗刚
关键词：SDL集成环境语义转换器
ISDN网络层协议模型化验证及其功能实现
1990年
本文首先介绍了 ISDN 网络层协议的功能及试验模型的功能块连接,并示出了ISDN 的电路交换呼叫程序.然后,介绍一些 Petri 网的基本概念,利用 Petri 网对TSDN 网络层协议进行模型化,并对模型进行带先进先出(FIFO)信道的可达性分析,得出一些验证结论.同时,指出该分析方法的一些局限性,并提出一些相应的解决策略.
周晨丁炜朱祥华
关键词：ISDN网络层协议
全选 清除 导出
共1页<1>
聚类工具0