一类半线性变系数波方程的渐近理论及其应用

研究了一类半线性变系数波方程的渐近理论,证明了渐近理论及形式近似解的合理性都在时间变量无穷大（即≤ｔ≤０｜８｜＾－１成立,并给出了一应用。     

双峰映射和Lorenz映射的复杂性研究

本文以形式语言和自动机理论为工具，研究一般的双峰映射和Ｌｏｒｅｎｚ映射生成的语言的复杂性，证明了语言为正规的充要条件是映射的揉序列均为终结周期．     

属性蕴含Q矩阵理论的认知诊断模型

引入属性蕴含的Q矩阵理论扩展了传统Q矩阵理论.属性的先决关系是属性蕴含的特殊形式,寻找属性蕴含Q矩阵理论中合适的认知诊断模型具有重要的理论与应用意义.就满足属性蕴含的Q矩阵,视其为形式概念分析中的形式背景,形势背景诱导的概念格亦为认知诊断模型.研究成果可进一步丰富Q矩阵理论与方法.     

模糊形式概念分析与模糊概念格

针对在许多应用领域中,大多数信息都是复杂的、不确定的,而传统的形式概念分析不能表达这些模糊的、不确定的信息问题,介绍了将Zadeh的模糊数学理论与形式概念分析理论相结合所形成的模糊形式概念分析理论.给出并证明了在模糊形式背景下对象集合及属性集合的一些结论.建立了在模糊形式背景下的模糊概念格并证明了该模糊概念格仍然是一个完备格.最后用实例说明了这种模糊概念格的构造方法.     

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

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

形式复环上的规范内积模

考察内积模的内积象性质。抽象出形式复环与Ｇ·Ｓ同构概念，并给出形式复环一些判定。     

合成背景的面向属性概念格生成

目的研究合成背景下面向属性概念格的生成。方法面向属性概念格理论。结果由两个简单形式背景的面向属性概念格获得了合成形式背景的面向属性概念理论。结论推广了已知结果,易于获得复杂形式背景的面向属性概念格,从而更有利于知识发现。     

声波反射的形式理论

运用非线性几何光学技巧将二维等熵可压缩流的初边值问题简化为两个解藕的Ｂｕｒｇｅｒ方程的初边值问题。通过解该Ｂｕｒｇｅｒ方程的初边值问题，我们可以得到原方程的一个形式解。该形式解含一个高频小振幅入射声波以及该入射声波在边界上的反谢声波     

Fuzzy正则语言注记

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

图式构建与大学英语阅读

将图式理论与英语阅读教学相结合,主张从整体上构建形式图式和内容图式,从而建立起读者与阅读材料之间的相互联系。     

形式背景下粗糙集近似算子的公理化方法

给出了在形式概念分析中粗糙集近似算子的一种新的定义方式,并给出了它们的公理化刻画。同时也给出了作者Shao提出的另外一对形式概念分析中粗糙集近似算子的公理化刻画。公理化方法有助于理解近似算子的数学结构特征。     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.     

DNA粘接计算模型及其应用

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

概念格约简与覆盖约简之间的关系

以一类与覆盖粗糙集相对应的形式背景为工具,对概念格属性约简和覆盖粗糙集约简进行研究,结果表明覆盖粗糙集与形式背景之间存在一一对应关系,并且证明了覆盖粗糙集的交约简可化为概念格的属性约简。     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

用BASIC语言判定命题推理的有效性

本文利用BASIC语言中较少为人所用的逻辑运算功能.来判定命题推理的有效性。     

领域知识形式背景规范化理论研究

领域知识形式背景是描述某个学科领域中概念及概念间关系的重要知识载体,在很大程度上决定了知识表达的规模和精确程度。本文针对临床诊断领域形式背景中知识表示的完备与精简问题,以高血压疾病为载体,综合考虑概念格内对象与属性间的不同层次关系,区别对待具有不同重要性的背景属性,提出形式背景属性约简理论与方法,给出消除背景冗余的Ⅱ度规范理论,并在此基础上寻找到解决形式背景缺值的满值化方法。     

关于S~(n+1)中常标量曲率极小超曲面的Pinching常数的注记

设 M 是单位球面 S~(n+1)中的一个闭极小浸入超曲面,h 是 M 的第二基本形式,s 是 h 的模长的平方。根据 Simons 已得到的结果,若在 M 上有0≤s≤n,则 s=0或 n。本文讨论如下问题:s 是否有另一个较大的值?若有,这个值是什么?此问题收集到[7],我们得到定理设 M 是 S~(n+1)中的闭定向极小浸入超曲面,若 s 为大于 n 的常数,则s>n+(5-17~(1/2))/(3+17~(1/2))n>n+(n/9)     

形式背景中属性特征与对象特征的完备定义

形式背景是形式概念分析理论中的一个重要元素,是用于表达和记录对象与属性之间二元关系的数据载体;形式背景中属性间的关系、对象间的关系是非常重要的关系,由此表现出来的属性的特征、对象的特征非常值得研究.本文目的是给出形式背景中属性特征与对象特征的完备数学定义及其性质,为偏序结构理论的研究奠定坚实的基础.     

关于常标量曲率的球面闭极小超曲面上L—算子的第一特征值的注记

本文讨论关于具有常标量曲率的球面闭极小浸入超曲面上L——算子的第一特征值λ_1及其所刻划的曲面的特征。并给出 定理 设M是S~n+1中的闭定向极小超曲面,且S=常数>n,则L——算子的第一特征值 λ_1≤-n-[2(S-n)/(n+2)]其中,S为第二基本形式模长的平方。