一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。     

持续低温环境对复合绝缘子硅橡胶材料介电特性的影响

复合绝缘子因其优异的耐污闪能力和电气绝缘能力在电网中得到广泛应用,但其性能受运行环境影响明显,介电特性作为电介质的基本物理性能可以反映其变化情况.该文以HTV硅橡胶样品为对象,人工模拟低温环境应力,研究了其在-40～25℃环境中的温度频率特性.研究结果表明:复介电常数实部ε'在高频(104～106Hz)交变电场中随温度的升高而减小,低频(10-2～101Hz)时则随温度的升高而增大,复介电常数虚部ε'、介质损耗角正切值tanδ在10-2～106Hz内均随温度的升高而增大;干冻及覆冰后冰冻均使材料的工频ε'、ε'及tanδ值随低温持续时间的增加而增大,随温度的降低而增大,覆冰后冰冻的样品各值均大于干冻;干冻和覆冰后冰冻的样品放置于常温环境(25℃、RH60％)后介电性能有所恢复,其工频介电参数值减小,但168h后仍大于未经长时间低温处理的样品初始值.     

SiO2纳米复合稳定WO3薄膜气致变色特性研究

以钨粉为主要原料,采用过氧化法及提拉技术制备WO3薄膜,通过SiO2纳米颗粒复合改性提高了WO3薄膜的气致变色稳定性.测试并研究了SiO2复合掺杂对溶胶颗粒分布、气致变色稳定性等的影响,通过测试薄膜循环中红外振动吸收的演变,深入研究了SiO2纳米复合对WO3薄膜气致变色性能影响的内在机制.研究结果表明,SiO2的掺杂抑制了WO3薄膜内的共角聚合,将薄膜的致/褪色循环次数由20次提高到500次以上,WO3-SiO2复合薄膜的稳定网络结构是提高其气致变色循环稳定性的主要原因.     

铅基快堆用CLRASS奥氏体不锈钢热变形组织的均匀性

采用光学显微镜、扫描电镜和透射电镜等研究了热变形方式、合金成分等对CLRASS不锈钢锻造变形组织均匀性的影响。结果表明:条带组织主要由带状分布的亚微米尺寸二次TiC颗粒和链状分布的一次TiC组成,其形成主要与Ti元素的易凝固偏析特性、铸锭一次TiC析出受到抑制和锻锭热变形过程中二次TiC的不均匀析出有关。锻前均匀化热处理和墩粗拔长处理能够通过施加高温和引入位错减轻合金铸锭中的Ti元素偏析,调整二次TiC析出均匀性,从而抑制条带组织形成。此外,减小铸锭高径比和降低合金Ti/C比也能通过提高合金变形效率和减少TiC析出从而降低条带组织的形成倾向。     

碎石道床与整体道床之比较

结合目前城市轨道交通实际情况,对碎石道床和整体道床进行了比较,分别从梁的应力、基础沉降量及预应力混凝土梁徐变上拱度三方面入手进行了分析,指出应根据城市轨道工程的地质、施工条件等综合考虑来决定采用哪种道床。     

带电盐雾环境对复合绝缘子硅橡胶材料闪络特性的影响

沿海及多雾地区,复合绝缘子可能长期运行在盐雾环境中,使得闪络电压降低,威胁电网的安全稳定运行。为研究复合绝缘子硅橡胶材料在持续盐雾环境中闪络特性的变化,人工模拟了盐雾环境,对带电不同时间后的硅橡胶材料进行了交流闪络试验,记录了闪络电压和带电期间的泄漏电流。结果表明:试品的闪络电压与带电电压值有关,带电试验中所施加的电压值越高,带电试验结束后的闪络电压越低;闪络电压随雾水电导率的增加呈负幂指数规律降低,特征指数随带电时间的增加而增加;闪络电压随带电时间的增加而降低。随着带电电压值、雾水电导率和带电时间的增加,试品表面水膜占表面积的比值和泄漏电流特征量(脉冲数量、最大脉冲幅值、累积放电量等)增加,是造成闪络电压下降的主要原因。     

Jackson设计方法中关于结构冲突的处理

Jackson设计方法是一种面向数据结构的设计方法,本文对此方法的内容给予简单介绍,并对此方法所涉及的输出输出结构冲突问题给予扩充处理。     

一类有限域乘法器的设计实现

提出了一种基于有限域内移位三项式基及其弱共轭基的比特并行乘法器的新结构.在由三项式生成的域内,此种结构的比特并行乘法器易于设计者使用硬件描述语言实现.采用Encounter软件对该结构进行布局布线后,发现其面积与关键路径时延都达到了设计目标的要求,在设计性能和硬件约束条件上取得了比较好的平衡.     

基于BIM的智能化运维管理系统在海洋科学馆的应用

珠海长隆海洋科学馆建筑结构复杂、占地面积大、机电管线交错繁复,且集众多功能于一体,后期运维管理工作难度大,成本支出巨大。本文介绍的基于BIM的建筑智能化运维管理系统,可有效提升建筑运维过程中基本信息管理、维修保养管理、隐蔽工程档案管理与绿色建筑能耗管理的信息化程度,实现设备管控精细化,提高运营机构的管理水平和效率,降低管理成本。