Isabelle在分析安全操作系统状态机模型中的应用

为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观．简洁的问题，提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数，以及模型中的安全不变量和状态迁移规 则进行形式化描述的新方法．通过实际验证一种典型的安全操作系统状态机模型——可信进程模型，总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略．

铒镱共掺铅硅酸盐玻璃的光谱分析

采用传统的高温熔融工艺制备了铒镱共掺铅硅酸盐玻璃. 测量了样品的吸收光谱、荧光光谱和折射率， 利用McCumber 理论和Judd-Ofelt 理论计算了该玻璃系统中Er3+离子4I13/2→4I15/2 能级跃迁受激发射截面和荧 光寿命.该玻璃在1 536 nm 处受激发射截面σemi 为8.62×10-21 cm2；荧光寿命长达11.32 ms（实验测量值为9.26 ms）；在1536 nm 附近有很强的荧光发射，荧光有效线宽为46.5 nm；样品存在中心波长为580 nm 的4S3/2→4I15/2 跃迁的上转换荧光. 结果表明，该样品荧光寿命长，受激发射截面大，同时具有较弱的上转换发光等特性， 是制作高能脉冲光纤激光器的理想材料

不同生育期土壤-苜蓿系统水流阻力和水容变化规律研究

紫花苜蓿是水蚀风蚀交错带重要的人工种植牧草,具有较强的耐寒、耐旱性。自然条件下的模拟土柱试验在陕北神木试验站进行,采用抑制蒸腾法定量分析了水蚀风蚀交错带土壤-苜蓿系统水流阻力、水容等瞬态水流参数变化过程。结果表明:不同生育期内瞬态水流阻力及水容有明显差异:开花旺盛期平均水流阻力最小0.22×108Mpa.s.m-3,约为干枯老化期的1/9;平均水容最大5.38×10-4m3/Mpa;是现蕾期的4倍多。该研究结果有助于揭示紫花苜蓿体内水分调节作用及抗旱机制,对干旱半干旱地区植被恢复有重要指导意义。

稀土与钼复合氧化物的合成、结构和电性质研究

固体氧化物燃料电池（SOFC）被称为“二十一世纪的绿色能源”。氧化忆稳定氧化错（YSZ）是目前sOFC普遍采用的固体电解质材料。由于YSZ只有在高温时（大于1000℃）才具有较高的离子导电性，而SOFC在高温时会带来一系列技术性的问题，如机械强度的不稳定、材料的老化及各构成材料之间的相互扩散等。因此，迫切需要开发在中、低温范围内（600-800℃）具有较高离子电导率（大于10-2S．cm-l）的电解质材料。在众多的候选材料中，稀土作为基体和掺杂元素的固体电解质越来越引起人们的重视。特别是萤石型化合物CeOZ、钙钦矿型化合物LaGaO3，以及阴离子空位型化合物La2MO2O9等的研究，开阔了寻找固体电解质材料的视野。本论文主要研究稀土与钥复合氧化物的合成、结构及其电学性质，希望进一步提高现有材料的导电性能和寻找新型固体电解质材料。基于母体化合物La2Mo2O9在580℃左右有一个相变点，因为存在相变点的固体电解质在实用方面（如SOFC）有很大的局限性。我们从稀土掺杂的角度出发，对母体化合物进一步改性，稳定其高温结构相。为此，我们利用改性柠檬酸盐法合成了系列化合物La2-xRExMo2O9（RE＝Ce，Pr，Nd，Sm，Gd，Tb，Dy，Ho，Er，Yb）。结果发现，只有Nd和Sm可以进入La2Mo2O9中La的格位；利用本方法合成样品的温度比用固相法低250℃左右；所合成的样品粒度分布非常均匀，并且随着Nd和Sm掺杂量的增加而变大；Nd和Sm的掺杂稳定了其高温相，电导率有所提高。从而使此类固体电解质在实用方面成为可能。合成了一种新型稀土与钥的复合氧化合物Ce6MoO15，电学性质测试发现，它是一性能优良的固体电解质材料。以此化合物为母体）进行低价金属离子的掺杂取代后发现，它们的导电性又进一步地提高，进而派生出多种固体电解质体系如Ce6-6 MoO15-δ、Ce6+x Mo1-x O15-6、Ce6Mo1-xBixO16-6以及Ce6-xAxMoO15-6。（A＝Li，Ca，Sr和Ba）等。本研究工作中主要合成了Ce6-xRExMoO16-6（RE=Pr，Nd，Sm，Gd，Tb，Dy，Ho，Er，Yb；x=0.0-6.0）等系列化合物，并对其进行了结构表征及电学性质测试。结果发现所有样品均为类莹石结构；样品的导电性起源于氧离子空位；在相同的温度下，样品电导率相当于或高于经典的固体电解质（如YSZ），并且样品的抗老化性能有所提高。所有这些实验事实证明，它们在中温区是一种高效氧离子导体，从而为此类化合物在SOFC中的应用奠定了基础。通过合成AgScMo2O8，尝试了一种钥酸盐固溶体的合成方法，即钥酸盐水溶液合成法。这种方法不需要加入有机物（如柠檬酸等）作为络合剂，而是通过钼酸根与金属离子之间的酸碱对效应直接合成。我们对此化合物的结构、电学性质进行研究后发现：此化合物在较低的温度即已完全成相；室温下，Agsco208为单斜结构，不同于AgLnMo2O8（Ln＝Y-Lu）；随着温度的升高，AgscMo2o8在485℃、539℃附近各有一个不可逆，可逆相变点出现。在可逆相变点出现的同时，伴随着其电导率有一个很大的突跃。

