单频光纤激光器

光纤传感一般指布喇格光栅 ASE宽带光源结构的光时域反射机制，尽管这种解决方案在解调方面大多依赖国外产品，但还是得到了相对广泛的应用，尤其是在桥梁、建筑物、马路和油罐等领域，一般可以满足中低端的民用需求。窄线宽单频光纤激光器的出现为人们打开了光纤传感的另一扇门，而且其应用价值和社会意义更为重大!不同于普通光纤传感应用，该解决方案是专门针对超远距离、超高精度和超高敏感度市场应用，例如石油勘探、军事国防、管道监控、激光雷达和海底通信等，是光纤传感技术发展之最新成就。本文所介绍的光纤传感技术起源于激光雷达的FMCW原理，采用相干探测进行检测，利用光纤本身进行直接传感，完全可以构建低成本的分布式传感网络，具有巨大的经济效益和现实意义。     

水工建筑局部淤泥地基的基础处理

一、淤泥地基的自然状态及形成淤泥地基大都处于土壤含水量饱和地区,或是地下水位以下的洪积土层之中。由洪积土层所形成的土壤地质,就是通常所称的粘土或亚粘土。由于历史年代久远,它们的性状稳定、结构均匀、层理分明, 且岩土的物理性质一致(在本层之内),在实施基础工程处理时较为容易,是施工中不难解决的问题。但在因自然变迁 (往往是因水流的特殊条件造化)而形成的淤泥地基,不论历史长短,其岩土物理性质特征     

非贵金属催化5-羟甲基糠醛选择氧化的研究进展

5-羟甲基糠醛（HMF）作为一种连接生物质资源和精细化学品工业的多功能平台化合物,因含有醛基、羟甲基而具有非常活泼的化学性质。HMF催化选择氧化在生物质转化过程中具有十分重要的意义,近年来受到研究者们的广泛关注。其氧化产物如2,5-呋喃二甲醛（DFF）和2,5-呋喃二甲酸（FDCA）都是具有高附加值的精细化学品,可用于抗菌剂、医药中间体、合成聚酯等方面。非贵金属催化剂因具备低成本、资源丰富以及环境友好的优势,用于HMF选择氧化的相关报道已逐渐增多。阐述了HMF选择氧化的催化反应机理,着重从非贵金属催化剂的角度出发,对近年来HMF的不同催化氧化体系进行了总结和归纳。最后,展望了HMF选择氧化的研究前景,为构建绿色、高效的催化体系提供思路和参考。     

饲料添加剂维生素B12含量测定

采用高效液相色谱法建立了饲料添加剂维生素B12 粉剂中维生素B12 含量的测定方法。选用Shim - packCLC -ODS柱 ,5μm,4.6mm×150mm(岛津公司) ;流动相甲醇∶磷酸氢二钠(10g/L)=53∶147 ,调节 pH值为3.5;检测波长:361nm ;流速:1mL/min ;柱温 :室温。定量限为5.8mg,回收率为100.8%(n=5) ,RDS=0.6 %。本法简便、灵敏、实用和准确 ,用于饲料添加剂维生素B12 粉剂的质量控制     

数组与指针的关系解析与实现

指针为C++语言最显著的特征之一,也是C++中最灵活、最强大、最难掌握的部分,笔者结合C++教学过程中指针的相关难点,尤其是指针与数组的关系作了较为详细的解析,以期给C++中指针部分的教学研究带来启迪。     

儒家文化视角下传统武德之辩证分析

本文运用文献资料法和历史逻辑法探寻传统武德的思想渊源、传统武德对儒家伦理思想的汲取及表现,并对传统武德进行了辩证分析。主要结论:传统武德通过对中华传统儒家伦理文化汲取,逐渐形成以儒家伦理思想为内核的文化体系;传统武德的文化内涵对整个民族的稳定、进步和团结起到不可估量的作用和影响;对待传统武德,既不能全盘否定,也不能全盘吸收,而应该取其精华,有所创新,有所发展,同时有必要构建出符合新时代的当代武德体系。     

智能手机安全存储系统Mobile-Crypt的研究与实现

随着智能手机不断深入人们的生活,其安全存储方面的问题日益严重。本文在分析了国内外安全存储研究现状的基础上,给出了一种用于开放环境下的智能手机安全存储系统Mobile-Crypt的系统设计,并着重介绍了SD智能卡和文件加密系统的设计与实现。     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

轻量级(2+1)D卷积结构的动态手势识别研究

目前,基于卷积神经网络的动态手势识别方法取得了巨大的进展,但神经网络模型具有很大的参数量,计算成本和内存占用较大,很难应用在设备资源有限的场合.以减少计算量和参数量为出发点,提出了一种轻量级(2+1)D卷积结构.该结构在(2+1)D卷积结构的基础上,将其中的3D卷积替换为3D深度可分离卷积,在输出向量维度不变的前提下,进一步减少了(2+1)D卷积结构的计算量和参数量.为了弥补时空特征在表征动态手势上的不足,融合注意力机制模块,专注于对运动特征的提取,结合轻量级(2+1)D卷积结构提取的时空特征,可以更好地表征手势动作.实验结果表明,注意力机制模块的插入,在不增加太多额外计算和空间成本的前提下,进一步提高了模型的识别精度.基于以上结构构建的模型,在20BN-jester、EgoGesture和IsoGD数据集上分别取得了96.62%、91.83%和60.1%的识别精度,模型参数量和浮点计算量分别为5.05M和12.81GFLOPs,相比于其他手势识别模型,计算成本和内存占用大大减少,实时手势识别速度达到每秒70帧.