S广义ω—凸语言

本文通过在∑＾ω上定义半序关系“≤ω＾ｓ”，引进Ｓ广义ω－左凸语言，Ｓ广义ω－右凸语言和Ｓ广义ω－凸语言的概念，并给出各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ广义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要要条件。     

几类ω－凸语言族的分层

本文对作者几年来先后在ω－语言族中定义的五类ω－凸语言进行了相应的分层，其结果是：     

几类ω—凸语言族的分层

本对作几年来先后在ω－语言族中定义的五类ω－凸语言进行了相应的分层。     

ω—正则语言类的一个子类

ω－语言是由有穷字线靖Σ上的一些无穷串组成的集合，被ω－有穷自动机接受的ω－语言称为ω－正则语言，作者曾从集合的角度描述了一类ω－正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言，本文从集合的角度来描棕更为广泛的一类ω－正则语言。     

ω—正则语言类的一个子类*

ω—语言是由有穷字母表∑上的一些无穷串组成的集合．被ω一有穷自动机接受的ω一语言称为ω一正则语言．作者曾从集合的角度描述了一类ω一正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言．本文从集合的角度来描述更为广泛的一类ω一正则语言．     

一种新的ω－识别模型

本文提出了一种新的ω－识别模型：ω－循环自动机及其循环接受条件．给出了ω－循环自动机在该接受条件下所接受的ω－语言类的集合表示．     

关于ω—正则语言类的一个子类的特征

为了给出本文的主要结果,首先引进了由有穷字母表∑上的ω~-语言所确定的集合∑~ω上的ω-Nerode等价关系的概念.在此基础上证明了∑上的与前缀逆相关的ω~-语言是ω~-正则语言,当且仅当由它所确定的ω-Nerode等价关系的指数有穷.从而,本文从代数、集合的角度给出了在∑上的与前缀逆相关的一类ω~-语言中,ω~-正则语言的特征.     

一类ω—正则语言

ω—语言是由有穷字母表∑上的某些无穷串组成的集合。被所谓的ω—有穷自动机接受的ω—语言称为ω—正则语言。在[4]中作者曾从集合的角度给出—ω—语言为ω—正则语言的几个充分条件。在本文作者仍从集合的角度给出一个ω—语言为ω—正则语言的充分条件,即若—ω—凸语言L满足L=adh(pref(L))=pref(L)tail(L),则L是—ω—正则语言。从而,确定了ω—正则语言类的一个子类。     

一类交替的ω－有穷自动机和确定的ω－有穷自动机识别能力的等价性

本文提出了一类交替的ω－有穷自动机，即所有状态都是万能的交替的ω－有穷自动机（记为ω－ＵＡＦＡ），并采用了构造的方法证明了ω－ＵＡＦＡ和确定的ω－有穷自动机在四种接受条件下接受的ω－语言的等价性。     

ω幂上下文无关语言及其封闭性质

本定义了ω幂上下无关语言ω－ｐ－ｃｆｌ和一类ω下推自动机ω－ｐｄａ，给出了它们的关系，借助于ω时序转换器ω－ＳＴ，讨论了ω－ｐ－ｃｆｌ类的某些封闭性质，证明了对于ω－ｐ－ｃｆｌ类ζ，ξ（δ）＝｛Ｓ（Ａ）｜Ａ∈ζ，Ｓ是一个ω－ＳＴ｝＝｛ｈ２（ｈ＾－１１（Ａ）∩Ｒ）｜Ａ∈ξ，Ｒ是一个ω正规语言，ｈ１是一个同态，以及ｈ２是一个λ无关同态｝。     

广义λ－调解

本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的．     

ω-NTB文法及其秩的若干性质

本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。     

一种新的ω—识别模型

本文提出了一种新的ω－识别模型：ω－循环自动机及其循环接受条件，给出了ω－循环自动机在该接受条件下所接受的ω－语言类的集合表示。     

ω幂上下文无关语言及其封闭性质*

本文定义了ω幂上下文无关语言ω—P— cfl和一类ω下推自动机ω—pda，给出了它们 的关系.借助于ω时序转换器ω—ST，讨论了ω—p—cfl类的某些封闭性质，证明了对于ω—p—cfl类L，m(L)={s’(A)|A∈s'是一个ω—ST)=(h₂(h₁^-1(A)∩R)|A∈L,R是一个ω正规语言，h_{1相似文献}   

基于广义S变换的时频滤波技术研究

针对S变换的滤波方法受到窗函数固定的限制,对信号的滤波不能达到良好效果,广义S变换时频滤波克服了传统S变换滤波因子不能随时间、频率变化而变化的缺陷。将信号用广义S变换方法变换到时频域,对不同时间内不同频率的噪声部分冲零,再将去噪后的信号利用广义S反变换到时间域,获得所需要的有效信号。通过理论计算和信号模型仿真表明,广义S变换时频滤波方法能够较为精确的分析数据的时间和频率特征,有效滤除不同时段不同频率的噪声,可以最大化的保留原始信息。该方法具有较高的实用性和灵活性。     

并行语言MODULA-S的设计

本文叙述基于顺序语言MODULA-2的并行扩展语言MODULA-S,对它的设计目标及其扩展的并行结构成份进行了讨论。该语言已在面向数据结构的小巨型机STARLET-Ⅱ上实现。     

基于广义S变换的地震高分辨率分析

Stockwell等人提出的S变换虽然与Fourier谱能保持直接联系,但是S变换中的基本小波不适用于地震资料处理,通过对S变换加以推广得到广义S变换。本文研究广义S变换在地震高分辨处理中的应用,并利用广义S变换进行地震高分辨率剖面处理。仿真实验和实际资料的处理对比结果均表明广义S变换在地震高分辨处理方面的可行性和有效性。     

时频聚集性能优化的广义S变换

S变换是一种具有短时傅里叶变换和小波变换优点的时频分析方法,已有的一些基于能量聚集度量的优化方法集中度不高,影响了信号检测等应用中时频域局部定位的精度.为了提高S变换的时频聚集性能,提出了一种新的时频能量聚集度量方法优化广义S变换,提高了算法的时频集中度和短时傅里叶变换、S变换、广义S变换等方法实验比较,表明提出的方法能有效地提高广义S变换的能量集中度,并具有较强的抗噪声性能.