Turbo码概率-代数联合解码算法

Turbo码采用修正的BAHL et al.算法实现解码.这是一种基于软值的概率迭代解码算法.本文在保持Turbo码迭代软解码算法优点的基础上,充分利用Turbo码编码器结构这一确知条件,结合代数解码原理,提出了一种Turbo码概率-代数联合解码算法.该算法结合了概率解码和代数解码的优点,又有效避免了误差传播的发生,使Turbo码的纠错性能在原经典算法的基础上得到进一步的提高.该算法不仅为降低Turbo码的比特误码率和误差地板值提供了一种新的研究途径,而且因其更好的纠错性能而具有十分明显的实用价值.仿真实验结果显示,在比特误码率(BER)为10^-3~10^-4时,与经典Turbo码解码算法相比,采用该算法能获得0.1dB左右的编码增益.     

线性分组码的神经网络译码

介绍了神经网络与线性分组码之间的关系，并在文献[1]的基础上证明了软判决译码与求解能量函数最大值之间的等价性，然后以(7，4，3)汉明码为例介绍了神经网络在循环码硬判决、软判决译码中的应用。     

空时块码的信道容量分析

MIMO通过多天线发射多数据流并由多天线接收实现最佳处理，可实现很高的容量和频谱利用率，这种最佳处理是通过空时码实现的。本文依照一个实际信道模型，假定Rayleigh或Rice准静态平坦非相关和部分相关信道，分析了STBC的信道容量，并进行Monte-Carlo模拟仿真。结果表明STBC的容量远低于其理论限，特别是对于大的N和M。     

Delamination Analysis for Laminated Composites. II: Numerical Verification

A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented.     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果     

等距码的对偶距离分布及其性质

本文主要讨论了等距码的对偶距离分布及其性质，然后利用这些性质将［１］中的某些结果推广到ｑ元等距码情形，并得到了其对偶距离分布的递推关系式，最后，本文给出了ｑ元等距码的码字数目的一个上界。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

New and used temporal models: An issue of time

TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.     

一种新型微处理器功能验证

文中介绍一种新型微处理器的验证方法，并对相关的一些验证策略进行深入的讨论。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.