论文部分内容阅读
给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程。
反射式软件体系结构一致性研究
【摘 要】
：
给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及
【机 构】
：
重庆理工大学计算机科学与工程学院,武汉大学软件工程国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2010年9期
【基金项目】
：
国家自然科学基金项目（60473066）资助
其他文献
移动ad hoc网络是移动节点自组织形成的网络,由于其动态拓扑、无线传输的特点,容易遭受各种网络攻击。传统的网络安全措施,如防火墙、加密、认证等技术,在移动ad hoc网络中难
针对小波域比例萎缩降噪方法在去除噪声的同时也弱化了图像细节和边缘的缺陷,提出了具有增强效果的基于最大后验概率准则的小波域自适应降噪算法,并将之应用于红外图像降噪中。该算法在假定图像系数和噪声系数先验为高斯分布的基础上,利用最大后验概率准则计算小波系数的萎缩因子,然后在考虑尺度因素和方向能量因素的基础上对萎缩因子进行修正并将之应用于小波系数萎缩过程中,最后通过逆变换得到降噪和增强的图像。试验结果表明
基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力,然而对并发攻击仍无能为力,因为该逻辑无法直接描述并发。针对此问题,在该逻辑的基础上定义了一
SOA环境具有分布性、异构性和动态性的特点,传统的访问控制模型已经不能满足其需求。为解决SOA环境下的访问控制问题,提出了一种基于属性的访问控制模型（Attribute-based Acce
传统锥束CT通常选取立方体或其内切圆柱作为图像重建的区域,因此考虑到工业CT重建目标尺寸差异较大的特点,提出了一种基于最小圆柱区域的快速三维图像重建方法。首先由不同视角下的锥束投影数据通过直线扫描转换算法构建重建目标的最小区域包络图;然后通过区域填充方法来进一步确定最小区域包络;在此基础上,采用中点圆算法得到最小圆柱区域的半径。该方法能够根据重建目标的尺寸自适应地确定最小圆柱重建区域,从而减少了不
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。
针对UMTS核心网呼叫连接协议的实现,提出了一种软件定时器的实现方案。该方案以WinCE实时嵌入式系统作为开发环境,采用单链表队列和相对时间项方式的定时器数据结构,基于时间
通过对决策表的转换，将规则映射成为云向量，用云向量数字特征间的相似度来度量决策表规则间的等价关系。基于此，提出了基于云模型的决策表规则约简算法，不仅解决了粗集基于严格属
粒子群算法是一种广受关注的启发式全局最优搜索算法。在分析现有的一些改进算法的基础上，提出了一种利用Arnold混沌映射和单维度扰动项的改进粒子群算法。算法通过改善单个粒
传统的矩匹配方法改变了图像在成像行或列方向的均值分布,使原始图像信息发生了较大改变。在分析HJ-1-A星超光谱图像条带噪声的基础上,提出了一种改进的矩匹配方法,将传统矩匹配算法中"参考图像"的平均值和标准差分别用平滑滤波处理后的列均值和方差来代替。实验结果表明,与传统矩匹配方法相比,该方法能减少图像信息的丢失,并能在保持原始图像特征的前提下有效地去除条带噪声。这种方法在其它多传感器遥感图像的条带噪