切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
MAP载波带局域网MMS程序调用服务的形式化描述
MAP载波带局域网MMS程序调用服务的形式化描述
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:dza1987
【摘 要】
:
网络协议的形式化描述对于协议的定义,协议的正确性验证以及协议的实施有着非常重要的意义,本文采用有限状态自动机的方法对制造自动化协议的关键部分MMS的程序调用服务进行了形式
【作 者】
:
兰少华
顾一禾
【机 构】
:
南京理工大学计算机系
【出 处】
:
计算机研究与发展
【发表日期】
:
1995年1期
【关键词】
:
网络协议
局域网络
程序调用服务
形式化描述
MAP
protocol specification
formal description techniques
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
网络协议的形式化描述对于协议的定义,协议的正确性验证以及协议的实施有着非常重要的意义,本文采用有限状态自动机的方法对制造自动化协议的关键部分MMS的程序调用服务进行了形式化的描述。
其他文献
红富士苹果套袋后管理技术
1 继续加强肥水管理1.1 强化追肥 开花前后,以施氮肥为主;6月中下旬,氮、磷、钾肥配合使用;果实膨大期,以钾肥为主,配合适量磷肥。
期刊
管理技术
苹果套袋
红富士
果实膨大期
肥水管理
开花前后
施氮肥
钾肥
船用锅炉燃烧器检验要点
以新建38800t国际航行散货船为例,介绍整体转杯式锅炉燃烧器的性能和特性,通过分析中国船级社《钢质海船入级规范》、产品检验指南等相关要求,结合散货船现场检验,总结转杯式
期刊
散货船
锅炉燃烧器
转杯式
报警
建造
检验
bulk carrierboiler burnerrotating cupalarmbuildinspection
王实苹果引种初报
王实苹果是日本青森县野村园艺农场韩国营业所从富土中选育的大果型枝条芽变品种。2001年从日本引进,高接在陕西省果树良种苗木繁育中心7年生红富士树上,经2005~2009年观察,该品
期刊
苹果
引种
苗木繁育中心
芽变品种
品质优良
晚熟品种
大果型
青森县
乳腺癌生物治疗进展
本文阐述了乳腺癌发生,发展和转移的分子机制,认为乳腺癌的发生,转移与细胞表达的多种蛋白南有关,并提出针对这些蛋白质的多种乳腺癌生物治疗措施。
期刊
乳腺癌
生物疗法
转移
细胞表达
蛋白质
联电投资13.5亿美元参股厦门12寸厂
联电近日通过与大陆厦门市人民政府及福建省电子信息集团签订参股协议书,联电集团将通过参股方式,从明年起的五年内投资约13.5亿美元,取得将于厦门新建的半导体12寸晶圆厂。
期刊
厦门市
投资
12寸晶圆
电子信息
人民政府
协议书
福建省
半导体
果树冻害预防与救治技术
1冻害的预防1.1择优选种与高标准建园乡土品种和经过驯化的品种,已经逐渐适应当地气候条件,具有较强的抗逆性,可优先栽植。新引进的品种要经过试种,证明抗寒能力与适应性,才可以推
期刊
冻害预防
救治技术
高标准建园
果树
气候条件
抗寒能力
土壤疏松
根系发育
一种支持向量无冲突访问的质数存储器系统设计方案
SIMD体系结构步入低谷的原因之一是还滑有一个很好的存储器无冲突访问算法。从访问模式的覆盖面来,无疑质数模式最理想的。早在七十年代末的BSP并行计算机上就采用了质数存储器的,量由
期刊
质数存储器
无冲突访问
系统设计
存储器
SIMDprime memoryarray computerconflict-free access.
气象元数据库设计与实现
针对当前气象科学数据结构复杂、种类繁多、表现形式多样的现状和应用的需求,本文在理解气象元数据基础上,结合气象数据集的特点,采用元数据技术对气象海量信息进行有效发现、管
期刊
气象
数据库
数据共享
数据集
元数据
略论中小学教师的心理健康
在提倡素质教育的现行教育体制下,社会对教师的要求越来越高,教师的负担已十分繁重,职业压力在不断增大,心理疾患已远远高出社会一般人群。本文对教师出现心理健康问题的原因
期刊
中小学教师
心理健康
维护
胃癌手术后辅助疗法
<正> 目前,胃癌与其他许多实体癌一样,除切除之外尚无其他有效的治疗手段。本文所说的“辅助疗法”,是指根治手术后辅助使用的治疗方法。辅助疗法的对象是癌变组织已彻底切除
期刊
胃肿瘤
外科手术
辅助疗法
与本文相关的学术论文