三值光学计算机

三值光学计算机是2017年3月问世的通用型光电混合计算机系统。它用无光态和偏振方向正交的两个偏振光态表示信息,用旋光器和偏振片来改变这三个光态,进而完成三值逻辑运算和MSD(modified signed-digit representations)冗余表达数值的二进制并行加法运算。这种新型计算机具有处理器位数众多、处理器位可以分组独立使用、处理器位的计算功能可重构等优势;还以非易失随机存储器件为基础,构建了与处理器频繁交换大量数据的双空间存储器系统;为便于编制发挥这些特色的应用程序,采用SZG文件为程序员遮蔽三值光学处理器与传统电子处理器的差别,构成了保持传统编程技术的新编程平台。目前,针对快速傅里叶变换、元胞自动机等典型算法,验证了这种新型计算机的加速能力。     

格值模型论的Morley定理

本文在文献[1—5]的基础上引进了格值模型论的Skolem函数、不可辨元集、饱和模型、原子模型和α-稳定理论等概念,证明了在值格有限时的格值模型论的Morley定理。 本文所用符号取自文献[1—5]。要求值格适合(F_1)、(F_2)和强特征式及紧致性定理。     

树的一阶可定义分层

利用Ｂｏｏｌｅ运算和树型上的联结运算对树的一阶可定义集以存在量词和全称量词交替出现的方式给出了一个分层对应。     

运算-数据文件——应用三值光学计算机的关键技术

介绍编写三值光学计算机应用程序的关键技术.首先将运算规则和大量原始数据合并在一个特殊文件中,然后在应用程序中使用专门的扩充指令将该文件送至三值光学计算机进行处理.这个特殊文件被称为运算-数据文件(简称SZG文件).采用一个多心洋葱图描述了拥有电子处理器和三值光学处理器的异构系统编程平台,该平台能体现SZG文件的重要作用.介绍了SZG文件的起源、发展、SZG文件的格式和生成方法,以及对程序语言的必要扩充.最后通过一个具体示例,介绍使用SZG文件的过程,并在三值光学计算机软件模拟系统中对该示例进行了测试.测试结果表明,所编制的应用程序运行正常,计算结果正确.这种编程技术对建立包含多种类处理器之异构系统的编程环境有很好的借鉴作用.     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

三值光学计算机一种限制输入一步式MSD加法器

在已有三值光学MSD加法器研究工作的基础上,对限制输入符号的一步式MSD加法器进行了进一步研究.本文简要介绍了一般一步式MSD加法器的原理,其核心是"中位变换"、中位变换表和对应的中位变换器等概念.通过限制输入符号,得到了简化的2位中位变换表.通过分析这个2位中位变换表,获得了2位中位变换V子变换、U子变换和中位变换器主变换,设计了相应的变换器光路图.在此基础上,根据限制输入一步式MSD加法器原理设计了它的结构.通过对中位变换器和一步式MSD加法器的软件模拟以及实物实验,证明所设计的一步式MSD加法器有效.该加法器将成为三值光学计算机的基本部件之一.     

三值光学处理器的数据位管理理论和技术

数据位众多是三值光学计算机的突出特点之一，如何有效地管理众多的数据位成为计算机科学领域的新课题．本文通过继承、更新、增补、归纳和梳理相关的研究成果，形成了比较系统的数据位管理理论和技术架构．这个框架包括下列概念和技术：1）数据位管理基本单位“算位”和“算道”，算位用于标记简单数据类型的数据位，算道用于标记复合数据类型的数据位．2）“计算量指标”用于标示一个任务的计算量规模，对大规模、中规模和小规模的任务、系统将采取不同的管理策略．3）“数据位物理形态”指出在数据传送的各个阶段数据位所占用的具体器件．4）“坏位替换”技术实现了用预留的冗余数据位及时替换失效的数据位，依靠这项技术，三值光学计算机具有对数据位软硬件故障的容错能力．5）“整体重构”技术采用定时重构所有数据位的策略，显著减少了重构过程对计算过程的打断次数．6）“数据位分配技术”将对不同规模的任务采用各不相同的规划策略．另外，文中还讨论了用这个理论指导设计三值光学计算机第三个实验系统（SDll）硬件的情况．SDll的设计目标是为探索如何应用三值光学计算机提供实验平台．SDll的光学处理器基本模块有1024个数据位，还有128个冗余数据位，而一个光学处理器可以包含16个基本模块，所以，一个SDll最多可以有16384个数据位，并有2048个冗余数据位．     

两个初等等价的不同构的有限格值模型

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。