【摘 要】
：
构件系统演化一致性是确保演化操作可靠的必要条件，若一致性得不到满足，则会致使演化后的系统达不到既定的功能目标。针对该问题，文中提出基于接口、流程结构、内部行为的构件系
【机 构】
：
云南大学软件学院,云南大学软件工程重点实验室
【基金项目】
：
本文受国家自然科学基金项目(61379032,61662085)资助
论文部分内容阅读
构件系统演化一致性是确保演化操作可靠的必要条件，若一致性得不到满足，则会致使演化后的系统达不到既定的功能目标。针对该问题，文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先，在演化后的系统中将每个构件视为判定执行者，使所有的构件协同参与一致性判定过程,从接口和流程结构出发，判断执行者和全局的一致性；其次，在满足接口、流程结构一致性的情况下，判断演化构件在演化前后的内部行为一致性；最后，通过对一个构件实例的完整分析，详细描述了该判定方法，并验证了其可行性。
其他文献
文章介绍了一种五环八区块的四十相程控LED灯源控制系统及其在影像仪中的应用;首先介绍了灯源的基本结构和五环八区块的灯源控制方式的定义,然后针对控制的功能需求设计开发了灯源电气控制电路,针对控制电路对应的硬件环境,我们在C++build-er环境中实现了对应的程控软件开发,并把它结合到了视觉测量软件的自动功能中,最后介绍了该款新型灯源在图像精密测量中的应用案例,结果表明该灯源的多角度照明和多组合方式
盲自适应多用户检测器因其只需很少的信息以及良好的抗多址能力，在CDMA系统中占据着很重要的作用；针对目前盲自适应多用户检测器中算法复杂度高的缺点，提出了一种基于仿射投影和
针对复杂图像易受背景干扰的问题,提出一种基于显著性与脉冲耦合神经网络(Saliency and Pulse Coupled Neural Network,SPCNN)的图像分割方法。首先,利用显著性检测算法和最大类间方差法获得显著性图以及目标图像,排除了背景对初始种子点选取的干扰;然后,计算出显著性图的质心,并将其作为初始种子点;最后,采用改进的基于区域生长的脉冲耦合神经网络对目标图像进行分割。在
由于某高炮通信系统结构复杂、技术先进,技术保障难度大,部队在形成装备保障能力方面还存在很大差距,主要是缺乏故障诊断设备,归根结底是缺乏有效的测试手段和适用的故障诊断
为弥补传统图像融合方法融合质量不高的缺点,提出了基于非下采样剪切波变换(Nonsubsampled Shearlet Transform,NSST)与自适应脉冲耦合神经网络(Pulse Coupled Neural Network,PCNN)的图像融合方法。首先,利用非下采样剪切波变换对源图像进行剪切波分解;然后,采用基于图像引导滤波器的融合规则对得到的低频分量进行低频融合;其次,对于高频分量,采
针对以往稀疏编码在图像去噪过程中存在的噪声残留和缺乏对图像的边缘与细节的本质特征的保护等问题,提出了一种结合第二代Bandelet变换分块的字典学习图像去噪算法,其更好地利用了图像的几何特性进行去噪。首先,通过第二代Bandelet变换可以灵活地根据图像几何流的正则性特征并能够自适应地获得图像的最稀疏表示来准确估计图像信息,并能自适应地选择最优的几何方向;然后,根据K-奇异值分解(K-Singul
传统的信息推送服务普遍缺少对社交用户具体情况的考虑,存在推荐信息针对性不强、系统转化率低等问题。针对上述问题,提出了一种基于用户画像的智能信息推送方法。借助智慧学