排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
将Lukasiewicz模糊命题逻辑系统中公式A和B积分相似度ξ(A,B)与自然的距离ρ(A,B)的概念推广到模糊命题逻辑系统L*、G(o)d和∏中,并讨论了它们之间的关系.讨论的结果表明:在Lukasiewicz模糊命题逻辑系统中,它们之间的关系为:ξ(A,B)=1-ρ(A,B),而在G(o)d∏和L*中此关系不成立.最后还研究了这四个逻辑系统中公式的积分相似度和自然的距离的性质. 相似文献
2.
对目前高校教育教学评价方式的现状作了分析，对评价对象进行了描述和建模，设计了一种利用Hibernate作为数据接口的，用SQL Server进行数据存储的，能在Web上进行访问和操作的数据库． 相似文献
3.
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化. 相似文献
4.
首先提出了伪伴随对的概念,基于此给出了基于一类蕴涵算子或带参数的蕴涵算子的FMP三I算法的统一形式;然后给出了基于两族蕴涵算子的三I算法的具体表达式;最后进一步给出了基于一类蕴涵算子或带参数的蕴涵算子α-FMP三I算法的统一形式. 相似文献
1