算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。

水平稳恒磁场对Al-10%Bi合金中富Bi相分布的影响

在有、无磁场作用下进行Al-10%Bi过偏晶合金的凝固实验,分析了1T水平稳恒磁场对富Bi相分布的影响。结果表明,磁场作用下的合金试样上部的富Bi相粒子密度增加,下部的富Bi相粒子密度较少,且富Bi相粒子尺寸分布范围变窄。水平稳恒磁场在一定程度上阻碍了液滴的碰撞凝并和重力沉降,避免了液滴的局部聚集,提高了液滴沿重力方向的均匀程度,有利于获得富Bi相均匀分布的合金凝固组织。

水平稳恒磁场下Cu-12%Fe合金的凝固组织

研究了施加磁感应强度1 T的水平磁场对Cu-12%Fe合金凝固过程中Fe枝晶形貌、XRD及显微硬度的影响.表明,施加1 T水平稳恒磁场后,Fe枝晶显著细化,这主要是由于洛伦兹力和热磁对流竞争作用的结果;XRD分析的结果表明,Cu(111)晶面和Cu(200)晶面所对应的峰值强度均明显大幅度增加;显微硬度的测试表明由于Fe枝晶的细化致使施加磁场后样品的显微硬度小幅度增加.

仿生轮腿式爬梯底盘结构设计分析与应用

针对现有的以履带组合式、升降伸缩式、行星轮式、连杆式为底盘的爬梯装置在克服台阶等障碍物时统一存在的水平不稳定、动力消耗大和操作较难等问题,该文设计了一款可实现自调节底盘保持恒水平稳定的仿生轮腿式爬梯底盘结构。提出了以该结构为应用点的辅助老人上、下楼装置,完成了其机械结构方案设计、控制逻辑方案设计和核心零部件的运动学仿真分析及强度校核。基于FTdesigner技术搭建出物理样机模型并开展原理性、功能性和稳定性测试研究,试验与仿真数据表明,该装置完全自适应调节座椅水平度,具有功耗低、便捷度高、稳定性强等特点。

布尔算子Fuzzy逻辑中归结的广义完备性

本文在布尔算子Ｆｕｚｚｙ逻辑中引入公式的恒假水平的概念，证明了归结原理在定性和定量这两种度量意义下的广义完备性．

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性．从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高．

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的 .布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性 ,将经典命题逻辑作为其特例 .

Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑（以下简称BOFL）,同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ1,…,λm,λm+1∨C1,…,λm+n∨Cn}的子句集S,其中λ1,…,λ（m+n）是Fuzzy算子,C1,…,Cn是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.