排序方式： 共有3条查询结果，搜索用时 15 毫秒
1
1.
给出了蕴涵算子族的定义,将蕴涵算子的性质进一步推广,给出了蕴涵算子族的16条常用性质.基于含参数的三角模和余三角模构造了42种蕴涵算子族.验证了所构造的蕴涵算子族是否满足16条常用性质,揭示了它们与几个重要蕴涵算子族之间的关系. 相似文献
2.
模糊模态命题逻辑的语义 总被引：2，自引：0，他引：2
对克里普克语义进行了扩充，给出了模糊化的克里普克语义，然后讨论了模糊模态α-重言式，最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题。 相似文献
3.
以RM,RZ,R03个蕴涵算子为基础,给出了其相应三I算法的表达式,并研究了这3个蕴涵算子基于三I算法构成的单入单出模糊控制器,分析了它们的响应能力.结果表明,当Ri(i=1,2,3)按顺序取R0,RM,RZ时基于三I算法构成的单入单出模糊控制器具有函数的泛逼近性;当Ri(i=1,2,3)按顺序分别取RM,RZ,RZ或R0,RZ,RM时基于三I算法构成的单入单出模糊控制器近似为一元拟合函数;其余情况基于三I算法构成的模糊控制器具有阶跃响应能力. 相似文献
1