论文部分内容阅读
本文描述了一类适用于通信协议的象形式模型,依据这类模型,对协议的有关概念和性质进行了形式描述和定义,并研讨了这类模型与有关FDT的语义联系。
通信协议抽象形式模型的研究
【摘 要】
：
本文描述了一类适用于通信协议的象形式模型,依据这类模型,对协议的有关概念和性质进行了形式描述和定义,并研讨了这类模型与有关FDT的语义联系。
【机 构】
：
武汉水运工程学院430063
【出 处】
：
小型微型计算机系统
【发表日期】
：
1993年11期
其他文献
本文给出了在VAX/VMS上用键定义设施和主谓模式实现的一种最简命令输入方法,它能极大地提高计算机系统的利用率和程序员的工作效率。文中给出了全部程序列表和一个应用实例。
为了提高施工企业经济效益,降低施工成本,文章将精细化管理理念融入二级公路大修项目成本管理当中,以期能够为施工企业的成本管理提供借鉴。
报销的历史一直可以追溯到清朝,在漫长的历史演变过程中财务报销已是不可或缺的管理手段,逐步形成现代企事业单位的基本业务。财务报销与企业预算管理、投融资、风险管理、成
2020年初,中铁上海工程局集团郑济铁路(山东段)工程项目部党组织成立以来,项目部党总支立足中心工作,将项目党建全力融入到生产经营工作中,助推项目高质量发展,起到了良好的
<正>《中国耳鼻咽喉头颈外科》杂志是中华人民共和国卫生部主管,中国医师协会、北京市耳鼻咽喉科研究所主办的专业性学术期刊,是北大核心期刊和科技部统计源期刊中的一员。本
期刊
该文应用CCK-8、Westernblot和ELISA等细胞检测技术研究桑叶液对人乳腺癌肿瘤细胞MDA—MB-231增殖、细胞凋亡、细胞周期及部分因子的影响及其抑制肿瘤可能的机制。实验结果表
为提高UNIX实时性,本文论述对Unix System V Release 3.2(简称UnixSVR 3.2)的存储管理的改造技术,使其支持实时进程的存储管理,实现实时进程的可执行文件预装入、页面在内存
成功的人文素质教育是人类社会全面和谐发展的需要，是高等艺术教育改革的重要内容之一。本文从人才培养方案、课程建设、校园文化活动、校园文化氛围、社会实践及师资队伍建设
为了响应现代市场的需求,必须建立柔性的自动化生产组织和信息系统。在分析了生产作业计划和控制存在的问题后,提出了独立制造岛的生产控制方案,最后介绍了独立制造岛的作业