固体火箭发动机点火触点的耐蚀性

某发动机在盐雾试验中点火触点产生锈蚀,引起点火电阻增大,会导致点火延迟及点火失败。通过对点火触点的镀银层、金属基体进行锈蚀分析及原理研究,选取电接触表面润滑保护剂作为保护剂并开展试验验证。经电气、硫化、盐雾试验表明,电接触表面润滑保护剂在不影响接触电阻的前提下有效提高了点火触点的耐腐蚀性能。     

平板膜生物反应器用于生活污水处理工程改造

深圳某公司原生活污水处理工程出水水质已达到《污水综合排放标准》(GB 8978—1996)的一级标准,为将该出水回用作为空调冷却水,采用平板膜生物反应器对原有工艺进行改造,并重新进行功能分区;为使出水磷达标,采用混凝工艺除磷。改造后其出水水质完全达到《城市污水再生利用工业用水水质》(GB/T 19923—2005)标准,运行成本为1.40元/m3。     

提高安201区块机采系统效率技术研究

机采系统效率是反映机采管理水平的重要指标,其影响因素较多,涉及面广。提高机采系统效率,是一项对抽油机拖动系统、抽油杆、抽油泵以及配套技术不断研究和管理的重要工作,也是节能降耗的关键。文中通过对安201区块机采系统效率的跟踪测试和分析,找出油井机采系统效率的影响因素,并开展相关的技术研究工作,取得了较好的效果,节能效果明显。     

印制电路板电镀铅锡合金工艺

对印制电路板电镀铅锡合金工艺及在生产过程中的影响因素进行了论述，为使印制电路板上的铅锡合金镀层具有良好的焊接性和耐腐蚀能力，必须保证最佳的工艺配比和合理的工艺参数。通过工艺试验及性能考核，获得了成功，并经过了批生产的考核。     

精铸型壳焙烧炉改造

一、前言 我厂熔模铸造的型壳采用天然气焙烧,由于原炉子结构老,焙烧时间长、产量低、劳动强度大,天然气消耗很高,这不仅增加了铸件成本,而且严重的浪费了能源,限制了产量的提高。为此,我们对旧焙烧炉运用近年来出现的先进节能工具和措施,进行了改造。通过半年多来的使用,效果很满意。焙烧时间大大缩短,节能达70％左右,可采用很低压力的天然气燃烧。温度场均匀,可提高型壳焙烧质量。     

多路太阳能功率变换模块控制策略研究

针对传统的太阳能电池单个功率变换器模块功率不易扩展的问题,设计一种可并联工作的太阳能电池变换器模块,在实际应用过程中,可通过直接改变并联在母线上的模块数调节整个发电系统的功率.设计模块的并联方案,对负载处于临界状态时的控制问题进行分析并提出一种解决方法.对该并联控制方案进行仿真与实际硬件电路并联实验,结果验证了方案的可行性.     

ICPQ—1000型光谱仪电源故障维修

介绍了日本岛津ＩＣＰＱ－１０００型光谱仪供电单元故障的现象、分析及排除方法。     

镁合金微弧氧化-溶胶凝胶导电膜的制备及其性能研究

为了对镁合金表面微弧氧化陶瓷膜进行导电改性,采用溶胶-凝胶法在镁合金微孤氧化膜表面制备了掺铝氧化锌(ZnO:Al,AZO)透明导电薄膜.通过X射线衍射仪(XRD)、场发射扫描电镜(FE-SEM)、盐雾试验、四探针测试仪等分析测试手段,研究了涂膜层数和退火温度对AZO薄膜的表面形貌、微观结构、耐蚀性和导电性的影响.结果 表明:所制备的导电薄膜由c轴择优取向的六角纤锌矿结构的晶体构成;随着涂膜层数和退火温度的增加,薄膜的方块电阻降低.制备的AZO薄膜自身的耐蚀性较差,并且增加涂膜层数并不能明显改善导电薄膜的耐蚀性.通过研究影响膜层耐蚀性的主要因素,为今后进一步优化工艺从而改善透明导电薄膜的耐蚀性奠定了基础.     

基于Z3的Coq自动证明策略的设计和实现

形式化验证方法被认为是一种构建高可信软件系统的有效手段.在定理证明工具通过手动写证明脚本来验证系统软件的功能正确性,这种验证方式表达力强,可以证明复杂系统,但是自动化程度低、验证代价比较高,而使用程序验证器接受经过规范标注的源代码生成验证条件,并将验证条件交给约束求解器自动求解,这种方式自动化程度高,缺点在于它很难验证复杂系统软件的全部功能的正确性.本文结合上述两种方式的优点,在定理证明工具Coq中实现了一个自动证明策略smt4coq,它通过在Coq中调用约束求解器Z3自动证明32位机器整数相关的数学命题,提高了自动化验证的程度,减轻用户手动验证程序的开销.