形式语言的无穷次商

本文证明了无穷次商的下列性质:①上下文无关语言对上下文无关语言的无穷次商是否上下文无关的问题是不可解的。②上下文无关语言对正则集的无穷次商仍是上下文无关语言。③正则集对任意集的无穷次商仍是正则集。     

信号码的刻划及性质

设X*是字母表X上的自由幺半群,引入语言图Γ(X*)的共同横截集概念.利用语言图Γ(X*)的横截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A为语言图Γ(X*)的横截集,给出了信号码的一些刻划和性质.     

极大前缀码的一个性质

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了极大前缀码的一个性质。     

Petri网系统中的有效本原可重复向量集

基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.     

偶线性语言的有限双边可微性及其 Pumping 引理

Ehrenfeucht 等人在[1]中对正则语言的 Pumping 性质进行了讨论,他们给出了一个与正则性等价的 Pumping 性质,且提出了在上下文无关语言中建立一个类似定理的Open 问题。本文就一真包含正则语言类的上下文无关语言类子类——偶线性语言类给出了回答。定义1.一个偶线性文法是一个线性文法 G=(V,∑,P,S),其中生成式都具有     

信号码的一个刻划

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了信号码的一个刻划。     

一类上下文无关语法的一个推理算法

本文提供一个关于一类上下文无关语法的推理算法,这个算法由上下文无关语言的性质导出,着重于寻求文法的自嵌套结构。算法限制语言的自嵌套结构具有生成式 A→a_1Aa_2的形式,其中 a_1、a_2∈(V_N∪V_T)且非空。考虑了加强的结构地完备的样品集的大小和结构。并提出了一个语言几次近似的概念。最后,对算法的扩展作了初步的讨论。     

GPS L2C CM码快速捕获算法研究及互噪声分析

GPS L2C信号是GPS现代化Block IIR-M卫星发射的一个新型民用信号,其主要由时分复用的CM码与CL码组成.由于CM码的码长较短,一般先捕获CM码,再利用CM和CL之间的固定相位关系实现L2C的捕获.文中重点研究了GPS L2C信号CM码采用分块折叠法进行快速捕获的算法,并且推导了分块折叠算法的互相关噪声,同时利用仿真计算得到了精确的互相关噪声的经验公式.仿真结果证明,分块折叠法能够快速捕获L2C信号CM码的相位,并且互相关噪声符合推导结果.     

Fuzzy上下文无关文法与Fuzzy上下文无关语言的性质

Ｆｕｚｚｙ下推自动机与Ｆｕｚｚｙ上下文无关文法有紧密的关系,讨论了Ｆｕｚｚｙ上下文无关文法及其产生Ｆｕｚｚｙ上下文无关语言的一些性质。     

一种基于hough改进算法的机场跑道识别方法研究

针对hough算法中常见的"虚假直线"问题的缺陷,提出了一种基于hough算法和freeman链码相融合的改进算法。这种方法运用几何,拓扑,辐射三方面的关联去降低它的识别复杂度,在以上特征的关联条件下,先进行freeman链码确定机场跑道粗略方向,再用hough变换去小范围识别跑道的两条直线。通过对可见光跑道图像和红外道路图像数据分析处理,表明该方法在跑道(直线)识别方面的健壮性、准确性和有效性。     

链式编码中直线的快速检测

图像处理中,直线的链式编码是一种常见的数据结构,本文对在这种表达方式下直线段的检测提出了一种快速算法,它采用序贯递归检测的方法,仅经过一次遍历即可检测出满足定义条件的所有直线,其完备性可以经过理论推导证明,并具有结构简明、性能稳定、运行速度快的特点.     

立体几何定理的计算机证明

在欧氏几何和向量空间中，结合二者的关系，把几何问题转换的代数问题，利用MATLAB的相关知识，编写源代码文件，用计算机证明立体几何的直线垂直于平面的判定理，为机器证明定理提供了一个实例。     

段码及其在直线识别中的运用

以段码为基础,从理论上对直线段码的生成、直线段码的内特性以及直线的识别进行了探讨,最后给出了一个直线识别的算法     

直线Bresenham生成改进算法研究

为了在数字设备上高质量地快速绘制任意方向的直线,采用了Bresenham直线生成算法中的误差参数控制方法,对误差进行补偿控制;采用递归式计算不做浮点运算,提高了运算速度;采用对称分析方法,简化了任意方向直线Bresenham程序代码设计。通过Bresenham直线生成算法研究,提出了一个完整的任意方向直线生成算法和程序。     

直线拟合的一个快速算法

给出了在图像处理中直线快速拟合的一种新的思路，提出了一个快速拟合算法，并对其完备性进行了证明，它采用序贯递归检测的方法，仅经过一次遍历即可检测出满足定义条件的所有直线，具有结构简明、性能稳定、运行速度快的特点。     

平面束定理证明与应用的教学探讨

利用向量知识给出了空间解析几何中平面束定理的一个证明方法。应用该定理给出了点到直线的距离公式,证明了直线与平面相关位置的定理,并给出了其他应用。     

具有两条实或虚直线解的系统 X|.=-ax-by+sum from i+j=3 a_(ij)x~iy~j,y|.=cx+dy

本文给出了当实系统X|.=-ax-by+sum from i+j=3 a_(ij)x~iy~j,y|.=cx+dy具有两条相交实直线解或两条共轭虚直线解时的一般形式。我们证明了,若此系统具有两条相交实直线解,则此系统不存在极限环;若此系统具有两条共轭虚直线解,则此系统至多存在一个极限环。关于极限环唯一性的证明,我们应用了Dulac函数。本文还给出了此系统恰好存在一个极限环的充分必要条件。     

可测函数与零测度集

讨论零测度集对可测函数所产生的影响,并证明了存在直线上的可测集A,使得f^-1(A)不是可测集．     

一种复杂条件下的QR码图像预处理算法

提出了一种针对复杂条件下快速响应矩阵码(QR码)的图像预处理算法。对从任意角度拍摄的有畸变和有复杂背景干扰的QR码水平和垂直扫描,标记黑白模块宽度大致符合1∶1∶3∶1∶1比例的中心点。将得到的一系列中心点分别拟合直线,求得直线交点即位置探测图形中心。采用形态学操作除掉背景中无关细节的干扰,依据三个位置探测图形中心的位置关系分割、校正QR码。实验结果表明,该算法能够去掉QR码区域的无关细节干扰,能够快速、准确地从图像中定位、分割出有畸变的QR码并予以几何校正。     

沿任意方向作匀速直线运动的电偶极子的电磁场

利用相对论中的洛沦兹变换式计算沿任意方向作匀速直线运动的电偶极子所产生的电磁场,并利用两个作匀速直线运动的点电荷产生的电磁场的叠加验证其正确性,同时还分别讨论了特殊方向上的电磁场分布情况,用计算机模拟了沿特殊方向作匀速直线运动的电偶极子的电磁场分布。