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

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

Polarimetric-Spectral-Sensitive Compressed Ultrafast Photography Enables Real-Time Intensity Visualization of Time-Varying Polarized Ultrafast Laser Pulses

Ultrafast laser pulses with complex spatiotemporal and polarization couplings have shown great application prospects in coherent control, particle acceleration, molecular dynamics excitation, and chiral or anisotropic detection. It is very important to observe the polarization-coupled ultrafast laser pulses for characterizing the performance of laser source and understanding the laser-matter interaction, but there is currently no detection technique that can completely characterize them, including the spatio-, spectral-, and polarimetric-temporal information. In this work, a polarimetric-spectral-sensitive has been compressed ultrafast photography (PS-CUP) to realize the real-time intensity visualization of time-varying polarized (TP) ultrafast laser pulses. PS-CUP can not only distinguish the polarization state of a TP pulse, but also realize the spatio-, spectral- and polarimetric-temporal measurement. To demonstrate the ability of polarization resolving detection, PS-CUP is used to successfully distinguish between the sinistral and dextral TP pulses and measure the angle and degree of linear polarization of a dextral TP pulse, respectively, and the experimental results are highly consistent with theoretical simulations. Owing to the unprecedented multidimensional detection ability, PS-CUP is prospected to provide a powerful tool for the diagnosis of various complex ultrafast laser pulses and the detection of ultrafast chiral optics.     

微波辐射与稀土配位控制组合技术制备低聚壳聚糖

以工业品高分子量壳聚糖为原料,采用微波辐射和稀土配位控制组合技术制备了低聚壳聚糖,用元素分析、红外光谱、凝胶色谱等手段对其结构进行了分析,探讨了低聚壳聚糖的微波制备工艺条件。结果表明,组合技术制备的低聚壳聚糖的化学组成和分子结构并无明显差别,而产品的相对分子质量分布更均匀,降解的速率显著提高,筛选的适宜条件为微波功率130W、辐射时间15min、H2O2用量为0．15mL／2g,氨基葡萄糖残基量与铈盐的量摩尔比为8：1。在此条件下可制得Mw为48756,Mw／Mn为1．890的产品。     

高固体分羟基丙烯酸树脂的合成

以过氧化二苯甲酰（BPO）／过氧化二异丙苯（DCP）（质量比为2：3）为复合引发剂，二甲苯为溶剂，选用适量含羟基单体和分子量调节剂，以减缓树脂合成聚合反应中的自动加速现象，合成了分子量为3000-4000，多分散性指数d〈2的高固体分羟基丙烯酸树脂．该树脂与缩二脲多异氰酸酯（HDI）的配漆实验证明，所得漆膜鲜映性好、丰满度高、色泽好、雾影值低、综合性能较好．     

氨对硅基铁纳米薄膜高温重凝核的影响

采用弧过滤离子沉积系统（arc filtered deposition,AFD）在纯硅表面制备铁纳米薄膜。研究了750℃下铁纳米薄膜在氢气氛围以及氨气氛围中重凝核的规律。研究表明,在氢气氛围中,铁纳米薄膜重凝核以后形成的铁纳米颗粒随薄膜的厚度增加以及保温时间的延长而增大;但在氨气氛围中,铁纳米薄膜重凝核后形成的纳米颗粒的尺寸随保温时间的变化更为复杂：在氨气作用的初始阶段,铁颗粒的尺寸随氨气作用时间的延长而逐渐变大,但一段时间以后,铁颗粒的尺寸又随氨气作用时间的延长而变小,直到铁颗粒平均直径达到一个最小值（大约在氨气介入后的12min）,随后铁颗粒的尺寸又逐渐变大,并最终达到一稳定值。     

基于压缩全息和空分复用的多彩色图像加密

针对现有光学加密方法进行彩色图像加密时加密容量低、解密图像失真度高等问题,提出一种基于压缩全息和空分复用的多彩色图像加密方法.在光学加密阶段,结合改进的Mach-Zehnder干涉仪与空分复用技术,通过不同的随机相位掩膜对多幅彩色图像进行同时加密,仅需单次曝光即可得到由多幅彩色图像加密的全息图.在解密过程中,由于记录全息图的过程可建模为压缩感知过程,使用两步迭代收缩/阈值算法即可求解.实验结果表明,提出的加密系统加密容量大,解密重建图像质量高,结合压缩感知理论,有效地消除了同轴全息中平方场项对解密重建性能的影响,解密图像平均峰值信噪比仅下降约2～5dB;密钥安全性高,随机相位掩膜与传播距离均起到密钥的作用,在随机相位掩膜错误或传播距离仅偏移0.25%时,便无法解密出原始彩色图像;且对噪声与遮挡性攻击具有良好的鲁棒性,解密重建性能随噪声增大下降趋势缓慢,加密全息图80%信息受到遮挡性攻击时,仍可取得良好的解密重建结果.     

