青少年升学就业咨询与心理测量专家系统

论述了青少年升学就业咨询与心理测量专家系统(简称 PCTS)的设计思想与实现方法.PCTS 采用混合知识表达方式来反映源知识的复杂性;使用元推理、宏观推理与微观推理来增加推理机的通用性并提高知识的独立性.该系统已在 IBM-PC/AT 机上实现.     

基于自然语言理解的书本知识获取系统TKAS

利理自然语言理解技术，研究了由书本获取知识的方法，并研制了－个面向领域 的书本知识获取的实验系统ＴＫＡＳ（Ｔｅｘｔ Ｋｎｏｗｌｅｄｇｅ Ａｃｑｕｉｓｉｔｉｏｎ Ｓｙｓｔｅｍ）． ＴＫＡＳ在给定领域中，通过基于自然语言理解来达到有效的正文知识的获取，并用命 题语义网络作为其内部知识表示形式。该系统可作为智能系统开发过程中知识获取的 辅助工具。     

一种寻求发展方程族Lax表示的新途径

通过对一个新可积族Lax表示的讨论,提出了一条构造发展方程族Lax表示的一般途径,另将这个方法作为例子应用于寻求二个位势的Alonso可积族的Lax表示。     

用微分方程定义三角函数

本文用微分方程定义了三角函数,并由定义推出了它们的一系列基本性质,还证明了这一定义与用普通函数方程定义是等价的。     

确定分子简正振动模对称类型方法的改进

在分子红外振动光谱,分子物理、量子化学中,确定分子简正振动模的对称类型是进一步解决能级分类、选择定则、谱线强度、分子有关常数等问题的基础。威尔逊,科顿分别在他们所著《分子振动理论》及《群论在化学中的应用》中,用群论方法按公式(1)确定分子简正振动模的对称类型(简称威尔逊法):     

紧李群上的三角多项式不变算子

讨论了紧李群上三角多项式不变算子的一些性质,证明了Faber-Marcinkiewiez公式的Berman推广在紧李群上也成立,同时还说明了紧李群上的Fourier级数具有类似于古典Fourier级数的一些敛散性。     

l~n空间中Leray－Norguet积分公式的拓广

把空间中强拟凸多面体域上著名的Ｌｅｒａｙ－Ｎｏｒｇｕｅｔ积分公式拓广到一类具有低维强拟凸特征流形的可微分多面体域上获得在一类非拟凸的多面体域上建立具有包含全纯核和可微分核的可微分函数和全纯函数的积分表达式。     

量子群SU（1，1）_q的新表示及其相干态

本文中我们构造了量子群ＳＵ（１，１）＿ｑ的Ｄｙｓｏｎ表示，并找出了该表示与Ｈｏｌｓｔｅｉｎ－Ｐｒｉｍａｋｏｆｆ表示之间的变换关系，同时文中讨论了Ｄｙｓｏｎ表示对应的相干态，它正是ｑ畸变的Ｗｅｙｌ－Ｈｅｉｓｅｎｂｅｒｇ相干态．     

用于平面布局的专家系统

本文提出了平面布局的一个拓扑模型——方图,方图侧重于表达平面布局的拓扑属性.文中阐述了基于方图的平面知识表达、平面知识的推理方法与布局的智能生成原理和平面知识的获取方法,设计了平面布局专家系统的一种结构框图.