检索结果-内蒙古大学图书馆

作者：潘瑾同济大学

学位级别：硕士

Reed-Solomn 码作为一种有强纠突发错误和随机错误能力的好码,在高可靠通信和数据存贮领域得到广泛的应用.但RS码的有限域的代数结构使得在大的域用硬件实现一直是工程应用的难题.该设计采用工业EDA标准Top-to-Down设计思想,使用System... 详细信息

Reed-Solomn 码作为一种有强纠突发错误和随机错误能力的好码,在高可靠通信和数据存贮领域得到广泛的应用.但RS码的有限域的代数结构使得在大的域用硬件实现一直是工程应用的难题.该设计采用工业EDA标准Top-to-Down设计思想,使用SystemC语言来设计RS(255,239)编译码器,对RS码的算法及基于SystemC设计中的关键问题进行了研究与探讨,主要内容包括:1.从差错控制编码理论的角度,介绍了有限域及分组码的概念,给出了编码方案.2.给出了基于改进的欧几里德算法的频域译码的详细流程.3.介绍了SystemC建模平台及其特点,研究了SystemC仿真核的运作,讨论了如何将VerilogHDL设计转换为SystemC设计.4.基于SystemC设计了RS编译码器,详细分析了基于SystemC设计RS 编译码器的方法、流程,给出了关键部件的实现框图.5.设计测试环境,并对RS编译码器进行了测试.

关键词： RS编译码 SystemC 欧几里德算法频域译码

来源：评论

学校读者我要写书评

暂无评论

整线性系统精确解的重构

整线性系统精确解的重构

引用

作者：王云北京师范大学

学位级别：硕士

求整线性方程组的解有很多种方法,总体上来说分为数值计算方法和符号计算方法两种。但要得到精确的有理解如果仅用符号计算的方法来解决难免在时间和存储上的开销很大。本文结合数值计算和符号计算两种方法,首先用数值计算的方法得到一... 详细信息

求整线性方程组的解有很多种方法,总体上来说分为数值计算方法和符号计算方法两种。但要得到精确的有理解如果仅用符号计算的方法来解决难免在时间和存储上的开销很大。本文结合数值计算和符号计算两种方法,首先用数值计算的方法得到一个在误差允许范围内的有理解;之后通过符号计算的方法对该有理解进行重构,得到其精确解。在算法实现的过程中采用了串行和并行两种方式,并进行了比较。

关键词：重构连分数 K-多项式 MPI 欧几里德算法哈达马边界

来源：评论

学校读者我要写书评

暂无评论

函数微分、差分差商及连分数的Mizar实现研究

函数微分、差分差商及连分数的Mizar实现研究

引用

作者：张燕青岛科技大学

学位级别：硕士

Mizar系统是从人工智能的一个分支——定理自动证明的发展过程中产生和发展起来的，是用来构建Mizar数学知识库的证明校验系统，是一个数学定理证明工具。Mizar系统由波兰华沙大学的Andrzej Trybulec教授组织的Mizar协会领导，其逻辑框... 详细信息

