JKQ-25矿用卡车结构件的技术改进

介绍了JKQ-25型矿用卡车主要零部件的设计改进。     

30CrMnMoTiA钢应力腐蚀开裂的金相断口分析

本文采用高、低倍金相断口分析法,对30CrMnMoTiA钢制件的开裂原因进行了分析,查明零件是应力腐蚀造成开裂,并提出了相应的防范措施。通过本文分析,亦说明金相断口分析法应得到重视和开发。     

Spark MT—CD40 CD唱机

在MT-CD40面世前,我们已经见识过MT-40和MT-45这两款造型新颖别致的胆机.这样一来,很容易让人以为MT-CD40其实就是为这一系列配套的CD唱机.在真正接触了MT-CD40后,个人觉得这种说法既有其道理,又有所区别.虽然它们同属一个系列,连造型出得到沿用,实际上却又是不同的.MT-CD40绝对不是一个附庸的角色,它的实力表现远远超出我们的预期!     

表面改性羧甲基壳聚糖栓塞微球的制备及性能研究

以羧甲基壳聚糖为原料,聚乙二醇二缩水甘油醚为交联剂,通过反相微悬浮聚合方法,制备出粒径在300~600μm的交联羧甲基壳聚糖微球,再以硝酸铈铵为引发剂,使2-丙烯酰胺-2-甲基丙磺酸在微球表面进行接枝聚合,得到含离子交换基团(—COOH、—SO_3H)的可载药栓塞微球。该微球对抗癌药物盐酸阿霉素载药率24h内可达34.6%,较纯羧甲基壳聚糖微球提高了49.8%。该微球在介入疗法治疗肿瘤领域具有很好的应用前景。     

室温图案化聚甲基丙烯酸甲酯及在导电高分子中的应用

通过软印刷技术,利用界面作用力的差异,将聚甲基丙烯酸甲酯(PMMA)图案从软模板表面转移到基底表面。转移过程中具有高效(5 s)、室温及无需施加外压的特点。转移时间对PMMA的形貌高度无明显影响,改变旋涂速度和PMMA溶液浓度可以调节PMMA图案的高度。同时,通过氧等离子体刻蚀去除PMMA图案残留层,以此诱导聚吡咯(PPy)原位沉积图案化。     

可信编译器L2C的核心翻译步骤及其设计与实现

同步数据流语言（如Lustre）近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好”误编译”问题,近期人们借助reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证取得了很大的成功,如CompCert C编译器.L2C是基于这种方法开发的可信编译器,它以扩展的Lustre语言为源语言,以Clight （CompCert中的C语言子集）为目标语言.就我们所知,L2C是同类工作中唯一面向实际工业应用的同步数据流语言编译器.本文重点介绍L2C编译器的核心翻译步骤及其设计与实现过程中考虑的主要问题和相关经验.     

新建化工装置安装过程中工艺管道的试压技术

简要介绍新建化工装置安装过程中各类工艺管道的试压范围、试压类型、试压介质、试验压力的确定以及试压准备和试压过程控制方法。     

水性涂料的制备分析

本文主要针对水性涂料的合成原理、相关特点和制备方法进行分析讨论,为提高水溶性涂料的性能,需要选择合适的中和剂、助溶剂和制备工艺,更好的发挥水溶性涂料的环保性能和优势,更好的替代有机溶剂类涂料。