通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识,在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在,该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义

通过将冲突分析与粗糙集理论相结合，利用信息系统表示冲突问题，提出了冲突矩阵的概念．根据冲突函数的不同定义和阈值设定，提出导致不同紧密程度的联盟以及不同类型联盟的方法，并进行带有阈值的局中人的实力-策略分析．在此基础上，提出了减少联盟之间冲突程度的谈判模型．此外，对约简和冲突度的不同作用进行了阐述，提出了可分辨矩阵Ⅱ的概念及其相应的冲突函数表示．

采用边界元方法建立了某大型高炉炉缸炉底侵蚀判定的数学模型.该模型用于推定高炉炉底1150℃等温线的位置和形状,以了解和分析炉缸炉底的破损情况.结果表明,边界元方法在近似单一介质热传导问题中所建立的数学模型用来预测高炉炉缸炉底侵蚀状况,有省时、精度可控的优点

在类合金(NH4Cl-H2O溶液)定向凝固晶体生长实验装置上,利用?30μm煤粉作示踪粒子,再现糊状区内微通道流以及通道出口处的流体流动,并测算了各处流体的瞬时速率.分析认为:凝固初期,糊状区内固相体积分数较大,内部流体流动受阻;随着固相体积分数减少,糊状区孔隙率增大,流体充分发展;当平均固相体积分数降至0.42,接近最小值0.38时,当量雷诺数达到临界值(247),糊状区内形成微通道;随着通道宽度逐渐扩大,液相区内热流体进入微通道.微通道内稀冷液体向上流,浓热液体向下流,促使通道内溶液再结晶

利用灰色预测线性规划模型对多金属矿山的产能进行优化配置.经过灰色预测模型对各定位系数进行预测,将灰色线性规划问题转化为一般的线性规划问题,对其进行求解.结果表明,定位系数GM(1,1)误差检验合格,预测的多金属矿山经产能优化后可以实现生产资料的合理配置和利润的最大化

为了准确划分采空区上覆岩层的“三带”范围,提出了“三带”的界定准则:将应力超过屈服强度或抗剪强度的岩层高度定为裂隙带的上限,而将双向拉应力都超过抗拉强度的岩层高度定为裂隙带的下限.采用FLAC软件对矿山进行了界限确定,通过生产实践中的瓦斯抽放效果进行了验证,结果表明该界定方法合理有效.此方法可普遍用于采空区上覆岩层的“三带”划分

我们知道,可以用收敛数列(或级数)来表示或定义一个数,下面将讨论如何用函数列(或函数项级 数)来表示或定义一个函数

研究了微量元素Cu、Fe、Cr对高速电镀zn-Ni合金的影响并探讨了其作用机理。Cu2+在Zn-Ni镀液中容易析出,但它是一种有害元素;Fe2+、Cr3+则难于析出,镀层中含适量的Fe、Cr可提高Zn-Ni镀层耐蚀性。同时还探讨了微量元素电沉积机理,提出了微量元素从Zn-Ni镀液中电沉积进入镀层的定量判定方法

以连续定向凝固柱状晶组织BFe10-1-1合金在应变速率为0.01~10s-1和变形温度为25~500℃条件下的压缩试验所得实测数据为基础,采用自适应神经网络模糊推理系统(ANFIS)方法,建立了连续柱状晶组织BFe10-1-1合金压缩变形真应力与变形温度、应变速率和真应变关系的预测模型.结果表明:ANFIS模型预测的流变应力值与试验值之间的平均误差为0.75%,均方根误差为2.13,相关系数为0.9996,很好地反映了实际变形过程的特征,而在相同情况下采用传统回归模型预测的平均误差为6.28%,表明ANFIS模型具有优良的预测精度

根据鞍钢厚板厂投产的国内第一套中厚板轧后高密度管层流控冷装置的特点,结合理论分析,建立了一套适用于中厚板轧后快冷的控制用数学模型.该模型由层流冷却预设定冷却模式、各预设定冷却模式下终冷返红温度预报模型、终冷返红温度修正模型、自学习模型等组成,且该套模型已在鞍钢厚板厂投入使用