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

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

1,1,3,3-四(全氟己基乙基)二锡氧烷二聚体在环氧化合物开环反应中的催化作用

采用氟碳-有机溶剂两相催化体系,考察了1,1,3,3-四(全氟己基乙基)二锡氧烷二聚体(1)在环氧化合物开环反应中的催化作用.结果表明,催化剂(1)在氟碳-有机溶剂两相体系中使环氧苯乙烯和甲醇的开环反应产率高达95%,¹³CNMR谱表明,开环反应的区域选择性为100%.在氟碳-有机溶剂两相催化体系中以一锅法制备了3-苯基丙酸2-甲氧基-2-苯乙醇酯,收率高,方法简便,催化剂几乎可以定量回收循环使用.     

基于“客户感知验证”的服务质量差距管理体系研究

文章立足运营商转型过程中所面临的服务提升问题,提出客户感知验证的创新思路和验证体系,重点介绍了服务质量差距模型与方法论,并通过具体案例介绍验证工作的实施方式和效果,同时对进一步推广应用提出相应建议,为延伸移动互联网时代客服管理体系的转型研究抛砖引玉。     

四元体系LiNO3-Mg(NO3)2-NH4NO3-H2O相图预测及相关相变储能材料的研究

应用修正的BET热力学模型对Mg(NO3)2-NH4NO3-H2O三元体系和LiNO3-Mg(NO3)2-NH4NO3-H2O四元体系在273～320 K的相图进行预测,并找到一个相变温度较低的四元共晶点Mg(NO3)2.6H2O-LiNO3.3H2O-NH4NO3,其质量百分数组成为:25.5%的硝酸铵,28.4%的硝酸锂,13.8%的硝酸镁和32.3%的水,通过实验对共晶点组成材料的吸放热行为进行测定,发现其熔化温度为286.3 K,且DSC测试其相变热焓为192.7 J.g-1,表明该材料可用作潜在的低温相变储能材料。     

高溶解性盐水体系热力学模型预测能力的比较研究Ⅰ：二元体系

用原始Pitzer模型、扩展的Pitzer模型、Pitzer-Simonson-Clegg模型、S-MSA模型和BET模型分别对LiCl-H2O,LiBr-H2O,CaCl2-H2O,Mg（NO3）2-H,O,MnCl2-H2O和Mn（NO3）2-H2O等六种不同体系的热力学性质进行描述,考察了各种模型的预测能力．结果表明原始Pitzer模型不能准确描述高浓电解质溶液的性质;扩展的Pitzer模型虽然能较准确地描述某些体系高浓度的热力学性质,但预测能力不足;Pitzer-Simonson-Clegg模型对高浓盐水体系热力学性质具有一定的预测能力,但拟合参数所用的最大浓度与溶解度相差很大时,外推饱和点的热力学性质则会出现较大偏差;S-MSA模型虽然可以将拟合参数的浓度范围扩大到饱和,但没有外推能力,而且需要溶液的密度数据,这限制了该模型的广泛应用：BET模型对这六种体系均体现出很强的预测能力,预测结果准确,且模型参数少,物理意义明确,该模型可用于熔盐水化物相变储能材料的设计．     

Fe3+-H掺杂TiO2光催化剂的制备、表征与催化性能

Fe3+-H掺杂TiO2光催化剂的制备、表征与催化性能;二氧化钛;掺杂;光催化;铁离子;等离子体     

掺胺碳膜及其对甲酸蒸气传感特性

用射频等离子体化学沉积方法制备氢化非晶碳（a-C:H)膜。在等离子体气氛中引入胺基团,则能够在a-C:H薄膜沉积过程中将胺基团掺入薄膜的网络结构中。喇曼光谱表明薄膜具有无序态结构。红外分析表明薄膜中有胺基团存在,将掺胺a－C：H薄膜作为质量传感膜沉积到石英晶体表面制成气相质量传感器。测试表明掺胺a－C：H膜对甲酸蒸气具有高的响应灵敏度,好的线性相关系数和线性响应范围。     

5G网络切片技术研究

网络切片技术作为5G网络演进过程中的一项关键技术,其作为SDN框架体系中的核心内容,能够将网络设备控制面和数据面分离开来处理形成逻辑独立,实现网络流量的灵活控制和智能化网络管理,受到了越来越多的关注和研究。从网络切片技术架构出发,介绍了5G网络切片的建立和UE对网络切片的选择过程。着重分析探讨了当前5G网络切片的研究现状和技术热点,指出了网络切片技术的发展预测和研究趋势,为后续研究和系统演进提供指导。     

层次化跨区域SDN验证示范系统的设计与建设

软件定义网络（SDN）架构给网络带来了卓越的灵活性和可管理性。为了给新型SDN技术与应用提供大规模可行性验证试验床与试点部署平台,提出了依托于CERNET的层次化跨区域SDN 异地验证示范网络试验系统的总体架构,建设了9个城市、13个节点的SDN验证示范核心网与包含3个数据中心的接入网,并对基于SDN的vCPE智能专线业务、IPv4/IPv6过渡技术、流量监控调度应用和数据中心应用进行验证与示范。     

Semiconductor saturable-absorber mirror passively Q-switched Yb：YAG microchip laser

A compact passively Q-switched Yb:YAG microchip laser is demonstrated.Featuring a semiconductor saturable-absorber mirror(SESAM),the laser yields pulses of 219 ps when the length of the microchip Yb:YAG crystal is 100 μm and the beam quality is M2< 1.3.To the best of our knowledge,pulses from the proposed laser are the shortest Q-switching pulses obtained from Yb:YAG microchip lasers currently available.