数字理论的表格方法研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第1章 绪论 | 第9-15页 |
| ·研究背景 | 第9-12页 |
| ·表格方法概述 | 第12-14页 |
| ·几种常见的基本表 | 第12-13页 |
| ·表格法研究的主要内容及面临的问题 | 第13-14页 |
| ·论文的研究重点及章节安排 | 第14-15页 |
| 第2章 布尔代数中的特殊运算及特殊函数 | 第15-32页 |
| ·布尔代数中的特殊运算 | 第15-23页 |
| ·布尔减与布尔除运算 | 第15-16页 |
| ·布尔差分与布尔偏导数 | 第16-23页 |
| ·布尔代数中的特殊函数 | 第23-26页 |
| ·线性函数的定义及性质 | 第23-24页 |
| ·对称函数的定义和性质 | 第24页 |
| ·双反函数的定义和性质 | 第24-26页 |
| ·冗余函数的定义和性质 | 第26页 |
| ·特殊函数与布尔差分、布尔偏导数之间的关系 | 第26-30页 |
| ·冗余函数、线性函数与布尔差分的关系 | 第26-27页 |
| ·自反函数、自双反函数与布尔差分的关系 | 第27-28页 |
| ·部分自反函数、部分自双反函数与布尔差分的关系 | 第28-30页 |
| ·部分对称函数与布尔偏导数的关系 | 第30页 |
| ·本章小结 | 第30-32页 |
| 第3章 与-或-非代数系统中的表格方法 | 第32-72页 |
| ·逻辑函数的表格表示 | 第32-35页 |
| ·真值表的引入 | 第32-33页 |
| ·真值表的性质 | 第33-35页 |
| ·逻辑函数的表格法化简 | 第35-38页 |
| ·单输出逻辑函数的表格法化简 | 第35-37页 |
| ·多输出逻辑函数的表格法化简 | 第37-38页 |
| ·真值表规模的压缩 | 第38-43页 |
| ·降维真值表 | 第39-42页 |
| ·互斥变量真值表 | 第42-43页 |
| ·多值逻辑函数的表格表示 | 第43-48页 |
| ·多值 Post代数系统中的基本运算 | 第43-44页 |
| ·多值逻辑函数的真值表 | 第44-45页 |
| ·多值逻辑函数的表格法化简 | 第45-48页 |
| ·表格方法在与-或-非代数系统中的应用 | 第48-60页 |
| ·真值表在公式证明中的应用 | 第48页 |
| ·用表格法计算逻辑函数的布尔差分与布尔偏导数 | 第48-51页 |
| ·用表格法计算逻辑函数的布尔减和布尔除运算 | 第51-52页 |
| ·表格法用于基于数据选择器的逻辑设计 | 第52-56页 |
| ·基于一位全加器三变量逻辑函数的查表综合 | 第56-58页 |
| ·用表格法检测冗余函数 | 第58-59页 |
| ·自反函数与自双反函数的表格法检测 | 第59-60页 |
| ·分解表在计算布尔差分和检测特殊函数中的应用 | 第60-63页 |
| ·用分解表计算一阶布尔差分和n阶布尔差分 | 第60-61页 |
| ·检测冗余函数和线性函数 | 第61-62页 |
| ·用分解表检测自反函数和自双反函数 | 第62-63页 |
| ·与-或-非代数系统中含任意项的表格方法 | 第63-71页 |
| ·含任意项的真值表 | 第63-64页 |
| ·含任意项表格方法的应用 | 第64-71页 |
| ·本章小结 | 第71-72页 |
| 第4章 模代数系统中的表格方法研究 | 第72-102页 |
| ·模代数系统中的表格表示及其性质 | 第72-75页 |
| ·模代数系统中的表格表示 | 第72-73页 |
| ·积项表的性质 | 第73-74页 |
| ·基于表格方法的b_j系数与c_j系数的转换 | 第74-75页 |
| ·RM型逻辑函数的表格法化简 | 第75-78页 |
| ·FGRM展开的矩阵法化简 | 第75-77页 |
| ·FGRM展开的表格法化简 | 第77-78页 |
| ·积项表规模的压缩 | 第78-83页 |
| ·降维积项表的定义及其获得 | 第78-80页 |
| ·基于表格方法的降维真值表与降维积项表的转换 | 第80-81页 |
| ·互斥变量积项表 | 第81-83页 |
| ·表格法在模代数系统中的应用 | 第83-93页 |
| ·用表格法计算逻辑函数的布尔差分与布尔偏导数 | 第83-87页 |
| ·用表格法检测冗余函数 | 第87页 |
| ·用表格法检测线性函数 | 第87-88页 |
| ·用表格法检测自反函数与自双反函数 | 第88-89页 |
| ·用表格法检测对称函数 | 第89-93页 |
| ·含任意项的RM型逻辑函数的表格方法 | 第93-100页 |
| ·积项表的表示 | 第93-94页 |
| ·最小项表与积项表的转换 | 第94-95页 |
| ·含任意项积项表的应用 | 第95-100页 |
| ·本章小结 | 第100-102页 |
| 第5章 或-符合代数系统中的表格方法 | 第102-115页 |
| ·或-符合代数系统中的表格表示及其性质 | 第102-104页 |
| ·或-符合代数系统中的表格表示 | 第102-103页 |
| ·或、符合的运算性质 | 第103页 |
| ·和项表的性质 | 第103-104页 |
| ·表格法在或-符合代数系统中的应用 | 第104-114页 |
| ·用表格法计算一阶布尔偏导数 | 第104-106页 |
| ·用表格法计算二阶布尔偏导数 | 第106-107页 |
| ·用表格法计算布尔差分 | 第107-110页 |
| ·用表格方法检测线性变量 | 第110-112页 |
| ·用表格法检测冗余函数 | 第112-113页 |
| ·用表格法检测自反和双自反函数 | 第113-114页 |
| ·本章小结 | 第114-115页 |
| 第6章 结论与展望 | 第115-118页 |
| ·论文的主要成果 | 第115-116页 |
| ·表格方法与传统方法的比较 | 第116-117页 |
| ·进一步的研究工作 | 第117-118页 |
| 参考文献 | 第118-123页 |
| 作者在攻读博士期间发表的论文 | 第123-124页 |
| 致谢 | 第124页 |
