Analyses of the practical adhesion strengths of the metal/polymer interfaces in electronic packaging

There is a plethora of techniques to measure the adhesion strength of metal/polymer interfaces. However, the practical adhesion strength, which is the work done in separating the film from the substrate (or one film from another), is very sensitive to the test methods and the mechanical effects, such as the residual stress, thickness and mechanical properties of the layers, strain rate, and phase angle. Deriving intrinsic-adhesion properties of the interfaces, which are independent of such parameters, from the practical adhesion-strength measurements is a formidable task. In the present work, data from the three commonly used adhesion tests; pull-out, 90°-peel, and T-peel tests are compared with the intrinsic-adhesion properties of the interface, such as the interface-fracture toughness or the interface-fracture energy, and their implications are discussed. Material systems analyzed were Cu-based lead frame/epoxy-molding compound (EMC) and Cu/Cr/polyimide.     

Ni-Mo-O催化剂中协同作用对丙烷氧化脱氢的影响

在 Ni-Mo-O体系中 ,加入 Mo O3 能极大地提高丙烷氧化脱氢制丙烯的反应活性。选用固混法、沉淀法、柠檬酸法制备了 Mo O3 过量 1 5 % (摩尔分数 )的α -Ni Mo O4催化剂 ,其中用沉淀法制得催化剂在 5 0 0℃ ,V( C3 H8) /V ( O2 ) /V ( N2 ) =1 0 /1 0 /5 0 ,反应气流量为 70 m L/min的条件下丙烷转化率可达 38.7% ,丙烯选择性达 70 .1 4 %。经 XRD,XPS,TPR表征说明 ,在含有过量 Mo O3 的催化剂中 ,α -Ni Mo O4与 Mo O3 两种晶体之间可产生微小的相互吸引 ;从而发挥协同作用 ,是提高催化剂活性     

PP-g-MAH对PA6/PP/TLCP三元共混物的增容改性作用

研究了PP-g-MAH对PA6／PP／TLCP三元共混体系的增容作用以及对共混物流变性能和力学性能的影响。通过共混物的DSC、SEM、POM、流变性能和力学性能测试，结果表明，PP－g-MAH对共混体系有明显的增容作用，共混物的力学性能（拉伸强度和冲击强度）得到提高；由于TLCP的加入，共混物的熔体粘度大大低于PA6的熔体粘度。     

长庆上古生界气层CO2增能压裂工艺

长庆上古气藏物性差,压力系数低,水锁伤害大,采用常规水力压裂,入井液返排困难,气井产量低。在储层改造地质研究的基础上,通过对CO2泡沫压裂技术进行室内攻关,引进开发了CO2泡沫压裂酸性交联技术,优化了CO2泡沫方案设计及现场施工工艺,配套了CO2增能压裂工艺技术。经过现场应用,充分说明了CO2增能压裂是一项行之有效的工艺技术,对于提高单井产量和长庆气田整体开发水平都是有益的。     

液晶显示器生产中的激光退火和缺陷修复

由于在大面积玻璃基底上制备由多层材料构成的高质量薄膜晶体管象元驱动阵列工艺的复杂性，使有源矩阵液晶显示器（AMLCD）的成品率低、价格高。利用激光对AMLCD进行非晶硅薄膜的退火和电路缺陷的修复，可有效的改善AMLCD的性能，提高成品率和降低成本。本文在介绍了激光对非晶硅薄膜退火和电路缺陷修复常用激光器的特性后，讨论了激光对不同类型缺陷修复的原理和过程。最后，分析比较了不同类型激光退火方法的特点。     

微重力落塔电磁悬吊、释放技术研究

论述了微重力落塔电磁悬吊、释放、提升机构的关键技术,电磁释放过程的特性分析以及微重力落塔实际试验的情况。分析说明:悬吊、释放性能的好坏决定了试验落舱的微重力水平,也是微重力落塔试验能否成功的关键技术。     

对热量表流量传感器若干技术问题之初探

本文根据笔者对热量表流量传感器的研究体会,详尽分析了小口径机械式热水表作为热量表流量传感器时存在的主要问题,如量程问题,冷热水流量系数差异问题,降低始动流量和提高小流量情况下精度问题,磁传方式存在的磁干扰问题,失步问题,以及对我国供暖系统水质的适应性问题.文章根据研究和分析结果对上述问题提出一些初步解决方案与业内同行研讨,以期提高我国热量表的研制水平.     

高加速应力筛选(HASS)概述

高加速应力筛选（HASS）是一种新兴的试验技术，用于产品的生产阶段。在暴露和剔除产品的制造和工艺缺陷，提高可靠性，降低野外失败和返修率等方面非常有效。从研究开发HASS的背景出发，介绍了HASS的目的及作用，重点探讨了高加速的基本原理，典型的HASS过程。     

纳米ZnO薄膜制备及液态源掺杂

用真空蒸发法在玻璃和单晶硅片 (10 0 )上制备Zn薄膜 ,然后对Zn薄膜进行氧化、热处理获得纳米ZnO薄膜。对在硅片上制备的Zn薄膜一次性进行高温掺杂、氧化获得纳米ZnO∶P和ZnO∶B薄膜。研究不同氧化、掺杂温度和时间对薄膜结构、电学性能的影响。结果表明 :氧化温度和时间对ZnO薄膜结构影响较大 ,液态源掺P可明显改善纳米ZnO薄膜的导电性能、结构特性和化学组分     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.