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

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%.     

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

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

微波BJT超宽带低噪声放大器的设计

本文给出了一种频带覆盖达１０－１６００ＭＨｚ的微波ＢＪＴ超宽带低噪声放大器的设计方法，从微波ＢＪＴ的噪声模型出发，通过拟合５０Ω源阻抗下微波ＢＪＴ的噪声系数ＮＦ５０和Ｓ参数来提取其噪声参数，然后根据增益，噪声及驻波比要求优化设计放大器，使放大器在超宽带范围内获得平坦增益和低噪声，本文所给出的微波ＢＪＴ惨数提取及放大器优化设计方法已由实验结果所验证。     

介质加载圆柱腔的场分析

本文应用严格场匹配法解决了介质加载圆柱腔的本征问题，计算了圆柱腔在纵向部分填充介质后ＴＥ０１ｎ模和ＴＭ０１ｎ模的本征频率和本征场型的变化。特别分析了本征模式在空气段为截止模的情况。本文的分析方法亦可应用到纵向部分填充介质的传输线和其它形状的谐振腔。     

Effective single-band Hamiltonian for electron-phonon coupling in cuprate superconductors

We derive an effective single-band Hubbard type Hamiltonian for CuO₂ planes. The Hamiltonian includes both electron-electron repulsion and electron-phonon coupling to oxygen vibrational modes. We start with first-principles density functional theory parameters and then map onto a single-band model. Unlike previous mappings to a single-band Hamiltonian, ours explicitly preserves the Fermi surface shape and matrix elements of the many-band Hamiltonian. We consider both in-plane oxygen breathing modes as well as out-of-plane tilting modes. The latter modes have a quadratic electron-phonon coupling, and are also highly anharmonic in La₂CuO₄ based superconductors. The coupling to breathing modes is too small to account for highT _c, while the coupling to quadratic modes is much stronger even though they would be neglected in a standard Migdal-Eliashberg approach to superconductivity.     

用稳态反饱和吸收法测量C_（60）的激发态吸收截面

用准连续激光实现了Ｃ６０的稳态反饱和吸收，通过实验和理论计算的拟合，确定了Ｃ６０的三重第一激发态吸收截面。     

黄河水市场的建立与水资源的优化配置

1987年国务院批准了黄河可供水理分配方案，1994年黄河水利委员会又向沿黄省（区）颁发了《取水许可证》。随着流域社会经济的发展，黄河水资源供需矛盾愈加突出。目前黄河水资源管理调度体制还存在政府指令配水严重失控、没有引入激励补偿机制、同比例丰增枯减的原则不利于水资源优化配置等问题。在黄河上建立水市场符合市场经济规律，可以促进节水，提高水资源的利用率，改善生态环境，有利于水资源的高效配置和合理利用。