The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking

The most crucial issue of quantum cryptography protocols is its security. There exists many ways to attack the quantum communication process. In this paper, we present a model checking method for modeling the eavesdropping in quantum information protocols. So when the security properties of a certain protocol are needed to be verified, we can directly use the models which are already built. Here we adopt the probabilistic model checking tool—PRISM to model these attack methods. The verification results show that the detection rate of eavesdropping is approximately close to 1 when enough photons are transmitted.     

碳纳米管包裹的硅纳米线复合结构的热稳定性研究

采用经典分子动力学方法模拟一定直径[111]晶向的硅纳米线填充不同扶手椅型单壁碳纳米管复合结构的加热过程, 通过可视化和能量分析的方法判断复合结构中硅纳米线和碳纳米管的热稳定性. 通过讨论碳纳米管的空间限制作用和分子间相互作用力的关系, 对碳纳米管和硅纳米线的热稳定性变化进行初步解释. 研究发现碳纳米管中硅纳米线的热稳定性和碳纳米管的直径关系密切: 当管径较小时, 硅纳米线的热稳定性有所提高, 当管径增大到一定大小时, 硅纳米线的热稳定性会突然显著地下降, 直到硅纳米线与管壁不存在分子间相互作用力, 硅纳米线的热稳定性才会恢复. 而硅纳米线填充到碳纳米管中对碳纳米管的热稳定性有着明显的降低作用.     

J-TEXT װ�õ�������ƽ���ؽ��뼯������

利用Matlab语言将EFIT程序反演计算过程进行优化整合,简化了程序操作步骤,并增加了对计算结果的分析与存储功能。利用整合后的 EFIT 程序,计算分析了 J-TXET 装置放电过程中等离子体磁场位形和其它参数的演变,绘制了等离子体压强剖面图、等离子体电流密度和安全因子分布等磁面信息的重建结果。此外,还将反演结果与软X射线测算数据进行比对。结果表明,改善后的EFIT程序能够初步满足对实验放电的反演计算分析要求,为J-TXET装置的放电控制和运行提供重要的参考数据。     

基于双核模型对超重元素合成机制的研究

在双核模型基础上，考虑了熔合与准裂变的竞争，通过数值法求解主方程，计算了⁵⁰Ti，⁵⁸Fe+²⁰⁸Pb，²⁰⁹Bi这4个反应系统通过冷熔合反应合成超重元素的激发函数，得到了与实验比较符合的结果.计算了不同入射能量时各角动量分波对熔合概率和超重核存活概率的影响以及对蒸发剩余截面的贡献.这些结果对进一步理解超重核的合成机制有重要意义. 关键词： 超重元素 双核模型 熔合反应 蒸发剩余截面     

非视线紫外通信大气传输特性的蒙特卡罗模拟

基于蒙特卡罗方法建立了紫外光非视线传输多次散射模型,利用单次散射近似法和实验方法验证了模型的有效性,并利用该模型完成了非视线紫外光通信大气传输特性的模拟.模拟时光波长取紫外光通信的最佳工作波段(250 nm附近),分析了不同传输距离下能见度、风、雨、雾等参量对系统能量透射比的影响.结果指出,系统能量透射比随传输距离增大而剧烈减小,在天气较差传输条件下能量衰减得更快;风力大小的变化对通信系统影响不大.较近距离通信传输时(一两百米),通信系统受天气条件的影响较小.     

Laser-induced damage of high reflectors for Ti:sapphire laser system

A broadband (～ 176 nm, R ＞ 98%, λ0 = 800 nm) and high laser-induced damage threshold (LIDT =2.4 J/cm2) TiO2/HfO2/SiO2 high reflector (HR) for Ti:sapphire chirped-pulse amplification (CPA) laser system is fabricated by the electron beam evaporation. The refractive index and extinction coefficient of TiO2 and HfO2 films are calculated from single-layer films' transmittance spectra. The properties of HR are mainly determined by the high refractive index material. The high refractive index leads to wide bandwidth. A low extinction coefficient indicates low absorption and high LIDT. The possible damage mechanism of HR is discussed.     

