Improved purity of long-wavelength InAsSb epilayers grown by melt epitaxy in fused silica boats

In this study, we first present the process of the melt epitaxial (ME) growth method, and the improvement of low-temperature electron mobility of the long-wavelength InAsSb epilayers grown by ME in a fused silica boat. The electrical properties were investigated by van der Pauw measurement at 300 and 77 K. It is seen that the electron mobility of the InAsSb samples grown by graphite boat decreased from 55,700 to 26,600 cm(2)/V s when the temperature was reduced from 300 to 77 K, while for the samples grown by fused silica boat, the electron mobility increased from 52,600 at 300 K to 54,400 cm(2)/V s at 77 K. The electron mobility of 54,400cm(2)/Vs is the best result, so far, for the InAsSb materials with cutoff wavelength of 8-12 mum at 77 K. This may be attributed to the reduction of the carbon contamination by using a fused silica boat instead of a graphite boat. (C) 2002 Elsevier Science B.V. All rights reserved.

Abundance and conservation status of the Yangtze finless porpoise in the Yangtze River, China

middle and lower reaches of the Yangtze River, China. It is the only freshwater population of porpoises in the world and is currently listed as Endangered by IUCN. In November and December 2006 we used two boats and line transect methods to survey the entire current range of the population, except for two lakes (Poyang and Dongting). Sighting results were similar for both boats, so we pooled all data and analyzed them using two line transect models and a strip transect model. All models produced similar estimates of abundance (1111, 1225 and 1000). We then added independent estimates of the number of porpoises from the two lakes for a total estimate of approximately 1800 porpoises. Our findings indicate that the population continues to decline and that its distribution is becoming more fragmented. Our current estimate in the main river is slightly less than half the estimate from surveys between 1984 and 1991 (which was probably an underestimate). We also found an apparent gap in the distribution of porpoises between Yueyang and Shishou (similar to 150 km), where sightings had previously been common. Continued threats to Yangtze finless porpoises include bycatch in unregulated and unselective fishing, habitat degradation through dredging, pollution and noise, vessel strikes and water development. Immediate protective measures are urgently needed to ensure the persistence of finless porpoises in the Yangtze River. The survey design and analytical methods developed in this study might be appropriate for surveys of cetaceans in other river systems. (c) 2008 Elsevier Ltd. All rights reserved.

Synthesis of GaN nanowires and nano-pyramids in a two-hot-boat chemical vapor deposition system via an in-doping technique

A two-hot-boat chemical vapor deposition system was modified from a thermal evaporation equipment. This system has the advantage of high vacuum, rapid heating rate and temperature separately controlled boats for the source and samples. These are in favor of synthesizing compound semiconducting nano-materials. By the system, we have synthesized high-quality wurtzite single crystal GaN nanowires and nanotip triangle pyramids via an in-situ doping indium surfactant technique on Si and 3C-SiC epilayer/Si substrates. The products were analyzed by x-ray diffraction, field emission scanning electron microscopy, highresolution transmission electron microscopy, energy- dispersive x-ray spectroscopy, and photoluminescence measurements. The GaN nanotip triangle pyramids, synthesized with this novel method, have potential application in electronic/ photonic devices for field-emission and laser.

Interlayer segregation of Cu atoms in metal multilayers

The experimental results show that the exchange coupling field H.. of NiFe/FeMn for TalNiFe/FeMn/Ta multilayers is higher than that for the spin valve multilayers Ta/NiFe/Cu/NiFe/FeMn/Ta. The composition and chemical states at the surface of Ta(12nm)/NiFe(7nm), Th(12nm)/NiFe(7nm)/Cu(4nm) and Ta(12nm)/NiFe(7nm)/Cu(3 nm)/NiFe(5 mn) were studied by using x-ray photoelectron spectroscopy. The results show that no element from the underlayers Boats out or segregates to the surface for Th(12 nm)/NiFe(7nm), Ta(12 nm)/NiFe(7nm)/Cu(4 mn). However, Cu atoms segregate to the surface of Ta(12 nm)/NiFe(7nm)/Cu(3nm)/NiFe(5nm) multilayers, i.e. to the NiFe/FeMn interface for Ta/NiFe/Cu/NiFe/FeMn/Ta multilayers. We believe that the presence of Cu atoms at the interface of NiFe/FeMn is one of the important factors which will cause the exchange coupling field H.. of Ta/NiFe/FeMn/Ta multilayers to be higher than that of Ta/NiFe/Cu/NiFe/FeMn/Ta multilayers.

传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

一种基于模型的并发系统测试目的描述

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.

传值系统的互模拟与谓词等式系

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

模型检测:理论、方法与应用

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennesssy-Milner逻辑的一阶扩充HML(FO)，给出了基于带赋值的符号迁移图的语义解释。证明了HML(FO)的子逻辑HML(FO^2)是满足性可判定的，并且讨论了判定的复杂性。最后给出了传值进程关于HML(FO^2)的模型检测的可判定性结果。

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

π-演算互模拟判定算法的优化和实现

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office