论文部分内容阅读
增值服务是在原有网络的软硬件基础上进行的功能开发，它在不影响原系统功能的前提下实现功能附加，使网络功能得到增值。本文引入形式化描述技术，提出了基于协议形式化描述的增值服务开发方法，并通过对文件传输协议的描述讨论了该方法的具体应用。
基于协议形式化描述的网络增值服务开发方法与技术
【摘 要】
：
增值服务是在原有网络的软硬件基础上进行的功能开发，它在不影响原系统功能的前提下实现功能附加，使网络功能得到增值。本文引入形式化描述技术，提出了基于协议形式化描述的增值
【机 构】
：
天津大学计算机系
【出 处】
：
微机发展
【发表日期】
：
1996年4期
其他文献
Internet的迅速发展,电子邮件的应用变得十分广泛,但是许多无用、有害信息随之而来.通过对垃圾邮件的分析、处理,设计了'基于用户个性化兴趣'的垃圾邮件智能过滤概念
饲料成本仍然占据着家禽生产成本的最大比例。为了控制饲料成本，家禽营养学家一直在寻找可替代的饲料资源。传统上，当出现一种饲料原料（如玉米）供应量减少或价格上升时，营养学家会
从今人作呕的地沟油，到致癌的金浩茶油，再到最近各大媒体争相报道的金龙鱼食用油使用转基因原料事件，食用油的安全问题可谓“一波未平，一波又起”。作为每家每户厨房中的必备品，食
受年初的罕见雨雪冰冻灾害、养殖成本高企和节日效应等因素影响，今年上半年，我省肉类消费品价格曾一度大幅上涨，但随着天气好转和节日效应消退，肉禽蛋价格出现冲高回落，其中猪肉、
近日，在上海某公园发生晨练老人因心脏病猝死事件，在中老年人中造成很大的反响，大家都提心吊胆，甚至对运动健身产生怀疑。“生命在于运动”，实践表明，每周适度锻炼三个小时，
微量元素作为饲料添加剂经历了第一代无机盐和第二代简单的有机化合物。氨基酸微量元素螯合物，它有非常显著的增产效果，把饲料的生产推上了新的台阶，被称为饲料添加微量元素的第
莫棣华研究员在其文章《养殖业遇到的问题与对策》（见《广东饲料》2008年第3、4期）中针对当前养殖业在疫病防控、排污治理、动物源性食品安全及风味等方面所提出的一系列问题可
近几年来，利用微生态制剂来促进动物生长、改善动物健康成为了动物营养研究的热点之一。地衣芽孢杆菌是微生态制剂中的一种，以其耐高温、耐酸碱、抗逆性强、易贮存等特点被广泛
我国是世界蛋鸡养殖和鸡蛋大国，近年来商品代蛋鸡占世界存栏量的40％～45％，且逐渐增加。伴随产业化进程的加快，优良生产性能和蛋壳质量对禽蛋生产企业的重要性日益突显。热应激会干扰