基于低能耗的无线传感器网络安全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倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。     

通用弹药集装方法研究

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

出水总氮和氨氮超标应急处理研究

针对西南某污水处理厂BAF工艺出水总氮和氨氮超标难题,根据水质现状、超标原因、整改要求等实际情况,通过试验研究提出应急处理方案。研究结果表明在完善BAF滤池及前端设施后,再采用氧化剂对BAF滤池出水进行处理,控制投加量为60～90mg/L,反应时间为30min,排水能达到GB18918-2002一级B标准。     

简述《祥鹊壶》创作感悟

《祥鹊壶》以器型为壶的主体外观形态,不仅遵循传统的制作流程,还凸显了壶的气韵,将内涵主旨和风格意境进行了高度统一.再加上通身流畅的线条,整壶一气呵成,和谐统一,给人一种既灵动又喜庆的视觉感.一壶一鹊,暗含着祥瑞之气,寓意美好,趣味十足.     

蒸压加气混凝土砌块在寒冷地区的应用

几年来 ,我们承建施工的框架结构中 ,大量使用了加气混凝土砌块作为填充墙。在施工过程中 ,针对加气混凝土砌块易出现的问题 ,结合我区的气候条件 ,从加气混凝土砌筑、抹灰等方面采取了一些措施 ,有效地避免了加气混凝土裂缝及抹灰空鼓问题。1　蒸压加气混凝土砌块的特点( 1)加气混凝土本身吸水速度慢 ,吸水率大 ,吸水后膨胀 ,脱水后又收缩 ,砌体和抹灰层的粘附力减小易开裂。加气混凝土出釜时含湿率 35%左右 ,在密集堆放条件下 ,需要很长时间才能逐步达到与大气湿度平衡的含湿状态。施工时由于工期要求 ,加气混凝土的干收缩过程在砌筑完成…     

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

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