Flash-lamp-pumped picosecond Nd:YAG regenerative amplifier

A flash-lamp-pumped Nd

Passive Q-Switching in a Flash-Lamp Pumped Nd∶YAG Laser with Ion-Implanted GaAs Wafer

A passive Q-switched flash-lamp-pumped Nd:YAG laser with the ion-implanted semi-insulating GaAs water is reported．The wafer is implanted with 400keV As~+ ions in the concentration of 10~(16)cm~(-2). Using GaAs wafer as an absorber and an output coupler．62ns pulse duration of single pulse is obtained.

A new half-flash architecture for high speed video ADC

In this paper a new half-flash architecture for high speed video ADC is presented. Based on a high speed single-way analog switch circuit, this architecture effectively reduces the number of elements. At the same lime no sacrifice of speed is needed compared with the normal half-flash structure.

TI TMS320C6713 DSP板Flash二级装载程序设计

DSP系统的程序都是保存在非易失性存储器中,系统启动的时候,程序加载到系统的RAM中去执行。本文详细描述了TITMS320C6713DSP板以Flash作为引导存储器,采用二级装载的办法来实现程序的加载,并给出了数据传输的代码片断。文章介绍的这种二级装载的方法也可以应用于C6000系列其他型号的处理器。

AT91RM9200与Compact Flash接口电路及其驱动程序设计

介绍了基于ARM920T内核的AT91RM9200处理器与Compact Flash卡的接口电路以及Compact Flash卡驱动程序的编写、调试.提出了一种适合数据流量大、实时性能要求高的现场实时数据采集、事后PC机做分析处理的实时数据采集系统。

Cr^3＋，Yb^3＋，Er^3＋共掺磷酸盐铒玻璃转镜调Q激光性质研究

研究了Cr^3＋，Yb^3＋，Er^3＋共掺磷酸盐铒玻璃转镜调Q激光性质．三种Er2O3掺杂浓度的激光实验结果表明，在Er2O3名义掺杂浓度为0．5wt％时，玻璃的综合激光性质最好，重复频率为0．1Hz时，它的激光阈值功率为14．5mJ，最大输出能量为9．6mJ，斜率效率为0．55％．在同种实验条件下，比较了Cr14和Kigre公司生产的QE-7S激光性质参数，实验表明，前者激光阈值功率稍低，而后者的斜率效率和最大输出功率略高．

脉冲氙灯用新型复合石英玻璃管性能的研究

为了研制出满足大功率脉冲氙灯技术要求的管壁材料，使用石英玻璃管二步法制备工艺，采用分层制砣技术，把纯石英玻璃和掺铈石英玻璃密切熔合，研制出新型的复合石英玻璃管。研制了几种不同复合比例的复合石英玻璃管，并对其光谱性能和机械性能进行了测试。通过对比实验表明，当纯石英玻璃层和掺铈石英玻璃层的比例合适时，复合石英玻璃管不仅具有吸收小于320nm波长的紫外辐射的性能，而且具有比掺铈石英玻璃管更高的机械强度和抗冲击性能，满足了大功率脉冲氙灯对管壁材料的特定要求。采用复合石英玻璃管制备的大功率脉冲氙灯具有优良的抗冲击性

微晶玻璃在大功率脉冲氙灯封接中的应用

：为提高大功率脉冲氙灯的封接强度，将微晶玻璃作为封接材料引入到氙灯封接应用中. 以 Bi2O3,ZnO,Al2O3,MgO,CaCO3,SiO2,BaO,H3BO3,P2O5,Na2O 为原料，通过高温熔融制备了大功率脉冲氙灯封接 用微晶玻璃样品. 测试了样品的热膨胀系数,并通过差热分析(Differential Thermal Analysis，DTA)对脉冲氙灯 微晶玻璃的封接温度进行了讨论，用X 射线衍射(X-ray diffraction ，XRD)表征了封接玻璃，并进行了分析. 将 制得的样品磨成玻璃粉末，制成膏剂状玻璃焊料，对大功率脉冲氙灯进行封接，得到大功率脉冲氙灯的微晶 玻璃封接件. 通过氦质谱检漏仪检测，1#、2#、4#封接件气密性良好，达到10-6 Pa.