通过超宽139La固体核磁共振波谱研究层状La(OH)2NO3

层状稀土氢氧化物是一类新型的稀土功能材料,本文采用固体核磁共振（SSNMR）方法研究了同时具备离子交换能力和非线性光学特性的层状La（OH）₂NO₃化合物,探讨了通过四极核CPMG（QCPMG）脉冲序列和变频谱图采集获取超宽¹³⁹La SSNMR谱图的方法,并描述了适用于此类实验的滤波方程和谱图重建方法.重建谱图同时包含四极核中心跃迁和卫星跃迁信息,本文使用QUEST软件对超宽¹³⁹La NMR谱图进行了模拟,获取的四极耦合常数C_Q和非对称因子η_Q均与CASTEP密度泛函理论计算值高度吻合.SSNMR实验结果证实层状La（OH）₂NO₃化合物属于非中心对称结构（P2₁）,解决了对其结构长期以来存在的争论.     

开式单喷嘴喷雾冷却均匀性实验研究

针对高热流密度激光介质高效散热与均匀冷却技术需求,设计并搭建了以去离子水为冷却工质的开式单喷嘴喷雾冷却实验平台,实验研究获得了不同热流密度（16～110 W/cm²）、不同冷却工质流量（200～300 mL/min）以及不同喷雾高度（15～25 mm）下单相喷雾冷却换热系数及其冷却均匀性效果。结果表明：该实验工况下,不同热流密度条件下喷雾高度及工质流量对于单相喷雾冷却换热效率及温度均匀性影响显著;喷雾高度15 mm、工质流量200 mL/min时获得最大对流换热系数为5.93 W/（cm²·K）;喷雾高度15 mm、工质流量250 mL/min时面积20 mm×20 mm的热源表面温度均匀性最佳可优于0.6 ℃。     

Z箍缩聚变及高能量密度应用研究进展

基于脉冲功率技术的Z箍缩过程可以实现驱动器电储能到X光辐射的高效率转换,形成极端温度、密度、压力条件,近年来在惯性约束聚变及高能量密度应用中取得了一系列重要进展。综述了国际上辐射间接驱动和磁直接驱动两条Z箍缩聚变技术路线发展现状,简要介绍了我国Z箍缩聚变尤其是7~8 MA脉冲功率装置上的动态黑腔研究进展;分别从辐射与物质相互作用、辐射不透明度、材料动态特性、实验室天体物理等方面,概述了Z箍缩应用于高能量密度物理研究的技术路线和主要成果。希望通过对Z箍缩聚变及高能量密度应用研究的论述和发展趋势分析,推动我国Z箍缩研究领域的进一步发展。     

改变激发环境调控Ho3+离子的上转换发光特性

稀土掺杂上转换发光材料的发光特性不仅依赖于基质材料本身,而且与其激发条件密切相关.本文主要是以Ho^3+离子为研究对象,在NaYF4和LiYF4这两种不同的基质中,研究其在不同激发条件下的上转换发光特性.通过共聚焦显微光谱测试系统,对比Ho^3+离子在NaYF4和LiYF4微米晶体中的发光特性.实验结果发现:Ho^3+离子在这两种不同基质中均展现出较强的荧光发射.然而,当激发功率增加时,在单颗粒个LiYF4微米晶体中,当激发功率增加时,Ho^3+离子则发射出较强绿光及微弱的红光,红绿比变化并不明显,其蓝光发射强度也相对较弱.当激发这两种微米粉末晶体时,结果发现:Ho^3+离子均发射较强的绿光发射并伴有微弱红光发射,两种晶体中的发射特性极其相似.由此可见,在常规测试条件下,一些特殊发光现象是很难被观测到的.同时,通过对其光谱特性的分析,对Ho^3+离子的发光机理进行了研究.