单频光纤激光器

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

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

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

FPD气相色谱法测定液晶材料中微量有机膦杂质

建立了一种液晶材料中微量有机膦杂质的FPD气相色谱分析测试方法,可以同时测试液晶材料中微量三苯基氧膦和三苯基膦杂质。方法重现性好,结果相对标准偏差(RSD,n=5)分别为4.4%和5.6%,有机膦杂质的添加回收率为80%~110%。实验对于液晶材料工业化过程中膦成分的分析方法建立具有较好的指导意义。     

PET/PTT共混体系的相容特性及力学性能研究

通过熔融共混法制备了聚对苯二甲酸乙二醇酯(PET)与聚对苯二甲酸醇酯(PTT)的共混物,采用差示扫描量热仪、动态热机械分析仪、万能电子试验机等对共混体系的热性能、动态力学性能及拉伸性能进行了测试。测得PET/PTT共混体系只有1个玻璃化转变温度(Tg)和损耗峰,表明在非晶区完全相容,其中纯PET的Tg为84℃,纯PTT的Tg低于50℃; 而双重熔融峰及热结晶峰宽化现象的出现表明,共混体系在晶区是部分相容,各组分倾向于分别进行有序化排列、单独结晶,其中纯PET的熔点为256℃,纯PTT的熔点为229 ℃;共混体系的拉伸模量和拉伸强度随PTT含量的增加呈上升趋势;但当共混比例接近时体系的拉伸模量和拉伸强度有所下降,共混比为5/5时的拉伸模量和拉伸强度分别低达1098MPa和51MPa。     

基于低能耗的无线传感器网络安全LEACH协议

针对无线传感器网络分层型路由协议面临的安全威胁和能量有限的问题,提出一种能量优化的安全LEACH协议(SC-LEACH).该协议通过簇头选举、建立分簇、TDMA时隙分配、信息交互四个阶段的执行,准确设定阈值,解决了最佳簇头数精确选取的问题,同时采用预置共享密钥对方式抵御各种恶意攻击.通过与采用对称密钥加密方式的LEACH协议对比,仿真验证了SC-LEACH算法的有效性,表明该协议在能量优化的同时提高了网络安全性     

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

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

AV-射频转换器引起的特殊故障

接用户报修说本地台（金坛台Z23）常州新闻台／常州都市台（Z24）有时收不到,其他台能正常收看。到用户家中观看电视节目,发现金坛台基本能收看,有时有马赛克,常州新闻台／常州都市台不能看,     

拟态路由器BGP代理的设计实现与形式化验证

为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性,设计实现了边界网关协议（BGP）代理,并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文,模拟邻居路由器与从执行体展开BGP会话,实现各执行体的BGP状态一致。采用VeriFast定理证明器,编写基于分离逻辑的形式化规约,证明程序不会出现空指针引用等内存安全问题,并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1,程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100 000条BGP路由所花费的时间为0.16 s,约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。     

通用弹药集装方法研究

阐述了弹药包装的作用，对可能用于弹药包装上的常见集装方法进行了具体的技术分析，提出了实用性的通用弹药集装方法。     

钟形箱涵式进水流道泵装置特性模型试验研究

对钟形箱涵流道过流特性及流态进行了试验分析,结合浦东薛家泓泵站模型试验,对钟形箱涵流道立式潜水轴流泵站模型泵装置的能量、气蚀、飞逸特性进行了全面试验研究,得出泵装置综合性能曲线及飞逸特性曲线,同时用示踪线法对进水流道内的流态进行了观察研究,试验分析了不同导流方案对模型泵装置能量特性的影响,提出了改善流态的有效措施,对优化设计高效潜水轴流泵装置提出了几点建议。研究成果不仅对薛家泓泵站设计和施工提供了必要依据,对提高泵站运行维护水平,保证同类泵站安全可靠运行起着重要的指导作用。