为互联网和数据中心业务定制的服务器——云计算资源池的最佳选择

随着云计算技术的不断发展,基于云计算定制的服务器在互联网和数据中心的应用日益广泛,各种解决方案层出不穷。本文通过分析服务器和云计算的技术特点,比较各种硬件解决方案的异同,确定最适合云计算资源池应用的硬件支撑方案。     

Amultiplemaneuvering targets tracking algorithm based on a generalized pseudo-Bayesian estimator of first order

We describe the design of a multiple maneuvering targets tracking algorithm under the framework of Gaussian mixture probability hypothesis density (PHD) filter. First, a variation of the generalized pseudo-Bayesian estimator of first order (VGPB1) is designed to adapt to the Gaussian mixture PHD filter for jump Markov system models (JMS-PHD). The probability of each kinematic model, which is used in the JMS-PHD filter, is updated with VGPB1. The weighted sum of state, associated covariance, and weights for Gaussian components are then calculated. Pruning and merging techniques are also adopted in this algorithm to increase efficiency. Performance of the proposed algorithm is compared with that of the JMS-PHD filter. Monte-Carlo simulation results demonstrate that the optimal subpattern assignment (OSPA) distances of the proposed algorithm are lower than those of the JMS-PHD filter for maneuvering targets tracking.     

水库移民长期补偿方式中经济性的若干影响因素分析

长期补偿方式是水库移民安置的一项重要创新,并正在一些地方水利水电建设工程中进行尝试。本文通过对比长期补偿方式与一次性补偿方式之间费用的差别,分析了补偿费用计算方法中各参数取值对长期补偿方式的总静态补偿费用和总补偿费用折现值的影响,并进一步讨论了敏感因子折现率和增长率的取值依据及其存在的问题,提出应尽快建立和完善长期补偿的相关政策,明确补偿标准和依据,以发挥这一创新机制的优越性,实现良性的、可持续的移民长期补偿。     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

ASP.NET AJAX编程初探

介绍了ASP.NET AJAX的基本功能结构,并着重分析了应用该框架进行Web应用程序开发的相关编程技术。     

《丑小鸭》教学电子书制作

借助电子杂志软件Iebook,尝试将二年级语文课《丑小鸭》制作成教学电子书形式进行教学,以期促进课程教学效果。     

larbin网络爬虫的体系结构

本文通过对larbin网络爬虫的研究后总结出了larbin网络爬虫的体系结构。然后结合该爬虫详细介绍了整个体系结构的工作过程．最后介绍了larbin网络爬虫的特点。     

一种改进的无线传感器网络节点定位算法

分析了DV-Hop算法定位过程及误差产生原因,提出一种改进的DV-HOP算法。该改进算法不改变DV-Hop算法的定位过程,在平均每跳距离估计、节点位置估计方法等方面进行了改进,并用MATLAB7.0进行了仿真,仿真结果表明,该改进算法可极大地提高节点定位精度,并且不需要增加网络通信量和额外硬件支持。