有限集合上的1-1部分变换半群中的链

本文讨论了有限集合X上的1-1部分变换半群Jx中的链的性质，得到一些重要结论。

谎言及其悖论

有学者指出:悖论的产生与三个因素有关,即自我指称、否定性概念以及总体或无限。说谎者悖论也不例外。文章通过对说谎者不同情形及解悖方案的考察和分析,认为对说谎者悖论仅从语义角度分析是不够的,还必需考虑到语境情景,并认为之所以产生说谎者悖论与自指的偶循环或"假"之奇循环有关。

Modified Benes network architecture for WiMAX LDPC decoder

A modified Benes network is proposed to be used as an optimal shuffle network in worldwide interoperability for microwave access （WiMAX） low density parity check （LDPC） decoders, When the size of the input is not a power of two, the modified Benes network can achieve the most optimal performance. This modified Benes network is non-blocking and can perform any sorts of permutations, so it can support 19 modes specified in the WiMAX system. Furthermore, an efficient algorithm to generate the control signals for all the 2 × 2 switches in this network is derived, which can reduce the hardware complexity and overall latency of the modified Benes network. Synthesis results show that the proposed control signal generator can save 25.4% chip area and the overall network latency can be reduced by 36. 2%.

Efficient construction and encoding of QC-LDPC codes by cyclic lifting of protographs

Quasi-cyclic low-density parity-check （QC-LDPC） codes can be constructed conveniently by cyclic lifting of protographs. For the purpose of eliminating short cycles in the Tanner graph to guarantee performance, first an algorithm to enumerate the harmful short cycles in the protograph is designed, and then a greedy algorithm is proposed to assign proper permutation shifts to the circulant permutation submatrices in the parity check matrix after lifting. Compared with the existing deterministic edge swapping （DES） algorithms, the proposed greedy algorithm adds more constraints in the assignment of permutation shifts to improve performance. Simulation results verify that it outperforms DES in reducing short cycles. In addition, it is proved that the parity check matrices of the cyclic lifted QC-LDPC codes can be transformed into block lower triangular ones when the lifting factor is a power of 2. Utilizing this property, the QC- LDPC codes can be encoded by preprocessing the base matrices, which reduces the encoding complexity to a large extent.

n^2和(n+1)~2之间至少含两个质数

本文讨论的是区间[2,n^2]上任意2n个"连续"正整数中至少含2个质数及其推论n^2和(n+1)~2之间至少含2个质数。

质数分布的规律一n^2和(n+1)~2之间至少含两个质数

本文讨论的是区间[2,n2]上任意2n个"连续"正整数中至少含2个质数及其推论n2和(n+1)2之间至少含2个质数。

REGULAR LOW-DENSITY PARITY-CHECK CODES BASED ON SHIFTED IDENTITY MATRICES

This paper extends the class of Low-Density Parity-Check (LDPC) codes that can be constructed from shifted identity matrices. To construct regular LDPC codes, a new method is proposed. Two simple inequations are adopted to avoid the short cycles in Tanner graph, which makes the girth of Tanner graphs at least 8. Because their parity-check matrices are made up of circulant matrices, the new codes are quasi-cyclic codes. They perform well with iterative decoding.

QUASI-SYSTEMATIC BLOCK-CIRCULANT LDPC CODES

A class of Quasi-Systematic Block-Circulant Low-Density Parity-Check(QSBC-LDPC) codes is proposed.Block-circulant LDPC codes have been studied a lot recently,because the simple structures of their parity-check matrices are very helpful to reduce the implementation complexities.QSBC-LDPC codes are special block-circulant LDPC codes with quasi-systematic parity-check ma-trices.The memories for encoders of QSBC-LDPC codes are limited,and the encoding process can be carried out in a simple recursive way with low complexities.Researches show that the QSBC-LDPC codes can provide remarkable performances with low encoding complexities.

Regular Quasi Cyclic Low Density Parity Check Codes with Girth 8 from Elementary Number Theory

This paper is concerned with (3,n) and (4,n) regular quasi-cyclic Low Density Parity Check (LDPC) code constructions from elementary number theory.Given the column weight,we determine the shift values of the circulant permutation matrices via arithmetic analysis.The proposed constructions of quasi-cyclic LDPC codes achieve the following main advantages simultaneously:1) our methods are constructive in the sense that we avoid any searching process;2) our methods ensure no four or six cycles in the bipartite graphs corresponding to the LDPC codes;3) our methods are direct constructions of quasi-cyclic LDPC codes which do not use any other quasi-cyclic LDPC codes of small length like component codes or any other algorithms/cyclic codes like building block;4)the computations of the parameters involved are based on elementary number theory,thus very simple and fast.Simulation results show that the constructed regular codes of high rates perform almost 1.25 dB above Shannon limit and have no error floor down to the bit-error rate of 10-6.

