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

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

网的收敛与分离公理

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

一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

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

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

关于“增乘开方及其相关问题的再探讨”一文的点评

中国传统数学历史悠久，成就辉煌，即使在明末《几何原本》前六卷(1607)、《同文算指》(1644)等西方几何知识与笔算方法传人中国以后，中国传统数学仍不断吸取西方数学精华以完善自身体系并不断有所发现．清代乾嘉以降的古算复兴所产生的诸多成果以及研究西方传人的新课题所得成果均可说明，中国传统数学以其自     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

体育专业课教师教学能力综合评价研究

体育专业课教师教学能力评价是高校教育科学管理工作的一个重要环节.多年来,我国一些高校在评价体育专业课教师教学能力时,往往采用主观定性的方法进行语言描述,缺乏量化指标的科学评价指导,难以使人信服.为了贯彻落实《高等学校体育专业课程评估工作》的精神,建立一套比较完整的体育专业课教学竞争机制,调动教学双方的积极性,以提高教学质量.特研究与实施本项评价方案.1 建立评价指标体系     

纯棉针织物活性染料预碱法染色工艺研究

采用传统染色工艺和预减法染色工艺，对纯棉针织物进行染色实验。通过对各自固色率的分析比较，并从活性染料的染色原理进行分析，指出预减法染色可以提高活性染料的固色率。