降值设计理论
【摘要】:
三值光计算机是一种全新概念的光电混合型计算机,它将光强度与偏振方向结合起来表示三值信息,具有光运算、光传送、电控制和光电混合存储等特点。三值光计算机理论正在逐步完善并走向实践。三值光计算机研究者们一直致力于三值光计算机样机的研制,希望这种具有众多数据位的计算机早日带给我们新的计算技术。
三值逻辑光学运算器是三值光计算机的心脏部件,它的设计与实现是三值光计算机样机研制成功的关键,其性能与硬件规模都是三值光计算机样机的主要衡量指标,并对未来三值光计算机的硬件结构形式和应用影响深远。作者在研究三值逻辑光学运算器的工作中发现了多值逻辑运算器的降值设计规律;并由此建立了多值逻辑运算器的降值设计理论、设立了降值设计规范;依据这个规范,n值逻辑的nn×n种运算器都可以循着程式化的步骤,从n×n×(n-1)种最简单的基本运算单元中组合几个而成。作者运用这个规范成功地设计了三值逻辑光学运算器的结构,取得满意结果。随后,作者进一步推证出了三值逻辑光学运算器设计的公式化简法和合并图化简法。主要贡献有:
1.建立了多值逻辑运算器设计的降值设计理论与降值设计规范。该理论建立在D状态、迭合操作、分解定理以及处理基元等基础上,是一种全新的运算器设计与实现方法,按此设计的运算器易于物理实现。
2.建立了三值逻辑光学运算器的通用降值设计规范,并提出了一种易于集成和实现的光学硬件典型结构。这是将降值设计理论与降值设计规范应用到三值逻辑光学运算器研究上得到的成果,这项成果为这种运算器的重构性奠定了基础。
3.建立了三值逻辑光学运算器的公式化简法和合并图化简法。依据这两种方法可以对三值逻辑光学运算器做最优化改善。
4.实现了一个重构型三值逻辑光学运算器的实验系统,完成了相关的软硬件设计。该实验系统可以构造出全部19683种二元三值逻辑光学运算器。它显示了这种运算器的可重构性和降值设计理论的正确性。
除此之外,作者还对经典逻辑代数理论中的部分定律和定理做出了降值设计理论的新解释,初步揭示了两种理论的内在关联;同时初步探讨了降值设计理论与多值逻辑理论的联系。