碳纳米管增强水泥砂浆在混凝土修补加固中的应用研究

采用8字形新老砂浆抗拉粘结强度的试验方法,研究了不同粘结砂浆粘结材料在不同配比条件下的粘结性能,得到了不同粘结材料抗拉强度的变化规律。试验结果表明,碳纳米管增强水泥砂浆粘结性能良好,适宜作为新老混凝土界面修补材料。     

基于关键点的混合式漏洞挖掘测试用例同步方法

混合式漏洞挖掘利用模糊测试和符号执行相互协作以达到优势互补的目标,测试用例的同步是相互协作的关键。然而,现有混合式漏洞挖掘技术方案中,测试用例同步是主要以交换和整合的方式实现,较为单一,忽略了程序状态探索时的运行时信息,对符号执行的执行过程没有充分利用。针对上述问题,本文提出了一种基于程序关键点的测试用例同步方法,旨在分析挖掘符号执行的执行过程,定位与识别代码覆盖率导向的程序关键点,进而指导模糊测试的测试用例调度与变异过程, 实现更细粒度的测试用例同步。首先,该方法在符号执行过程中识别模糊测试模块难以触及的分支对应的变量集合,并将其提取为程序的关键点。其次,为了充分利用符号求解的结果,该方法将单次求解得到的关键点信息进行进一步组合匹配,以帮助符号执行模块额外生成更多能够被模糊测试模块导入的测试用例。最后,在模糊测试模块中,该方法在种子挑选步骤中优先选择包含关键点信息的测试用例去引导测试过程探索程序的特定区域,并在测试用例变异中着重对关键点位置进行变异以引导其产生能覆盖新代码分支的测试用例。基于混合式漏洞挖掘工具QSYM,本文实现了一个原型系统Sol-QSYM,并选取了12个真实程序进行了实验评估。实验结果表明Sol-QSYM可以提升12.73%的测试用例成功导入率,相较于QSYM提升9.07%的代码覆盖率,并能够发现更多的程序crash。这些结果表明改进后的测试用例同步方法可以很好地提高混合式漏洞挖掘对符号执行中程序状态探索结果的利用率。     

可验证多次使用动态门限大秘密共享方案

针对大秘密共享存在效率和安全方面的不足,提出一个可验证多次使用动态门限大秘密共享方案. 为了提高效率,将大秘密分解,且表示为较小有限域上的矩阵,并利用了二元单向函数. 为了增强安全性,推广门限动态调整方法,利用了椭圆曲线群上离散对数. 理论分析结果表明,该方案不仅存储等效率大大提高,还能抵抗不诚信参与者攻击,且重建过程中秘密份额始终保密无须更新. 尤其当参与者信任发生变化或参与者人数变动时,门限值能够被t个可信参与者及时调整.     

Orlicz空间的H性质

本文讨论Orlicz空间的H性质,用完全不同于Lp的技巧证得定理 Orlicz空间L_M~*关于Orlicz差数‖·‖_M或Luxemburg差数‖·‖_M有H性质(i)M(u)满足△2条件,(ii)M(u)为严格凸。推论1下述命题等价     

动态环境下产品组合策略竞争的博弈分析

建立了对称信息条件下的双寡头垄断企业基于价格和知识水平的组合策略选择的博弈模型,通过对模型稳态均衡解的求解和讨论分析了双方的组合策略选择,从而为企业进行产品组合策略的系统规划提供了理沦上的指导.     

变电站防误闭锁装置的标准化应用研究

从变电站几种常用防误闭锁装置特点出发,提出优势互补的防误闭锁装置配置原则,对变电站防误闭锁装置的设计和配置进行了详细分析;同时,针对特殊情况下的解除闭锁操作,对防误闭锁装置的标准化管理进行了探讨.     

一起330kV罐式断路器雨闪事故的分析

分析了一起罐式断路器的雨闪事故。得出,套管的结构高度偏低是造成此次雨闪的主要原因。在3/2接线中,如果采用罐式断路器,当中间断路器套管闪络时,则该断路器所在串连接的线路或变压器的保护均会动作;当靠近母线的断路器套管闪络时,则该母线的保护和该断路器对应的线路(变压器)保护均会动作。提出了防止事故的措施:建议加装硅橡胶增爬裙。     

永磁同步直线电机的粒子群PID空间矢量控制

由于永磁同步直线电机(PMLSM)在运行过程中存在着参数变动和负载干扰等问题,因此传统PID控制器无法满足高精度伺服控制系统的要求。针对以上问题,提出一种基于粒子群参数全局寻优的在线自整定PID控制器,并通过MATLAB/Simulink对永磁同步直线电机和其空间矢量控制系统进行建模和仿真实验。仿真结果表明,采用粒子群优化算法的PID控制系统在指定速度1 m/s和加入200 N的负载时,比传统PID控制器具有更好的动态响应性能,能有效抑制推力波动而且对负载扰动具有很强的鲁棒性,其实验结果也证明了其可行性和有效性。     

ZVS双向DC-DC变换器在超级电容能量回收中的研究

针对超级电容器能量回收系统采用硬开关电路存在损耗大的问题,研究了一种基于谐振的双向DC-DC软开关拓扑结构,该拓扑使用四个功率开关管实现功率双向流动,通过开关管的零电压(ZVS)导通,减小了开关损耗。分析了变换器在Buck和Boost模式下的工作模态,并推导了稳态工作时的基本方程。建立了20V/100V、240W双向DC-DC变换器的仿真模型,研制了实验样机,对变换器的工作模式进行了仿真和实验,仿真和实验结果表明变换器的效率可达到95%以上。     

虚拟环境中基于多叉树的降雨时空分布等值线填充算法研究

提出了在流域三维虚拟仿真场景中绘制降雨时空分布等值线填充算法。依据边界点序列将得到的开等值线形成封闭多边形,采用改正辛普森面积法完成对所有等值线的同向。根据等值线的性质和射线求交法确定等值线的包含关系,并设计了等值线数据结构体,引入多叉树数据结构对等值线的拓扑关系进行组织。在此基础上,针对等值线的层数设计其对应的颜色条带,由等值线多叉树关系选择等值线填充颜色,从而完成等值线图的填充绘制,解决了三维仿真系统中任意比例尺、属性值间隔和边界情况下等值线的矢量快速填充的问题。最后将该算法运用到长江上游实测降雨过程的可视化研究中,验证了提出方法的实用性和可行性。