蛹虫草面条缓解小鼠体力疲劳及对血脂浓度影响的研究

制备蛹虫草面条并研究其对缓解小鼠体力疲劳及血脂浓度的影响。将小鼠分为饲料组、空白面条组、低剂量蛹虫草面条组和高剂量蛹虫草面条组,建立游泳疲劳动物模型,记录各组小鼠的力竭游泳时间,并测定各组小鼠体内关于疲劳、血脂浓度的相关指标。结果表明：各组小鼠体重增长无明显差异;与饲料组、空白面条组相比,蛹虫草面条组能高效延长小鼠力竭游泳时间（P<0.01）,高剂量组小鼠的平均力竭游泳时间可达3 817.50 s,是饲料组的2.33倍,是空白面条组的2.35倍;在面条中添加高剂量的蛹虫草粉能够显著提高小鼠乳酸脱氢酶、高密度脂蛋白的含量,增加糖原的储备量,抑制血清中尿素氮的堆积,降低甘油三酯、总胆固醇的含量（P<0.05）。蛹虫草面条不影响小鼠正常生长发育,且具有显著地缓解体力疲劳、降低体内血脂浓度的功效。     

送风温度对车用跨临界CO2制冷系统影响的仿真研究

为研究送风温度对实际车用跨临界CO₂制冷系统综合性能的影响,借助GT-Suite仿真软件,建立了单级跨临界CO₂制冷系统的仿真模型。基于设计的三种工况,在风量设置上限的情况下对比了不同送风温度下系统的性能,提出了有效COP_eff的概念并对此进行研究。结果表明：在其他工况相同的条件下,提高送风温度可以提高系统的COP、有效COP_eff以及带风机功耗的有效COP_{eff, b};在低冷负荷工况下,考虑系统风机功耗后的综合性能COP_b存在最优值为3.819,即系统存在对应的最优送风温度,但当负荷增大至一定水平时,最优送风温度不再存在。     

单螺杆压缩机型线设计及加工技术研究

对一种新型的单螺杆机啮合副型线的设计方法和几何特性进行了探讨，分析了啮合副动态啮合过程，并对单螺杆型线加工技术做了分析和总结。     

基于目标演绎距离的一阶逻辑子句集预处理方法

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模,然后通过演绎方法对定理进行判定。现有的应用于证明器中的子句集预处理方法普遍只从与目标子句项符号相关性角度出发,不能很好地从文字的互补对关系中体现子句间的演绎。为了在子句集预处理时从演绎的角度刻画子句间的关系,定义了目标演绎距离的概念并给出了计算方法,提出了一种基于目标演绎距离的一阶逻辑子句集预处理方法。首先对原始子句集进行包含冗余子句约简并应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理方法应用于顶尖证明器Vampire,以2017年国际一阶逻辑自动定理证明器标准一阶逻辑问题组竞赛例为测试对象,在标准的300 s内,加入提出的子句集预处理方法的Vampire4.1相比原始的Vampire4.1多证明4个定理,能证明10个Vampire4.1未证明的定理,占其未证明定理总数的13.5%;在证明的定理中,提出的...     

高炉炉芯温度影响因素浅析

结合首钢京唐高炉生产实践,对高炉炉芯温度的影响因素进行了分析,认为主要因素有:炉底构造、原燃料的质量和构成、装料制度、送风制度、渣铁性能、热制度、炉底冷却制度、出铁情况、喷吹煤粉等。     

首钢京唐高炉降低生铁成本实践

对首钢京唐高炉降低生铁成本实践进行了总结。通过采取强化原燃料管理,优化炉料结构,调整喷吹煤配比,加强成本管理,优化生产工艺,维护炉况顺稳等措施,达到了改善高炉技术经济指标,降低生铁成本的目的。2012年上半年较2011年同期生铁成本降低了588.94元/t。     

三阶Bézier曲线的三类节点缩减算子

研究曲线拟合和编辑中的分段Bézier曲线的简化问题.定义了3类Bézier曲线的节点缩减算子以及基于其上的算法.实现了分段曲线的最简Bézier表示,并给出严格的数学证明.上述方法已被应用到所开发的软件中.     

首钢京唐1号高炉炉芯温度初探

高炉炉芯温度是炉缸活跃程度的重要表征。炉芯传热可作为一维稳态传热来处理,通过建立首钢京唐1号高炉炉芯传热的计算方程,计算绘出了炉芯温度-炉缸温度、炉芯温度-陶瓷垫厚度的关系线,确定了现阶段首钢京唐1#高炉合适的炉芯温度为310～380℃,分析得出炉芯温度低时,炉缸工况差,炉芯温度和铁水温度的相关性弱。     

关于满足[I(x,y)=I(x,I(x,y))] D-蕴涵的解

研究了[I(x,y)=I(x,I(x,y))]方程,[I]为由连续三角模[T]、连续三角余模[S]和强否定[n]生成的D-蕴涵,即[I(x,y)=S(T(n(x),n(y)),y)],给出了满足方程[I(x,y)=I(x,I(x,y))]的解。     

基于Bezier曲线求交的曲线裁剪算法

本文研究了三次Ｂｅｚｉｅｒ曲线的裁剪问题。在给出了三次Ｂｅｚｉｅｒ曲线的一种求交算法后，讨论了Ｂｅｚｉｅｒ曲线在一点处的局部性质，给出了三次Ｂｅｚｉｅｒ曲线的裁剪算法。这些算法已被应用到我们自己开发的软件中，取得了良好的效果。