布尔函数不交化的立方体算法

布尔函数的不交化是进行系统可靠度计算中的重要步骤。本文提出了一种进行布尔函数不交化的立方体算法。基于布尔函数的立方体表示法及不交代数,文中定义了立方体的有关运算法则,建立了立方体矩阵不交化算法,并用算例进行了说明。本算法的实现效率高,操作简便。     

单向Hash函数介绍

单向Hash函数常叫单向散列函数,也叫压缩函数、消息摘要、指纹、密码校验和、数据完整性检验（DIC）、操作检验码（MDC）、消息鉴别码（MAC）和数据鉴别码（DAC）。它对现代密码学是十分重要的。     

梁、板非线性动力响应分析的样条有限点法

本文用样条有限点法分析梁和基于Berger假设的板的几何非线性动力响应,推导了以样条结点参数表示的基本方程,用wilson-θ法求解动力增量方程,求得挠度响应曲线。本文的方法与有限元法比较,共计算时间省,程序简单,可在微机上计算。     

正切函数的契比协夫逼近及其系数的加速计算法

本文给出正切函数的有理展开和契比协夫展开式系数的加速计算方法;同时在YH-1机上进行了数值试验,结果表明:用现在的系数来计算正切函数,其精度比原来正切函数的精度可提高30%左右。     

凸集支撑函数的性质及其应用

本文讨论一个凸集C 的支撑函数的几个有用性质,并把这些性质应用于对函数次微分的研究,得到有关函数次微分的几个有趣结果。     

Lg 光顺样条函数的递推建立法

本文讨论了Lg 光顺样条函数的投影理论;从投影理论出发得到了Lg 光顺样条函数的递推建立法;通过一组特殊的基底使Anselone P M 等人关于光顺样条函数的构造法(见《Numer Math.》.1968,No.12)得到了简化。     

关于布朗运动“记忆”效应的一个模型

布朗运动能够概括一大类物理现象,因此一直受到人们的重视。近年来,计算机模拟和实验的结果都表明,布朗运动具有“记忆”效应。本文试图对布朗运动“记忆”效应构造一个模型。在稳定情况下计算结果表明,微粒位移涨落的二次矩仍与时间间隔t成正比,“记忆”效应表现为流体的粘滞性加大。     

数据流模型机SDS-l 的实现

文中全面地介绍了数据流模型机SDS-1的特点和实现方法。SDS-1模型机是一种同步和异步相结合、数据流和控制流相结合的数据流模型机,它能开发复合函数级的并行性。该模型机在Intel86/310微机和8个Intel86/12单板机组成的多机系统上实现,达到了80年代初国际先进水平。     

序统计滤波器的一些特性

本文分析了序统计滤波器的特性,并提出了它的几个统计特性。给出了输出信号的解析表达。并着重分析了它的联合分布,从而对输出信号的独立性进行了一定的描述。这为滤波器的设计提供了理论依据     

相空间有限元方法在解二维中子输运方程中的应用

本文采用相空间有限元方法求解了柱形临界多群中子输运问题。其中对于方程中的坐标变量用分片连续线性多项式作为试探函数,对于方程中的角度变量用分片连续双线性多项式作为试探函数。整个求解空间区域和角度区域分别采用三角形和矩形单元划分,然后利用迦辽金方法得到一个以网格点处角通量为未知数的线性联立代数方程组,方程组中的系数矩阵的存储采用了压缩存储技术。最后用高斯消元法解此有限元方程组,表明相空间有限元方法计算收敛性较好、计算精度高。