Genetic variation of fish parasite populations in historically connected habitats: undetected habitat fragmentation effect on populations of the nematode Procamallanus fulvidraconis in the catfish Pelteobagrus fulvidraco

Habitat fragmentation may have some significant effects on population genetic structure because geographic distance and physical barriers may impede gene flow between populations. In this study, we investigated whether recent habitat fragmentation affected genetic structure and diversity of populations of the nematode Procamallanus fulvidraconis in the yellowhead catfish, Pelteobagrus fin't4draco. The nematode was collected from 12 localities in 7 floodplain lakes of the Yangtze River. Using I I intersirnple sequence repeat markers, analysis of molecular variance showed that genetic diversity occurred mainly within populations (70.26%). Expected heterozygosity (He) of P. fulvidraconis was barely different between connected (0.2105) and unconnected lakes (0.2083). Population subdivision (Fst) between connected lakes (0.2177) was higher than in unconnected lakes (0. 1676). However, the connected and unconnected lakes did not Cluster into 2 clades. A Mantel test revealed significant positive correlation between genetic and geographic distances (R = 0.5335, P < 0.01). These results suggest that habitat fragmentation did not cause genetic differentiation among populations or a reduction of diversity in isolated populations of P. fulvidraconis. At least 2 factors may increase the dispersal range of the nematode, i.e., flash flooding in summer and other species of fish that may serve as the definitive hosts. Moreover, lake fragmentation is probably a recent process; population size of the nematode in these lakes is large enough to maintain Population structure.

带参并发系统的模型检测

带参并发系统 实际包含一族并发系统实例，其中以一个（或多个）参数表示每个系统实例的规模，比如实例系统中 并发执行的进程个数或数据域的大小。带参模型检测的任务是验证 对任意的参数数值，所有的系统实例都满足所期望的性质。本文研究带参并发系统的模型检测方法和技术。 一般来说， 带参系统的参数不仅代表进程个数，也可以是通信缓冲区容量、数据域大小、数据通路宽度等。然而迄今为止，该领域的绝大多数研究都 针对前者类型的参数，而往往忽视数据方面的参数。本文中，我们提出基于带符号迁移图的复合型带参网络协议建模框架。 系统表示为顺序结构的“结点进程”的并发复合，彼此通过“信道进程”进行通讯；性质以一种嵌套谓词等式系形式的一阶$\mu$ 演算表达；进而相应扩展由实验室自主开发的传值进程模型检测工具，对于数据带参的并发系统给出有效的验证方法， 并且对于一些典型的带参系统作出实例研究。 出乎意料的是，在GERMAN2004 协议的缓存一致性已经被其他研究者证明正确的情况下，我们却发现了它在于数据一致性方面的一个严重错误，并予以更正。 进一步，应用我们检测工具中所实现的“数据无关”技术，我们有效推广了研究结论，证明了对于任意大小的数据域， 修改后的GERMAN协议仍然保证满足数据一致性要求。 环境抽象的方法将计数抽象的思想借鉴到谓词抽象的技术中，对于控制带参的并发系统给出一般性验证框架。然而该方法具有相当 高的复杂度；对于很多实际应用的系统而言，所构造的抽象系统规模仍然超出常用模型检测工具所能处理的范围。为了克服这个困难， 我们提出了{\em 状态聚类}方法，在 局部可达性分析的基础上，通过对系统表达式的分析把全部可达的局部状态分组成为少数几个状态簇。在进行 状态聚类的启发式算法中，我们采用了先分裂后聚合的策略，即在识别出不同类的具有代表性的状态配置后，再将类似的状态尽可能 合并到同一个状态簇。这样局部状态被相应划分成为若干等价类，每个类以一个单元状态为代表。然后我们在系统描述的层次上， 通过程序重写的方式直接构造生成对应的抽象系统。 实例研究显示，状态聚类方法通常能够将抽象节点的大小缩减约3个数量级。 参数抽象作为带参系统的安全性性质验证的另外一个有效方法，其最困难之处在于找到合适的辅助不变量，用以进行卫加强 以精化抽象模型。针对这个问题，我们提出一种启发式的方法，通过在参考模型中计算自动产生辅助不变量。 利用这一技术，我们将参数截断的思想应用于 处理环境抽象中依赖于参数类型的复杂变量，使得环境抽象在状态聚类后得到进一步优化。我们有效结合了参数抽象与环境抽象技术， 显著降低了抽象系统状态空间规模，从而极大节省了模型检测的内存开销；并且由于抽象中的每个 步骤都以现行的模型检测工具辅助计算，整个验证过程可以机械化完成，不需要过多的人工介入。作为示范，对于 工业应用的复杂的缓存一致性协议FLASH，我们在保留了其中最为著名的“三跳”事务处理的情况下，验证了缓存一致性和数据一致性。 据我们所知，这是首次这样工业实用的复杂协议能够同时在控制方面和数据方面在如此的精度上得到成功验证。