Construction of Short-Block Nonbinary LDPC Codes Based on Cyclic Codes

In this paper, we focus on shortblock nonbinary LDPC(NB-LDPC) codes based on cyclic codes. Based on Tanner graphs' isomorphism, we present an efficient search algorithm for finding non-isomorphic binary cyclic LDPC codes. Notice that the parity-check matrix H of the resulting code is square and not of full rank, and its row weight and column weight are the same. By replacing the ones in the same column of H with a nonzero element of fi nite fi elds GF(q), a class of NB-LDPC codes over GF(q) is obtained. Numerical results show that the constructed codes perform well over the AWGN channel and have fast decoding convergence. Therefore, the proposed NB-LDPC codes provide a promising coding scheme for low-latency and high-reliability communications.

Polar Codes for Soft Decode-and-Forward in HalfDuplex Relay Channels

Soft decode-and-forward(DF) can combine the advantages of both amplify-and-forward and hard DF in relay channels. In this paper, we propose a low-complexity soft DF scheme based on polar codes, which features two key techniques: a low-complexity cyclic redundancy check(CRC) aided list successive cancellation(CALSC) decoder and a soft information calculation method. At the relay node, a low-complexity CALSC decoder is designed to reduce the computational complexity by adjusting the list size according to the reliabilities of decoded bits. Based on the path probability metric of the CALSC decoder, we propose a method to compute the soft information of the decoded bits in CALSC. Simulation results show that our proposed scheme outperforms the soft DF based on low-density parity-check codes and the soft DF with belief propagation or soft cancellation decoder, especially in the case when the source-relay channel is at the high signal-to-ratio region.

EXISTENCE OF HAMILTONIAN k-FACTOR

A Hamiltonian k-factor is a k-factor containing aHamiltonian cycle.An n/2-critical graph G is a simple graph of order n which satisfies δ(G)≥n/2 and δ(G-e)<n/2 for any edge e∈E(G).Let k≥2 be an integer and G be an n/2-critical graph of even order n≥8k-14.It is shown in this paper that for any given Hamiltonian cycle C except that G-C consists of two components of odd orders when k is odd,G has a k-factor containing C.

Chaotic dynamics and coexistence in a three species interaction model

This work deals with a three-dimensional system, which describes a food web model consisting of a prey, a specialist predator and a top predator which is generalist as it consumes the other two species. Using tools of dynamical systems we prove that the trajectories of system are bounded and that open subsets of parameters exist, such that the system in the first octant has at most two singularities. For an open subset of the parameters space, the system is shown to have an invariant compact set and this is a topologically transitive attractor set. Finally, we find another open set in the parameters space, such that the system has two limit cycles each contained in different invariant planes. The work is completed with a numeric simulation showing the attractor is a strange attractor.

Construction of type-Ⅱ QC-LDPC codes with fast encoding based on perfect cyclic difference sets

In view of the problems that the encoding complexity of quasi-cyclic low-density parity-check(QC-LDPC) codes is high and the minimum distance is not large enough which leads to the degradation of the error-correction performance, the new irregular type-Ⅱ QC-LDPC codes based on perfect cyclic difference sets(CDSs) are constructed. The parity check matrices of these type-Ⅱ QC-LDPC codes consist of the zero matrices with weight of 0, the circulant permutation matrices(CPMs) with weight of 1 and the circulant matrices with weight of 2(W2CMs). The introduction of W2CMs in parity check matrices makes it possible to achieve the larger minimum distance which can improve the error-correction performance of the codes. The Tanner graphs of these codes have no girth-4, thus they have the excellent decoding convergence characteristics. In addition, because the parity check matrices have the quasi-dual diagonal structure, the fast encoding algorithm can reduce the encoding complexity effectively. Simulation results show that the new type-Ⅱ QC-LDPC codes can achieve a more excellent error-correction performance and have no error floor phenomenon over the additive white Gaussian noise(AWGN) channel with sum-product algorithm(SPA) iterative decoding.