网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

激光诱导荧光探测水体中溶解有机物浓度

用Nd∶YAG激光器的三倍频355 nm光作为激发光源,根据激光诱导荧光(LIF)方法激发并探测污染水体的荧光光谱.通过对荧光光谱的分析处理研究归一化荧光强度,即450 nm处水中溶解有机物(DOM)峰与405 nm处水的拉曼峰的比值,反演溶解有机物浓度.用商品腐殖酸和去离子水配置成已知浓度的溶液代替标准DOM溶液进行标定,得到回归方程.结果证明,DOM的归一化荧光强度与水体中DOM浓度有较好的线性关系,因此LIF方法是对大面积水域水质进行动态遥测的较理想方法.     

Resonantly Enhanced Continuous-Wave Four-Wave Mixing in a Five-Level Cold Atomic Medium

Using Schroedinger-Maxwell formalism, we propose and analyse a cw four-wave mixing (FWM) scheme for the generation of coherent light in a five-level double-∧ atomic system based on electromagnetically induced transparency. We derive the corresponding explicit analytical expressions for the generated FWM field. The influence of hyperfine sublevel on the amplitude of the generated FWM field is predicted in detail. We also give a brief discussion on the experimental realization of the proposed scheme.     

Au(111)上烷烃硫醇SAMs表面应力的理论研究

应用已建立的关于金属表面吸附层中表面应力的统计热力学理论 ,计算了Au(111)上烷烃硫醇SAMs的表面应力及其与烷烃硫醇链长、吸附覆盖度的定量关系 .计算结果与实验相符 ,较好地解释了Berger等人的实验结果 ,特别是解决了在表面应力符号性质上理论与实验的矛盾 .在表面吸附层应力的多种物理起源中 ,通过底物的分子间作用力有着决定性的贡献 ,揭示了分子的吸附能间接地起着重要作用 .这与阴离子化学吸附体系Cl-/Au(111)的有关研究结果相同 .     

Radon空间的非标准表示

证明了在扩大的非标准模型中S-空间可完全表示Radon空间并讨论了S-空间的若干性质.还给出一个有限Borel测度空间为Radon空间的充要条件.最后证明了Radon空间的一个＊-有限表示定理.     

强色指数的一个新的上界

给出了图的强色指数的一个新的上界，并指出几类恰好达到该上界的图，从而改进了Erodoes和Nesetri的强色指数猜想，在某种意义上证明了这个猜想。     

EBS—Sprite摄象器件特性的理论分析

本文在理论分析的基础上,提出了电子轰击扫积形(简称EBS-Sprite)摄象器件的物理模型。对靶的主要特性进行了深入的分析,给出了靶的静态增益G■,信噪比S/N,调制传递函数MTF,载流子收集效率η_1,η_2以及载流子扫出效率η_■的数学表达式。还讨论了靶的分辨率、动态范围、阈值照度。这些参数的理论分析表明,该靶可以在5×10~(-5)下工作,动态范围大于10~5:1,分辨率不低于CCD摄象器件,是一种结构简单,易于实现,信噪比高,阈值探测能力强,无滞后、无晕光和无拖尾效应,动态范围宽的理想微光摄象器件。     

催化动力学光度法测定痕量钴(Ⅱ)

本法基于钴 (Ⅱ )对高碘酸钾氧化孔雀绿的催化作用 ,提出一种灵敏地测定痕量钴 (Ⅱ )的新方法。该方法线性范围在 0～ 0 8μg·2 5mL- 1 ,检测限为 2 1× 10 - 1 0 g·mL- 1 。测定出反应表现活化能Ea=37 94kJ·mol- 1 。此法用于茶叶、维生素B1 2 中钴的测定 ,结果满意