基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.     

基于C-V2X的车路协同自动驾驶关键技术与应用

随着车联网技术的演进,自动驾驶在单车智能的基础上,又有了新的发展形态——车路协同自动驾驶。通过“人-车-路-云”深度融合形成的一体化复杂信息物理系统（cyber physical system,CPS）,可以与自动驾驶车辆实现协同感知、协同决策规划甚至协同控制,提升自动驾驶安全性,帮助克服各类复杂交通环境。首先介绍了车路协同的复杂信息物理系统的概念内涵和总体架构,并提出了车路协同自动驾驶的一系列典型应用场景、技术原理、C-V2X(cellular vehicle-to-everything)性能要求、车路协同系统功能与性能要求,可以为下一阶段智能网联汽车与智能交通的深度融合发展提供参考和解决思路。     

基于Zemax仿真的红外光场成像技术

光场成像作为计算摄影学的研究方向之一,可以通过单次拍摄得到目标的四维全光信息,包括空间两维以及角度两维信息,由此可以通过多视角立体匹配原理实现三维成像。目前光场成像集中应用于可见光领域,用于其他光学成像波段的情况较为少见。本文提出基于Zemax仿真的红外光场成像技术,将光场成像系统与长波红外成像系统相结合,从光场成像原理以及长波红外成像特性出发,对长波红外光场成像系统结构设计进行了深入研究,同时为了提升三维成像的效果,分析了红外光场成像系统光学参数对深度分辨率的影响,得出深度分辨率主要由微透镜成像关系、微透镜工作F数、主透镜焦距、物距以及探测器像素尺寸确定。针对长波红外探测器像素数较少的情况选择了聚焦型光场成像系统,根据设计结果,使用Zemax仿真验证了长波红外系统与光场成像系统相结合的可行性以及理论设计的正确性。     

融合词语多特征的汉老短文本相似度计算

词语作为文本构成中最具有语义表达的单位,将词语更多的特征如形态学、词性、词性权重等融入到词语语义的表达中,将提升文本相似度量的准确性.该文提出一种融合词语多特征的汉老短文本相似度计算方法,首先利用双向长短期记忆网络(BiLSTM)和卷积神经网络(CNN)分别提取汉老词语的形态学特征,将词向量拼接上形态学特征向量、词性向量、词性权重向量,然后利用BiLSTM和CNN提取汉老短文本的上下文特征和局部语义特征,接着加入ESIM交互注意力机制使汉老语义信息进行交互.最后计算汉老特征语义向量的相对差和相对积,将其结果拼接并输入到全连接层得到汉老双语短文本的相似度分数.实验结果表明,本文提出的方法在有限的语料下取得了更好的效果,F1值达到了78.67%.     

硫系集成光频梳（特邀）

硫系玻璃集成光学微腔（硫系微腔）具有高线性折射率和高非线性系数、超宽透光窗口、较低的热光系数,并且可通过常规半导体微纳加工技术实现精确的色散调控,在非线性集成光子学领域备受关注。近年来,来自中山大学的研究者们开发了新型Ge₂₅Sb₁₀S₆₅硫系材料平台并实现了一系列具有高品质的硫系集成光子器件。主要综述了基于硫系微腔实现集成孤子光频梳产生和调控方面的工作。通过不断优化集成光子器件的加工工艺,实现了具有高品质因子（Q>106）的集成微环谐振腔,进一步通过精确的色散调控分别在该硫系集成微腔内实现了低泵浦功率的锁模光孤子频梳和宽带可调谐的拉曼-克尔光频梳。     

基于CAN总线电子系统在车辆底盘控制中的应用

对于军用特种车辆底盘控制系统使用的点对点控制方式所造成的车体底盘布线复杂、布局不合理、维修更换难等一系列技术问题进行了分析研究.设计了基于CAN总线的电子综合控制系统,各测控模块进行多点控制,同时各测控模块采用基板印制电路板加功能印制电路板的组合,可随时根据现场车体被控设备的要求进行添加或精简,各测控模块通过CAN总线...     

基于JMX的网络管理系统

简单介绍了JMX规范,在此基础上,讨论了使用JMX体系结构建立网络管理程序的一般方法,最后结合JMX规范和实现方法,分析基于JMX网络管理系统的优势。     

面向下一代广播电视网的安全保障技术机制研究

在三网融合的大形势下,广播电视整个服务体系正在发生重大变革,下一代广播电视网的规划正在推进中,这些驱动着新技术体制的建立,本文立足广播电视网发展中对于安全体系的要求,介绍了面向下一代广播电视网的安全保障机制,阐述了新的安全保障系统的架构和组成,为广播电视网转型过程中的安全问题提供解决方案。     

围观妹纸的折翼天使

大姨妈就像工资,一个月总有那么一次,但通常一周就没了。大姨妈偶尔也像爱情,来一次痛一次,但痛痛就习惯了。大姨妈更多的时候像生活,你见或者不见,它都在那里。     

交直流输电系统非线性模型分析

传统的小信号分析法不能揭示电力系统的非线性相关作用,将正规形理论应用于交直流输电系统,可分析系统低频振荡模式的非线性相关作用,结果显示,当系统重载且处于直流带调制方式下时,区间振荡模式与直流调制模式间的非线性作用最强,时域仿真验证了这一结果.