基于面向方面技术的服务安全组合故障分析

服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理,并利用面向方面规范基本模块的行为、描述它们相互关系的手段,编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此,Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力,给出服务组合的正确性准则,并证明了其有效性.具体实例及仿真结果表明,该方法能有效地简化系统建模,有助于提高服务组合的设计质量.     

基于ZigBee技术的井下人员定位算法研究

物联网是嵌入式计算机与物理设备紧密耦合的系统,在智能交通、智能医疗、智能煤矿等领域的应用日益广泛。然而,如何有效地设计出基于ZigBee技术的人员定位算法成为具有挑战性的研究课题。在分析国内外现有定位技术优势和缺陷的基础上,提出了一种一维环境下基于Zigbee技术的井下人员定位算法。该算法利用滤波、惯性导航等算法对计算结果进行优化,在保证定位信息实时性的同时,提高了定位精度和人员运动轨迹的真实性。通过实际煤矿所采集的数据,验证了算法的可行性及有效性。     

改进型帝国竞争模型算法的研究

为了改善帝国竞争算法（Imperialist Competitive Algorithm,ICA）易早熟收敛,搜索范围低,精度小,帝国之间信息交互性不强等缺点,提出了两种基于同化模型和竞争模型的改进的ICA算法。针对殖民地在移动过程中由于过于直接的靠近统治者而造成的搜索范围过小以及容易陷入局部最优的情况在同化过程中引入了差异因子来增大搜索范围。针对帝国之间的交互性的缺失,引入了人忠诚度的算子来实现帝国交互以及同化机制的模型改变,较强的帝国统治者会因为忠诚度算子获得更多的支持,从而细致划分了一个帝国中的每个国家,利用纳什均衡和最大最小公平性引导帝国竞争进而使算法向最优解进行搜索。在竞争过程中设置时间节点动态划分迭代阶段,根据迭代的不同阶段特点选择最优竞争系数。对算法进行了理论证明,最后将算法应用于多个函数进行检测并与其他的改进ICA算法进行比较,在搜索精度和范围广度上有了一定的提高。     

软件工程教学的思考与改革

软件工程人才的培养是软件产业发展的基础,它和计算机科学人才的培养在内容和方式上都有很多不同.本文介绍了华东理工大学在软件工程教学改革方面的一系列探索,即一套体系、三个面向、五段教学方法和立体化教学手段,最后对这一教改的实践进行了总结.     

基于关系转移和增强学习的时空大数据动态预测

为了解决较大时空范围内的动态预测无法获得精确解的问题,采用支持较复杂工作流模式的群智计算方式,提出一种基于关系转移和增强学习的动态预测算法,解决时空数据中的优化问题.设计一个关系转移块,通过对时空数据进行特征提取来学习关系转移概率.建立一个预测增强学习块,随时间序列并行处理转移关系概率,根据特征偏好对时空数据进行优先排...     

基于能量感知的无线传感器网络拓扑演化

针对无线传感器网络中能源效率的问题,引入复杂网络理论的研究方法,提出基于能量感知无线传感器网络拓扑动态演化模型。在建模过程中考虑到无线传感器网络拓扑变化与节点的度数和剩余能量密切相关,而且网络中节点和链路是有增有减的动态行为,利用连续场理论推导出此模型具有无标度的特征,无标度网络对于节点的随机故障具有较高的鲁棒性。数值计算与实验仿真结果显示,算法可以有效地改善整个网络的结点均衡能耗。