适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

校园冬季室外热环境研究

对桂林电子科技大学冬季室外不同下垫面区域的环境变量进行测试,并开展问卷调查研究。以平均辐射温度、标准有效温度(SET~*)为评价指标,研究湖边校道、校道、科技楼广场、草地等4种下垫面特征区域的热环境变化情况,研究结果表明:树木、草地、水体能有效降低平均辐射温度,其中树木降温效果最优,水体增湿效果最优,草地在一定程度上能降温增湿,但效果次于树木水体。     

高强不锈钢绞线网与ECC黏结-滑移关系模型

高强不锈钢绞线网与ECC的黏结是二者协同工作的基础，且黏结 滑移关系模型是其黏结性能的综合反映，故通过对17组51个高强不锈钢绞网增强ECC薄板试件进行单边拉拔试验，研究横向钢绞线间距、纵向钢绞线直径和相对锚固长度等因素对钢绞线网在ECC中黏结性能的影响规律。试验结果表明，横向钢绞线的设置可使黏结破坏由脆性破坏转变为延性破坏；高强不锈钢绞线网与ECC的黏结滑移曲线可分为5个阶段，分别为上升段、微降段、延性强化段、下降段和残余段。基于试验结果，对钢绞线网在ECC中的黏结破坏特征和黏结 滑移机理进行分析，在相关黏结-滑移关系模型的基础上，提出钢绞线网与ECC的黏结 滑移关系模型，并进行模型参数分析。所提模型及模型参数计算公式与试验结果吻合良好，能较好地反映钢绞线网与ECC的界面黏结滑移特征。     

煤矿采区供电系统故障诊断技术研究

以煤矿供电系统故障诊断技术为研究内容,将保护配置和变迁相匹配,改进了Petri网模型,实现了工作面各设备实时、高效、稳定的故障诊断目标,为矿井实现采区供电系统诊断提供了重要参考。