基于GPU平台的有效字典压缩与解压缩技术

压缩技术被广泛应用于数据存储和传输中,然而由于其内在的串行特性,大多数已有的基于字典的压缩与解压缩算法被设计在CPU上串行执行。为了探究使用图形处理器（graphic processing unit,GPU）对压缩与解压缩过程潜在性能的提升,结合合并内存访问与并行组装的技术,基于CUDA（compute unified device archi-tecture）平台研究了两种并行压缩与解压缩方法：基于字典的无状态压缩和基于字典的LZW压缩。实验结果表明,与传统的单核实现比较,所提方法能够显著改善已有的基于字典的串行压缩与解压缩算法的性能。     

Fixed-time Group Consensus of Nonlinear Multi-agent Systems via Pinning Control

This paper deals with the fixed-time group consensus problem for multi-agent systems (MASs) subjected to exogenous disturbances. Firstly, two pinning control algorithms are constructed for MASs, which not only reduce the number of controllers but also achieve expected tracking consensus. Secondly, fixed-time group consensus is ensured by utilizing the algebraic graph theory, Lyapunov stability and fixed-time control technique. Finally, simulations are finally given for demonstrate the availability of the derived results.

     

Incremental join view maintenance on distributed log-structured storage

Modern database systems desperate for the ability to support highly scalable transactions and efficient queries simultaneously for real-time applications. One solution is to utilize query optimization techniques on the on-line transaction processing (OLTP) systems. The materialized view is considered as a panacea to decrease query latency. However, it also involves the significant cost of maintenance which trades away transaction performance. In this paper, we examine the design space and conclude several design features for the implementation of a view on a distributed log-structured merge-tree (LSMtree), which is a well-known structure for improving data write performance. As a result, we develop two incremental view maintenance (IVM) approaches on LSM-tree. One avoids join computation in view maintenance transactions. Another with two optimizations is proposed to decouple the view maintenance with the transaction process. Under the asynchronous update, we also provide consistency queries for views. Experiments on TPC-H benchmark show our methods achieve better performance than straightforward methods on different workloads.     

Model checking dynamic pushdown networks

A dynamic pushdown network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded programs with (possibly recursive) procedure calls and thread creation. Thus, it is important to have model checking algorithms for DPNs. We consider in this work model checking DPNs against single-indexed LTL and CTL properties of the form \({\bigwedge f_i}\) such that f _i is a LTL/CTL formula over the PDS i. We consider the model checking problems w.r.t. simple valuations (i.e., whether a configuration satisfies an atomic proposition depends only on its control location) and w.r.t. regular valuations (i.e., the set of the configurations satisfying an atomic proposition is a regular set of configurations). We show that these model checking problems are decidable. We propose automata-based approaches for computing the set of configurations of a DPN that satisfy the corresponding single-indexed LTL/CTL formula.     

特征主成分算法再探

对作者之前设计的求语言特征主成分的“距离法”做了深度解析,指出了“距离法”在应用过程中,切分成两个集合的“断点”会影响计算结果的精度。借助聚类分析的思想重新设计了语言特征主成分算法——“聚类法”来弥补“距离法”的缺陷。最后指出两个方法的缺陷可以相互弥补,在实际应用中应结合使用。     

栅元有效共振积分的CUDA算法设计与实现

核反应堆中需要实时精确地计算堆芯和增殖材料的有效共振积分或群截面来实现反应堆的安全控制。整个计算过程因为涉及大量的积分运算和庞大的核素截面数据,采用常规的计算方法,计算时耗相当大。基于统一计算设备架构(CUDA)平台,利用图形处理器(GPU)的计算能力,对整个计算过程进行并行化分解,多线程同时运算,大幅度提升计算速度,降低时耗。实验结果表明,在GPU上并行计算所得结果与原始数据没有明显差异,且加速效果显著。     

石墨烯/聚赖氨酸修饰玻碳电极测定铅离子

通过聚赖氨酸修饰电极静电吸附氧化石墨烯,并结合电化学还原制备石墨烯/聚赖氨酸修饰玻碳电极。应用Raman光谱确认了通过电化学还原过程可将电极表面所吸附的氧化石墨烯部分地还原成石墨烯。在阳极溶出法测定Pb2+的应用中,所得到的石墨烯/聚赖氨酸修饰玻碳电极较裸玻碳电极表现出较高的响应灵敏度。在1.0～5.0×10-6mol/L浓度范围,响应峰电流与Pb2+浓度呈良好的线性关系。     

《化学传感器:特性、性能和应用》简介

美国Nova科学出版公司自2009年起出版以评介化学各分支领域的进展和应用前景为重点的《化学研究与应用》(Chemical Research and Applications)系列丛书,涵盖了化学的各个分支领域。预计到2012年底共出版125卷。目前已列     

如何在C语言教学中帮助学生树立信心

该文对C语言教学中两种不同的教学思路做了举例、分析和比较,偏重算法的教学有助于培养学生研究算法编制程序的能力,但对初学者培养兴趣、树立信心方面没有益处,在这方面偏重语法的教学更有效率,建议在教学实践中注重两者的结合。     

A nonsmooth IMC method for mechanical systems with backlash

This paper proposes a discrete-time nonsmooth internal model control （NSIMC） approach for mechanical transmission systems described by so-called sandwich system with backlash. In this method, a dynamic compensator is introduced to compensate for the effect of the input linear subsystem. Thus, the sandwich systems with backlash can be simplified as a pseudo-Hammerstein system with backlash. The corresponding NSIMC strategy is designed to control this system. The design procedure of the controller is presented based on the analysis on the robust stability by considering the model errors involved with the effect of backlash as well as the compensated error of the input linear subsystem. Moreover, as the model is switched among the different operating zones, the robust filters are proposed to guarantee the robust stability and satisfactory control performance of the system.