SP4I互连网络

本文考察了一类“ k~i”型互连网络,从分析反映这类互连网络性能价格比的参数P出发,证明了对这类网络最合理的选择是k=4,进而对单级 4~i型互连网络(简称SP4I互连网络)建立了自动位移规则,给出了向量位移无冲突的必要充分条件,并提出用设置向量缓冲寄存器来消除伪冲突及相应的其它无冲突位移性质。     

知识的自然表示语言——人类的内部语言和外部语言

与通常语言学和心理学书([1]-[14])上的一种语言两种言语的观点不同,本文提出两种语言的新观点。本文建立了一个以感觉表象和概念多层递归综合而成的知觉表象为基本元素,形象与逻辑统一的内部语言模型,并且系统地讨论了外部语言概念。最后,讨论了内部语言,外部语言与思维的关系,灵感现象,以及知识及自然语言理解与内部语言及外部语言的关系。     

一个基于孙子定理的素数存储系统方案

基于孙子定理,本提出一个素数存储系统方案。该方案既不浪费存储空间,且为实本系统仅需计算“ｄｍｏｄｐ”,而无需计算商。因此,本系统是一高效存储方案。     

集合代数是经典命题演算形式系统的语义解释

经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的.逻辑代数和集合代数都是布尔代数,都是CPC的解释.集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵.逻辑等价的解释就是集合包含和集合相等=.标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用.CPC完全适用于概率命题演算.