关于Z_4~-线性码C_4(m,D)的一点注记

本文首先给出了 Ｚ４-线性码 Ｃ４(M,D)的一个大的自同构子群．然后,利用该自同构子群得到了Ｃ４（m,６）当m为奇数时的 Ｌｅｅ重量分布的一个约化公式．最后,利用该约化公式及计算机搜索得到Ｃ４（7,6）的 Ｌｅｅ重量分布 Ｃ４（7,6）经 Ｇｒａy映射后得的二元非线性码与最优二元线性码［256,37,92]有相同的参数．     

环R=F_4+vF_4上线性码的Macwilliams恒等式

本文研究了环R=F4+v F4上线性码及重量分布.利用环R=F4+v F4到F2的一种Gray映射?,证明了环上R线性码C的Gray像?(C)的对偶码为?(C⊥).然后,利用域F2上线性码与对偶码的重量分布的关系及Gray映射性质,给出了该环上线性码与对偶码之间的各种重量分布的Macwilliams恒等式.     

Z4上偶长度的LCD负循环码

线性互补对偶(LCD)码是一类重要的纠错码,在通信系统、数据存储以及密码等领域都有重要的应用.文章研究了整数模4的剩余类环Z₄上偶长度的LCD负循环码,给出了这类码的生成多项式,证明了这类码是自由可逆码;并且利用Z₄上偶长度负循环码构造了一类Lee距离至少为6的LCD码.     

环Z_4+vZ_4上的线性码:重量计数器及其Macwilliams恒等式

首先给出了环R=Z_4+vZ_4(v~2=v)上线性码的Gray映射及其投影映射的性质,得到了环R上线性码与通过投影映射得到的线性码的极小Lee重量的关系,然后定义了环R上线性码的Gray重量计数器和对称重量计数器,进一步地确定了环R上线性码与其对偶码之间关于Gray重量计数器,对称重量计数器和Lee重量计数器的MacWilliams恒等式.     

一类4维3元线性码的重量谱

GF(q)上[n,k;q]线性码C的重量谱为序列(d1,d2,…dk),其中dr是C的r维子码的最小支持重量.文章利用有限射影几何方法确定了一类4维3元线性码的重量谱,并对其进行了验证.     

环F_p+uF_p+vF_p+uvF_p上线性码的Gray像

定义了有限非链环R=F_p+uF_p+vF_p+uvF_p到F_p⁴的一个Gray映射.在证明了该映射是R4的一个Gray映射.在证明了该映射是Rⁿ到F_pn到F_p⁽⁴ⁿ⁾的等重等距映射的基础上进一步证明了环R上的线性码C的Gray像是距离不变码.特别地如果C是环F_2+uF_2+vF_2+uvF_2上的Lee恒距线性码,则Φ(C)为F_2上的Hamming恒距线性码.最后通过映射Ψ把F_p+uF_p上的线性码和R上的一类线性码对应起来.     

两类子域码的重量分布（英文）

子域码是一类特殊的线性码.线性码由于其有效的编码及译码算法,在电子消费产品、数据存储系统和通信系统中有广泛的应用.然而,确定线性码的重量分布通常是困难的工作.本文给出了两类二元子域码C₍₍H(f)_<sub>1))~((2))和C₍₍H(f)_<sub>2))~((2))及其对偶码的重量分布,其中f₁(x)=x~4,f₂(x)=x~6+x~4+x~2.     

环Fq+uFq+vFq上的循环码和量子码

本文研究了环R=F_q+uF_q+vF_q(u²=u,v²=v,uv=vu=0)上的循环码构造量子码的方法.利用环R上循环码的分解与生成多项式,给出了R上一个循环码可以构造量子码的一个充要条件.作为这类循环码的应用,得到了新的非二元量子码.     

q元非线性2-重量码(n,2,ω_1,ω_2)的检错性能

通过定义δ(xi,yi)函数,把2元非线性2-重量码(n,2,ω1,ω2)的性质推广到q元非线性2-重量码(n,2,ω1,ω2)上,根据码的距离分布和对偶距离分布讨论了码C的不可检错概率.给出了码C不是最佳检错码的几个条件.     

