【摘 要】
：
构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致
【基金项目】
：
浙江省自然科学基金资助项目（Y106603）
论文部分内容阅读
构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议进行监测,能够自动判定演化后的
其他文献
针对含有缺失数据的无线传感器网络数据融合问题,提出了一种简单易行的二次数据融合算法(TFA)。考虑到感知数据的时—空相关性,对缺失数据进行线性插值插补和回归分析插补,对插补结果利用线性组合融合算法进行融合。综合考虑各节点的信息,利用自适应加权融合算法进行融合。实验结果表明,该算法在含有缺失数据的前提下,能够以较低的计算开销和较高的估计精度实现数据融合。
为了提高基于行为描述的服务组合方法的易用性和效率,首先对服务和服务请求进行建模;然后使用一个三层图模型组织服务之间的关系,并基于这个三层图模型提出一种快速易用的服务组合方法;最后通过实例说明了该方法的组合过程,并从理论上分析了该方法的时间复杂度。理论分析显示该方法具有较好的效率。
提出一种基于多尺度稀疏表示的场景分类框架。首先从图像中提取多个尺度的局部特征,然后利用稀疏编码为每个尺度的特征单独学习相应的过完备字典;在图像表示阶段,为图像各尺度上的局部特征依据与其对应尺度的字典进行编码,并按照空间金字塔表示方法和特征各维最大汇总(max pooling)对各尺度上的特征编码分别汇总;最后将不同尺度上汇总的特征串接,形成对图像最终描述的全局向量。在三个常用标准场景库上的分类结果
设计和构建了一个基于结构化对等网络的计算资源共享平台DHT-CRSP。它可以把因特网上用户提交的科学计算作业高效地映射到平台中合适的工作节点上运行,通过容错和安全机制,能保证系统的可靠性和正确性。描述了DHT-CRSP中支持的两种分布式哈希表:Chord协议节点树和CAN协议空间区域;分析了DHT-CRSP中高效的资源匹配算法。通过构建评测环境,运行各种负载与作业场景下的结果表明,DHT-CRSP
针对异构无线传感器网络中的能量消耗不均匀,能量利用率偏低的问题,提出了基于能耗偏差协调的分簇算法(CDEC)。该算法充分利用网络异构性的特点,通过引入节点能耗偏差度β及其协调参数λ,对簇头选举的门限值及簇头轮换的条件进行实时调整,以达到均衡网络能耗、降低额外能耗的目的。仿真结果表明,CDEC分簇算法使得网络中能量的消耗更加均衡合理,显著延长了网络寿命,提高了网络的吞吐率。
为提高3D矢量场可视化效果,提出了一种基于微分滤波的流线增强方法。首先对三维纹理进行线性卷积运算,生成具有空间相关性的卷积纹理;其次对卷积纹理进行分数阶微分滤波,增强流线之间强度对比;最后采用纹理映射体绘制技术实现三维矢量场可视化,并通过设计体绘制的传输函数来显示矢量场的内部结构。实验结果表明,该方法有效地增强了流线间的对比,使绘制的流线更加平滑,同时也有效地消除了卷积数据过多引起的紊乱与相互遮挡
在动态帧时隙算法中,根据标签到达基本符合泊松分布的特点,同时在分析其斜率特点的基础上,结合二分查找的思想,提出一种新颖的时隙调整算法,即基于二分查找的动态帧时隙标签防冲突算法,快速实现时隙调整。仿真实验表明,该方法能够显著减少识别次数,提高单位时间的识别率。
提出了一种使用OpenCL技术对方腔流问题进行加速计算的方法。在计算方腔流问题时,将其转换为N-S方程通过空间有限差分和龙格库塔时间差分求解,并使用局部缓存等技术进行GPU优化。实验在NVIDIA和ATI平台对所给算法进行评测。结果显示,OpenCL相对其串行版本加速约30倍左右。
为了给普适计算环境提供一个统一的应用架构和模式,从普适计算研究现状出发,通过借鉴对象请求代理技术提出了设备请求代理模型,建立了设备基件的远程映射管理和统一调度机制,有效降低了普适计算环境下应用程序的开发难度和兼容传统应用程序。
针对非结构化P2P搜索机制不够灵活、不能有效解决跨域文件搜索的问题,提出一种基于兴趣域的非结构化P2P动态搜索算法。此算法根据每个节点共享的文件类型的差异,将网络进行分域,在分域的基础上利用预算值和TTL(time to live)值来控制搜索节点的数目和搜索的深度,对不同类型的搜索采用不同的搜索策略。实验表明,该搜索算法的节点覆盖率在50%左右,搜索效率保持在35%左右,即算法能够有效地满足用户