吴洪博 杨志民 田英杰 李华君 张知学

命题演算 分划 模糊逻辑 可解 核函数 理想 凸函数 半单 n-李代数 α-矛盾式 可解根基 次理想 非退化 子代数 可达α-重言式 模糊数 支持向量回归机 模糊模拟 模糊规划 升级算法 模糊支持向量机

唐山师范学院数学系 唐山师范专科学校数学系 四川大学数学学院