Fuzzy logic programming; Automatic theorem proving; Fuzzy XPath;
机译:用模糊逻辑编程和SMT自动证明模糊公式
机译:小型水力植物的自动生成控制 使用基于模糊的共生器官搜索优化的混合〜λd模糊PI〜λd控制器的集成多区域系统
机译:基于最优模糊自适应共生生物搜索的两自由度模糊比例积分微分控制器在发电控制中的新应用
机译:模糊XPath用于自动搜索模糊公式模型
机译:使用模糊过程粒子群优化,模糊模式和预感因子的对抗系统模糊搜索策略生成。
机译:采用模糊解释结构建模和模糊MICMAC分析模拟冷供应链抑制剂
机译:采用模糊神经网络的Ginjo酿造过程自动模糊模型。