论文部分内容阅读
形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向对象的建模技术,它的半形式化的分析结果可被B方法所引用,此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法.
形式化方法B和UML的结合研究
【摘 要】
：
形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向对象的建模技术,它的半形式化的分析结果可被B方法所引用,此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法.
【机 构】
：
南京大学计算机科学与技术系(江苏南京)
【出 处】
：
2003中国计算机大会
【发表日期】
：
2003年11期
其他文献
掌握氧乙炔焰喷涂工艺参数和最终涂层性能之间的规律是保证涂层质量的主要手段。本文探讨喷涂技术，喷涂粉末流的特性；沉积效率和孔隙率对涂层性能的影响。实践表明冷态粉末熔粒子对涂层的结合强度沉积效率和孔隙率起着重要作用。氧乙炔火焰喷涂技术是工业上机器零件获得耐磨、防腐、耐高温、抗氧化最普通的方法，若工艺参数掌握不好，则得不到要求的理想的涂层效果。因此，了解掌握喷涂工艺参数与最终涂层性能之间的关系是保证涂层
采用WC-Co，SiC-Co，TiC-Co(or Ni)，Al2O3-Ni，W-Ni复合粉末和两种大颗粒Ni基合金粉末，用超音速火焰喷涂(HVOF)方法制各涂层，探讨了HVOF涂层结合强度的影响因素。结果表明涂层结合强度与喷涂粒子的温度、速度和动量等传统状态参数不存在直接的对应关系。提出了表征液固两相粒子状态的参量-有效固相质量，有效固相质量与HVOF涂层结合强度有较好的对应关系，而且液固两相粒子
冷气动力喷涂的工作温度通常比材料熔点低得多，因此，避免了常规热喷涂过程中高温氧化、残余应力等缺陷。近年来，该工艺的应用迅速掘起，但对涂层结合机理的研究尚未明了。本文利用扫描电镜、能谱仪、X射线衍射仪等手段来分析冷气动力喷涂铝青铜涂层的微观组织与成份，并对涂层的结合机理进行了深入探讨。
随着钢铁构件热喷涂防腐技术在我国的推广、应用，越来越多的人们认识到，热喷涂技术是钢结构长效防腐的最有效方法，是当今重要钢结构长效防腐的首选措施。本文对目前我国出现的一些热喷涂防腐施工质量问题分析了原因，并提出解决这些问题的建议。
高温腐蚀和磨损是电站锅炉“四管”普遍存在的技术问题，给电站的安全运行造成严重的危害。本文概述了国内电站锅炉“四管”喷涂预保护的应用及发展情况，重点介绍喷涂技术、喷涂材料、喷涂设备方面的发展情况。
漏洞检测与主动防御系统是一套集成大量黑客攻击工具,主动对网络系统安全性能进行检查测试,提高网络系统防御能力的系统.本论文在分析传统安全产品缺陷的基础上,提出并实现了漏洞检测与主动防御系统模型,结合新型安全防范平台介绍了它的功能和结构,说明了模型各组成部分的设计和实现方法,分析了模型的改进方向,最后强调了这一模型的优点和先进性.
多项式最大公因子(GCD)的计算是计算机代数与数学机械化研究中的关键问题之一.实际应用领域中的计算问题对高性能的并行多项式GCD计算提出了越来越多的需求.本文通过改造多项式GCD计算的模方法,提出了三个不同粒度的多项式并行计算算法,并给出了相应的负载平衡策略.集群环境和网格环境下的实验数据表明,我们的多项式GCD并行计算方法与国内外间类研究相比,具有更高的计算效率、更好的稳定性和可扩展性.