聚异丁烯胺作为清净剂的性能及应用

以聚异丁烯和二乙烯三胺为原料合成了聚异丁烯胺，试验结果表明：聚异丁烯胺具有优异的清净性能，使用该聚异丁烯胺作为主剂调制的汽油清净剂，满足国标GB 19592-2004车用汽油清净剂要求。     

烟炱无灰分散剂的研究现状与进展

综述了国外主要添加剂厂商近6年在烟炱无灰分散剂方面的研究进展。将烟炱无灰分散剂分为芳香胺型、杂原子环型、接枝型以及其他一些类型,分别总结了不同类型烟炱无灰分散剂的特点及近年来的研究现状,介绍了烟炱无灰分散剂未来的发展趋势。     

生物柴油产业在我国的发展现状和趋势

介绍了我国生物柴油产业发展现状,并分别从原料供给、技术支持、应用方面对未来我国生物柴油产业的发展进行了可行性综述。并提出,要提高生物柴油产业的经济效益和竞争力,不仅需要政府政策的支持,还有必要加强对生物柴油产品的衍生应用进行研究与开发。     

抗磨型无灰分散剂摩擦性能的研究

汽车自动传动液(ATF)的摩擦特性是其重要的性能之一,而无灰分散剂是自动传动液(ATF)添加剂组成中相对含量较大的添加剂之一。文章选用TE92M离合器试验机来评价无灰分散剂对自动传动液摩擦特性的影响。结果表明:抗磨型无灰分散剂具有改善基础油摩擦特性的性能。     

油溶性离子液体与T321及二氧化硅的协同润滑性能研究

为改善PAO10体系的润滑性能,合成了一种油溶性离子液体并与T321及二氧化硅进行对比。通过同步热分析仪测试PAO10润滑体系的热稳定性;通过SRV-IV微动摩擦磨损试验机对比评价不同离子液体的摩擦学性能;通过非接触式三维轮廓仪和扫描电子显微镜对磨斑形貌和磨损体积进行了表征;通过EDS和XPS元素分析对磨斑表面化学成分和化学变化进行分析。结果表明合成的油溶性离子液体可以显著提高PAO10体系的热稳定性,且无论在常温还是高温下,都具有优异的减摩抗磨性能,并极大地提高了PAO10体系的极压承载性能。通过实验结果推测极性元素P、S在摩擦过程中发生摩擦化学反应,生成的摩擦化学膜有效地抑制摩擦副之间的直接接触,提高了PAO10体系的减摩抗磨性能。     

一种基于模型的内嵌测试方法

基于需求的内嵌测试方式加强产生和实现测试用例的自动化程度,同时也提高软件的质量并减少开发测试用例所需的周期。     

一种基于状态扩展的安全协议验证机制

基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,得到协议基本状态,然后进行扩展搜索,考虑基本状态与其他协议运行的关系,形成协议扩展状态。该机制能够有效反映出协议的运行情况,且能够同时对多种安全性质进行验证。     

一种复合协议验证逻辑模型

针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理。最后以IKEv2协议为例进行分析,证明了IKEv2两个分别安全的阶段子协议复合后还是安全的。     

图像处理的印刷机杠子特征参数提取

杠子是常见的一种印刷故障,杠子产生的原因和解决的办法是印刷领域研究的难点,提出了一种基于图像处理的杠子特征参数提取方法。用CCD采集待检测印刷图像,求印刷图像与标准图像的差分图像,可得到杠子的缺陷图像,通过数学形态学提取杠子图像特征参数,判断杠子故障的产生原因。通过J2108印刷机实例验证了方法在印刷机杠子诊断的可行性。