论文部分内容阅读
算子fuzzy逻辑及其归结推理的改进
【机 构】
：
吉林大学
【出 处】
：
第一届中国人工智能联合学术会
【发表日期】
：
1990年期
其他文献
归并的数学模型理论及其算法优化研究一直是工程CAD领域中的热点问题， 有着重要的理论意义和应用价值。文章从实践中提取并抽象了归并问题的数学模型，根据该问题的实际特点提出
简单多边形的三角形化不但在图形显示及数值分析计算的表面插值等实际应用方面有重要作用，而且在解决计算几何本身的一些问题中也是一个强有力的工具。Ｇｒａｈａｍ扫描在计算几何中是一种
对于只有初态，目标态和算符集的搜索问题，可以从分析算符对状态的影响中，得到一个子目标规划层次网络，从而将搜索问题化解为顺序求解各子问题，并尽可能以线性实现子目标方式求解。
循环不变式在算法程序的设计及形式推导和证明中有重要作用。该文指出Ｄｉｊｋｓｔｒａ－Ｇｒｉｅｓ标准循环不变式开发策略存在的局限性，为证明现有程序正确和开发新的算法程序分别提出了两种新的循环不变
该文进一步探讨了用R函数方法在处理由二元系热力学性质预示三元热力学性质的各种模型计算中的优越性。具体的推导了在用高阶多项式表示二元性质时各种模型的计算公式。并给