安全协议的形式化验证技术与方法

本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类.并对安全协议形式化验证若干热点研究方向进行了归纳和展望.     

电力需求响应的经济效益分析

电力需求响应是运用系统可靠性程序或基于市场的价格去影响需求的时间和水平。运用微观经济学原理,提出了测算电力需求响应短期经济效益的方法,说明了租金转移与成本减少之间以及增加的净效益与短期的电费节约之间的不同;提出了运用风险价值评估法测算电力需求响应中长期经济效益的新思路和方法。     

一种量程自动切换数字电压表的设计

利用单片机AT89C51、A/D转换模块和LED数码显示器,实现了一种具有量程自动切换功能的直流数字电压表,该电压表具有测量精确度高,性能稳定,扩展功能强及显示清晰度高等特点。     

基于相电压电流突变量的配电网单相接地故障频域定位方法

为了克服配电网单相接地故障时域定位方法需要设计专门的滤波器以及解决零序电压电流较难获取的问题,提出了一种基于相电压电流突变量的频域定位算法。首先给出了配电网单相接地故障的突变量网络并分析了相电压电流突变量特征。在此基础上构建了频域模型方程并提出了对地电容的辨识方法,对于健全线路和故障线路故障点后各相以及故障点前健全相的对地电容值为正,故障点前故障相的对地电容值为负,据此可以实现单相接地故障的区段定位以及故障相识别。最后提出了定位终端的启动方法和实用化判据,将算法写入某终端并基于RTDS进行了测试,结果证明所提方法的有效性。     

码相关参考波形技术在卫星导航信号中的多径抑制性能研究

由于多径信号的弱相关性，无法通过差分技术加以消除，多径误差已经成为当前测距、定位中的主要误差源。通过理论分析和仿真验证表明：码相关参考波形技术(CCRW)具有比窄相关、双 delta 算法更为优异的多径抑制性能。以北斗 B1I 信号为例在工程样机进行实验验证，结果表明 CCRW 可以抑制除零码片附近的所有多径信号。通过选取不同的参考波形，可以简化接收机通道逻辑设计，达到节约硬件逻辑资源、降低接收机功耗的目的，具有良好的应用前景。     

尿囊素与化妆品

本文概述了尿囊素的性质，路线及其衍生物在化妆品中的应用。     

水平定向钻机的旋转调压控制系统

<正>1.改进原因水平定向钻机是一种在不开挖地表的条件下,铺设各种地下管道和电缆的施工机械。大型水平定向钻机旋转液压系统最大压力的设定,是通过溢流阀溢流压力来实现的,水平定向钻机旋转液压系统液控溢流阀一旦选定后,其最大溢流压力即为定值,该旋转系统的最大保护压力也为定值。大型定向钻机旋转系统的最大溢流(保护)压力是按照标配(较粗)钻杆的旋转扭矩设定的。当大型水平定向钻机所钻孔径较小时,需通过变径接头使用较细的钻杆。此时因使用的钻杆较细、     

钢管火炬塔架设计中径厚比限值对用钢量的影响

火炬塔架抗震设计标准给出的钢管径厚比限值远小于非抗震要求的限值。然而,通常情况下火炬塔架设计的控制荷载是风荷载,是否仍然需要满足抗震规范径厚比限制要求缺乏足够的研究。本文以某150m高火炬塔实际工程为背景,考虑常用基本风压情况,分别按抗风和抗震要求的径厚比确定构件,比较满足抗风设计与抗震设计要求时用钢量的差别,并找出对应的大震作用下处于弹性状态的设防烈度。分析结果表明,在基本风压不大于0.55 MPa时,按抗风要求径厚比确定的构件比按抗震要求确定的构件可节省用钢量20%左右,且在7度设防烈度大震作用下,塔架可保持在弹性范围;基本风压超过0.55 MPa后,径厚比改变对用钢量的影响不明显。综合考虑,火炬塔架设计宜先以抗风要求为主进行优化设计,然后进行抗震验算。     

普通与正反索张弦梁结构性能对比研究

张弦梁结构是一种典型的几何非线性结构,普通单向张弦梁结构由于增加下弦索,在正向荷载作用下受力合理,但在反向荷载(如风吸力)作用下常出现索力松驰而造成结构失效。建立模型应用ANSYS软件进行单索和正反索张弦梁结构的性能分析与比较,获得单索和正反索张弦梁结构在荷载作用下的不同承力性能。     

玻化微珠保温砂浆保温性能改善及固化性能研究

以玻化微珠为轻骨料、引气剂为改性剂,配制玻化微珠保温砂浆,研究不同种类引气剂对保温砂浆导热系数、干湿表观密度、压折比、保水性、和易性、凝结时间、压剪粘结强度等性能的影响。实验结果表明,引气剂A掺量为0.2%～0.4%、引气剂B掺量为0.3%～0.4%时,随着引气剂掺量的增加,玻化微珠保温砂浆的水料比、干密度、导热系数、线收缩率逐渐降低,保水性、和易性逐渐提高,保温隔热性能显著改善。