论文部分内容阅读
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、 ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价.
用于通信网络协议开发的形式化方法
【摘 要】
：
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法
【机 构】
：
中国科学技术大学研究生院,中国电子设备系统工程公司研究所
【出 处】
：
计算机工程
【发表日期】
：
2004年2期
其他文献
在农业资源环境不断恶化、食品安全事件频发的背景下,加快推进农户绿色生产,对实现农业绿色转型、增强农业可持续发展能力具有重要意义。采用苹果主产区1086个农户的微观调查
agent认知模型是多agent系统研究的基础.该文抓住多agent系统的社会行为特性,构建了动态的多agent系统模型.它可以动态地调整系统agent的个数,增强系统的求解问题的能力,整个
提出了一种图像的识别算法,首先对图像进行Gabor小波变换,为了解决图像中的平移、旋转、尺度不变性,以及局部遮挡问题,对滤波结果计算其4个不变矩作为反映整体形状特征的特征向量,再对提取的特征向量利用SVM算法进行图像检测,检测结果表明该算法具有较好的抗噪性并能解决目标检测中的遮挡问题。最后利用弹性网格的方法对其进行识别。文中的检测和识别结果表明,多通道的Gabor滤波器对于纹理图像的特征描述比较充
提出了运用特征子集的不确定性系数作为特征选择的度量.特征子集的不确定性系数是一种单调的特征子集信息度量,因此可以将它作为特征选择度量.实验表明,特征子集的不确定性系
我院1998年1月～1999年12月初诊为病毒性肝炎5 089例，按1995年全国第五次传染病与寄生虫病学术会议修订的诊断标准，其中有非病毒性肝炎118例，占2.32%，现分析误诊原因如下。1 临床资