藏酋猴(Macaca thibetana)电刺激采精、精液冻存和精子活力的检测

本文研究中国特有的藏酋猴(Macaca thibetana)电刺激采精、精液冻存及精子活力检测。用电刺激方案[(DDR)_(17-c)V]：延搁(delay)17毫秒、间期(duration)17毫秒、刺激频率17脉冲／秒、单方波变电压连续刺激，对笼养藏酋猴进行电刺激采精，测定精液的各种特征参数，包括每次射精量、液化率、精子密度、运动精子的百分率、死活精子以及异常精子比例。并与其它非人灵长类进行了比较。在精液冻存实验中，通过对不同的防冻液、不同的降温程序及防冻液分散系的比较研究，从而确定了适于藏酋猴精液冻存的冻存方案：PSF-4%的甘油-TH-7.5%的小牛血清(PSF-TH/FBS-G)和PSF-MDM。用前一方案冻存藏酋猴精液，复苏运动度为63.58±0.06%；精子的存活率为90.14±0.03%(n=5)。冻存精液用金黄地鼠裸穿透分析法检测，结果表明具有相应新鲜精液穿透力的51.90±0.08%。后一冻存方案能保存88.00±1.03%的运动精子，但运动寿命较短。研究结果表明：1).刺激方案(DDR)_(17-c)V适于藏酋猴的电刺激采精。2).藏酋猴的精液量和精子数在已有过研究的非人灵长类动物中是最多的，藏酋猴有可能成为较理想的精子生物学研究用的非人灵长类动物。3).脂蛋白对维持精子膜的完整可能有重要作用。4).接近生理条件的防冻剂分散系有助于精液的冻存。5).两种冻存方案PSF-TH/FBS-G和PSF-MDM均适于藏酋猴的精液冻存。

用偏振差分透射谱技术测量半导体晶体片应力分布

利用偏振差分透射谱测量了2英寸圆形GaAs晶片、自支撑GaN衬底和蓝宝石衬底等的双折射分布,通过弹光效应换算得到了晶片内部残余应力分布.测量得到的应力反映的是晶片各个点的[110]和[110]方向的应变差.实验测量得到的GaAs晶片和自支撑GaN 衬底的[110] 和[110]的应变差最大可以达到10~(-5)数量级.蓝宝石衬底的可以达到10~(-6)数量级.因此TDS可以对透明或者半透明晶片的应力分布实现快速、实时、无损、高灵敏度检测.

High power red-light GaInP/AlGaInP laser diodes with nonabsorbing windows based on Zn diffusion-induced quantum well intermixing

The layer structure of GaInP/AlGaInP quantum well laser diodes (LDs) was grown on GaAs substrate using low-pressure metalorganic chemical vapor deposition (LP-MOCVD) technique. In order to improve the catastrophic optical damage (COD) level of devices, a nonabsorbing window (NAW), which was based on Zn diffusion-induced quantum well intermixing, was fabricated near the both ends of the cavities. Zn diffusions were respectively carried out at 480, 500, 520, 540, and 580 Celsius degree for 20 minutes. The largest energy blue shift of 189.1 meV was observed in the window regions at 580 Celsius degree. When the blue shift was 24.7 meV at 480 Celsius degree, the COD power for the window LD was 86.7% higher than the conventional LD.

侧面抽运Nd:YAG连续激光器

介绍了一种二极管侧面春运的Nd:YAG连续激光器器，获得了37.9 W的连续1064nm的激光输出，光-光转换效率为23.7%.用光线追迹法对实验中的具体参数进行了数值模拟，指出了实验中的不足之处，对侧面抽运结构的设计作了分析的讨论.

High-field ferromagnetic resonance in fine particles

We investigate high-field ferromagnetic resonance of superparamagnetic particles with uniaxial anisotropy, In this case, since the field is large enough to saturate the magnetization, the thermal orientational fluctuations of the magnetic moment of the particle are negligible. Thus, we derive the dynamic susceptibility of the system on the basis of an independent particle model. High-field ferromagnetic resonance has been performed on fine cobalt particles, The analysis of the spectra obtained at different frequencies allows us to estimate the effective magnetic anisotropy, the gyromagnetic ratio, and the transverse relaxation time. (C) 1998 Elsevier Science B.V. All rights reserved.

Experimental Study on the Subthreshold Swing of Silicon Nanowire Transistors

SOI based wrap-gate silicon nanowire FETs are fabricated through electron beam lithography and wet etching. Dry thermal oxidation is used to further reduce the patterned fins cross section and transfer them into nanowires. Silicon nanowire FETs with different nanowire widths varying from 60 nm to 200 nm are fabricated and the number of the nanowires contained in a channel is also varied. The on-current (I-ON) and off-current (I-OFF) of the fabricated silicon nanowire FET are 0.59 mu A and 0.19 nA respectively. The subthreshold swing (SS) and the drain induced barrier lowering are 580 mV/dec and 149 mVN respectively due to the 30 nm thick gate oxide and 1015 cm(-3) lightly doped silicon nanowire channel. The nanowire width dependence of SS is shown and attributed to the fact that the side-gate parts of a wrap gate play a more effectual role as the nanowires in a channel get narrower. It seems the nanowire number in a channel has no effect on SS because the side-gate parts fill in the space between two adjacent nanowires.