您现在的位置: 首页 > 技术转让 > 列控系统通信协议规范化开发的方法及系统
列控系统通信协议规范化开发的方法及系统

列控系统通信协议规范化开发的方法及系统

  • 专利类型:发明专利
  • 有效期:不限
  • 发布日期:2020-03-27
  • 技术成熟度:未知
交易价格: ¥面议
  • 法律状态核实
  • 签署交易协议
  • 代办官方过户
  • 交易成功

专利推荐

  • 技术(专利)类型 发明专利
  • 申请号/专利号 CN201010539849.8 
  • 技术(专利)名称 列控系统通信协议规范化开发的方法及系统 
  • 项目单位 北京交通大学
  • 发明人 赵波波 唐涛 郜春海  
  • 行业类别 物理
  • 技术成熟度 未知
  • 交易价格 ¥面议
  • 联系人 北京交通大学
  • 发布时间 2017-02-07  
  • 01

    项目简介

    本发明公开了一种列控系统通信协议规范化设计的方法,包括:根据列控系统的协议需求,制定列控系统协议的案例集合;绘制所述案例集合中的每个案例的顺序序列图;建立形式化协议模型;对建立的协议模型依次进行语义和语法验证、仿真和形式化验证,若在验证或仿真阶段出现问题,返回到建立协议模型的步骤进行重建或修改;最后形成模型库并生成协议模型分析报告。本发明还公开了一种列控系统通信协议规范化设计的系统。本发明通过按列控系统的协议需求,对系统协议进行建模,并对该模型进行验证,使得在协议设计过程中避免了二义性,及早地发现协议中的错误。
    展开
  • 02

    说明书

    展开

专利技术附图

< >

服务流程

过户资料

  • 买卖双方需提供资料
  • 平台提供
  • 过户后您将获得
  • 买家
  • 卖家
  • 公司
  • 企业营业执照
  • 企业营业执照

    专利注册证原件

  • 个人
  • 身份证

    个体户营业执照

  • 身份证

    专利注册证原件

  • 专利代理委托书

    转让申请书

    转让协议

  • 手续合格通知书

    专利证书

    专利利登记簿副本

安全保障

  • 品类齐全

    海量资源库,平台整合几十万闲置资源。
  • 交易保障

    完善的资金保障体系确保买卖双方资金安全。
  • 专人跟进

    专业交易顾问全程服跟进,确保交易流畅。
  • 快速响应

    专业在线/电话客服服务,快速响应贴心服务。
  • 售后无忧

    资质过硬,国内大知识产权服务平台。

在线客服

在线咨询

010-83278899

返回顶部