对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务

西昌钢钒厂由于转炉热量不足而以转炉—LF精炼—RH精炼—连铸工艺生产IF钢，为探究RH强制脱碳与自然脱碳工艺生产IF钢精炼效果，采用生产数据统计、氧氮分析、夹杂物自动扫描、扫描电镜和能谱分析等手段，对不同脱碳工艺对顶渣氧化性以及钢的洁净度影响进行了详细研究。结果表明：（1）与自然脱碳工艺炉次相比，采用强制脱碳工艺的炉次在转炉结束与RH进站钢中的平均[O]含量更低；（2）两种工艺脱碳结束钢中的[O]含量基本在同一水平；（3）强制脱碳工艺的炉次在RH结束时渣中平均T.Fe的质量分数降低了1.3%。在能满足RH脱碳效果的前提下，尽量提高转炉终点钢液碳含量、降低钢液氧含量，后续在RH精炼时采用强制吹氧脱碳工艺，适当增大吹氧量来弥补钢中氧，可显著降低IF钢顶渣氧化性。自然脱碳工艺与强制脱碳工艺控制热轧板T.O含量均比较理想；与自然脱碳工艺相比，强制脱碳工艺可有效降低IF钢[N]含量，这与强制脱碳工艺真空室内碳氧反应更剧烈所导致的CO气泡更多和气液反应面积更大有关。脱碳工艺对IF钢热轧板中夹杂物类型、尺寸及数量没有明显影响，夹杂物主要由Al2O3夹杂、Al2O3–TiOx夹杂与其他类夹杂物组成，以夹杂物的等效圆直径表示夹杂物尺寸，以上三类夹杂物平均尺寸分别为4.5、4.4和6.5 μm，且钢中尺寸在8 μm以下的夹杂物数量占比高于75%。在RH精炼过程中，尽量降低RH脱碳结束钢中[O]含量，有利于提高钢液洁净度

管道滑坡危险性评价是长输油气管道沿线滑坡灾害预防和治理中规划决策的重要依据.该评价组织由定量和定性两类指标构成,评价系统具有随机性和模糊性的特点.针对常用的定性和半定量评价法在处理系统的随机性和模糊性上存在顾此失彼和人为主观性强的问题,引入能同时有效反映事物随机性和模糊性的云理论,运用黄金分割率法构建5级标度的管道滑坡危险性状态标尺云和指标重要性权重云,提出定量指标的不确定性推理过程和定性指标专家群语言云转化的浮动云偏好集结算法,构建了油气管道滑坡危险性的综合评价模型并进行了工程例证分析.4处待评样本的综合评价结果与半定量法结果基本一致,并与实际相符.该模型软化了指标边界的硬划分,简化了指标数据的预处理;实现了评价的定量与定性融合和集成决策;提高了结果的精确性、合理性和可视化

介绍了几种主要的转炉烟气分析碳含量预报模型，并分析了其中的指数衰减模型及其三种改进算法的基本原理和优缺点。在综合三种模型优点的基础上，提出了基于“极限碳含量拟合+曲线同步更新”算法的改进指数模型。首先，利用历史炉次吹炼后期的脱碳氧效率和碳含量数据，通过指数拟合得到“历史脱碳曲线”和极限碳含量参数；其次，使用当前炉次吹炼中期的最大脱碳氧效率值对“历史脱碳曲线”的特征参数进行替换，得到当前炉次吹炼后期的“参考脱碳曲线”，再对其进行归一化处理，得到归一化的“参考脱碳曲线”；然后，采用多点校正的方法，计算当前炉次吹炼至各等距离校正点时“参考脱碳曲线”的脱碳量，并根据计算脱碳量与转炉实际脱碳量的偏差，对熔池碳含量及脱碳曲线参数进行计算与校正，得到“计算脱碳曲线”；最后，通过逐次迭代计算对“参考脱碳曲线”和“计算脱碳曲线”进行同步更新，进而实现对转炉吹炼后期熔池碳含量的精准预报。研究表明，改进的指数模型具有较高的准确率，终点碳含量预报误差在±0.02%范围内的命中率达到90%

为探究不同加载角度下A7085铝合金Ⅰ-Ⅱ复合型疲劳裂纹扩展机理，在MTS疲劳试验机上采用紧凑拉伸剪切试件（CTS）对A7085铝合金进行不同加载角度的疲劳实验；用有限元分析计算不同裂纹扩展长度的裂纹尖端应力强度因子，通过七点递增多项式法对数据进行处理，计算出A7085铝合金Paris公式中的参数C和m.结果表明不同加载角度的裂纹基本沿着与外载荷垂直的方向扩展，裂纹扩展路径近似为一条直线，裂纹扩展角测量结果基本符合最大环向拉应力理论；Ⅰ-Ⅱ复合型裂纹一旦发生扩展，Ⅱ型应力强度因子KⅡ所占比例急剧减小，Ⅰ型应力强度因子KⅠ不断增大，此后KⅡ远远小于KⅠ，有效应力强度因子（KⅠ和KⅡ的组合）基本等于KⅠ，相当于裂纹扩展主要受Ⅰ型应力强度因子控制，研究结果有助于对Ⅰ-Ⅱ复合型疲劳裂纹扩展机理的理解

