环Z_4上线性循环码的深度谱

Etzion定义并研究了域Fq上线性码的深度谱,该文研究了环Z4上线性码与线性循环码的深度谱,证明了4k12k2型线性码的深度谱至少含有k1+k2个非零值,并给出了一类4k型线性循环码的深度谱为{n,n-1,…,n-k+1}。

非线性循环及R^m上线性循环的终止性判定

为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。

线性循环数列的通项公式

对一般的线性循环数列进行了讨论 。

非齐次线性循环方程的解法

本文给出了非齐次项为齐次线性循环数列的非齐次线性循环方程的一般解法。

一种使用非线性循环数列解决堆栈问题的算法

提出了一种使用非线性循环数列解决堆栈问题的算法，对研究栈的性质和求解栈的输出序列具有一定的实用价值．

非线性循环的终止性分析

单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.

有界闭区间并上的非线性循环程序的终止性验证

利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。

有界闭连通域上的非线性循环终止性分析

运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.

齐次线性循环数列

齐次线性循环数列的通项,前n项和,以及它们之间的关系。

二阶线性循环数列通项公式的一种推导方法

二阶线性循环数列的通项公式、前n项和公式可用多种方法求得,给出了用幂级数变换法求解的方法。

线性循环数列的递推关系式的求法

给出了利用矩阵对角化法求线性循环数列递推关系式的方法

二阶线性循环数列的几个结论

给出并证明了二阶线性循环数列收敛的充要条件及新数列{an/an-1}收敛的必要条件,得出了两个相关推论,为二阶线性循环数数列的实际应用提供了理论依据与方法。

基于MATLAB的线性循环码编码器设计

针对线性循环码的编码理论,以MATLAB软件作为平台,设计了线性循环码编码器。通过MAT-LAB软件的Simulink和GUI分别架构循环码编码器的结构和设计编码器的图形用户界面程序,实现了编码器的编码和码字波形输出,达到了编码器的编码可视化。

环F2＋uF2上长为2^s线性循环码的极小距离分布

研究了环F2+uF2上线性循环码的极小距离分布。首先给出了环F2+uF2上线性循环码的结构,利用该结构给出了长度为2s线性循环码的极小距离分布的精确表示。

一类非线性循环程序的终止性

提出一类非线性循环程序的终止性是可以判定的.该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关.然后提出了一种新的判定这类程序终止性的方法,该方法跟循环迭代的次数和变量的初始赋值息息相关.通过这个方法,不但能判定这一类程序是否终止,还能对不是所有初始值都终止的程序,给出能使该程序终止的初值建议.

一种针对线性循环结构的非线性静态调度策略

现有OpenMP调度策略通常采用动态策略处理程序中的线性循环结构,存在负载不均衡和调度开销大的问题。提出一种针对线性递增或线性递减循环结构的非线性静态调度策略Nonlinear;tatic。将线性循环负载均匀变化参数与总负载、负载峰值、线程数相结合构建调度模型,计算循环迭代在线程上的映射,使迭代块大小呈非线性递增或递减趋势。将线性循环的负载平均地分配在每个线程上,并在开源OMPi编译器中进行编码。在Adjoint Convolution、Compute Pots、Matrix Multiplication、Mandelbrot Set应用程序上进行多线程调度,实验结果表明,相比静态调度、动态调度、指导调度等策略,Nonlinear;tatic调度策略在处理线性循环结构时执行时间缩短了5%~10%,且具有无调度开销的优点。

线性循环数列的通项公式与应用

文献[1]对线性循环数列进行了部分研究,给出一个不便记忆、使用的公式。笔者通过研究发现线性循环数列的一个共性:线性循环数列是某些等比数列在C[n]中的线性组合。从而建立了与解常系数线性常微分方程相似的解线性循环数列的一整套初等解法。

三峡泄洪深孔弧门启闭机液压管道线性循环冲洗工艺

介绍了在三峡工程泄洪深孔弧门液压启闭机系统安装中,液压管道采用国内较先进的线性循环冲洗工艺及配套采用的在线取样检测新技术,为深孔弧门液压启闭机系统按期调试奠定了坚实的基础。

螺旋扫描和线性循环扫描的比较

目前各电视台都在进行媒体资产管理系统的建设,在此系统中一个重要的部分就是磁带存储系统。当前主流的磁带存储设备采用了两种扫描方式:螺旋扫描和线性循环扫描。本文对这两种扫描方式进行了比较,指出螺旋扫描由于具有较高的记录密度和数据传输率,因此更适合于视音频数据的存储。