论文部分内容阅读
一类新的Meyer-Konig and Zeller型算子
【机 构】
：
厦门大学
【出 处】
：
中国数学会全国第五届函数逼近论学术会
【发表日期】
：
1987年期
其他文献
对于只有初态，目标态和算符集的搜索问题，可以从分析算符对状态的影响中，得到一个子目标规划层次网络，从而将搜索问题化解为顺序求解各子问题，并尽可能以线性实现子目标方式求解。
循环不变式在算法程序的设计及形式推导和证明中有重要作用。该文指出Ｄｉｊｋｓｔｒａ－Ｇｒｉｅｓ标准循环不变式开发策略存在的局限性，为证明现有程序正确和开发新的算法程序分别提出了两种新的循环不变
该文进一步探讨了用R函数方法在处理由二元系热力学性质预示三元热力学性质的各种模型计算中的优越性。具体的推导了在用高阶多项式表示二元性质时各种模型的计算公式。并给
该文将Zadeh定义的Fuzzy集隶属函数的取值扩充到闭区间，得到了新的Fuzzy聚类F[*→（U）。在F→（U）定义了反意算子：U[**]C＝-UA，使得（F[*→（U），U，n，C[*-*]形成DeMorgan代数系统，并讨论了F[*→*]（U
该文分析了在空间交错的两轴之间十字轴双万向联轴器等速传动的条件。文中推导了输入、输出轴处于一般位置时各种几何参数之间的关系，并且制作了有关线图，提出了利用这些线图对
作者在分析了Turner归约模型中组合算子表达式的组合膨胀原因后，提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系，转换规则T和归约规则R[*vC*]，并且证明和验证了