Mizar系统是从人工智能的一个分支——定理自动证明的发展过程中产生和发展起来的，是用来构建Mizar数学知识库的证明校验系统，是一个数学定理证明工具。Mizar系统由波兰华沙大学的Andrzej Trybulec教授组织的Mizar协会领导，其逻辑框架基于Ja（?）kowski自然演绎推理的古典逻辑。Mizar如今已经成为集逻辑证明、校验、排版功能于一体的数学知识处理的形式化系统，拥有自己的数据库MML，其中收录了波兰、日本、中国、加拿大等多个国家的教授学者和研究生完成的960多篇数学论文，几乎涵盖了数学的各个分支，尤其是在连续格的证明、Jordan曲线及Brouwer不动点等定理的证明中突显出Mizar语言系统的优越性。本文首先介绍了定理机器证明及Mizar系统的历史，其次对如何利用Mizar语言完成数学论文和进行自动推理校验给出了简要的说明。本文主要研究了以Mizar系统为平台，证明一类特殊函数的微分公式、函数的差分差商和实现任一实数的连分数形式。主要的创新点如下： 1．将Mizar系统中的可微性判定及基本函数的性质定理应用于几类复合函数，实现了它们在Mizar系统中的自动推理证明； 2．为了实现函数的差分与差商，在Mizar系统中首次定义了平移算子、向前差分算子、向后差分算子和中心差分算子，并由此定义了三种无穷差分序列forwarddifference、backwarddifference和centraldifference，讨论了三者之间的相互关系，应用Mizar语言完成了相关定理的自动推理证明，并验证其正确性； 3．首创性地在Mizar中定义了任一实数的连分数形式及其渐近分数，讨论了连分数及渐近分数分子、分母的有关性质，利用渐近分数的性质完成了任一实数的渐近分数的Mizar实现，并给出证明其渐近性质的机械化方法。以上结果都通过了Mizar系统的验证，均被收录到最新的Mizar数据库MML中，并发表于2005和2006年的Formalized Mathematics期刊。

关键词： Mizar 定理机器证明微分差分差商欧几里德算法连分数

来源：评论

学校读者我要写书评

暂无评论

非协作通信中基于卷积码的信息截获技术研究

非协作通信中基于卷积码的信息截获技术研究

引用

作者：梅文杰山东大学

学位级别：硕士

卷积码因其实现简单、纠错性能好而被广泛应用在各种通信系统中。非协作通信或智能通信系统中,接收端对发送端的相关参数完全未知或仅有少量已知,需要对发送端的调制编码参数进行识别以进行信息的获取。因此,对基于卷积码的盲识别技术... 详细信息

卷积码因其实现简单、纠错性能好而被广泛应用在各种通信系统中。非协作通信或智能通信系统中,接收端对发送端的相关参数完全未知或仅有少量已知,需要对发送端的调制编码参数进行识别以进行信息的获取。因此,对基于卷积码的盲识别技术的研究是信息截获的关键技术之一,具有重要意义。论文在研究卷积码参数盲识别、删余卷积码参数盲识别的基础上,对以卷积码为信道编码的某通信系统的信息截获过程进行研究,重点研究密码参数的盲识别算法,并在C语言环境中进行仿真实现。论文的主要工作和创新点如下：(1)系统研究无误码(n,k,m)系统卷积码和有误码(n,1,m)卷积码参数的盲识别方法。针对无误码的系统卷积码,通过矩阵化简的方式实现参数识别,包括码长、起点、信息位长度、约束长度及生成矩阵和校验矩阵。针对有误码的非系统卷积码,论文提出一种可容错的完整识别(n,1,m)卷积码参数的方法,并进行仿真验证。在采用线性矩阵分析法识别码长和起点的基础上,运用欧几里德算法或W-H算法识别生成多项式。同时,论文给出欧几里德算法的相关证明。在以上研究的基础上,论文提出一种多项式处理算法,可以实现(2,1,m)卷积码多项式识别到(n,1,m)卷积码多项式识别的扩展。(2)基于MFC和C语言设计并实现一套卷积码编码及识别仿真软件,包括无误码(n,k,m)系统卷积码识别和有误码(n,1,m)卷积码识别两部分。每部分都包含数据生成和参数识别两个模块,其中识别算法可以选择欧几里德法或W-H算法。软件以界面形式呈现,易于操作和使用。经过测试,软件可以识别码长2-8、约束长度小于13、生成矩阵随机产生的(n,k,m)系统卷积码和(n,1,m)非系统卷积码。(3)研究和实现删余卷积码参数的盲识别方法。采用线性矩阵分析法识别码长和起点,在此基础上,用快速Walsh-Hadamard变换(FWHT)实现删余码校验多项式的识别。在识别校验多项式时,对一种部分Walsh-Hadamard变换法(PWHT)算法进行改进,修改求解过程,实现正确识别。根据删余码校验矩阵和生成矩阵的关系,论文详细描述删余码生成矩阵和删余模式的识别,给出方程组的建立方法,实现删余码的完整识别。(4)在实现卷积码参数盲识别的基础上,论文研究某通信系统中密码参数的盲识别算法,为信息截获提供必要条件。论文在介绍系统加密过程的基础上,对业务信道下密码参数的盲识别原理和实现流程进行详细论述,并将识别算法扩展到快速随路控制信道中,将两路数据结合并运用卷积码相关性质,提出一种密码参数的盲识别方法,并进行仿真验证。(5)在快速随路控制信道的发送端,数据经CRC校验、卷积码编码、交织、加扰、密码编码后,进行传输。信息截获的首要任务是密码参数的盲识别。在密码参数的识别过程中,结合有关参数,论文给出详细的实现过程,包括：校验矩阵和校验向量的计算、密钥器初始状态和会话密钥的计算等。在密钥器初始状态的求解过程中,论文采用为密钥器各寄存器设置编号的形式,解决寄存器初始状态求解过程中系数矩阵的建立问题；同时,论文提出一种新的算法迭代终止条件,通过求部分解向量结合方程验证的方式,提高计算速度。

