基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

钢丝绳动参数的新检测方法研究

本文研究了一种新的非接触式的钢丝绳运动速度，运行距离及所受张力的检测方法；分析了检测系统各组成部分的工作原理和检测信号的处理过程。提出了在实测过程中应注意的问题和应进一步开展的研究工作     

线材质量对PC钢丝钢绞线力学性能的影响

通过对四种不同线材在同一生产线、相同工艺参数条件下生产的钢丝钢绞线力学性能的实验研究,分析线材的原始性能、显微组织与制品的强度和塑性之间的关系,结果表明在此条件下线材的质量是影响制品的力学性能的关键因素。     

安全协议抗DoS攻击的形式化分析研究

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储资源消耗.针对以上不足,本文对基本的串空间模型进行扩展,引入消息相关度集合和代价函数,提出了一种分析安全协议抗DoS性的新方法,并利用该方法,对JFK协议的抗DoS性进行了详细分析.     

悬臂浇筑大跨度梁桥钢绞线长束的张拉质量控制

预应力技术是现代桥梁建设中确保预应力施工质量的重要手段,是大跨度混凝土梁桥施工质量和工期的关键。总结了大跨度混凝土梁桥的钢绞线长束张拉施工中容易出现的问题,提出了处理措施,探讨了提高张拉质量的控制措施。     

基于Diff-Hellman的改进Yang-Shieh智能卡认证协议

提出了基于Diff-Hellman的改进Yang-Shieh智能卡认证协议(DHYS),并采用串空间理论形式化证明了DHYS的安全性.DHYS在增强Yang-Shieh认证协议安全性的同时,无任何附加限制,保留了原Yang-Shieh协议的全部优点.     

三丁基锡对褐菖鲉肝脏DNA损伤的研究

利用碱解旋法研究了三丁基锡(TBT)暴露对鱼肝脏DNA造成的单链断裂损伤.结果表明:0.5、1、5和10mg/kg(Bm)TBT腹腔注射7d后,褐菖鲉(Sebastiscus marmoratus)肝脏DNA的损伤程度存在剂量依赖关系,随着注射剂量的增加而增加.环境相关浓度(1、10、100ng/L含Sn量)的TBT通过水体对褐菖鲉进行暴露,肝脏DNA的损伤程度,总体上随着暴露时间的延长和暴露浓度的增大而增加.本研究为鱼类肝脏DNA损伤作为生物标志物来指示水体TBT污染的有效性提供了依据.     

CS_2在Ag-S键中的插入反应(Ⅲ)——[PyAg(SC_6H_2Bu_3~t-2,4,6)]_n及其CS_2插入产物[(PPh_3)_2Ag(S_2CSC_6H_2Bu_3~t-2,4,6)]·CHCl_3的合成和晶体结构

2,4,6-三特丁基硫酚银化合物在吡啶中重结晶,获得一维双链带状高聚物[PyAg(SC_6H_2Bu_3~t-2,4,6)]~n(晶体Ⅰ)。该硫酚银化合物在三苯基膦存在下与CS_2反应,得到单核银的CS_2插入产物[(PPh_3)_2Ag(S_2CSC_6H_2Bu_3~t-2,4,6)]·CHCl_3(晶体Ⅱ)。用X射线单晶衍射法测定了它们的晶体结构。     

双纱纺成纱区几何状态和单纱捻度的试验研究

在双纱纺纱中,交汇区中的单纱捻度和交汇角对成纱的性能有很大影响,我们将相隔一定距离的两股黑白复丝从前罗拉后方喂入加捻卷绕机构来模拟双纱纺纱过程,并利用高速照相对纺纱过程中的纱线进行动态摄影,分析了一些主要纺纱工艺参数对纺纱过程和纺捻线性能的影响。