一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

生物制药研究中的多维色谱

对全二维气相色谱(GC×GC)、全二维液相色谱(HPLC×HPLC)、多维毛细管电泳等多维分离技术在生物制药研究中的应用进行了综述,其中对作者所在研究组在全二维气相色谱应用于中药及固相萃取-液相色谱联用分析系统等方面的工作做了重点介绍。由所综述的生物制药研究得出结论：多维分离方法以其高分辨、快速、自动化等特点已经在生物制药领域显示出它的巨大优势,并将发挥更大的作用。     

钒酸盐系列激光晶体制备和性能研究

用提拉法生长了Nd∶YVO4, Nd∶GdVO4,Nd∶GdxLa1-xVO4(x=0.8, 0.6, 0.45)系列晶体,对影响晶体质量的因素进行了分析,测量了几种晶体的结构和晶胞常数;测量了Nd∶YVO4, Nd∶GdVO4, Nd∶Gd0.8La0.2VO4和Nd∶Gd0.6La0.4VO4晶体的室温吸收谱和荧光谱,用LD泵浦Nd∶YVO4, Nd∶GdVO4, Nd∶Gd0.8La0.2VO4晶体,实现了1.06μm和1.34μm的激光输出.     

氧气的性质演示实验的改进

通常在做氧气性质演示实验时,需收集多瓶氧气,操作烦琐。     

纳米Ni－B非晶态合金的催化性质研究

纳米Ｎｉ－Ｂ非晶态合金的催化性质研究杨军,崔黎丽,邓景发（复旦大学化学系,第二军医大学药学院,上海,２００４３３）关键词纳米材料,非晶态合金,催化性质纳米非晶材料融合了纳米晶与非晶材料的特性,既有很高的表面原子比,又呈高度几何无序状态。与普通非晶材料...     

热处理NiAl-Bi2O3涂层的宽温域循环摩擦学行为及高低温润滑相再生机制

采用UMT-3高温摩擦试验机评价了氩气气氛800℃热处理等离子喷涂NiAl-Bi₂O₃涂层在室温至800℃的摩擦磨损性能.通过分析热处理前后涂层及其摩擦表/界面的组成和微结构演变,首次研究了热处理NiAl-Bi₂O₃涂层的高低温润滑相(NiBi、Bi₂O₃和NiO)自适应再生机制及宽温域循环摩擦学行为.结果表明：热处理能使涂层中产生弥散增强的Al₂O₃和具有中低温润滑性的金属间化合物NiBi,提高了涂层室温至800℃的减摩抗磨性能,尤其使涂层在400℃的摩擦系数和磨损率分别从0.39和35.56×10^-5 mm³/(N·m)降至0.28和8.53×10^-5 mm³/(N·m);在800℃时,接触表面通过摩擦氧化再次产生润滑相(Bi₂O₃、NiO),并与增强相Al₂     

A step to the decentralized real-time timekeeping network

The composite time scale(CTS) provides an accurate and stable time-frequency reference for modern science and technology. Conventional CTS always features a centralized network topology, which means that the CTS is accompanied by a local master clock. This largely restricts the stability and reliability of the CTS. We simulate the restriction and analyze the influence of the master clock on the CTS. It proves that the CTS’s long-term stability is also positively related to that of the master clo...     

TDLAS波长调制压力测量法参数优化

使用TDLAS技术进行动态压力测量已经成为压力测量领域的研究热点。波长调制法实验装置较为复杂,需要对多个参数进行设置,选择出最优的预设参数能够取得更好的实验效果,获得更高的测量精度。目前波长调制法的实验参数设置基本凭借个人经验,使用Matlab程序仿真结合波长调制法的TDLAS测量技术,能够对实验中需要进行预设的重要参数进行了分析。通过计算4990cm-1波段和6330cm-1波段附近的多条吸收峰,发现4990.09cm-1波段处的吸收峰更适合作为波长调制法的测量波段。以4990.09cm-1处的吸收峰为研究对象,进行了波长调制法压力测量仿真建模,计算了调制度、调谐频率和调制频率对二次谐波幅值和对称性的影响并深入地分析了影响因素,总结了其变化规律。在综合考虑抗噪性能和测量精度的情况下,选择了调制度为2.5,调谐频率30Hz,调制频率5kHz为最佳实验参数。基于Matlab的仿真模型能够快速计算大量参数点,更加直观地分析出对参数的影响趋势,为实验仪器和预设参数的选择提供依据。     

载荷对Ni3Al基自润滑复合涂层摩擦学行为的影响

采用高能球磨结合喷雾造粒技术制备微米级球形Ni₃Al基复合粉末，利用等离子喷涂方法制备涂层后考察其在不同载荷(5、10和20 N)下宽温域内(25~800 ℃)的摩擦学性能. 用SEM、EDS和Raman分析磨痕、对偶销和磨屑的微观组织和物相组成，对比分析载荷对摩擦磨损机理的影响. 结果表明:25~200 ℃时，载荷增加促进了润滑相的“析出效应”，但载荷增至20 N时涂层发生塑性变形产生“封闭效应”，使涂层摩擦系数和磨损率随载荷增加呈先减后增的趋势；400~600 ℃时，载荷增加导致的摩擦热加速了氧化进程，降低磨损表面剪切强度，从而使摩擦系数和磨损率持续降低；800 ℃时，磨损表面形成富含NiCr₂O₄、Ag₂MoO₄和NiO的连续、光滑釉质层，但在20 N时局部过高的接触应力使润滑膜破裂而发生剥落，导致摩擦学性能下降.      

Dual-channel microfluidic sensor based on side-hole fiber with two long-period fiber gratings

We propose and demonstrate a dual-channel microfluidic sensor based on a side-hole fiber(SHF)with two longperiod fiber grating(LPFG)structures.There are two air holes in the SHF,which are natural microfluidic channels.We fabricate two LPFGs(long-period gratings LPG-A and LPG-B)in the SHF with the resonance wavelengths of 1268.7 nm and 1385.8 nm,respectively.Results show that the refractive index sensitivities of LPG-A and LPG-B are?76.0 nm/RIU and?71.1 nm/RIU,respectively.One can measure the refractive index of liquid samples in two channels simultaneously.The proposed dual-channel microfluidic sensor has advantages of good linearity response,fluidic technology compatibility,and easy light input/output coupling and system integration,which helps the sensor to have a potential application in environmental detection and food safety detection.