您的位置： 专家智库 > >

张兴元

作品数：3 被引量：1H指数：1
供职机构：南京通信工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章

领域

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

主题

  • 1篇星网
  • 1篇通信
  • 1篇通信网
  • 1篇通信系统
  • 1篇网络
  • 1篇卫星
  • 1篇卫星通信
  • 1篇卫星网
  • 1篇系统设计
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇函数式语言
  • 1篇STATEC...
  • 1篇CLEAN

机构

  • 3篇南京通信工程...

作者

  • 3篇张兴元
  • 1篇谢希仁
  • 1篇王元元
  • 1篇蒋慧

传媒

  • 1篇计算机学报
  • 1篇第六届全国机...
  • 1篇第一届全国多...

年份

  • 1篇1998
  • 1篇1996
  • 1篇1995
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
Livechart：一种用于活动性验证的Statechart被引量：1
1996年
Ｌｉｖｅｃｈａｒｔ是对Ｈａｒｅｌ的Ｓｔａｔｅｃｈａｒｔ的扩展．它可用于并发系统活动性的验证，并具有直观和严格的特点．它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的直觉和形式证明之间建立了一个良好的接口．本文给出了Ｌｉｖｅｃｈａｒｔ的语义和用Ｌｉｖｅｃｈａｒｔ进行活动性验证的方法．
张兴元谢希仁
关键词：STATECHART计算机网络
基于图重写系统的函数式语言Clean的类型系统
行协议验证的研究中，研究人员采用并实现用一种惰性高阶纯函数式语言Ｃｌｅａｎ作为验证的核心计算器。Ｃｌｅａｎ语言的实现是基于图重写系统的。该文介绍了该计算模型的类型系统，讨论了它是如何完成类型检测和类型推理的。并重点介绍了...
蒋慧张兴元王元元
卫星网网控通信系统的设计与实现
讨论了一个实际的卫星通信系统的网控通信系统的设计和实现。网控通信系统由多个结点和多段链路组成，在网控中心和被控制对象之间提供可靠的信令传输。它的设计和实现采用了一些独特的技术。该文在简要介绍网控系统构成的基础上重点对网控...
张兴元齐望东
关键词：卫星通信通信系统通信网系统设计
全选 清除 导出
共1页<1>
聚类工具0