极小化向量定理的一种新证法

通过充分利用下确界的概念,给出了极小化向量定理的一个简单明了的新证明.     

软件系统可靠性分析的Vague集方法

本文介绍了软件状态不仅有正常、失效状态，还有文中提到的失常状态，因此引入Vague集分析软件系统可靠性，在顺序和选择结构系统中通过三角形的Vague集方法运算证实，该方法可以更灵活、更智能有效地分析软件系统可靠性，建立成熟的人性化模型，使软件系统更加稳定。     

一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.     

知识发现中概率统计与粗集方法的比较

对知识发现中,概率统计方法与粗集理论方法在评价系统参数的重要性,分类隶属度与条件概率,输入条件与决策结果的依赖关系等方面进行了比较, 提出了将概率统计方法和粗集理论相结合,由确定性粗集的近似空间扩展到了不确定性的概率粗集的近似空间,为确定性和不确定性知识表达系统提供一个统计粗集模型。     

基于粗集与PCNN的图像预处理

研究了如何将粗集(Rough Set)与脉冲耦合神经网络(PCNN-Pulse Coupled Neural Network)相结合，对被噪声污染的图像进行对比度增强处理，使图像清晰，从而便于后续的处理。同时，提出了基于粗集与PCNN的图像增强算法。计算机仿真结果表明，使用基于粗集与PCNN的图像增强算法，可有效地对被噪声污染的图像进行图像增强，减少图像噪声，增加图像对比度，使图像更加清晰，且图像增强的结果优于常规的方法。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

光滑流形在(Z2)2作用下信息为{(2,2,0),(2,0,2),(0,2,2)}的上协边类

设(Z2)^2作用于光滑闭流形M^n，其不动点集的法丛的信息为P＝{(2，2，0)，(2，0，2)，(0，2，2)}，Jn^4，2(P)是有代表元M^n且具有上述性质的n维上协边类[M^n]构成的集合．作者通过构造上协边环M0n的一组生成元决定了Jn^4，2(P)的群结构．     

Identification and mapping of quantitative trait loci controlling cold-tolerance of Chinese common wild rice (O. rufipogon Griff.) at booting to flowering stages

Cold injury is an important limitation of rice production. Therefore, screening for cold-tolerant genetic resources and the development of highly cold-tolerant cultivars is crucial for higher yield potential and stable yield of rice. There have been several reports on the genetic analysis and QTL mapping of the cold-tolerance at the booting stage. Toriyama et al.[1,2] and Futsuhara et al.[3,4] reported that 4 or more genes were involved in the cold-tolerance. Several QTLs at the booting sta…     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

提高熔炼不锈钢电弧炉炉衬寿命的措施

某特钢厂改进熔炼不锈钢电弧炉操作工艺、造渣制度和采用炉渣发泡技术后，使电弧炉炉衬寿命从30炉提高到60炉以上，并保证2台30tEBT电弧炉与l台30tAOD妒相匹配。炉衬寿命进一步提高后，可望l台EBT电弧炉与l台AOD炉相匹配，提高不锈钢产量。