本文研究了ZQ系列二级圆柱齿轮减速器齿轮啮合参数的优化设计问题。着重讨论了在生产条件、工艺条件、材料以及其他一些技术条件不变的前提下,用优化设计方法,改变原齿轮啮合参数,使其承载能力得到进一步的提高。计算结果表明,新的啮合参数方案与原方案相比。其接触强度承载能力约增加16%,弯曲强度其小齿轮提高18%以上,若改变变位系数的分配,可以提高30%左右。这是很有实际意义的。在文中,还叙述了优化设计数学模型的建立,约束随机向量优化方法的基本思想与详细的程序框图,并对72种减速器的计算结果进行数据处理,得出最优的齿轮啮合参数方案,且对它的技术经济效果进行了初步分析

针对钢液中液态夹杂与固态夹杂碰撞聚合的现象，采用水模型实验模拟了液态夹杂去除固态夹杂的行为.实验结果表明：其与液滴去除夹杂的机理类似，流体内液滴与固粒的碰撞存在3种形式：惯性碰撞、截留捕获和尾流捕获.通过理论公式计算了单独的惯性碰撞捕获效率及同时考虑惯性碰撞和截留的捕获效率，发现二者的趋势基本一致，尤其当液滴直径较大时，二者曲线大致重合，因此，可以得出惯性捕获占据主导地位的结论.这与实验中观察到的液滴与固粒聚合大多数都是惯性碰撞相吻合.对实验数据进行了分析计算，得到了实验中液滴捕获固粒的捕获效率，发现所得曲线与理论计算捕获效率值相比，有一定差异，但是趋势基本一致.这是因为湍动程度较低，不同直径的捕获效率相对较为均匀，没有理论计算曲线那样陡峭

采用数值方法研究了狭缝射流冲击柱状凸形表面的流动换热特性,通过四种湍流模型计算结果与实验数据对比,确定了湍流模型适用性.以压力梯度分布为依据,重点分析了狭缝射流沿柱状凸形表面的流动结构和边界层分离特点及柱状凸形表面的强化换热特性.结果表明:RNG k-ε和Realizable k-ε模型具有预测适应性;狭缝射流冲击至柱状凸形表面,气体沿表面运动,速度降低,并在流动下游发生边界层分离;量纲一的逆压梯度随量纲一的曲率半径(D/B)的减小而增大,使得边界层分离更早出现;驻点区域换热Nu随量纲一的曲率半径(D/B)的减小而获得增强,但流动进入下游后,D/B对换热基本无影响;压力梯度是影响狭缝射流冲击柱状凸形表面换热分布的重要因素

采用均匀法进行室内实验设计,研究絮凝剂单耗、絮凝剂溶液浓度和给料浓度三因素对固液分离技术中沉降速度和沉降浓度的影响.对实验数据进行回归分析后认为,各因素对沉降速度的影响程度从大到小为:给料浓度 > 絮凝剂单耗 > 絮凝剂溶液浓度.沉降速度与絮凝剂单耗、絮凝剂溶液浓度正相关,与给料浓度负相关;对沉降浆体浓度影响程度从大到小为:给料浓度 > 絮凝剂单耗 > 絮凝剂溶液浓度.沉降浓度与絮凝剂单耗、给料浓度正相关,与絮凝剂溶液浓度基本无关.利用非线性规划寻找最优配比,预测值与验证实验的实测值误差小于8%.推荐的深锥浓密机运行参数为絮凝剂单耗5 g·t-1,絮凝剂溶液浓度0.05%,给料浓度5.233%

手背静脉身份识别由于其非接触和不易被污染等独特的优势,已成为各种新型生物特征识别手段中的研究和应用热点.如何提取具有高鉴别性且鲁棒的手背静脉图像特征是本文的研究重点.本文简述了基于局部二值模式(local binary pattern,LBP)的特征提取方法及其改进方法的基本原理,讨论分析了其不足,并针对不足,提出了一种多尺度块中心对称局部二值模式(multi-scale block center-symmetric LBP,MB-CSLBP)算子.本文所提出的MB-CSLBP算子既考虑图像的局部宏观特征,也兼顾图像的微观特征,获取了更加全面的图像信息.在自建的2040幅近红外手背静脉图像数据库中,用MB-CSLBP方法获取图像特征并使用最近邻分类器进行识别.大量的对比实验结果表明,本文所提方法的识别率达到98.21%,优于原始LBP及其改进算子,中心对称局部二值模式(center-symmetric LBP,CS-LBP)和多尺度块局部二值模式(multi-scale block LBP,MB-LBP)等