论文部分内容阅读
给出了支持软件体系结构设计时重用的反射式软件体系结构,描述了反射式软件体系结构的元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,基于软件规格语言Object-Z对PMB协议进行了形式化描述。
支持设计时重用软件的反射式软件体系结构及PMB协议研究
【摘 要】
：
给出了支持软件体系结构设计时重用的反射式软件体系结构,描述了反射式软件体系结构的元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,基于软件规格语言O
【机 构】
：
重庆理工大学计算机科学与工程学院,武汉大学软件工程国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2010年10期
【基金项目】
：
国家自然科学基金项目（60473066）资助
其他文献
图像无缝融合技术是图像编辑领域的重要方向,传统的方法是将目标物体从源图像中分离出来后直接嵌入到目标图像中,而未考虑源图像和目标图像在语义上是否匹配。实现了一种新的图像融合系统,它用Gist特征描述图像的场景语义,并将场景语义匹配应用于无缝融合之中,使图像融合更具有现实意义,该系统称之为同义图像融合系统。鉴于语义匹配时间复杂度较大,采用异构多核环境下CUDA并行编程和OpenMP多核多线程方法进行优
一．往年电密高峰期间县支行用电情况以湖南省桑植县为例，往年在电密高峰期间，因电力供应紧张或电路故障、电路改造等原因造成连续停电的情况并不少见。即使保证供电，也因为用电负
材料分析测试方法是材料相关专业本科生的重要基础课程,要求教师在讲授过程中重视各种测试分析方法之间的区别与联系。文章在分析该课程特点及教学注意事项的基础上,介绍了以
摘 要 目前，高校艺术类木工实验室建设基本以现代木工设备为主，特点是操作快捷、模型制作更加高效。但是，木工实验室大型机械设备的使用安全问题也变得尤为突出，设备伤人事件时有发生。论述木工实验室安全管理经验，希望能为高校艺术类专业木工实验室安全管理提供借鑒。 关键词 艺术类专业;木工实验室;安全管理;实验教学;虚拟仿真实验室 中图分类号：G482 文献标识码：B 文章编号：1671-489X（
受南海海盆演化以及邻区构造事件的联合控制,南海北部珠江口盆地内部构造表现出明显的多期走滑特征。走滑拉分作用控制了珠江口盆地现今的构造格局,在区域地质构造研究的基础
全国政协委员、中央财经大学金融学院教授贺强在两会期间针对电子支付产业提交了提案。他指出，支付系统是经济发展的战略基础设施，是现代服务业的重要组成部分。电子支付服务极
目的探讨三维C型臂X线机透视下经皮椎体成形术(PVP)治疗单节段骨质疏松性胸腰椎压缩性骨折(OVCF)的效果。方法回顾性分析尉氏县人民医院骨科2018-01—2020-02间行PVP治疗的12