程序转换中的终止性保持问题

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性.为此,本文提出了函数的“归约测度”和“归约转换”的概念,且证明了只要函数在转换过程中保持“复杂性”在某一归约测度下不增,转换即可保持终止性.     

非线性冗余方程的求解

本文定义了一类可解的非线性函数方程,证明了某些双线性方程和二次方程是可解的,并给出了它们的形式解。     

新型煤质快速检测技术在神华准能选煤厂的应用

介绍了新型快速检测技术在神华准能选煤厂的实践过程,在生产装车过程中不同环节安装、试用新型煤质快速检测设备,试验阶段存在的问题以及解决方法,取得良好的使用效果,对应装车系统装车合格率得到较大提高,社会效益进一步提升。     

脂肪酸甲酯乙氧基化物在洗衣粉中的应用

对脂肪酸甲酯乙氧基化物(MEE)在洗衣粉体系中等量代替AEO9进行了应用研究，在洗衣粉前、后配料工艺中加入不同量的MEE或AEO9情况下，综合考察了熔点、黏度、洗衣粉去污性能。CMEE-8、AEO9熔点分别为25℃、21℃，黏度完全相同，后配料工艺制备的洗衣粉去污力基本相当；前配料工艺中CMEE-8与AEO9在质量分数为1．5％、3％、6％、10％时所配洗衣粉料浆黏度的比值分别为1／3．2、1／4．8、1／5．1、1／1．8，洗衣粉去污力基本相当。研究结果表明：CMEE-8无论在前配料、后配料中均可以代替AEO9。     

国内活塞异形外圆车削加工技术的现状

阐述了国内中凸变椭圆活塞异形外圆车削加工技术的研究现状和已取得的研究成果,分析了异形外圆车削技术的发展方向及目前存在的问题。     

油酸甲酯乙氧基化物耐酸耐碱性研究

将油酸甲酯乙氧基化物(OMEE)作为研究对象,通过FT-IR鉴定结构;分别采用国标法和质量法定性、定量测定FMEE和OMEE耐酸耐碱性。由实验结果可知,OMEE与常规饱和脂肪酸甲酯乙氧基化物(FMEE)在结构上存在碳碳双键的差异;国标法不适用于脂肪酸甲酯乙氧基化物耐酸耐碱性的测定;在任意p H值,OMEE的水解率始终高于FMEE;在p H=13时,FMEE和OMEE水解速率最快,且在170 h时OMEE水解完全;FMEE在p H=2~9、500 h时水解率仍小于20%;OMEE在p H小于13时,水解率受p H和时间影响较小。     

蓖麻油脂肪酸甲酯乙氧基化物中环氧乙烷分布检测

蓖麻油脂肪酸甲酯乙氧基化物(CA-MEE)用0.5 mol/L KOH乙醇溶液水解,酯键断裂,考察水解次数和水解时间对水解率的影响及回收率;所得亲水基部分之一的甲基聚乙二醇醚用气相色谱法(GC)测其平均环氧乙烷(EO)加合数及其分布,进而考察EO对酯基和仲羟基的选择性。结果表明:CA-MEE在85℃±1℃、1 h条件下能够完全水解,且实验方法有相当好的回收率。样品CA-MEE-12分离出的甲基聚乙二醇醚部分EO加合数色谱图表明,EO对酯基的选择性(EO在酯基上平均加合数为10.0)远高于其对仲羟基的选择性,而且EO分布很窄。     

基于字节码例化的程序优化原理与分析

为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向hva字节码的部分计值器Jmix。实验表明,Jmix能有效缩短字节码长度,提高应用的运行效率。     

电磁离合器在无梭织机中的应用

1　概述无梭织机中的电磁离合器 ,是属于单片离合器产品范围内的一种专用离合器 ,起始于 80年代后期 ,与无梭织机同步发展。其产品主要分为组合离合器 (离合器与制动器的组件 )、电磁制动器、电磁离合器和电磁牙嵌离合器等类型。这类产品规格、参数、性能、安装尺寸、起动与制动扭矩 (动扭矩 )、传递扭矩 (静扭矩 )和其它性能指标等特点均以满足无梭织机的需要为前题 ;主要由美国WARNIR、KEB离合器公司、日本三木离合器公司、德国Z·F传动公司等世界著名离合器专业厂家生产制造。该产品成功地将多片电磁离合器有效结构理论推广到织机专…     

乙二醇双硬脂酸酯乙氧基化物的合成与性能研究

以乙二醇双硬脂酸酯为原料,在催化剂作用下直接与环氧乙烷(EO)进行加成反应得到具有反Bola结构的乙二醇双硬脂酸酯乙氧基化物的系列产物,通过红外光谱对产物结构进行了表征,并研究了产物的物化性能。实验结果表明,随着EO加合数的增加,产物的浊点升高;临界胶束浓度(cmc)增大,cmc时的表面张力(γcmc)先降低后升高,最低为33.18 mN·m-1;乳化力先增加后降低;去污力提高,当EO加合数为30时,产物的去污力达到93%;泡沫性能较差,为低泡类表面活性剂。