试论中国典故用法类型的划分

用典方法的传统分类，往往忽视其“划分标准”，仅将一系列用典方法递次排列在同一个逻辑平面上，以致形成交叉概念“不当并列”的逻辑错误。用典方法的分类，首先应确立“取意角度”、“用事目标”、“述典方式”、“取事数量”等几个不同的分类标准，然后分别划分出不同标准之下的若干类型，从而形成合乎逻辑的多层次立体结构。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

一类上可嵌入图

本文主要证明了如下结果 :设G为 3-连通图 ,若G的顶点集存在一个C一划分 {V1,V2 ,… ,Vn} ,使得对每个 1≤i≤n ,|Vi|≡ 0 (mod 2 ) ,且对任意的v∈V(G) ,dG=(v)≡ 1(mod 2 ) ,则G是上可嵌入的 .     

关于平面点集的凸分解

给定处于一般位置的平面点集S，可将S划分为若干空凸子集使得这些子集的并形成一简单多边形P，并且S的每一个点均位于P的边界上．称P中这样的空凸k-子集为-k-胞腔．令f(S)为S的划分中所含胞腔的最小数，F(n)=max{f(S)：S包含于E^2,|S|=n,无三点共线}．利用构造法将F(n)的下界改进为[n 1/4].     

E^n中稳定极小超曲面

局部证明了Ｙａｕ‘ｓ ｃｏｎｊｅｃｔｕｒｅ。获得如下定理：Ｍ为Ｅ＾ｎ中稳定极小超曲面且局部紧的，则Ｍ为超平面。     

求解绝对极小拟合问题的神经网络方法

提出了一个解绝对极小拟合问题的神经网络，并证明它的全局收敛性，该网络的优点是没有选择惩罚参数的困难，稳态解对应最优解，及网络电路中不含变量间的模拟乘法器。     

极小超曲面的pinching常数与特征值

设M~n是单位球面S~(n+1)的闭极小嵌入超曲面S和λ_1分别表示M(?)的第二基本形式的模长平方和Laplacian算子的第一特征值.本文主要结论:如果S>n且为常数,那么S≥n+λ_l(由于已知λ_1≥n/2.从而知S≥n+n/2).已知λ_1≥n/2,从而知S≥n+n/2).     

分形在有限元网格图形细化中的应用

有限元网格图形的自动生成及细化是进行有限元计算的一个重要环节，它直接关系到运算的速度和准确性。该文采用“分形”理论建立了有限元网格图形自动生成中的细化递推模型，它不同于传统的网格自动生成中的“树”理论，而是采用了“分形”过程中的自相似性。它具有运算速度快，内存占用少的特点，尤其适用于有限元分析过程中的前处理。这种方法不仅适用于二维系统的有限元分析，同时也可推广到三维系统     

新疆节能日光温室发展中的问题探讨

本文根据新疆节能日光温室的实践、研究和调查分析，从栽培区划分、结构设计、规模与生产技术等三个方面对新疆节能日光温室发展中的问题进行了探讨，为今后稳步发展提供了依据。     

相容矩阵方程AXB＝D的极小范数解及其稳定性

给出了相容矩阵方程ＡＸＢ＝Ｄ的极小范数解的结构，并在Ａ＝Ａ＋δＡ，Ｂ＝Ｂ＋δＢ，Ｄ＝Ｄ＋δＤ的扰动下分析了矩阵方程ＡＸＢ＝Ｄ极小范数解的稳定性．