关于RAID的MTBF的计算

根据可靠性理论，系统地研究了ＲＡＩＤ系统的可靠性问题，并给出了ＲＡＩＤ的ＭＴＢＦ的计算公式。     

利用MAX813L防止应用程序出现死循环故障

介绍了利用CPU监控芯片MAX813L防止应用程序出现死循环的方法，使用表明该方法是可行的。     

关于高维系统中Poincαre—Bendixson定理的反例

本文给出了在n(n≥4)维系统中,Poincare-Bendixson定理不成立的多项式系统的反例。     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

地膜覆盖机械化技术

地膜覆盖机械化技术，主要是应用地膜覆盖机具与8．8～13．2千瓦的小型拖拉机配套，将地膜按农艺要求覆盖在农田地面的机械化作业技术，另外，还包括整地、作畦、播种、施肥及残膜回收等相关的配套技术。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。