汉字识别误差校正

本文提出了一种对句法模式进行误差校正的方法,通过分析变形笔划y与文法G能接受的笔划x,求出y与G的最小误差校正距离|J|,比较y与其它文法G'的最小误差校正距离|J'|,确定y应属于G或G'.为了改善误差校正剖析程序的执行速度,规定了一个能减少回溯次数的误差校正算子的优先级.同时,用启发式方法进行搜索以减少搜索的深度.最后给出实验结果.     

一个新的充分条件和Hamilton图

在前人工作的基础上,创立进一步的新条件,得到结果:记δ为图G的最小度,若2连通n阶图G的距离为2的任意两点x和y均有max{d(x),d(y)}≥n/2或|N(x)∪N(y)|≥n-δ,则G是Hamilton图.     

2-连通P3-支配图的Hamilton圈

如果图G中任意一对距离为2的顶点x,y,有J(x,y)∪J′(x,y)≠Φ,则称G为P₃-支配图。本文证明了：设G是n(≥3)阶2-连通P₃-支配图,如果对G中任意一对不相邻的顶点x,y,有2|N(x)∪N(y)|+d(x)+d(y)≥2n-5,则G含有Hamilton圈或者G∈{K_2,3,K_1,1,3}。     

距离为2的邻集并条件与图的泛连通性

设G是一个顶点数为n(≥5)最小度为δ的2-连通简单图．本文证明了若图G的每一对距离为2的顶点u,v都满足|N(u)∪(v)|≥n-δ 1,则除非G属于某些特殊图类,它的任意一对顶点x,y之间都存在长度从d(x,y)到n-1的路．     

圈的定向距离图的阶

图G的两个定向D与D′的定向距离d0(D，D′)是指与D′同构的定向与D之间不相同的弧数的最小值．G的定向距离图D0(G)的顶点是互不同构的定向，如果do(D，D′)=1，则D与D′在D0(G)中相邻．确定了圈C(n≥3)的定向距离图D0(G)的顶点数|O(Cn)|．     

关于图的平均距离的一个猜想

在图论中的若干新猜想(张忠辅)一文中介绍了目前图论中的若干新猜想,这些猜想是由法国的一位图论学家提出的,其目的是想建立图的各不变量之间的联系,如图的度序列(d_1,d_2…d|G|)及其导出序列(d′_1,d′_2…d′_r),平均距离(G),反比度Ivd(G)半径R(G),独立数J(G)等等。文献Fank.K.Chang,JG.T12(1988)解决了猜想:还有许多猜想是未知的,其中,对k——正则图有:     

关于两类平面图及相关图的L(2,1)-标号问题

图G的L( 2 ,1) 标号是一个从顶点集V(G)到非负整数集的函数f(x) ,使得若d(x ,y) =1,则 |f(x) -f(y) | 2 ;若d(x ,y) =2 ,则 |f(x) -f(y) | 1 图G的L( 2 ,1)标号数λ(G)是使得G有max{f(v) :v∈V(G) } =k的L( 2 ,1)标号中的最小数k Griggs和Yeh猜想对最大度为Δ的一般图G ,有λ(G) Δ2 证明了对平面三角剖分图、立体四面体剖分图、平面近四边形剖分图 ,有上述猜想成立     

图的边覆盖染色与分数边覆盖染色

讨论了图G=(V,E)的分数边覆盖色数χ′cf(G)的概念和性质,给出计算χ′cf(G)的一个精确公式,即χ′cf(G)=minS2·|C[S]||S|+1,其中S为V(G)的非空子集且|S|为奇数,C[S]是E(G)的至少有一个端点在S中的边构成的子集,并证明δ-1<χ′cf(G)δ;同时讨论了χ′cf(G)与图G的边覆盖色数χ′c(G)的关系,并利用χ′cf(G)与χ′c(G)的关系对图进行分类.     

2-连通图中点不交路的划分问题

给定一个阶为n的2-连通图G=(V;E)及一个正整数k,考虑在邻域并条件下G被分成k条点不交路的问题,得到下面的结果,对G中任何四个独立点x1,x2,y1,y2∈V,满足|NG(x1)∪NG(x2)| |NG(y1)∪NG(y2)|n-k,则G能被分划分k条点不交的路.     

图是λ′最优和超级λ′的充分条件

设G是有限简单无向图,使G-S的每个分支都不含孤立的边割S称为G的限制边割.G的限制连连通度λ′(G)是G的限制边割之中最少的边数,定义ξ(G)=min{d(x)+d(y)-2;xy∈E(G)}为G的最小边度.如果λ′(G)=ξ(G),则称G是λ′最优的.若任意最小限制边割都弧立一边,则称图G是超级λ′的.应用范型度条件给出了图是λ′最优和超级λ′的令分条件.     

神经网络在分组码软判决译码中的应用

