论文部分内容阅读
本文简要介绍了形式化描述语言Estelle的功能和结构,以及文卷传送、访问和管理协议(FTAM-ISO<sub>8571</sub>),然后给出了用Estelle描述的FTAM协议结构模型和动作模型的一个子集,并对这个形式化描述进行了一些解释。
ISO FTAM协议的形式化描述
【摘 要】
：
本文简要介绍了形式化描述语言Estelle的功能和结构,以及文卷传送、访问和管理协议(FTAM-ISO<sub>8571</sub>),然后给出了用Estelle描述的FTAM协议结构模型和动作模型的一个
【机 构】
：
东南大学,东南大学
【出 处】
：
计算机工程
【发表日期】
：
1989年4期
其他文献
当前,大学生就业难已是众人皆知的事实,也一直都是各大、专院校及各级政府非常关注和重视的问题,而作为高职院校的毕业生,尤其是作为司法警官职业院校的毕业生,就业形势就显
研究背景：甲基苯丙胺(methamphetamine, METH)外观似冰,俗称“冰毒”,是一种无色、无臭的纯白结晶或粉末,属于苯丙胺类中枢神经兴奋剂。甲基苯丙胺目前已成为全球第二位广泛使
通过对青海省电力公司各应用系统存在多账号、多次登录问题的分析,提出了利用目录技术解决多系统统一人口问题,并详细介绍了目录技术在青海电力公司一体化平台中的应用及效益
通过检索数据库,查阅相关文献、综述中大数据在中医药领域中的应用,以及查看政府门户网站政策法规,了解中医药发展政策指向,发现中医药事业的发展已经步入大数据时代,大数据
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着系统芯片复杂度的持续提升,不断增加的带宽需求和不可预测的线延迟使总线逐步成为提高系统芯片性能的瓶颈.总线仲裁器对系统芯片的性能起决定作用,所以对高效仲裁器的研
天然水体中存在浮游动植物等体细胞和游离ATP,会对细菌ATP的测定产生严重的干扰,所以探究体细胞和游离ATP的消除方法是生物发光法测定细菌总数中不可缺少的预处理步骤.本文研