New aspects of K promoted nitridation of the InP(100) surface

The effect of molecular nitrogen exposure on the InP(100) surface modified by the alkali metal K overlayer is investigated by core-level photoemission spectroscopy using synchrotron radiation. The alkali metal covered surface exhibits reasonable nitrogen uptake at room temperature, and results in the formation of a P3N5 nitride complex. Flash annealing at 400 degrees C greatly enhanced the formation of this kind of nitride complex. Above 500 degrees C, the nitride complex dissolved completely. (C) 1997 American Vacuum Society.

The design of cascaded resistors in a new analog switch two-step ADC architecture

In this paper we introduce a new Half-flash analog switch ADC architecture. And we discuss two methods to design the values of the cascaded resistors which generate the reference voltages. Derailed analysis about the effect of analog switches and comparators on reference voltages, and the methods to set the resistor values and correspond;ng voltage errors are given.

大型公共环境人员疏散路径规划研究

大型公共环境人员疏散路径规划研究对指导安全设施建设、应急预案的制定、实施和推演都有重要意义。近年来进化计算领域兴起的分布估计算法为路径规划问题的解决提供了新的优化工具。本论文将一种典型的分布估计算法——贝叶斯优化算法，应用到大型公共环境人员疏散路径规划问题解决过程中，针对单路径人员疏散、多路径人员疏散和多目标点人员疏散三类具体的疏散路径规划问题，分别设计和实现了相应的基于贝叶斯优化的人员疏散路径规划算法，并在仿真实验中根据大型公共环境空间类型复杂和人员相对密集等特点，面向不同的规划要求和目的，求解出了满足约束条件的最优疏散路径集合。 本文提出的基于贝叶斯优化的人员疏散路径规划算法，以大型公共环境的基本信息已知为前提，基于二维环境下的拓扑空间法，按照应用系统的规划要求，通过引入疏散性能，路径安全性和易通性等参数，对疏散空间建立全局环境模型；在系统分析分布估计算法基本框架和特点的基础上，引入其中一类典型算法——贝叶斯优化算法，设计出一系列适于不同疏散路径规划问题的基于贝叶斯优化的路径规划算法。该算法用贝叶斯网络对优选路径集合建立概率模型，并由建立起的贝叶斯网络产生新的路径集合，与原有路径进行竞争，可以在找到一条最优的路径集合的同时，利用中间结果，快速找出多条较优的路径。仿真实验标明，该算法可以有效的满足大型公共环境下人员疏散的任务要求。