一种生成通用简约验证测试集U（P,W）矩阵的算法

作者曾著文给出了构造Ｕ（ｐ，ｗ）矩阵的公式，一个Ｕ（ｐ，ｗ）矩阵含有特定的一组权在前文的基础上，本文讨论如何根据给出的权产生相应的全部矢量的算法。本算法比较简单，适用于二值逻辑和多值逻辑。     

多元杨辉三角形的母函数及其应用

本文给出多元杨辉三角形的计数普母函数及其证明，并给出应用该函数导出的三个恒等式。