具有一定混合光滑模的Besov型函数空间内的迹定理

在多元周期的Ｌｐ（１〈ｐ〈∞）空间内，对一类具有一定混合光滑模的，被赋以Ｂｅｓｏｖ型范数的线性子空间，利用Ｎｉｋｏｌｓｋｉｉ－Ｌｉｚｏｒｋｉｎ型的函数表现定理证明了嵌入定理，迹定理及其逆定理（延拓定理）。     

具有不精确推理能力的信息管理系统

本文将人工智能中的一些基本思想和方法引入信息管理系统,提出了一种能够根据带可信度的知识进行不精确推理的信息管理系统的设计方案。由该方案设计出的系统不仅具有一定的不精确推理能力,同时还具有适应面广、易变更和扩展等特点。本文介绍了这一设计方案及程序实现技巧。     

面向对象的复杂系统诊断知识表达与推理

基于面向对象的知识表达方法,建立了复杂系统诊断知识表达和组织模型,并讨论了诊断系统的推理行为.对应于复杂系统的结构元素的诊断基元是表达诊断知识的基本单元,构成知识库的原型知识库和系统知识库,分别对应于问题领域和具体诊断对象;诊断系统通过消息传递推理引导层间诊断,并基于“假设产生-假设建立”的推理完成基元的层内诊断.     

广义C0半群的表示与逼近

广义抽象柯西问题的解可表示为广义C0半群，本文给出了广义C0半群的指数公式、Laplace反演表示以及逼近原理。     

用PDE方法生成船体周围流场网格

在船体表面精确表达的基础上，采用船体表面的贴体坐标，求解Ｐｏｉｓｓｏｎ－ｔｙｐｅ ＰＤＥ方程得到船体周围三维流场网格，通过改变控制函数，能可视化地，交互地产生不同疏密和走向的网络。这种方法较适合于具有任意曲面内外边界条件下的三维流场网格生成。     

线性群SL（4，7）中元素的矩阵表示

本文利用矩阵方法讨论了线性群ＳＬ（４，７）中一些高阶元素，如４８阶元及５０阶元的存在性及其矩阵表示，这些结果同时也确定了ＳＬ（４，７）的Ｓｙｔｏｗ５－子群的结构．     

对外贸易合同专家系统

本文首先简述了专家系统的基本原理以及选择服务对象和语言工具的若干准则。其次,以开发对外贸易合同专家系统为例,文章不仅论述了系统主要功能结构的确定,而且还阐明了系统在两种驱动方式下的工作情况。最后,介绍了知识表达和推理机制的设计。     

置换群的优化算符

本文引入置换群的最佳完备算符集(优化算符),用它能以最简便的方式确定不可约表示矩阵。同时还讨论了优化算符的性质、本征值和本征函数,及其在置换群表示论中一些重要问题上的应用。     

SO(N)SO(N-1)约化因子及其Mathematica计算软件

SO(N)群在研究量子多体问题中起着重要的作用。为了构造物理系统的波函数和计算相互作用矩阵元等 ,需要知道 SO(N)的不可约表示和 SO(N) SO(N- 1)约化因子。利用不可约张量基方法 ,得到了正交李代数 SO(N)的不可约表示和 SO(N) SO(N- 1)张量型基础约化因子的解析表达式 ,并在此基础上编制了相应的 Mathematica计算软件。该软件有较好的通用性 ,调用函数有较小的时间复杂度 ,不仅可以进行数值计算 ,而且可以进行符号计算。这些结果对研究原子核、原子分子物理中的代数模型富有意义。     

L-模糊拓扑的新表示定理

利用完全分配格L上的关系,给出L-模糊拓扑的2个新表示定理.其研究结果表明:集合X上的每个L-模糊拓扑都是由一族以L为指标集的L-拓扑粘接起来所得到的,且2个不同的表示定理反映了不同的粘接方式.