Traffic-information-utilized low-complexity relay selection for two-way AF relaying networks

This paper investigates a two-way amplify-and-forward multiple relaying network (TWMR-AF) and presents a novel relay selection scheme, which is appropriate for different traffic patterns and has very low implementation complexity, rendering it very attractive for practical systems. Assuming the TWMR-AF over Nakagami-m fading, the approximate expression of the overall outage probability is derived, and the diversity and code gains are then obtained. The analytical results indicate that the proposed policy achieves better outage performance than the traditional max-min relay selection scheme, as validated by the simulation results.     

Spindle-shaped microfluidic chamber with uniform perfusion flows

The reaction chamber is important due to its wide applications. Based on the idea of the bionics, a novel spindle-shaped chamber (S-chamber) for microfluidics was designed to provide uniform flow and eliminate stagnant corners for microchannels. The computational fluid dynamics simulation results demonstrate that these S-chambers have a better performance compared to the conventional diamond-shaped chambers. An S-chamber with the optimized shape, which consists of a rectangle reaction region interfaced to the inlet/outlet channel through an expansion region with smooth arc edges, was fabricated by micromolding of polydimethylsiloxane. This S-chamber was fixed into a microreactor and mounted horizontally on a synthesizer for biochemical reactions. Solvent perfusion experiments and synthetic optimization experiments for in situ synthesis of peptide nucleic acids microarray were performed. The experimental results indicate that the newly designed and fabricated S-chamber provides excellent homogeneous perfusion flows. This type of S-chamber is designed for the most convenient fixation in the horizontal direction, without the need to consider the complicated effect caused by other housing directions. It has a wide application for cell culturing, microarray synthesis, gene hybridization, and many other microfluidic system-based techniques requiring uniform flow conditions.     

A method for shape and topology optimization of truss-like structure

We present a method for the shape and topology optimization of truss-like structure. First, an initial design of a truss-like structure is constructed by a mesh generator of the finite element method because a truss-like structure can be described by a finite element mesh. Then, the shape and topology of the initial structure is optimized. In order to ensure a truss-like structure can be easily manufactured via intended techniques, we assume the beams have the same size of cross-section, and a method based on the concept of the SIMP method is used for the topology optimization. In addition, in order to prevent intersection of beams and zero-length beams, a geometric constraint based on the signed area of triangle is introduced to the shape optimization. The optimization method is verified by several 2D examples. Influence on compliance of the representative length of beams is investigated.     

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

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

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服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。