[00738973]网络协议模型及构造技术的研究
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
1、提出了多线程多层并发通信机制并在机器人多进程开发平台的设计中取得原始版权。2、该成果研究了协议模型的形式描述技术，提出了面向宏的风格。3、由于在协议模型底层是系统模型中异类结构的汇聚点，可以采用面向约束的风格或整体的风格。用面向宏的风格描述的系统要根据系统结构来确定规范结构，描述出的规范具有通用性，可以在多个模型规范中使用。它的意义在于在多个实体规范中被当作进程调用，只须在系统规范中定义一次即可。如果此进程被验证为有效，那么应用该进程的各实体规范只须做综合验证即可。4、对Estelie中通道概念进行扩展，使其能够描述广播通道。并在此基础上，引入了虚拟转发接口模块(vFNM)的概念。5、进行了基于LOTOS的渐进细化设计的研究。