关键词：非协作通信卷积码删余卷积码参数盲识别校验矩阵欧几里德算法快速随路控制信道

来源：评论

学校读者我要写书评

暂无评论

高斯整环上一次不定方程组的矩阵解法与程序设计

引用

文山师范高等专科学校学报 2009年第2期22卷 90-95页

作者：晏林文山师范高等专科学校数理系云南文山663000

利用高斯整环上的欧几里德算法给出求解Z[i]上的多元一次不定方程组通解的矩阵解法,同时利用MATLAB数学软件给出相应的计算机求解Z[i]上一次不定方程组的通用程序.

关键词：高斯整环矩阵解法程序设计欧几里德算法 MATLAB

来源：评论

学校读者我要写书评

暂无评论

多项式环上一次不定方程组的矩阵解法与程序设计

引用

科技通报 2005年第4期21卷 373-377,391页

作者：晏林文山师范高等专科学校数学系云南文山663000

利用欧几里德算法和多项式环上的可逆线性变换,从理论上对多项式环上的一次不定方程组的解进行深入的研究,给出了用矩阵的初等变换求解多项式环上的一次不定方程组的矩阵解法,并利用MATLAB数学软件开发了相应的计算机程序。

关键词：代数学通解矩阵解法程序设计欧几里德算法 MATLAB

来源：评论

学校读者我要写书评

暂无评论

卷积码盲识别技术研究

引用

航天电子对抗 2014年第4期30卷 26-29页

作者：刘杰张立民兰天海军航空工程学院电子信息工程系山东烟台264001 太原航空仪表有限公司山西太原030006

针对卷积码的盲识别问题,总结了现有识别方法的实现原理及过程,并用Matlab进行了仿真分析。对于码长、码率及编码记忆长度等参数,利用接收码字构造矩阵并进行变换,从而达到识别的目的。针对生成多项式的识别,给出了四种常用的方法,并比... 详细信息

针对卷积码的盲识别问题,总结了现有识别方法的实现原理及过程,并用Matlab进行了仿真分析。对于码长、码率及编码记忆长度等参数,利用接收码字构造矩阵并进行变换,从而达到识别的目的。针对生成多项式的识别,给出了四种常用的方法,并比较了各方法的性能和计算复杂度。结果表明,在低误码率低于10-2情况下,采用欧几里德算法最佳;当误码率为10-2量级时,基于Walsh-Hadamard变换的方法更能保证识别的准确性。

关键词：卷积码盲识别欧几里德算法 Walsh-Hadamard变换

来源：评论

学校读者我要写书评

暂无评论

整数多元一次不定方程的矩阵解法与程序设计