切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
反射式软件体系结构一致性研究
反射式软件体系结构一致性研究
来源 :计算机科学 | 被引量 : 0次 | 上传用户:liongliong526
【摘 要】
:
给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及
【作 者】
:
罗巨波
应时
【机 构】
:
重庆理工大学计算机科学与工程学院,武汉大学软件工程国家重点实验室
【出 处】
:
计算机科学
【发表日期】
:
2010年9期
【关键词】
:
软件体系结构重用
反射式软件体系结构
一致性
Reuse of software architecture
Reflective software archi
【基金项目】
:
国家自然科学基金项目(60473066)资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程。
其他文献
基于规范的移动Ad Hoc网络分布式入侵检测
移动ad hoc网络是移动节点自组织形成的网络,由于其动态拓扑、无线传输的特点,容易遭受各种网络攻击。传统的网络安全措施,如防火墙、加密、认证等技术,在移动ad hoc网络中难
期刊
移动AD
HOC网络
路由协议
网络安全
入侵检测
有限状态机
Mobile ad hoc networks
Routing protocol
Networ
基于MAP准则的红外图像小波域比例萎缩降噪和增强算法
针对小波域比例萎缩降噪方法在去除噪声的同时也弱化了图像细节和边缘的缺陷,提出了具有增强效果的基于最大后验概率准则的小波域自适应降噪算法,并将之应用于红外图像降噪中。该算法在假定图像系数和噪声系数先验为高斯分布的基础上,利用最大后验概率准则计算小波系数的萎缩因子,然后在考虑尺度因素和方向能量因素的基础上对萎缩因子进行修正并将之应用于小波系数萎缩过程中,最后通过逆变换得到降噪和增强的图像。试验结果表明
期刊
小波域降噪
图像增强
比例萎缩
高斯分布
最大后验概率
峰值信噪比
Denoising in wavelet domain
Image' s enhancem
一种基于并发命题投影时序逻辑模型检测的入侵检测方法
基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力,然而对并发攻击仍无能为力,因为该逻辑无法直接描述并发。针对此问题,在该逻辑的基础上定义了一
期刊
入侵检测
误用检测
模型检测
并发命题投影时序逻辑
Intrusion detection
Misuse detection
Model checking
SOA中基于属性的访问控制安全策略
SOA环境具有分布性、异构性和动态性的特点,传统的访问控制模型已经不能满足其需求。为解决SOA环境下的访问控制问题,提出了一种基于属性的访问控制模型(Attribute-based Acce
期刊
面向服务体系结构
基于属性
访问控制
SAML
XACML
SOA
Attribute-based
Access control
SAML
XACML
基于最小圆柱区域的锥束CT快速图像重建
传统锥束CT通常选取立方体或其内切圆柱作为图像重建的区域,因此考虑到工业CT重建目标尺寸差异较大的特点,提出了一种基于最小圆柱区域的快速三维图像重建方法。首先由不同视角下的锥束投影数据通过直线扫描转换算法构建重建目标的最小区域包络图;然后通过区域填充方法来进一步确定最小区域包络;在此基础上,采用中点圆算法得到最小圆柱区域的半径。该方法能够根据重建目标的尺寸自适应地确定最小圆柱重建区域,从而减少了不
期刊
锥束CT
图像重建
重建区域
ART算法
Cone-beam CT Image reconstruction Reconstruction region Alg
面向访问验证保护级的安全VMM形式化原型系统设计和实现
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。
期刊
安全操作系统
VMM
HASKELL
MONAD
形式化原型
Secure operating system
VMM
Haskell
Monad
For
一种基于UMTS核心网的定时器实现方案
针对UMTS核心网呼叫连接协议的实现,提出了一种软件定时器的实现方案。该方案以WinCE实时嵌入式系统作为开发环境,采用单链表队列和相对时间项方式的定时器数据结构,基于时间
期刊
定时器
链表队列
相对时间
核心网
WINCE
Timer
Link queue
Relative time
Core network
WinCE
基于云模型的决策表规则约简
通过对决策表的转换,将规则映射成为云向量,用云向量数字特征间的相似度来度量决策表规则间的等价关系。基于此,提出了基于云模型的决策表规则约简算法,不仅解决了粗集基于严格属
期刊
粗集
决策表
云模型
规则约简
等价关系
Rough set
Decision table
Cloud model
Rules reduction
Equiva
基于Arnold映射的改进粒子群算法
粒子群算法是一种广受关注的启发式全局最优搜索算法。在分析现有的一些改进算法的基础上,提出了一种利用Arnold混沌映射和单维度扰动项的改进粒子群算法。算法通过改善单个粒
期刊
粒子群优化
ARNOLD映射
单维度扰动
Particle swarm optimization
Arnold map
One dimension distu
一种高光谱图像条带噪声去除改进算法
传统的矩匹配方法改变了图像在成像行或列方向的均值分布,使原始图像信息发生了较大改变。在分析HJ-1-A星超光谱图像条带噪声的基础上,提出了一种改进的矩匹配方法,将传统矩匹配算法中"参考图像"的平均值和标准差分别用平滑滤波处理后的列均值和方差来代替。实验结果表明,与传统矩匹配方法相比,该方法能减少图像信息的丢失,并能在保持原始图像特征的前提下有效地去除条带噪声。这种方法在其它多传感器遥感图像的条带噪
期刊
矩匹配
平滑滤波
条带去除
高光谱图像
Moment matching Smooth filter Destriping Hyperspectral image
与本文相关的学术论文