X射线诱变选育嗜酸氧化亚铁硫杆菌及其对难处理金矿浸出的研究

为了探讨嗜酸氧化亚铁硫杆菌(Acidithiobacillus ferrooxidans,At.f)经X射线诱变后对难处理金矿的预氧化效果和金浸出率的影响,采用不同剂量的X射线诱变处理At.f,通过微生物学方法和相关指标的测定,获得优良的At.f菌株。结果显示,经X射线辐照至吸收剂量为450 Gy时,At.f对Fe的浸出率达50.24%,矿石预氧化效果比原始菌株提高44%,金浸出率可达86.68%,是直接氰化时金浸出率的2.1倍。X射线能使At.f发生明显变异,使诱变菌的氧化活性、对难处理金矿的预氧化效果和金浸出率均得到提高。     

微信小程序订餐系统设计

文章使用云开发来开发微信小程序,通过服务器端进行数据管理,数据库保存在MySQL中,利用HTTP协议,传递JOSN类型的数据进行交互。开发一个具有用户注册、餐品检索、餐品订购、订单查询、系统管理等功能的小程序线上订餐系统。     

环氧树脂非线性电导复合材料表面电荷与沿面闪络特性研究

针对直流气体绝缘金属封闭开关设备(GIS)盆式绝缘子表面电荷积累与沿面闪络的问题,制备了不同Si C质量分数的环氧树脂非线性电导复合材料,研究了Si C含量对Si C/环氧树脂非线性电导复合材料的体电导率、表面电荷、沿面闪络电压等相关特性的影响。结果表明:Si C质量分数大于50%的环氧树脂复合材料试样在高电场下呈现非线性电导特性。随着Si C含量和外加直流电场强度的增加,Si C/环氧树脂复合材料的表面电位增加量明显下降。Si C质量分数大于50%的环氧树脂复合材料在高电场下对其表面电荷积累具有抑制作用,减少了沿面闪络现象的发生。     

一种新型汽轮机排汽湿度在线监测仪

基于加热法湿度测量理论，通过在汽轮机内部安放蒸汽湿度测量探针，采用双区加热法测出模型参数，进而确定排汽湿度值，设计了一种汽轮机排汽湿度在线监测仪，它利用单片机实现测量值的采集、功率控制和自动监测功能，实时监测汽轮机内部蒸汽湿度状况，实现了在线测量。     

厦门华电开关有限公司

厦门华电开关有限公司是中德合资专业生产中高压开关设备、断路器、负荷开关及相关元器件的制造商.其融合德国技术创新研发的12 kV电压等级VEP型第三代固封式真空断路器和AMS金属铠装式开关设备于2007年3月23日在机械工业高原电器产品质量监督检验中心(昆明电器科学研究所)成功通过了4 500 m高海拔的全套耐压绝缘试验,同时40.5 kV电压等级的产品也顺利通过了2 000 m高海拔试验.……     

轴承故障的智能诊断方法

总结了轴承故障诊断的模糊规则,并把这些规则晨射到模糊神经网络,提高了诊断的智能性。提出了部分层学习算法,并推导出隶属度函数的参数学习算法,改善了诊断规则和学习性能,所研制的诊断系统在对轴承邦联伯诊断中取得了满意的结果。     

高速铁路桥梁桩基出现的质量通病与防治措施

在钻孔灌注桩施工过程中会因各种因素影响而使桩基出现不同的质量问题,严重时可能出现断桩等重大质量事故。针对施工中出现的质量通病进行了总结,分析了产生的原因,指出了施工中应采取的防治措施。     

iPhone手机二维码系统设计与实现

随着3G网络和智能手机的不断发展,手机二维码的使用范围越来越广泛。QR码是国内最具代表性的一种二维码,具有识读速度快、纠错能力强等特点。在介绍QR码和base64加解密算法在QR码中应用的基础上,给出了一种在iPhone平台下的手机二维码系统的设计与实现方案。     

N,N''''-二仲丁基对苯二胺抗氧剂的合成

以对苯二胺、丁酮为原料,在自制的铜铬催化剂和氢气存在下合成了N,N'-二仲丁基对苯二胺.研究了催化剂的制作工艺,并考察了催化剂用量、反应温度、压力、反应时间对产物收率的影响,寻找到合适的催化剂制作工艺条件及抗氧剂的制备条件硝酸铜、硝酸铬、硝酸钡按10101质量比混合后,于400℃下分解1.5 h,然后经水洗活化制得催化剂;催化剂加入量占对苯二胺的质量分数为4%;反应温度160℃,压力3.3～5.6MPa,反应时间12 h,N,N'-二仲丁基对苯二胺收率超过95%.将合成的N,N'-二仲丁基对苯二胺加入汽油(30μg·g-1)中,汽油诱导期较加入常规的抗氧化剂明显增加.     

基于实时自动机的连续时段演算的验证

时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑.扩展线性时段不变式是时段演算的重要子集.针对实时自动机,提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法.该方法将扩展线性时段不变式的有界模型检验问题转化为量词线性算术公式的正确性问题,从而可以采用量词消去技术进行求解.首先,运用符号化的思想,在实时自动机上利用深度优先搜索找到所有满足观测时长约束的符号化路径片段;然后,将每条符号化路径片段转化为一个量词线性算术公式;最后,利用量词消去工具求解.与已有工作相比,基于实时自动机设计了验证算法.另外,降低了验证复杂度,并且加速了验证过程的实际速度.