基于超导原理的超导纳米线单光子探测器(superconducting nanowire single photon detector,SNSPD)以其在高量子效率、高计数率、低暗计数和低时间抖动等方面的优势引起广泛的研究。综述了SNSPD的物理模型和研究进展。首先从第一次在实...基于超导原理的超导纳米线单光子探测器(superconducting nanowire single photon detector,SNSPD)以其在高量子效率、高计数率、低暗计数和低时间抖动等方面的优势引起广泛的研究。综述了SNSPD的物理模型和研究进展。首先从第一次在实验上发现超导铅薄膜的电热效应出发讲述了SNSPD的起源。然后从SNSPD进行单光子探测的物理过程出发详细分析了SNSPD的单光子探测机制,并分别根据电热模型和唯象模型对探测机制进行了详细的物理解释。紧接着,详细阐述了量子效率分析模型,指出SNSPD的系统量子效率由本征量子效率、耦合效率和光吸收效率三部分组成。最后,从如何提高入射光子与SNSPD的耦合效率、如何提高光子吸收效率、如何提高SNSPD本征量子效率、研究基于新型材料的SNSPD、如何实现光子数分辨和对光子偏振态不敏感的SNSPD、以及研究SNSPD的噪声机制以减小暗计数和时间抖动等方面详细列举了目前各小组研究SNSPD所取得的最新进展。展开更多
DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为...DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。展开更多
为各类飞行器提供互联网接入的主要技术方案可以分为卫星通信和地空宽带2种。当飞行器处于两者的重叠覆盖区域,采用多路径进行数据通信将有可能极大改善传输性能。针对上述飞行器多接入场景,该文提出了一种多路径传输优化方案DMPTCP(dyn...为各类飞行器提供互联网接入的主要技术方案可以分为卫星通信和地空宽带2种。当飞行器处于两者的重叠覆盖区域,采用多路径进行数据通信将有可能极大改善传输性能。针对上述飞行器多接入场景,该文提出了一种多路径传输优化方案DMPTCP(dynamic multipath transmission control protocol)。针对链路通断情况发现缓慢、数据分配效率低的问题,结合飞行轨迹可预测的特点,设计了一种基于链路通断状态预测的数据分配算法;并针对链路时延和丢包率差异大所导致的接收方乱序情况严重的问题,通过接收方同时在多条子流回复连接层否定确认信息,使得发送方能够快速获得接收方总体乱序情况并对丢包进行重传。仿真实验表明:DMPTCP在聚合带宽和接收方总体乱序情况两方面均明显优于现有多路径传输机制。展开更多
文摘网络流分类与协议识别是网络管理的前提和必要条件,但是越来越多加密协议的出现,使得传统的流分类方法失效。针对加密协议的协议识别问题,提出了一种融合自动化逆向分析技术和网络消息聚类分析技术的新型分类方法(automatic reverse and message analysis,ARCA)。该方法通过自动化逆向分析技术获得网络协议的结构特征;再利用网络消息聚类分析技术,获得网络协议的交互过程;最后将网络协议的结构特征与交互过程用于加密协议流量的识别和分类检测。该方法不依赖于网络包的内容检测,能够解决协议加密带来的识别问题。通过对多个加密协议(如迅雷、BT、QQ和GTalk等)真实流量的实验,其准确率和召回率分别高于96.9%和93.1%,而且只需要检测流量中0.9%的字节内容即可。因此,ARCA方法能够对各类加密协议流量进行有效和快速的识别。
文摘基于超导原理的超导纳米线单光子探测器(superconducting nanowire single photon detector,SNSPD)以其在高量子效率、高计数率、低暗计数和低时间抖动等方面的优势引起广泛的研究。综述了SNSPD的物理模型和研究进展。首先从第一次在实验上发现超导铅薄膜的电热效应出发讲述了SNSPD的起源。然后从SNSPD进行单光子探测的物理过程出发详细分析了SNSPD的单光子探测机制,并分别根据电热模型和唯象模型对探测机制进行了详细的物理解释。紧接着,详细阐述了量子效率分析模型,指出SNSPD的系统量子效率由本征量子效率、耦合效率和光吸收效率三部分组成。最后,从如何提高入射光子与SNSPD的耦合效率、如何提高光子吸收效率、如何提高SNSPD本征量子效率、研究基于新型材料的SNSPD、如何实现光子数分辨和对光子偏振态不敏感的SNSPD、以及研究SNSPD的噪声机制以减小暗计数和时间抖动等方面详细列举了目前各小组研究SNSPD所取得的最新进展。
文摘DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。
文摘为各类飞行器提供互联网接入的主要技术方案可以分为卫星通信和地空宽带2种。当飞行器处于两者的重叠覆盖区域,采用多路径进行数据通信将有可能极大改善传输性能。针对上述飞行器多接入场景,该文提出了一种多路径传输优化方案DMPTCP(dynamic multipath transmission control protocol)。针对链路通断情况发现缓慢、数据分配效率低的问题,结合飞行轨迹可预测的特点,设计了一种基于链路通断状态预测的数据分配算法;并针对链路时延和丢包率差异大所导致的接收方乱序情况严重的问题,通过接收方同时在多条子流回复连接层否定确认信息,使得发送方能够快速获得接收方总体乱序情况并对丢包进行重传。仿真实验表明:DMPTCP在聚合带宽和接收方总体乱序情况两方面均明显优于现有多路径传输机制。
