素数阶群理论的量词消去及复杂性

本文中我们将研究语言,上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质,并利用该性质给出理论Ｔ判定问题的一个复杂性上界．     

同余式x_i~2≡a（modp）相异解的个数的递推公式

同余式ｘ_ｉ~２≡ａ（ｍｏｄｐ）相异解的个数的递推公式沈云付（北京师范大学，北京１００８７５）设ｐ为奇素数，ｍ，ｎ为正整数．同余式（１）的解数仅与ａ的Ｌｅｇｅｎｄｒｅ符号有关，有相同的Ｌｅｇｅｎｄｒｅ符号的同余式它们的解数相同．于是用表示同余式（１）...     

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

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

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

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

格值模型的初等类及几点注记

本文证明了在有限值格下，一个模型类是初等类当且仅当它对超积和初等等价封闭，同时值格需有强特征式，语言应附有相应的零元关系符号。     

格值模型论的双基数定理和强降L-S-T定理

<正> 在文献[2—5]中已证明当值格L适合某些条件时,二值模型论的某些结果可推广到格值模型论中.本文试图作进一步的推广.证明了:     

素数阶群理论的量词消去算法及其上界

在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界.