论文部分内容阅读
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.
解码器通信协议的一种形式化方法
【摘 要】
：
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.
【机 构】
：
武汉大学软件工程国家重点实验室(湖北武汉);武汉大学计算机学院(湖北武汉)
【出 处】
：
2002全国软件与应用学术会议(NASAC)
【发表日期】
：
2002年12期
其他文献
喷射传质是指利用喷射流动来传递流体间的能量及质量.液气射流泵是喷射传质装置的核心部件,它利用高速湍射流,通过流体质点或微团的紊动扩散作用,将能量与质量传递给被吸的流体,传质效率比一般填料的液膜传质高.它具有结构简单、工作可靠,体积小,混合充分及有利于化学反应等优点.液气两相流喷射传质是一个具有复杂的三维边界条件,并发生相变及化学反应的流动及传质过程.文中提出了液气喷射传质的双流体模型理论计算方法,
柱塞密封是保证高压水射流清洗机处于正常工作状态的技术关键,也是衡量高压水射流清洗机成套设备可靠性的重要标志.总结笔者多年从事高压水射流清洗技术及设备研发的工作经验,在本文中简要论述了目前应用比较广泛的几种中高压水射流清洗机柱塞密封形式的优缺点.
本文在试验研究的基础上,按照桥梁工程的实用模式分析和推导出桥梁工程用轻骨料混凝土的裂缝宽度及刚度的计算公式.为编制《轻骨料混凝土桥梁技术规程》做好必要的工作.
介绍了近年来某些桥梁及海洋工程项目在应用LWAC时的一些特色,有价格、结构中关键部位、特定场合以及额定密度混凝土等方面.它们都是成功的工程,可为有志于LWAC的工程人员借鉴.
随着我国墙材革新的深入发展,轻型墙材的比重正在逐年提高,特别是轻质大块机械条板具有其它新型墙板无法替代的优势.本文介绍目前生产轻质墙板的几种方法.
本文介绍一种由聚苯乙烯球与粉煤灰为主要材料复合的免烧结粉煤灰轻骨料,并对其生产工艺,主要技术性能,以及用其配制轻砼,生产小型轻砼砌块进行了试验研究.
多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.
COTS构件当前软件市场的一个新趋势.在CAT(Computer Aided Testing)平台项目的证书生成工具的设计中,我们利用MS Excel构件,快速的实现了工具,不仅降低了开发成本,还大大增强了该工具的灵活性和可维护性.文中给出了基于Excel的实现,并演示了证书生成的实例.实践表明,基于COTS构件的开发是解决类似问题的较好方案.
保证要求是现代信息系统安全评估的重点之一,它是信息系统满足安全功能要求的可信依据.保证要求的核心是将安全软件工程思想和技术贯彻于安全信息系统的整个生命周期过程中,为各项活动提供连续的方法论指导和具体技术方法的辅助,为系统安全目标和安全要求的完成提供充分的保证.结合可信DBMS的特点和特殊性,描述了安全软件工程方法在其开发过程中的应用,分析了从需求分析、系统高层设计、系统详细设计到系统实现、测试等主