DNA粘接计算模型及其应用

DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。     

形式语言的Schreier描述系统

形式语言的描述问题,是形式语言研究中的一个重要课题。现有的为Chomsky所定义起来的一类形式语言,有所谓文法,自动机等描述方法。为开展形式语言代数理论的研究,我们移植群论中自由群子群的Schreier方法到语言上,建立了形式语言的Sehreier系统这一新的描述方法。 令∑为一有限集合,则我们有     

分布式制造信息系统单元的Agent模型

建立分布式制造信息系统的多Agent系统模型时,要在对其功能需求进行分析的同时研究其控制需求．文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法．在此基础上利用基于双向输出自动机的接口,以设备和原料仓的交互为例,研究了Agent之间的通信．结果表明,该模型可以同时对系统进行功能需求和控制需求分析,便于系统分析和设计．     

基于图文法的可重构机床配置规划方法

为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法.     

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

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

形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

相容形式语言文法对某些运算的封闭性

(一)引言在T.L.Booth和R.A.Thompson的文章[1]中,他们提出了相容文法、强相容文法以及一些有关的概念。在本文中以文章[1]为基础,进而讨论相容文法类和强相容文法类对运算:和、连结、闭包、逆的封闭性,以及相容文法对相容置换的封闭性。并且附带讨论到强相容文法的“ε”——表示的一个性质。这些讨论都假定读者对自动机和形式语言和概率论的基础知识已经具备。例如象书[2][3]中所介绍的那些基本内容。     

基于ESPN的制造系统多任务可靠性研究

以一个有三台机床并同时进行多个加工任务的制造单元为例,采用扩展随机Petri网对其进行多任务可靠性建模,该模型不仅可以适应任意分布的制造系统,同时克服了传统的可靠性建模方法无法兼顾制造系统生产过程的时间动态特性.在此基础上基于Petri网行为表达式,并将矩母函数思想引入其中,则不必生成可达标识图就可通过计算模型的传递函数,进而得到整个系统的多任务可靠度,由此可以更直观地反映具有多种加工任务的整个制造系统的运行性能.     

面向工艺分工规划的多目标蚁群算法

为解决计算机辅助工艺规划中工艺分工的优化问题,提出一种基于多目标蚁群算法的工艺分工路线优化算法.在引入逻辑加工路线、逻辑制造单元、物理制造单元、可执行加工路线等概念基础上建立工艺分工规划过程模型.在过程模型中,运用多目标蚁群算法对物理制造单元集合实现优化.在求解过程中,以加工时间和所耗成本为目标函数,在求解空间中对物理制造单元进行遍历,最终寻找到最优化的可执行加工路线.通过实例验证了该方法的可行性和有效性.     

树语言、树自动机和树转换器

引言在很大程度上,形式语言理论是研究自由单子(free monoid)的子集的分类和识别问题的。通常,这包括用自动机或各种生成模型定义语言族,研究其封闭性、可判定性及族间的包含关系等一系列典型问题。然而,随着翻译和转换(程序语言的翻译和转换文法的概念)的引入,语言理论研究中又开辟了一个很有价值的新领域。在语言的转换(翻译)理论中,对     

Interaction of Units and Research Methods of Control Performances of Distributed Manufacturing Information System

In order to analyze the function demand of the distributed manufacturing information system as well as its control demand, and eliminate information ambiguity among system units to integrate semantics, the abstract Agent model and computational structure of each unit was presented based on flexible coupling automata. The autonomy of each unit was investigated in this foundation. The system unit was described using the Web Ontology Language （OWL） ontology. And the system semantics was also integrated. On these basics the communication among the system units was analyzed with an example of interaction between a machine and a warehouse. The control performances of information system units were investigated using Boolean matrix as a substitute for traditional process in RW theory, which reduced the computational complexity. This work established the foundation for the demand analysis, design and development of the distributed manufacture information system.     

《大学语文》古代散文教学中形式逻辑的应用问题

本文提出,形式逻辑的诸种思维形式结构,在古代散文中都可找出它们比较典型的样式或隐含形式。有的句子,单从训诂和语法方面是讲不清楚的,运用逻辑知识,则豁然开朗,使人明其底蕴。作为日常思维工具的形式逻辑离不开自然语言,应研究古今中外语言中的逻辑问题,以利于形式逻辑的改造与提高。     

静态分析器静态分析过程的研究及实现

静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用两个实例对静态分析的过程作了说明。     

静态分析器在软件开发环境中的应用

静态分析器是一种初步具备有关数据对象的语言知识，融编辑、语法分析和静态语义检查为一体的软件工具．本文以Ａｄａ语言中的子程序规格说明为基础，阐明了静态分析器在软件开发环境中的作用和意义，介绍了分析器数据结构的构成以及语法树的构造方法，并用两个实例对静态分析的过程作了说明．     

Fuzzy正则语言注记

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。对Fuzzy正则语言的一些性质、Fuzzy有限状态自动机与Fuzzy正则语言间的关系进行了探讨。     

基于有限条模型的板结构振动主动控制设计

针对板结构形状的规则性，提出用有限条法进行建模，将二维薄板的控制设计降为一维控制问题的设计。对模型进行模态分析，采用独立模态控制法，把原问题进一步降维，成为一系列标量微分方程的优化设计问题。从而减少了振动主动控制设计的计算量和难度，能够很容易地用线性二次最优算法求得控制反馈量。     

基于X滤波最小均方算法的冲击振动自适应逆控制

针对冲击振动控制的自身特点及已有算法的缺陷，提出了冲击振动的自适应逆控制方法。该方法能够根据不同的负载特性自适应地调节逆控制器参数，在时域实现了冲击振动控制，完全克服了频域方法中低频分辨率低、易产生溢出的问题。同时，针对X滤波最小均方(LMS)算法运算量大、收敛速度慢的缺点，提出了一种快速X滤波LMS算法，运用批处理技术，使码元间的平均计算量减小。试验表明，该方法使控制精度提高了约50％，明显优于已有的控制方法。     

试论白语的否定词和否定表达形式

作为一种重要的语法意义范畴，白语的否定词及其表达形式体现了白语语言结构的复杂性和独特的发展面貌：方言间否定词的意义和用法有较大差别，否定词构词方法经历了从屈折到分析的重大变化，不同来源的否定词并存并用，并逐渐形成优势型否定词及其表达方式。