论文部分内容阅读
本文给一个基于属性文法的网络通信协议的形式说明与自动生成的模型，首先引和离一个扩展的属性文法描述工具，讨论了用其描述的协议的并行，同步、地等特性的有关问题；然后研究了基于属性文法的网络通信自动生成环境及其核心算法－－属性计算算法。
网络通信协议的属性文法规格说明
【摘 要】
：
本文给一个基于属性文法的网络通信协议的形式说明与自动生成的模型，首先引和离一个扩展的属性文法描述工具，讨论了用其描述的协议的并行，同步、地等特性的有关问题；然后研究了基
【机 构】
：
西北大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1998年4期
其他文献
将次协调模糊推理方法推广到模糊逻辑，提出次协调的模态逻辑，其逻辑推理关系是次协调模糊蕴含的模态推广，既可处理不一致信息，又可表示多世界模型，给出了次协调态逻辑的正确而且完
细胞毒T淋巴细胞抗原-4（CTLA-4）是激活的T细胞表达的一种膜蛋白，属免疫球蛋白超家族成员，它通过与B7分子的结合来阻止共刺激信号的传递，抑制抗原特异性T淋巴细胞的增殖活化，起到抑
本文分析Ｃｏｎｄｏｒ系统的控制软件、远程系统调用及检查点设备的实现和工作过程，讨论其任务局限性，指出实现中的不足并给出改进方案。
本文论述用转换方式实现传统程序设计语言的面向对象扩充，给出了一组关键技术以解决由子类型多态和动态定连所引出的问题，其基本思想是将类和发开处理从而避免转换过程中重复工
回采矿柱是延长矿山服务年限和提高矿山经济效益的一项重要措施，本文从回采方法和回采过程中的安全措施两方面，对金属矿山矿柱回采进行了一定探讨和总结，可供科研、设计和生产采
运用黄金市场衍生交易工具，实行国家黄金储备的动态化管理是当前我国黄金储备管理的首选。在我国的黄金储备法律制度中，央行在维护金融安全中的核心角色决定了其在我国黄金储备
蛋白质内含肽是存在于前体蛋白质中的一段多肽链,靠自我剪切的方式从前体蛋白中释放出来.蛋白质内含肽的发现,不仅在理论上丰富了遗传信息翻译后加工的内容,而且在实践上有重
当前,高等院校很有必要应用网络新媒介技术与理念推进教学学习方式改革。本文基于此考量,在建构主义双主教学思想指导下,在web1.0和web2.0课程形态基础上,充分应用web3.0技术
文章在分析网络教育技术服务外包评估的意义以及评估体系设计原则与方法的基础上,提出了开展网络教育技术服务评估的工作流程,设计了网络教育技术服务外包评估体系的核心要素
本文给出了一种基于Ｒｏｕｇｈ Ｓｅｔ理论的表示语言一ＲＳＬ。该语言包括面向应用与面向研究两部分。应用部分主要服务于对信息表进行分析与处理的用户。研究部分则主要是为研究Ｒｏｕｇｈ Ｓｅｔ及利用Ｒｏｕｔｈ Ｓｅｔ理论构