浅析中国铝锭产能迅速扩充的原因

文章阐述了我国铝锭产能迅速扩充的原因。     

无向树图的k点连通最小扩充

解决了以最少边集扩充一个任意无向树图为k点连通图这一优化问题,提出了一个计算复杂度为D(|V|~4)的算法。为进一步研究可靠网络的计算机辅助设计打下基础。     

几类非对称典型域的扩充空间

本文引入了一类齐性复解析流形,可以看作 Grassmann 流形及[4]、[5]中引入的复流形(?)(r_1,…,r_p;s_1,…s_p)和(?)更一般的形式,并利用它来实现作者在[1]中给出的几类非对称典型域的扩充空间.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

傅立叶超函数和扩充傅立叶超函数与爱米特热方程

证明了傅立叶超函数和扩充傅立叶超函数可用爱米特热方程的解来表示,且用以表示的解有很良好的性质.     

粗可能性测度

给定模糊可测空间(X，A)及(X，A)上的可能性测度，通过应用粗集理论，将可能性测度Ⅱ和模糊糊积分分别扩充至P(X)和F(X)上，从而引入粗可能性测度的概念。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

线性互补问题的若干注记

首先给出Murthys等在[SIAM J.Matrix Anal.Appl.22(2000)]中提出的公开问题的肯定回答，然后讨论了R0－矩阵和Q－矩阵的一些关系。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。