大口径厚壁UNS N08825石化加氢装置用合金管的研发

介绍了大口径厚壁UNS N08825石化加氢装置用合金管的研制、工艺流程设计,归纳了合金管材研发的主要技术参数,通过产业链高效协同,优化了材料化学成分、夹杂物纯净化精炼技术和三维锻造工艺,开发出以优化的大直径管坯斜轧穿孔、冷轧/拔、热处理为核心的N08825无缝管生产工艺;建立了基本工业化生产工艺技术与流程,形成系列自主知识产权的制造技术。试验结果表明:大口径厚壁N08825合金管几何尺寸、化学成分、非金属夹杂物、室温和高温力学性能、晶间腐蚀性能、晶粒度、水压试验、超声波探伤、渗透探伤均达到ASTM B423-11(2016)标准和《美标钢管采购规格书》的要求。     

昆钢老焦喷洒ZBS改性剂生产实践

为了进一步改善焦炭的冶金性能,昆钢在老焦车间进行了两个阶段共计59天的焦炭喷洒ZBS改性剂工业试验,试验期通过优化调整,焦炭反应性降低1．98个百分点,反应后强度提高了2．47个百分点,校正后300m。的2号高炉利用系数提高0．117t／（m^3·d）,平均日产量增加4．06％,焦比降低54kg／t,燃料比降低68kg／t,经济效益显著。     

施用沼肥对设施土壤固氮菌影响的研究

以有机质含量相同的猪粪、沼渣为基肥,以N,P,K含量相同的化肥与沼液为追肥,以L402番茄为供试作物,采用二裂式区组设计的方法.研究了沼肥、猪粪、化肥等不同施肥组合对设施土壤固氮菌动态变化的影响.试验结果表明:随着番茄生育期的推进,各施肥处理土壤自生固氮菌的数量逐渐增加,基施沼渣比基施猪粪有利于促进土壤自生固氮菌的生长;从番茄苗期到成熟期,追施化肥土壤自生固氮菌数量多于追施沼液土壤,猪粪与化肥配合施用、沼渣与沼液配合施用分别较猪粪与沼液配合施用、沼渣与化肥配合施用能更好地促进土壤自生同氮菌的繁殖.     

ZVS-PWM电路中无损吸收回路分析

详细研究了移相控制全桥零电压开关脉宽调制变换器(FB-ZVS-PW M )的换流过程。分析得出,若考虑开关管关断过程中的电流下降特性,则当开关管关断时,在无损吸收回路的作用下,电路关断换流过程会出现两个不同的换流阶段,并在此基础上推导出这两个不同阶段的换流方程。针对其滞后桥臂负载电感偏小给零电压导通造成的困难,文中放弃了负载电流为恒流源的假设,推导出描述其换流过程的方程。基于这些方程,研究了实现软开关的条件,并从关断损耗和占空比丢失的角度探讨了吸收电容与电路最高工作频率的关系,给出了工程设计公式。仿真和实验结果验证了该方程的正确性。     

熔体微分静电纺制备聚乳酸纳米纤维

采用自制的熔体微分静电纺丝设备,探究了硬脂酸对聚乳酸(PLA)熔体粘度的影响,并通过辅助气流进一步细化纤维直径。试验结果表明:硬脂酸可有效降低PLA熔体的粘度,并细化了纤维直径,确定了硬脂酸最佳添加量为6%。辅助气流流速的提高会增加喷头处泰勒锥的数目,进而降低纤维直径。在纺丝温度250℃,纺丝距离4.5 cm,硬脂酸添加量6%,辅助气流流速25 m/s的条件下,可以制备出平均直径为610 nm的PLA纳米级纤维。     

废盐酸浸出低品位菱锰矿扩大实验研究

对以工业废盐酸浸出低品位菱锰矿制取氯化锰的工艺进行了研究。用正交实验法考察了反应酸过量系数、液固比、浸出温度、浸出时间对锰浸出率的影响,并对生产流程进行了探讨和优化。结果表明:反应酸过量系数1.3、液固比4∶1、浸出温度80℃、浸出时间50 min时,浸出效果最好,浸出率可达91.47%。     

基于环Z_n上圆锥曲线的QV签名方案

经典RSA算法易受小指数攻击,并具有同态性.环Z_n上椭圆曲线E_n(a,b)上的KMOV签名方案克服了,指数攻击,但是仍有同态性.E_n(a,b)上的QV签名方案克服小指数攻击及同态性,但要求E_n(a,b)上存在阶为M_n={#E_p(a,b),#E_q(a,b)}的点,而这一条件不是所有E_n(a,b)都能满足,且E_n(a,b)上的计算较为复杂.文中进一步研究环Z_n上圆锥曲线C_n(a,b)及其性质,得到用以构建数字签名方案的几个关键定理和推论.指出C_n(a,b)上总是存在阶为M_n={#E_p(a,b),#E_q(a,b)}的点,在此基础上,提出一个基于C_n(a,b)上的QV签名方案,新方案保留原方案在E_n(a,b)上不具同态性的优点,在同等安全条件下,其明文嵌入、阶的计算、逆元的计算、点的运算都比E_n(a,b)上容易,特别是,新的QV签名方案对于一般环上圆锥曲线均可行,这对QV方案的应用有积极意义.     

计算最终线性秩函数的新方法

程序的终止性分析作为程序验证中重要的一环,在软件正确性验证中极为重要。对于一个线性循环程序,若该程序没有传统定义的线性秩函数,则基于传统定义的秩函数终止性分析方法失效。2013年,Bagnara提出了最终线性秩函数(Eventual Linear Ranking Functions)的定义,并证明了若某个程序存在最终线性秩函数,则该程序终止。由此,提出了新的方法来计算最终线性秩函数,构造了存在线性增函数和最终线性秩函数的等价半代数系统,并使用Mathematica工具对半代数系统进行求解,对比分析了各种最终秩函数求解方法的实际计算时间,结果证实了所提方法的优越性。     

线性程序的Ranking函数自动合成

针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数.然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数.通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的.     

基于参考电站的核电模块化技术研究

模块化技术是核电站工程缩短建造工期、降低造价的重要技术手段,已成为三代核电的发展方向之一.以目前中国主力核电堆型CPR1000为参考电站,借鉴国内外先进模块化技术,借助自主开发的模块三维设计系统,完成了核电站核岛主厂房的模块总体方案设计.在此基础上,开展典型模块详细设计工作,以实例进一步验证了设计可行性,同时从采购和施工2个方面对模块化技术的实施进行了分析,评估了研究成果在实际工程项目上的技术可行性.