圆窗片表面次级电子倍增效应的数值模拟

基于Monte Carlo模拟算法, 建立了粒子输运模型, 通过对盒形窗内圆窗片表面次级电子倍增现象进行数值仿真, 获得了TE₁₁模非均匀分布电场作用下次级电子倍增的规律. 结果表明: 在微波输入端, 指向窗片表面的磁场力起到了维持次级电子与窗片碰撞的作用, 在电场强度较高的区域倍增剧烈, 有质动力对倍增无贡献; 在微波输出端, 受背离窗片表面磁场力的影响, 在表面静电场较弱的情况下, 次级电子倍增不能发生; 当表面静电场足以维持单面倍增的发生, 随着传输功率的增大, 电子渡越时间增长, 有质动力使得倍增强烈的区域由强电场区逐渐转移到弱电场区域. 对利用外静电场抑制微波输入端次级电子倍增效应的方法进行了数值模拟验证. 关键词： 圆窗片 11模')" href="#">TE₁₁模 次级电子倍增 MonteCarlo模拟     

利用混沌信号幅值实现混沌同步

构造了一个三维混沌系统, 简要分析了该混沌系统的平衡点性质、混沌吸引子相图和Lyapunov指数等特性. 在此基础上, 利用反馈同步思想设计了一种利用混沌信号部分信息实现混沌同步的方法, 完成了三维混沌系统的同步. 该方法仅利用混沌信号幅值信息即可实现两个混沌系统的同步, 其同步建立与混沌信号的极性无关, 此特性可有效提高混沌通信质量. 通过分析系统的条件Lyapunov指数证实该方法的有效性, 数值仿真表明该方法与利用混沌信号全部信息的线性反馈同步法相比, 同步建立时间基本相同.     

Modeling red coral (Corallium rubrum) and African snail (Helixia aspersa) shell pigments: Raman spectroscopy versus DFT studies

Pigments from red coral (Corallium rubrum) and African snail (Helixia aspersa) shell were studied non‐invasively using Raman spectroscopy with 1064‐nm laser beam. The two observed bands because of organic pigments confined in biomineralized CaCO₃ matrix at about 1500 and 1100 cm⁻¹ were assigned to ν(CC) and ν(C―C), respectively. Both signals originate from polyene(s) of largely unknown structure, containing several conjugated CC bonds. The small peak at 1016 cm⁻¹ in the Raman spectrum of coral pigment was assigned to in‐plane ―CH₃ rocking or structural deformation of polyene chain because of spatial confinement in the mineral matrix. The organic pigments in red coral and snail shell were present in inorganic matrix containing aragonite (shell) and calcite (coral). In addition, using Raman spectroscopy, it was observed that aragonite was replaced by calcite as result of healing damaged parts of snail shell. This is an important finding which indicates a great potential of nondestructive Raman spectroscopy instead of X‐ray technique, as a diagnostic tool in environmental studies. To support analysis of the observed Raman spectra detailed calculations using density functional theory (DFT with B3LYP and BLYP density functionals) on structure and vibrations of model all‐trans polyenes were undertaken. DFT calculated CC and C―C stretching frequencies for all‐trans polyenes containing from 2 to 14 CC units were compared with the observed ν(CC) and ν(C―C) band positions of the studied coral and shell. Individual correction factors were used to better match theoretical wavenumbers with observed band positions in red coral and African snail. It was concluded that all‐trans polyene pigments of red coral and dark parts of African snail shell contain 11–12 and 14 CC double bond units, respectively. However, Raman spectroscopy cannot produce any clear information on the presence and nature of the end‐chain substituents in the studied pigments. Copyright © 2016 John Wiley & Sons, Ltd.