多重模糊蕴涵与生成模糊蕴涵的新方法

提出一种生成模糊蕴涵的新方法,即通过一个或多个选定的模糊蕴涵作多重迭代生成新的模糊蕴涵,称为多重模糊蕴涵.从选定的模糊蕴涵出发,根据不同的迭代次数,分别证明迭代结果仍为模糊蕴涵.进一步,分析当选定的模糊蕴涵具有某种性质时,所生成的多重模糊蕴涵是否仍保持这些性质.还对选定的模糊蕴涵分别为(S,N)-蕴涵和R-蕴涵这两种重要情形,进行更深入的分析.这些结果将为模糊蕴涵在控制及决策等领域的应用提供支持.     

直觉I-Fuzzy拓扑空间的杨忠道定理

以L~*-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念,接着给出它的一些性质,最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理.     

Incremental Unknowns Method for Solving Three-Dimensional Convection-Diffusion Equations

We use the incremental unknowns method in conjunction with the iterative methods to approximate the solution of the nonsymmetric and positive-definite linear systems generated from a multilevel discretization of three-dimensional convection-diffusion equations. The condition numbers of incremental unknowns matrices associated with the convection-diffusion equations and the number of iterations needed to attain an acceptable accuracy are estimated. Numerical results are presented with two-level approximations, which demonstrate that the incremental unknowns method when combined with some iter- ative methods is very effcient.     

一种求解混合多目标规划问题的功效函数法

逻辑生长函数相对于龚珀兹生长函数具有拐点高和对称性的特点,采用逻辑生长函数形式的功效函数法求解混合多目标规划问题具有形式简单、计算量小、符合实际的优点。证明了用这种方法求出的最优解是有效解。讨论了满意值对有效解的影响。逻辑生长函数还可以应用于多维变量评价的功效系数法中。     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

深入研究模糊逻辑的必要性与紧迫性

因为"取大取小"不是数学计算,所以基于"取大取小"的模糊逻辑不能为数值转换提供算法支撑,使得模糊理论面临无合适模型可用的被动境地.指出,模糊逻辑是逻辑的一个新的近似推理研究方向,它的量化方法是数值计算;目的是支撑隶属度转换,使得由指标隶属度确定的目标隶属度是"真值"在当前条件下的最优近似.模糊逻辑是在隶属度转换条件下对人类近似推理本领规范的一种方法.而进行规范的依据是区分权滤波的冗余理论,实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;相应的隶属度转换模型是非线性数学模型.     

m值逻辑函数的谱分解式及广义Bent函数的递归构造

本文用概率方法得到ｍ值逻辑函数Ｃｈｒｅｓｔｅｎｓｏｎ循环谱的分解式,据此考察了ｍ值广义Ｂｅｎｔ函数一些新的性质,给出了递归构造ｍ（ｍ≠２ｍｏｄ４）值广义Ｂｅｎｔ函数的一般方法．     

强伪Ockham代数与剩余格

引入了伪Ockham代数的概念,讨论了伪Ockham代数与剩余格的关系.进一步引入强伪Ockham代数概念,并给出了它的基本性质.然后,将著名的R0蕴涵和R0算子推广到伪Ockham代数上,证明了添加广义R0蕴涵和广义R0算子后的伪Ockham代数L成为剩余格的充要条件是L为强伪Ockham代数.最后给出注记,以此说明强伪Ockham代数的条件是独立的.     

基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

省珠算协会四届六次常务理事扩大会暨珠算与珠脑速算理论研讨会总结

黑龙江省珠算协会四届六次常务理事扩大会暨珠算与珠脑速算理论研讨会历时两天,现在已圆满地完成了各项议程,达到了预期目的。