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

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

软件系统可靠性分析的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炉相匹配，提高不锈钢产量。     

应用于微波电磁场FDTD数值模拟的吸收边界条件

在应用FDTD方法模拟复杂空间中微波电磁场分布时,不仅要考虑入射电磁波的贡献,还要考虑反射电磁波的影响。对于后者,一般常采用吸收边界条件的方法予以处理。针对TEM电磁波的传播特点,推导出了一种新的吸收边界条件的表达式,并利用其对微波法金刚石膜沉积系统沉积室中电磁场的分布进行了数值模拟。