本文探讨了神经网络与纠错编码之间的关系,将神经网络引入分组码软判决译码中.通过映射变换α→(Q-1)-2α,建立了分组码软判决译码与神经网络之间的关系;证明了线性分组码软判决最小距离译码等效于寻找对应的神经网络能量函数最大值,神经网络优化算法可用于分组码软判决译码中.     

四元码链和量子纠错码的构造

研究量子纠错码的构造,并构造出具有较好参数的量子纠错码。首先利用随机搜索的方法,得到一些具有较好参数的短码长自正交码及由这些自正交码所形成的自正交码链;其次根据这些自正交码的对偶码可得到一系列相应参数的L-链;最后通过组合构造方法和得到的这些L-链构造出量子纠错码。得到一些码长n满足20≤n≤36和n=40,45,50,55,60、对偶距离达到5或6的自正交码,并根据这些自正交码和它们的对偶码分别构造出了相应参数的自正交码链及L-链。构造出具有较好参数的量子纠错码,其中码长在20≤n≤30范围内的量子纠错码的参数达到或超过了已知的量子纠错码,码长在31≤n≤36和40≤n≤64范围内的量子纠错码都是新的。     

LR（1）语法分析的自动构造

讨论了LR(1)语法分析器的自动构造，可判定给定的文法是否为LR(1)文法．若是，则自动生成给定文法的LR(1)分析表，并对任一输入串进行分析，判断其是否为给定文法的句子．论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的LR语法分析器的自动构造．     

Machine Translation Using Constraint-Based Synchronous Grammar

Introduction In machine translation,analysis of the structural devia-tions of the languages pairs is key to transforming one language into another.This analysis requires a large number of structural transformations,both grammati-cally and conceptually.The…     

对纵向策动弦上共振现象的研究

导出纵向策动的弦为大扰动的波动方程，并求出弦的基音频率近似为策动频率一半时方程的近似解，指出这时弦上可以发生共振现象，形成稳定驻波，并用能量观点解释了这一物理现象。     

基于自对偶码的S-链构造

研究具有某种最优性质的码的存在性、结构和构造是编码研究的中心问题,为构造量子纠错码开始研究具有特定对偶距离的二元自正交码。研究了码长n满足12≤n≤20的二元不可分解自对偶码B12、D14、E16、F16、H18、I18、J20、K20、L20、M20和S20的两类子码,即对偶距离最优或对偶距离拟最优的子码,以及相应的S-链的构造。依据不可分解自对偶码的生成矩阵,利用组合方法构造出对偶距离为2、3和4的对偶距离最优或拟最优的子码生成矩阵。在此基础上研究了这些子码构成的子码链,以及由它们的对偶构成的S-链。最后,利用得到的S-链构造出好的量子纠错码,这些量子码都是给定码长和维数时距离达到最大值的量子码。     

斜纹结构的编织卷积码性能分析与仿真

主要研究了斜纹结构的编织卷积码(WCCs)在编码设计中活性距离和交织器对其性能的影响。通过系统仿真，结果表明在AWGN信道下，发现斜纹WCCs的系统性能将受到系统传输帧长、编码器归零方式及编码器个数的影响，因此适当地选择了编码器和交织器，能使其误码性能更加优越，且没有错误地板效应。     

定向井中造斜段下凹管柱屈曲性能分析

在定向井的造斜段,由于井眼轨迹的下凹,位于其中的管柱在重力与井眼的约束下存在初始下凹弯曲。为了了解定向井造斜段管柱的屈曲性能,运用最小势能原理推导出定向井造斜段下凹管柱屈曲载荷计算公式,分析了井斜角、造斜段井眼曲率半径对管柱屈曲载荷的影响。算例分析结果表明,随井斜角的和井眼曲率的增大,管柱屈曲临界载荷增加,管柱的纵向稳定性提高。     

面向扩展文法语义分析器的自动生成

在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法, 给出了一个带有语义动作的扩展文法和一个输入, 即可生成其语义分析器. 通过执行语义动作, 就可以进行类型检查、 中间代码生成及优化等相关工作, 使得该算法成为完整的扩展文法分析技术, 并在实际运用中成为可能.     

一种改进的RS码代数软判决译码算法

为了提高Reed-Solomon码的纠错性能,分析并给出了能提高Reed-Solomon码纠错能力的代数软判决译码算法的译码流程,讨论了译码中需要的软信息的计算方法,推导了代数软判决译码算法的译码成功条件.在此基础上,提出了一种改进的代数软判决译码算法,并对改进算法的运算量和译码时延进行了分析.算法针对推导的译码成功条件,通过改变代数软判决译码算法中插值算法的选择输出准则,更有效地利用了接收端的软信息.仿真结果表明,在译码时延基本不变的条件下,提出的算法比代数软判决译码算法提供更多的译码增益.