论文部分内容阅读
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述.
基于SDL的PPP协议软件形式化开发
【摘 要】
：
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描
【机 构】
：
浙江理工大学信息电子学院
【出 处】
：
浙江理工大学学报
【发表日期】
：
2005年3期
【基金项目】
：
浙江省自然科学基金
其他文献
通过对面向服装的协同产品商务（CPCC）系统中服装产品的描述方法的探讨，在分析系统功能的基础上，提出了系统的解决方案，给出基于J2EE的服装CPC系统框架，并予以实现。
笔者通过对654例HBV感染者的分析,了解其感染HBV与演变为慢性肝炎、肝硬化和肝癌的相距时间,进一步探讨其年龄与发病结局的关系。 1 材料与方法 随机收集1997-2000年初步诊断
介绍了一种角度传感器智能检测系统的柔性化设计方法,阐述了检测系统的硬件组成和软件设计方案。该系统基于虚拟仪器技术,具有高精度、多功能及低成本等优点,并已经应用于角度传感器的柔性生产制造中,使机械振动、温度测控等仪器检测更加开放、灵活。
采用水热法＋溶胶凝胶法两步合成工艺制备LaPO4：Ce^3＋，Tb^3＋／YBO3纳米核／壳复合结构，并利用X射线衍射、透射电子显微镜对样品的结构、形貌进行了表征。荧光光谱分析表明，该纳米复合结构
根据曲轴和凸轮轴传感器信号的特点,提出了一种基于信号编码的正时同步方法,并采用分层设计思想和模块化设计方法,开发了基于MPC563芯片eTPU模块的正时同步软件,实现了正时同
我们应用促肝细胞生长素(Hepatocyte growth promotingfactor,pHGF)治疗46例重型化倾向肝炎取得了较好疗效,现报告如下。 1 资料和方法 1.1 病例资料 全部病例为2001年1月至2
近15年来在围术期使用自控镇痛泵（PCA）的患者越来越多，但是由于患者普遍缺乏相关知识导致对PCA的认知不足，而且目前大多医疗机构缺乏相应人员对患者进行规范系统的的健康教育指导
分别从与排放法规中劣化系数（DF）相关的几个方面,研究了乘法DF和加法DF的优缺点,得出了两种DF计算方法在法规执行中的差异。结果表明：加法DF能保持汽车的实际排放劣化水平,而乘
运用FLUENT软件对一种微型轴流风扇内部的非粘性三维流场进行数值模拟，获得了风机内部叶顶间隙内流动规律。对叶顶间隙泄漏涡流的形成和发展作出了比较详细的分析，得到随叶尖间
我们从1988年至1991年运用复方柴贯合剂治疗无症状 HBsAg 携带者65例,并与用复方树舌片65例对照,现报告如下:资料与方法一、一般资料:男性35例,女性30例,年龄2岁～4岁12例,5岁～1