论高温颜色釉彩绘的形式语言和审美特征

高温颜色釉彩绘很早即已萌芽,但真正兴起则为上世纪60～70年代,其在造型、色彩、构图等方面均具有独特的形式语言,在审美上具有工艺之美、自然之美、意境之美等突出特征。     

走出形式化的困境

逻辑的形式化是对自然语言推理的程式化、模式化、符号化，其实质是精确化、抽象化。抽象化到一定界限，它会脱离自然语言实际。实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论，都是抽象化、形式化的结果。要消除这些悖论，摆脱形式化的困境，就要由抽象回到具体，回归自然语言，研究自然语言概念、命题及推理的具体用法。     

研究性学习理念下的《编译原理》教学研究

研究性学习已成为教育学术界和实践工作者共同关心和探讨的热点课题之一,本文从研究性学习的概念入手,给合《编译原理》课程特点和具体实例,探讨了研究性学习方法应用于《编译原理》课程的教学实践,取得了较好的教学效果。     

基于几何形态的现代家具设计应用探析

现代家具设计给予人们的是对生活体验的一种遐想,也是对传统家具设计思维、手法的颠覆.本文主要探讨以几何形态为设计语言及其在现代主义家具设计中的重要性、表现手法、寻找可遵循的现代家具几何形态应用的系统化设计规律,让现代家具中的几何形态成为一种感受,一种新的发现.     

Fuzzy正则语言注记

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

一种分布式制造信息系统控制性能的研究方法

提出一种解决Ramadge-W onham监控理论在研究分布式制造信息系统控制性能时存在的形式语言的物理意义不直观、运算复杂且计算量大等问题的方法.该方法将信息单元的自然语言描述形式化,写出形式语言的文法,引入布尔矩阵约束,由该文法产生的信息单元自动机模型满足必要的控制性能要求.最后以某企业自动生产线中的装配机器人为例,应用该方法研究其自动机模型的控制性能.结果显示,该方法计算简单,形式语言的物理意义直观,值得在制造领域中推广.     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。     

极大前缀码的性质及其计数

本文提出和证明极大前缀码的性质,证明了全体极大前缀码在语言连接运算下构成自由么半群.对有限极大前缀码的个数给出选推式:G_m表示所有最大字长不超过m的极大前缀码的个数,有G_m=1+G_m-1ⁿ,其中n是字母表X的字母个数.     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.