完成了一个故障模糊诊断专家系统(Fault Fuzzy Diagnose Expert System).FFDES由知识库维护、故障诊断、诊断解释、列表打印4个基本模块组成,此系统基于模糊数学中的模糊变换的原理建立推理诊断机制,经实例考察,结果满意

微分的定义 设 y = f (x)是一个给定的函数， 在点x 附近有定义。若 f (x)在x 处的 自变量产生了某个增量x 变成了 x + x （增量x 可正可负，但不为 零），那么它的函数值也相应地产 生了一个增量 y(x) = f (x + x) − f (x)， 在不会发生混淆的场合，或者是无需特别指明自变量的时候

对一类三维混沌系统的界进行了估计.首先运用参数法给出了该三维混沌系统在条件-1 ≤ c<0下两变量的一个上界估计定理并进行了证明,其次在两变量上界估计的基础上给出了该混沌系统三变量的一个上界估计定理并进行了证明;最后给出了具体参数下该三维混沌系统的上界估计值并进行了数值模拟

有界性定理 定理3.4.1若函数f(x)在闭区间[a,b]上连续,则它在[a,b]上有 界。 证用反证法。 若f(x)在[ab]上无界,将[ab]等分为两个小区间[aa+b]与 a+b,b,则f(x)至少在其中之一上无界,把它记为[a,b] 再将闭区间[ab]与等分为两个小区间a1,a1+b]与a1+b

空间曲线的切线和法平面 一条空间曲线可以看成一个质点在空间运动的轨迹。取定一个直 角坐标系,设质点在时刻t位于点P(x()y()=(t)处,即它在任一时刻 的坐标可用 (x=x(t)

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数

∑ ∞ = − 0 0 )( n n n xxa = a0 + )(1 0 − xxa 2 2 0 −+ xxa )( +\+ n n xxa )( − 0 +\ 这样的函数项级数称为幂级数。幂级数的部分和函数 Sn(x)是一个n −1 次多项式。 为了方便，我们通常取 0 x = 0, 也就是讨论 ∑ ∞ n=0 n n xa = a0 + 1 xa 2 2 + xa +\+ n n xa +\， 然后对所得的结果做一个平移 x = 0 − xt ，就可以平行推广到x0 ≠ 0的情 况

为了建立一个高效的路径搜索引擎,针对大型应用系统中寻径算法的平衡最优性、时间复杂度以及空间复杂度问题,从经典Dijkstra算法出发,将AI领域的决策机制引入到路径搜索中来,提出了一个启发式最优路径搜索算法.该算法在寻径过程中引入代价函数,由代价函数来决定寻径策略(即优先搜索哪些中间节点),以期望减少搜索节点数.给出了该算法得到最佳解的条件及其证明过程,并且以实例数据对两种算法进行了对比测试

在分析已有的热力学数据基础上,建立了估算二元金属间化合物标准熵的双参数模型.用此模型可估算由简单金属形成的二元金属间化合物的标准熵,涉及Fe、Si、Nb、Ti、Cu、Co和Mg等多个体系.估算了132个已知金属间化合物AlCa、AlCo、CrNi、FeTi、FeSi、FeNb和MoSi等的标准熵,平均误差为4.86 J·mol-1·K-1,标准差为6.24 J·mol-1·K-1.用双参数模型估算的标准熵精度高,其估算误差小于离子束缚模型

针对数字矿山的发展与建设需要,以面向对象的思想,设计了一个基于Web的矿井及典型灾害三维仿真系统的框架结构.该系统框架包括核心功能模块、数据管理模块和辅助模块等三个功能模块.基于Web技术和可视化技术,形成了一套面向浏览器/服务器(B/S)模式的矿井及典型灾害三维仿真系统实现技术.运用这些技术,通过对某金矿实际数据的采集和处理,实现了基于B/S模式的地表地形、矿体及井巷工程仿真