领域模型中关联语义的描述逻辑表示与应用

从领域模型生成代码是MDA中模型驱动开发过程的重要环节。工程中领域模型一般用UML类图表示,然后生成数据访问层代码。UML组合关联的语义定义不明确,导致从领域模型生成的数据访问层代码不能精确地实现组合关联语义问题的出现。本文研究了描述逻辑CATS、ALCHOIQbr和知识库查询,在这三种形式化工具的基础上提出描述逻辑CATSbqr,使用CATSbqr分析了组合关联的语义变化;然后表示了领域模型中增加复杂对象的操作语义,并给出了在数据访问层实现增加操作的算法;最后将这种表示方法应用到销售单这个典型场景。本文的研究工作为建模工具实现UML组合关联自动转换成数据访问层代码提供了理论基础。

MANET中的高准确度地址冲突检测算法

基于被动地址检测算法PACMAN,找出其在部分网络环境下出现误判的原因,指出其不适用于可设定最佳路由标准的按需路由的缺陷。提出RPS算法,采用牺牲部分的网络流量和节点处理能力的方法,有效地解决PACMAN算法出现误判和部分路由算法不适用的情况。使用NS-2仿真工具对RPS与PACMAN算法进行模拟仿真对比,结果证明了RPS算法的改进效果。

基于服务等级的网格计算池模型

目前网格在应用中,常用网格计算池模型的方式,针对传统分布式网格模型和单一资源服务网格计算池模型所存在的缺点,提出了一种改进的基于服务等级的网格计算池模型,其基本思想是当“计算池”中有多余的空闲计算资源时,按照服务等级的思想,为用户分配多台计算机为其服务。对自己的改进方案思想,设计流程、服务级数的设置、初始化连接设置等主要的参数选取进行了详细的说明。经过分析可知,与原方案相比,本方案兼顾了两种方案的优点,支持服务分级和计费机制,可以充分利用网络资源,提高较大计算量用户的计算效率和运营效率。

WSN中基于网络覆盖控制算法优化研究

无线传感器网络中,传感器节点的能量不易补充,如何提高能量效率成为了传感器网络研究的重大问题。文章首先分析了经典的无线传感器网络节点调度算法(CPNSS算法)。针对其利用率低,能量不均衡的问题,提出了一种高效节能的无线传感器网络覆盖优化算法(Efficient Coverage-Preserving Node Scheduling Scheme),并具体介绍了ECPNSS算法设计及其实现过程。最后,将ECPNSS算法应用于LEACH协议,仿真结果表明,ECPNSS算法能有效节省网络能量,延长网络生存期。

基于LSP平衡的流量分配机制研究

对尽力而为(BE)网络流量工程中的自适应流量分配问题进行了深入研究,引入了一种平衡思想,提出一种基于LSP平衡的流量分配(LE-TD)机制,对网络中的流量进行网络平衡规划,利用需求和代价的平衡,使整个网络达到一种稳态,从而使网络中流量的分布模式是稳定的。仿真表明,该机制具有稳定性和收敛性,能有效地实现流量在多条并行LSP之间的合理分配,能有效提高网络端到端平均吞吐量,降低网络端到端平均时延,从而有效地实现了流量工程的优化目标。