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

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

网的收敛与分离公理

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

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

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

不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

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

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

应用服务器多层结构安全稳固的delphi编程技术

多层结构是目前分布式系统的主要应用结构。它的安全稳固问题一直受人关注,阐述了3种基于Delphi的多层结构安全稳固技术的原理,并给出了程序实现代码。     

多部图λκ_n(g)的G-设计,G为有1条悬边的4长圈

设λkn(g)是一个λ重完全n部图,G为一个不带孤立点的简单图,一个(λkn(g),G)-设计是将λkn(g)划分成边互不相交的子图,使得每一个子图都和G同构．在此基础上讨论了G为有1条悬边4长圈时多重完全多部图的G-设计的存在性．并给出其存在谱．     

Evolutionary Computation and its Application

On Mar.23,2006,a project in the Major Program of NSFC-"Evolutionary computation and its application",managed by Prof.Licheng Jiao,Prof.Lishan Kang,Prof.Zhenya He,and Prof.Tao Xie,passed its Final Qualification Process and was evaluated as Excellent.