因素空间理论与知识表示的数学框架（II）：因素的充分性与概…

系统地研究因素空间理论及其在知识表示的应用，首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给了刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在量，在知识表示中起着基础性的作用。     

关于Witt代数的包络代数的q-变形的表示(英文)

设q不是单位根，本文构造了一个Witt代数的q一变形的表示V（λ，a，b），且研究了这样表示的性质。     

纽结的Kauffman多项式的状态表示

本文利用平面上的方块结构给出了纽结的Ｋａｕｆｆｍａｎ多项式的新的状态表示，从而讨论了Ｋａｕｆｆｍａｎ多项式和Ｃｏｎｗａｙ多项式的性质。     

一类四阶特征值问题及与之联系的发展方程族

本文研究了下列四阶特征值问题 Lφ=λφ,L=其中表示对x的导数,q、p、r是当x→∞时都快速趋于零的光滑函数 我们通过向量场的换位表示,给出一组Lenard对,由此定义了保谱发展方程族并给出了方程族中前两个方程的Darboux变换。通过这个变换得到这两个方程的一些重要解。     

中国象棋知识表示

以中国象棋为研究对象讨论象棋知识的表示问题.针对中国象棋的特点,在文中采用组合来描述进攻,并根据组合的不同特点,提出了可用于表示中国象棋知识的物理相关模式和逻辑相关模式的概念,以及由组合得到模式的方法.为在对弈过程中能得到合适的棋步,还提出了目标驱动和数据驱动两种模式的匹配方法,并认为有经验的棋手是以数据驱动为主的.为了提高模式匹配的效率,文中还将模式条件区分为主要条件(即模式特征)和次要条件,并提出了模式匹配步骤和棋步的复杂性概念.本文所提出的知识表示方法,已成功地用于中国象棋的下棋程序.     

一种对称性群表示的新形式

本文从对称性群方面，研究了相干态表示的一种新形式，并给出了带电粒子在恒电磁场中的相干态表示     

破解百年难题"李群E8的表示"

2007年3月19日,在美国麻省理工学院举行了一场非同寻常的报告会,数学系教授沃根（D.Vogan）代表由美国和欧洲的18位数学家和计算机专家组成的研究小组（简称为Atlas团队）介绍了他们所进行的研究项目＂李群及其表示＂（The Atlas of Lie Groups and Representations）取得的重大进展.     

对称群S_(2γ)的基本旋表示张量积的对称化

这篇论文应用约化记号解决了对于任一γ对称群S_(zγ)的基本旋表示的张量积的对称化问题。