迫零对Turbo码的性能影响

从距离谱的角度对迫零在Turbo码中的作用进行了理论分析。通过仿真，研究了迫零对Turbo码性能的影响。仿真结果表明，Turbo码编码器迫零处理有助于改善Turbo码的性能。     

基于H.264的改进阈值的可变自适应十字搜索算法

H.264视频编解码标准的算法复杂度高,不能满足视频监控和无线传输中要求的高压缩比、低码率和实时性的要求,通过分析可知运算量最大的是运动估计模块,本文对该模块的算法进行优化。在ARPS算法的基础上结合预测的初始点和自适应调节臂长的搜索策略的优点,采用可变阈值的早期终止策略和简单的搜索模板的算法。实验表明该算法在有效减少搜索点数的情况下并不会对图像质量产生较大的影响,提高了运动估计算法的搜索速率和鲁棒性。     

带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

A new algorithm for sparse interpolation of multivariate polynomials

To reconstruct a black box multivariate sparse polynomial from its floating point evaluations, the existing algorithms need to know upper bounds for both the number of terms in the polynomial and the partial degree in each of the variables. Here we present a new technique, based on Rutishauser’s qd$qd$-algorithm, in which we overcome both drawbacks.     

网络综合布线技术

文章介绍了网络综合布线系统常用的配线端接技术、标准,分析并给出了网络综合布线系统设计的要求和技术,对网络综合布线系统的实施是非常重要的。     

一种基于自适应扁平搜索模板的改进ARPS算法

针对ARPS算法中初始预测运动矢量不够精确并且ARPS算法针对不同宏块采用相同搜索策略的问题,在深入研究ARPS算法原理的基础上,提出一种基于自适应扁平搜索模板的新的快速运动估计算法.本文在算法的初始预测运动矢量、算法提前终止准则等方面提出了新的观点和方法,同时针对物体的不同运动趋势采用不同的搜索模板.实验证明,本文提出的改进算法在不影响图像编码效率的前提下较大地降低了计算复杂度.     

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [Stefanescu, G. Interactive systems with registers and voices. Fundamenta Informaticae 73 (2006), 285–306. (Early draft, School of Computing, National University of Singapore, July 2004.)]. After that, Dragoi and Stefanescu have developed structured programming techniques for rv-systems and their verification, see, e.g., [Dragoi, C., and G. Stefanescu. Structured programming for interactive rv-systems. Institute of Mathematics of the Romanian Academy, IMAR Preprint 9/2006, Bucharest 2006. Dragoi, C., and G. Stefanescu. Towards a Hoare-like logic for structured rv-programs. Institute of Mathematics of the Romanian Academy, IMAR Preprint 10/2006, Bucharest, 2006. Dragoi, C., and G. Stefanescu. Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series, 55 (2006), 129–138. Dragoi, C., and G. Stefanescu. Structured interactive programs with registers and voices and their verification. Draft, Bucharest, January 2007. Dragoi, C., and G. Stefanescu. On compiling structured interactive programs with registers and voices. In: “Proc. SOFSEM 2008,” 259–270. LNCS 4910, Springer, 2008.].In the present paper a kernel programming language AGAPIA v0.1 for interactive systems is introduced. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment. The main technical part of the paper describes a typing system for AGAPIA v0.1 programs.     

Research on the recognition algorithm of Turbo codes on trellis termination

For the blind recognition of Turbo codes in information interception, the recognition algorithm of turbo codes on trellis termination fall into following two parts. In coding structure recognition, turbo codes on trellis termination is defined as linear block codes, so the blind recognition of code length and start is achieved by analyzing the rank of codes matrix with a different number of columns and a different start; In encoder parameter recognition, by comparing the sequence matrix's column vector before and after interleaving and determining the decision threshold, the influence of error codes whose number is lower than the decision threshold is removed, and consequently, the problem of poor fault-tolerant performance in the traditional interleaving mode recognition method is solved. Simulation shows that the correct percentage of recognition is higher than 80％ at 10^-3 BER, and confirms the validity and reliability of the algorithm.     

600MW汽轮发电机定子绕组水电接头泄漏分析

某电厂一台600MW机组在常规大修中，发现定子绕组多处水电接头漏水，检查发现水盒和空心导线等处泄漏，采取现场修理的办法，成功消除了漏水缺陷。本文详细介绍漏水处理的经过。     

Spectral Method for Thermal Conductivity Calculations

We discuss several post-processing issues in molecular dynamics (MD) calculation of lattice thermal conductivity using the Green–Kubo formula. For crystals with high thermal conductivity such as SiC, converting the MD raw data on heat current fluctuations into thermal conductivity result is non-trivial. One can accelerate the process using Fast Fourier Transform and the spectral method. A few mathematical subtleties are cleared up. Due to finite data length, integration of the correlation function must be terminated before noise takes over; two termination criteria are proposed which give reasonable results for crystalline β-SiC. A simple solvable model that illustrates the above points and can be used for code-checking is presented.