基于网络断层扫描的传感器网络链路丢包研究

文中提出了一种基于网络断层扫描的无线传感器网络链路丢包率测量方法,通过边界节点的丢包率来估计传感器内部链路丢包的情况。根据无线传感器网络数据聚合的特点,提出了网络逻辑拓扑和链路报文丢包模型,在将链路报文丢失率推测问题形式化为MLE问题的基础上,用引入修正因子的μ的EM算法来推测链路报文丢失率。NS2仿真结果证明,μ-EM算法推测的链路报文丢失率与预设值更加接近,特别是在大规模网络中μ-EM算法在精确度和有效性方面均明显优于EM算法。     

一类具有“开端”结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法.     

洗瓶机污碱液回收过滤装置的创新设计

通过对不锈钢梯形绕丝筛管为滤芯的过滤装置的研究,有效地去除了洗瓶机污碱液回收过滤装置中的大部分(90％)废碱液中固体杂质和胶体物质,用凝沉淀、气液反冲等方法提升了碱液循环次数,有效地减少了碱液排放,有利于保护我们赖以生存的环境.     

对焊弯头常用成形方法的分析比较

对焊弯头广泛用于石油、化工、纺织及电工等现代工业的管线中。其成形方法主要包括挤压、衍用冲压、推制和热成形。其中，挤压、衍用冲压和推制均在常温下成形，是目前管道配件厂常用的方法，但各有各的特点。     

基于网络断层扫描的拓扑推断

网络断层扫描是一种全新的网络测量技术,该技术结合了网络测量和统计推断,可以解决网络测量的部分难题。网络拓扑推断是网络断层扫描的重要应用之一,基于网络断层扫描的拓扑推断通过端到端的测量,即可推断网络内部的拓扑结构,而不需要网络内部节点的合作。本文系统总结了网络断层扫描在网络拓扑推断中的测量方法和推断算法,对比了当前的测量...     

基于串空间的Athena分析技术研究

基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了Athena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。     

新型支撑系统在叠合板施工中的应用

提出一种新型支撑系统应用于层高较高的楼层叠合板施工中,并设计了4块不同的带该支撑系统的叠合板进行试验。试验表明:设计的带该支撑系统的预制板均满足规范施工阶段的板挠度要求;双支撑对减小施工阶段预制板跨中挠度的效果远优于单支撑,且支撑间距越小挠度越小。结合有限元分析对该支撑系统下板的竖向位移和影响预制板挠度的各因素进行分析。     

能源储备:解决城市发展瓶颈的一项对策

文章主要讨论大城市建立能源储备的重要性和必要性,西方国家的现状和发展趋势,能源储备的投融资方法,以及克服城市发展中能源瓶颈的各种对策.     

鼠李糖乳杆菌(ATTC53103)产细菌素的研究

对鼠李糖乳杆菌(ATTC53103)无细胞发酵上清液进行了系统的研究,通过中和以及酶解的方法,排除了其中的有机酸以及过氧化氢的干扰,证明了鼠李糖乳杆菌(ATTC53103)无细胞发酵上清液可以产生细菌素,并研究了该无细胞发酵上清液中细菌素的部分特性.该细菌素抑菌广谱,可抑制多种革兰氏阳性菌和革兰氏阴性菌,对热(121℃,30min)和pH值(pH2.010.0)稳定,可被多种蛋白酶如胃蛋白酶、胰蛋白酶、木瓜蛋白酶、α-糜蛋白酶和蛋白酶K失活,不能被过氧化氢酶失活.     

多期基金业绩持续性评价新模型及实证研究

构建了基于回归分析的多期基金业绩持续性评价新模型,用于评价单只基金的业绩持续性,利用该模型对中国证券投资基金业绩持续性进行了实证研究.结果表明:基金的业绩不存在持续性;在短期内,基金业绩往往具有反转性;不同的基金超额业绩的计算方法对评价结果的影响很大.