游程长度受限码RLL(1,10)的研究及其实现

提出了一种新的RLL(1,10)游程长度受限码,给出RLL(1,10)码的前视(LA)构造方法和编解码步骤,比较了不同游程长度受限码的主要性能参数,讨论了RLL(1,10)码控制直流分量的方法和基于FPGA实现的处理方法。RLL(1,10)码的调制率大,编码效率高,适用于高密度光存储系统。     

RLL（2，12；8，15）调制码设计与FPGA实现

在分析现有光盘调制码的基础上,提出了一种新的RLL(2,12;8,15)编码。给出了码的构造方法和编解码步骤,并与几种常见的游程长度受限码进行了比较,分析了其优缺点,在FPGA上完成硬件实现。     

重构内部宏块在视频转换编码中的应用

视频空间分辨率下变换转换编码过程的运算量较大,受实时性、输出码率的限制,转换后的图像质量会有一定程度的下降。为了改善转换后码流的质量,同时又不会大幅增加计算量和输出码率,提出了综合考虑相邻宏块的运动矢量的集簇状态及其残差信息的情况,判断下变换后宏块纹理信息和运动矢量的失真情况,然后动态地选择一种转换编码算法。实验结果表明,使用该方案进行转换编码后,码流的质量有一定提高,同时避免了进行大范围运动搜索和引入大量内部编码的宏块。     

用于高密度信息存储的RLL(4,11)编码设计

在分析现有光盘调制码的基础上，提出了一种3／8码率的游程长度受限码RLL(4，11)编码，比现有的EFM调制码的代码密度高出9．4％，并为这种编码设计了相应的编码器．在编码器设计中，提出了一种试探性的算法对状态图进行简化，将状态数降至14个，从而大大简化了编码和解码过程．还分析了这种编码的解码方法及其块解码器的窗口大小，估计了预期值的上限．由于这一编码在抑制直流成分上的不足，对应用此编码的系统进行了界定，最后给出了这个新编码的适用领域．     

有效编码算法的LDPC编码器的VerilogHDL设计

低密度奇偶校验码(Low-Density-Parity-Checkcodes,简称LDPC码)是第四代通信系统强有力的竞争者,它是一种逼近香农限的线性分组码,译码的复杂度较低;但它的直接编码运算量较大,通常具有码长的二次方复杂度。本文创新点在于如何构造有效的编码,以降低LDPC码的编码复杂度;并研究和设计了用大规模集成电路去实现一个LDPC码的编码。文章中以(12,3,6)码为例,采用基于下三角矩阵的有效编码算法,通过重排列的顺序得到一个新的校验矩阵,以控制编码运算量为线性复杂度,并在QuartusII5.0软件平台上采用基于CPLD的VerilogHDL语言编程仿真实现了有效编码的过程,给出了编码的结构图和仿真波形,为LDPC码的硬件实现和实际应用提供了依据。     

二维非对称受限编码信道容量的证明

为了判断二维非对称受限编码的信道容量是否为正,提出了扫描方法.若满足限制(d1,k1,d2,k2)矩阵中的每个位置都可以通过已知的标志来决定并且被扫描,则限制(d1,k1,d2,k2)的信道容量为0.通过对特定二维受限编码信道容量的证明,验证了扫描方法比代数与组合方法更为有效.同时采用证明信道容量大于零常用的技术,找到满足(d1,k1,d2,k2)受限的两个m×n矩阵,若两矩阵在各种变形下都满足(d1,k1,d2,k2)限制,则信道容量Cd1,k1,d2,k2≥1/mn.这一方法对信道容量为正的区域进行扩展.     

RS柯西码编码算法改进研究

针对RS(Reed-Solomon)算法编码过程涉及有限域运算,复杂度高,效率低,运算代价难以被大规模分布式存储系统所接受等问题,提出了一种RS柯西码编码改进算法。该算法用贪心算法选取局部最优柯西矩阵,减少柯西码的计算量。同时,引入二进制矩阵替换柯西矩阵中的有限域元素进行阵列化,将有限域运算转换为异或运算,并对阵列进行运算优化,进一步减少计算量,增加柯西码的编码效率。根据仿真实验表明,改进后RS柯西码与通过遍历得到的最优柯西矩阵的柯西码相比,计算量更小,与编码效率著称的阵列码中的EVENODD码和STAR码相比,编码效率更高。并且具有类似阵列码性质,能够选择更简单高效的译码方法,在一定程度上提高解码效率。     

面向卫星导航系统的多进制LDPC码的构造

