一种DNA计算系统的有限自动机模型

通过一个实例给出了粘贴系统模型的基本定义，讨论了粘贴系统模型的正则文法特性，并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型。     

关于上下文无关文法的相伴语言

为研究上下文无关语言,在文讨论了上下文无关文法的相伴语言的结构,获得了上下文无关文法具同型相伴语言的结果,并且给出了后者的一种无歧义性的Greibach文法实现。从而顺便得到,正则文法具正则相伴语言的事实,以及它的一种无歧义性的正则文法实现。     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

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

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

正则式上右线性文法生成算法

本文旨在给出一种由正则式RE生成有限自动机再生成右线性文法的算法。     

正则文法的一种等价性判别法

本文将给出判定任意两个正则文法是否等价的一种有效方法。该方法可直接用来判定任给的两个正则语言的合语言是否等价。本文给出的方法实际上是Moore方法的推广。     

随机正则文法的相似

对于给定的随机正则文法G_s是否存在着一个真正随机正则文法G_s,使得L(G_s)=L(G_s),若存在,又如何求出G_s?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_s求G_s的方法,而且还包括判断这样的G_s是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_s总有一个与之相似的真正随机正则文法G_s,其中相似系数由G_s本身唯一决定。     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。     

DNA正则语言与DNA正则文法的对应关系

以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.     

基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

Fuzzy正则语言与Fuzzy正则文法的关系

通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论,得到了二者的等价关系,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点。     

薄膜充气梁有限元分析方法与结构特性研究

文章采用3种数值计算模型对薄膜充气梁进行分析研究.首先基于铁木辛柯梁线弹性分析理论,考虑充气压力效应,推导薄膜充气梁非对称单元刚度矩阵,采用稀疏矩阵存储,应用共轭梯度法求解有限元平衡方程,并用VC编程实现;然后提出了分别采用壳单元和预应力薄膜单元的非线性有限元分析模型,并给出了基于ANSYS的数值分析过程与方法;通过对...     

形式语言文法在加密技术中的应用

描述了形式语言文法应用于对称式密码和非对称式密码2种加密体制的实现原理,并分别给出了运用形式语言文法加密的简单实例.     

攻击文法与攻击图模型的对比

为了完善大型计算机网络的安全分析,本文对几种网络攻击分析模型和工具进行对比研究.以近年来国内外的攻击图研究成果为主线,对比分析攻击文法在网络攻击建模、模型描述能力和算法复杂度等方面的优点和不足.通过对比研究,本文发现攻击文法在应用及性能上具有较好的表现,可以辅助甚至取代主流的攻击图方法,同时也指出了该领域未来的研究方向.     

基于APDL的桥梁参数化建模方法

以混凝土斜拉桥A字型桥塔为例,基于APDL语言研究桥塔有限元参数化建模方法.首先研究相关特征提取算法,提取斜拉桥点云模型特征点;然后使用ANSYS软件,建立桥塔有限元参数化模型;最后分析模型结构,建立相关数学约束关系.该方法实现了对有限元模型的参数化控制,缩短了有限元模型建立的周期.     

无固定墩钢质管道冲沟状态下动荷载失效长度数值分析

通过对无固定墩钢质管道在地质灾害冲沟发生时管道失效过程的研究,建立了描述这一破坏过程的力学模型;再利用ANSYS有限元分析软件,建立了埋地管道有限元数值分析模型。通过输入地震波,对不同地震烈度下的地震响应进行了有限元数值仿真计算,得到了在不同地震动荷载作用下管道的最大应力和位移情况,给出了管道动载失效长度,为管道的抗震设计提供理论依据。     

有固定墩钢质管道冲沟状态下动荷载失效长度数值分析

通过对有固定墩钢质管道在地质灾害冲沟发生时管道失效过程的研究,建立了描述这一破坏过程的力学模型;再利用ANSYS有限元分析软件,建立了埋地管道有限元数值分析模型。通过输入地震波,对不同地震烈度下的地震响应进行了有限元数值仿真计算,得到了在不同地震动荷载作用下管道的最大应力和位移情况,给出了管道动载失效长度,为管道的抗震设计提供理论依据。     

机床主轴优化设计CAD系统

系统出产品模型数据管理、有限元分析、优化设计和图形绘制四部分组成。通过对车床主轴二维垂直剖面力学模型的有限元静、动态特性分析，采用序列二次规划的优化设计方法寻求主轴设计的优化方案，并将优化设计结果形成文档或输出。提出产品设计模型的概念，通过它可自动生成有限元分析模型、优化设计模型和图形模型三个子模型，将有限元分析、优化设计、图形绘制三部分结合在一起。系统的操作方式为交互式，运用了结构化软件设计方法，引进最新菜单和程序驻留技术，并提供多种软件编程和输入／输出设备的接口。     

大型柔性太阳电池翼模态参数计算

采用有限元方法建立了空间站太阳电池翼模态参数计算模型。针时柔性太阳电池翼的结构特点，提出了其有限元建模的关键技术问题，建立了柔性基板、连接刚度、太阳电池片、主展开桁架的有限元分析模型，并给出了某型号柔性太阳电池翼模态参数计算的数值结果。     

基于软件工程的层壳非线性有限元分析建模

对于非线性复合材料层合板壳的有限元分析,关键在于如何根据结构分析的特点构造其数学模型。按一次板壳理论,以四边形四节点单元为例,介绍了其数学建模的过程与方法,导出了层合板壳有限元分析模型,并给出了基于软件工程的计算机逻辑模型。