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

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

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

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

纳米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.     

Call admission control schemes under generalized processor sharing scheduling

Provision of Quality‐of‐Service (QoS) guarantees is an important and challenging issue in the design of integrated‐services packet networks. Call admission control is an integral part of the challenge and is closely related to other aspects of networks such as service models, scheduling disciplines, traffic characterization and QoS specification. In this paper we provide a theoretical framework within which call admission control schemes with multiple statistical QoS guarantees can be constructed for the Generalized Processor Sharing (GPS) scheduling discipline. Using this framework, we present several admission control schemes for both session‐based and class‐based service models. The theoretical framework is based on recent results in the statistical analysis of the GPS scheduling discipline and the theory of effective bandwidths. Both optimal schemes and suboptimal schemes requiring less computational effort are studied under these service models. The QoS metric considered is loss probability. This revised version was published online in June 2006 with corrections to the Cover Date.     

Droplet de-entrainment by inertial impaction on vertical rods in an air-droplet mixture flow

We experimentally investigate the de-entrainment of droplets by inertial impaction on an array of vertical rods in an air-droplet mixture flow. The de-entrainment efficiencies are measured for a single rod, for a single row of rods, and for a multi-row of rods. We investigate the effects of the droplet mass flux (0.5–5.4 kg/m² s), the droplet Weber number (3000–8000), the air velocity (0–6 m/s), the rod geometry, and the surface roughness on the de-entrainment, and the rod diameter-to-pitch ratio effect on the de-entrainment. The results for a single rod show that the de-entrainment efficiency decreases slightly as the droplet mass flux increases; however, in our experimental ranges, there is negligible dependence on the droplet Weber number, the air velocity, and the surface roughness. The rod geometry affects the de-entrainment efficiency. The results for a single row of rods show that the existence of neighboring rods promotes de-entrainment due to droplet splashing, and we develop a correlation to show the effect of diameter-to-pitch ratio on the de-entrainment. Using information on the de-entrainment efficiencies of a single rod and those of a single row of rods, we propose a correlation that predicts the de-entrainment efficiency for a multi-row of rods with a staggered array. The RMS errors of the correlation from the de-entrainment efficiencies experimentally obtained are within 13.5%.     

新生牛肝活性肽的制备及其毒性检测

目的制备新生牛肝活性肽并评价其安全性。方法采用膜法分离制备新生牛肝活性肽。将3批制品于37～40℃,75%相对湿度条件下存放3个月,以多肽含量为指标观察其稳定性,并进行急性毒性试验、小鼠骨髓细胞微核试验、Ames试验、小鼠精子畸形试验和大鼠喂养试验。结果制备的3批新生牛肝活性肽存放3个月后,多肽含量无明显下降,质量稳定。小鼠和大鼠经口灌人大于20.0g/kg体重的新生牛肝活性肽,均无急性毒性。3种致突变试验均未显示出致突变性,大鼠喂养试验各项指标均未见明显毒性。结论新生牛肝活性肽未表现出明显毒性。     

辐射制备缓释抗癌药阿糖胞苷的研究

报告了甲基丙烯酸酯类在室温下进行辐射聚合制备缓释抗癌药阿糖胞苷（Ａｒａ－Ｃ）的研究结果。结果表明，不仅亲水性单体，而且疏水性单体（包括ＭＭＡ、ＥＭＡ和ＢＭＡ等）都可用于辐射固化。加入到亲水性基质中的疏水性单体可以延缓药物的离体释放，其顺序是ＭＭＡ＜ＥＭＡ＜ＢＭＡ，央ＭＭＡ－ＨＥＭＡ共聚物中，Ａｒａ－Ｃ释放率随着基质中的ＭＭＡ含量增加而降低。药物的离体释放还受许多困素的控制，结果显示：药物释放量随着     

2～12GHz GaAs单片行波放大器

报道了一个全平面超宽带ＧａＡｓ单片行波放大器的研究结果。该单片电路的核心部件是四个３００μｍ栅宽的ＭＥＳＦＥＴ，整个电路拓扑结构简单，芯片面积为３．０ｍｍ×１．８ｍｍ。电路经优化设计后在２～１２ＧＨｚ范围内，小信号增益为５±１ｄＢ，输入输出电压驻波比≤１．７５。上述频率范围内输出功率≥１６ｄＢｍ，噪声系数≤８ｄＢ。采用全离子注入、全平面工艺，均匀性、一致性良好。实验结果与设计预计值十分一致。