环F_2+uF_2+u~2F_2上线性码的MacWilliams恒等式

记R=F_2+uF_2+u~2F_2,定义了环R上码字的李重量分布的概念,构造了从R~n到F_2~(3n)的Gray映射φ.通过对环R上线性码及其对偶码生成矩阵的研究,证明了环R上线性码及其对偶码的Gray象是F_2上的对偶码.利用域F_2上线性码及其对偶码的重量分布关系,得到了环R上线性码及其对偶码关于李重量分布的MacWilliams恒等式.     

Duadic Z4-Codes

The structure of abelian Z₄-codes (and more generally Z_p^m-codes) is studied. The approach is spectral: discrete Fourier transform and idempotents. A criterion for self-duality is derived. An arithmetic test on the length for the existence of nontrivial abelian self-dual codes is derived. A natural generalization of both the supplemented quadratic residue codes and the binary duadic codes is introduced. Isodual abelian Z₄ codes are considered, constructed, and used to produce 4-modular lattices.     

Cut elimination for S4n and K4n with the central agent axiom

We analyze the multimodal logic S4 _n with the central agent axiom. We present a Hilbert-type calculus, then derive a Gentzen-type calculus with cut, and prove a cut-elimination theorem. The work shows that it is possible to construct a cut-free Gentzen-type calculus for this logic. Moreover, it also provides analogous results for the multimodal logic K4 _n with the central agent axiom.     

Fast Algorithms forK4Immersion Testing

Many useful classes of graphs can in principle be recognized with finite batteries of obstruction tests. One of the most fundamental tests is to determine whether an arbitrary input graph containsK₄in the immersion order. In this paper, we present for the first time a fast, practical algorithm to accomplish this task. We also extend our method so that, should an immersedK₄be present, aK₄model is isolated.     

On the equation 4n = 1x + 1y + 1z

It is proved that for any given positive integers N and k the number of integers n < N for which the equation $\text{4}\text{n}\text{=}\text{1}\text{x}\text{+}\text{1}\text{y}\text{+}\text{1}\text{z}$ is unsolvable in positive integers x, y, z is not greater than $\text{cN}\text{(}\text{log}\text{N)}{}^{\mathrm{k}}$, where c is a constant depending only on k.     

Synthesis and characterization of C3N4 hard films

C₃N₄ films have been synthesized on both Si and Ft substrates by microwave plasma chemical vapor deposition (MPCVD) method. X-ray spectra were calculated for single phase α-C₃N₄ and β-C₃N₄ respectively. The experimental X-ray spectra of films deposited on both Si and Pt substrates showed all the strong peaks of α-C₃N₄ and β-C₃N₄ so the films are mixtures of α-C₃N₄ and β-C₃N₄. The N/C atomic ratio is in the range of 1.0–2.0. X-ray photoelectron spectroscopy (XPS) analysis indicated that the binding energy of Is and N ls are 286.2 eV and 399.5 eV respectively, corresponding to polarized C-N bond. Fourier transform infrared absorption (FT-IR) and Raman spectra support the existence of C-N covalent bond in the films. Nano-indentation hardness tests showed that the bulk modulus of a film deposited on Pt is up to 349 GPa     

丢番图方程aX~4-bY~2=1

应用Thue-Siegel方法,我们证明:对任意正整数a,b,不定方程aX~4-bY~2=1至多只有两组正整数解(X,Y),这证实了Walsh提的一个猜测.     

丢番图方程X~2-(a~2+1)Y~4=3-4a

设a≥2是正整数.本文证明了:当a=2时,方程X~2一(a~2+1)Y~4=3-4a仅有正整数解(X,Y)=(20,3);当a=3时,该方程仅有2组互素的正整数解(X,Y)=(1,1)和(79,5);当a≥4且4a+1非平方数时,该方程最多有4组互素的正整数解(X,Y);当a≥4且4a+1为平方数时,该方程最多有5组互素的正整数解(X,Y).