专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

汉字字形研究刍议

字形是汉字的本体。整部汉字学史表明，从汉字学的萌芽时期以至当代，字形研究为其重要内容；随着其研究不断深入，成果不断丰富，加之当代学的日益重视，为建立真正的具有科学体系的汉字学奠定了坚实的基础。     

21世纪医学,生物学的蓝图—人类基因组计划

２１世纪医学、生物学的蓝图──人类基因组计划ＴｈｅＨｕｍａｎＧｅｎｏｍｅＰｒｏｊｅｃｔｉｓａＢｌｕｅｐｒｉｎｔｆｏｒｔｈｅＭｅｄｉｃｉｎｅａｎｄＢｉｏｌｏｇｙｉｎｔｈｅ２１ｓｔＣｅｎｔｕｒｙ￥／／杨焕明（国家遗传医学中心教授北京１００００５）编者按本...     

诺贝尔自然科学奖的96年——纪念诺贝尔逝世100周年

1996年12月10日是瑞典著名科学家诺贝尔逝世100周年,也是诺贝尔自然科学奖(物理学,化学,生理学与医学)颁发至今96年。本文总结了3项自然科学奖的颁奖概况,获奖者国籍分布,获奖者年龄分布和获奖学科的分类。     

三维波动方程的隐式多重网格方法

提出了数值求解三维波动方程的两种精度分别为O(τ^2 h^2)和O(τ h^4)的三层紧致隐格式,利用Fourier分析方法证明了格式均是无条件稳定的．并在此基础上提出了求解该问题的多重网格算法,从而克服了传统迭代法在求解隐格式时收敛速度慢的缺陷,大大加快了迭代收敛速度,提高了求解效率．数值实验结果验证了方法的精确性和可靠性．     

交替方向法迭代参数的确定

1:引言我们考虑在一个以S为边界的长方形区域R上的Poisson方程第一边值问题. 我们采用下列正方形网格的有限差分格式来逼近(1.1):其中 解(1.2)的迭代格式[1]为其中 我们令,则满足方程 可展成二重幅里哀级数因此, 假如存在一个不依赖于p和q的常数H,使 卖 11-p;P,11-o。,。l。u则其中因而为使(1.11)成立,只须满足就可以了. 迭代格式(1,3)的平均收敛速度定义为 我们必须解决的问题是,为了达到一定的准确度,应如何选取适当的参数p1,使得所需要的迭代次数为最少,也即选取参数使(1.13)达到最大. 2.迭代参数的选取。 我们定义函数Fn(y)为 引理1.…     

PTES专家系统知识库的构造

本文大专家系统设计方法的指导下，通过对整理、知识表示、知示获取、知识库构造等环节的描述，介绍了一个植物分类专家系统知识库的构造方法