论文部分内容阅读
组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工具SPIN进行检验。可以有效地对组件组合进行分析与验证。
软件组件的行为协议建模及SPIN检验
【摘 要】
：
组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工
【机 构】
：
中国人民解放军理工大学 指挥自动化学院，南京 210007 中国电子系统设备工程公司研究所，北京 100141
【出 处】
：
第五届中国软件工程大会
【发表日期】
：
2008年期
其他文献
劳务工,即外来务工人员,也就是人们通常所说的农民工。目前在深圳办理了劳动用工手续的劳务工有近500万人,他们为深圳的建设和发展做出了重要贡献,但他们收入低,流动性大。
照片的曝光不足或过度都会导致其局部区域的亮度与整体不协调，提出一种图像亮度增强算法，基于简单的笔刷交互操作方式，对与笔刷所覆盖的亮度近似的区域进行调整，而对其它区域亮度
阐述颜色一致向量的基本概念。并在此基础之上采用对图像重叠分块方法，自适应的一致性阈值，构造基于四元组的颜色一致向量的三种方法对原算法进行改进。通过实验比较，改进后的算
改进了One—Class SVM算法中约束条件的计算，以求得可用于聚类的支持向量(SV-Clustering SVM，SVCSVM)，从而使得一般应用于有监督的SVM算法可用于无监督的聚类中。通过在仿真数据
会议
为了提高三维虚拟场景的建模效果，需要对模型进行实时渲染。由于三维图像渲染问题本身的复杂性和特殊性，在基于C++等通用语言的开发平台上进行的三维效果开发存在着实现复杂，效
会议
因为图像数据是非平稳且具有很强局部特性的数字信号，为了获得高分辨率的插值图像，提出采用基于经验模式分解(EMD)的图像插值算法。充分利用已知数据，提出改进的获得IMF的算法，不
会议