面向卫星导航系统应用,设计一种性能优越且编码复杂度低的多进制低密度奇偶校验(LDPC)码。结合渐进边增长(PEG)算法与准循环扩展的半随机构造法,并优化非零元素的选择,构造与新一代卫星导航系统IS-GPS-800接口标准中参数一致的多进制LDPC码。进一步,通过将校验矩阵转换为重复累加码(RA)码的校验矩阵结构,实现低复杂度编码。仿真结果表明,与卫星导航系统IS-GPS-800接口标准中码长码率相同的二进制LDPC码相比,多进制LDPC码有明显的编码增益,且其编码复杂度较低。     

基于点对相似度的深度非松弛哈希算法

哈希学习能够在保持数据之间语义相似性的同时, 将高维数据投影到低维的二值空间中以降低数据维度实现快速检索. 传统的监督型哈希学习算法主要是将手工设计特征作为模型输入, 通过分类和量化生成哈希码. 手工设计特征缺乏自适应性且独立于量化过程使得检索的准确率不高. 本文提出了一种基于点对相似度的深度非松弛哈希算法, 在卷积神经网络的输出端使用可导的软阈值函数代替常用的符号函数使准哈希码非线性接近-1或1, 将网络输出的结果直接用于计算训练误差, 在损失函数中使用$\ell_1$范数约束准哈希码的各个哈希位接近二值编码. 模型训练完成之后, 在网络模型外部使用符号函数, 通过符号函数量化生成低维的二值哈希码, 在低维的二值空间中进行数据的存储与检索. 在公开数据集上的实验表明, 本文的算法能够有效地提取图像特征并准确地生成二值哈希码, 且在准确率上优于其他算法.     

一种求解Hamihon逻辑路径的新方法

Hamilton阵列编码在计算机科学、通信编码等领域都有重要的应用。构造Hamilton阵列编码的关键是求解出Hamihon逻辑路径。本文提出了一种变换函数矩阵的概念,给出了用变换函数矩阵求解任意维数任意码距Hamilton逻辑路径的综合算法,并进行了编码实现。     

RLL码结构参数的优化选择

指出了游程长度受限码（ＲＬＬ码）的性能评定的指标与结构参数间的关系，以及结构参数相互间的联系；提出了以提高线性记录密度为目的的优化选择结构参数的准则，同时对常用的几种ＲＬＬ编码方式进行了比较。     

Fast recognition of context-sensitive structures

This paper is concerned with an extension of context-free LL(k) grammars, called RLL(k) grammars. RLL(k) grammars are powerful enough to generate non-context-free languages. In particular context-sensitive constructs of programming languages can be formalized conveniently. RLL(k) grammars have the pleasant property that fast syntactical check procedures exist. An algorithm for syntactical analysis with linear average cost is developed in this paper. A worst case quadratic upper bound is derived.     

一种恢复状态模式的状态转换图的方法

现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。     

基于对象语义的恶意代码检测方法

恶意代码变种给信息系统安全造成了巨大威胁, 为有效检测变种恶意代码, 通过动态监控、解析系统调用及参数, 将不同对象操作关联到同一对象, 构建对象状态变迁图, 然后对状态变迁图进行抗混淆处理, 获取具有一定抗干扰性的恶意代码行为特征图。最后, 基于该特征图检测未知代码。实验结果表明, 该方法能够有效抵抗恶意代码重排、垃圾系统调用等混淆技术干扰, 而且误报率低, 在检测变种恶意代码时具有较好的效果。     

Detecting races in Relay Ladder Logic programs

Relay Ladder Logic (RLL) [5] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extremely high, often measured in millions of dollars (for shutting down a factory) or human safety (for rides). In this paper, we describe our experience in applying constraint-based program analysis techniques to analyze production RLL programs. Our approach is an interesting combination of probabilistic testing and program analysis, and we show that our system is able to detect bugs with high probability, up to the approximations made by the conservative program analysis. We demonstrate that our analysis is useful in detecting some flaws in production RLL programs that are difficult to find by other techniques.     

非线性控制系统状态方程直接积分解法

鉴于非线性系统分析的核心归结为系统状态方程的求解,针对一般非线性控制系统,引入由状态量、控制量与自变量时间t为坐标构成的＂广义时态空间＂.为了求解非线性状态方程,在广义时态空间（tk,x（k）,u（k））处将方程的右端展开为（t？tk）的Taylor级数,通过直接积分获得了非线性控制系统状态方程关于自变量时间（τ=t？tk）的级数解,并证明了解的收敛性.     

ASP．NET中几种状态管理技术的分析与比较

由于Web窗体的无状态性，在开发基于B／S结构的动态Web应用程序时，跟踪特定用户在应用程序中页面的活动情况，并根据用户的请求正确地引导用户，需要解决状态管理的问题。文中通过对ASP．NET的客户端和服务器端状态管理技术的特点进行分析与比较，并在．NET环境下分别对这些状态管理方法进行代码测试，得出了一些实用的使用技巧，即如何在不同的情况使用不同的状态管理方法得到最佳的执行或安全效率。