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

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

An efficient mixed algorithm of L-MEI and DDM for the wavescattering by a concave cylinder

In this paper, a localized MEI method (L-MEI) is developed and combined with the domain decomposition method (DDM) for the simulation of scattering by a concave cylinder. In the L-MEI, the whole domain is decomposed into many subdomains. Different from the conventional MEI method, the MEI coefficients of the L-MEI method in each subdomain are only dependent on the localized metrons that are defined in the subdomain. The localization of metrons has the following advantages: (1) speeding up the calculation of MEI coefficients and saving memory, (2) making the MEI method available for concave structures, and (3) obtaining a band sparse matrix directly without any modification     

瓣形均匀带电面在其直径处的电势分布

从点电荷的电势计算公式出发推导出了瓣形均匀带电面在其直径处的电势分布.进一步讨论了均匀带电半球面在其底面以及均匀带电球面内部和外部的电势分布.     

可变抽样区间的非参数控制图

最近几年一些学者研究了可变抽样区间的质量控制图。Amin等提出了可变抽样区间(VSI)的非参数控制图———符号 (Sign)统计量图〔1〕。本文在此基础上研究位置VSI符号控制图的制定方法 ,并设计离散VSI符号控制图。符号控制图的优点是对非正态总体亦可应用 ,并且不需要过程方差的信息。本文将所设计的VSI符号控制图同固定抽样区间 (FSI)的常规图作比较 ,并举实例说明符号控制图的应用     

On the existence and uniqueness of classical global solution to a type of Boussinesq equations

The existence and uniqueness of classical global solutions to a type of Boussinesq equations with initial and boundary values are studied in this paper. The existence of such solutions is proved by means of compactness theorem and Schauders fixed point theorem, and its uniqueness by the so called energy method.Projects Supported by the Science Fund of the Chinese Academy of Sciences.     

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

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

Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

FeS2多晶薄膜电子结构的实验研究

用磁控溅射方法制各纯Fe薄膜,并硫化合成FeS2.采用同步辐射X射线近边吸收谱与X射线光电子能谱研究了薄膜的电子结构.结果表明,合成的FeS2薄膜,在费米能级附近,有较强的Fe 3d态密度存在,同时,在价带谱中2-10eV处有强度较大的S 3p态密度存在;Fe的3d轨道在八面体配位场作用下分别为t2g和eg轨道,实验中由Fe的吸收谱计算得到两分裂能级之差为2.1eV;实验测得FeS2价带结构中导带宽度约为2.4eV,导带上方仍存在第二能隙,其宽度约为2.8eV.     

空气/水界面水分子的取向和运动

对四种不同的实验构型下空气／水界面自由O-H键在3700cm~(-1)的和频振动光谱的分析表明,水分子在空气／水界面的取向运动只可能是在平衡位置附近有限角度之内的受限转动。界面水分子的自由O-H键取向距界面法线约33°,而取向分布或运动的宽度不超过15°。这一图像显著地不同于Wei等人(Phys. Rev. Lett.86,4799(2001))只通过单一的SFG实验构型所得出结论,即：空气／水界面的水分子在超快的振动弛豫时间内在很大的角度范围内运动。     

锐钛矿二氧化钛超细纳米晶的三声子互作用

本文通过对粒径为2.2-25.5nm的锐钛矿二氧化钛超细纳米晶在83-293 K温度范围内的变温拉曼光谱的研究,得到了三声子互作用对拉曼频率和线宽的贡献随粒径的变化关系。结果表明锐钛矿二氧化钛超细纳米晶的三声子相互作用随粒径减小而加强。