您的位置： 专家智库 > >

李中华

作品数：2 被引量：0H指数：0
供职机构：郑州大学更多>>
发文基金：河南省杰出青年科学基金河南省教育厅自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇形式化
  • 1篇形式化规范
  • 1篇形式化设计
  • 1篇形式化研究
  • 1篇通信软件
  • 1篇系统模型
  • 1篇可重用
  • 1篇可重用部件
  • 1篇可重用部件库
  • 1篇SDL
  • 1篇SDL语言
  • 1篇SIP协议
  • 1篇MSC
  • 1篇部件库

机构

  • 2篇郑州大学
  • 1篇平顶山学院

作者

  • 2篇李中华
  • 1篇穆维新
  • 1篇廖梦怡
  • 1篇何伟娜
  • 1篇刘润杰
  • 1篇申金媛

传媒

  • 1篇现代电子技术
  • 1篇电子设计工程

年份

  • 1篇2012
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
SIP协议系统模型的形式化研究
2009年
通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证。为SIP协议部件库研究开发提供形式化技术基础。
李中华穆维新刘润杰申金媛
关键词：形式化规范SIP协议SDLMSC
通信软件可重用部件库研究
2012年
文中对通信软件的可重用部件库进行研究,结合通信软件部件的特征,提出通信软件部件开发应考虑的附加因素,围绕部件开发的代价和效益目标,提出一种新的部件库设计规范,并建立部件库。
廖梦怡何伟娜李中华
关键词：通信软件可重用部件库形式化设计SDL语言
全选 清除 导出
共1页<1>
聚类工具0