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

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

基于模糊谱聚类的不确定蛋白质相互作用网络功能模块挖掘

针对谱聚类融合模糊C-means（FCM）聚类的蛋白质相互作用（PPI）网络功能模块挖掘方法准确率不高、执行效率较低和易受假阳性影响的问题，提出一种基于模糊谱聚类的不确定PPI网络功能模块挖掘（FSC-FM）方法。首先，构建一个不确定PPI网络模型，使用边聚集系数给每一条蛋白质交互作用赋予一个存在概率测度，克服假阳性对实验结果的影响；第二，利用基于边聚集系数流行距离（FEC）策略改进谱聚类中的相似度计算，解决谱聚类算法对尺度参数敏感的问题，进而利用谱聚类算法对不确定PPI网络数据进行预处理，降低数据的维数，提高聚类的准确率；第三，设计基于密度的概率中心选取策略（DPCS）解决模糊C-means算法对初始聚类中心和聚类数目敏感的问题，并对预处理后的PPI数据进行FCM聚类，提高聚类的执行效率以及灵敏度；最后，采用改进的边期望稠密度（EED）对挖掘出的蛋白质功能模块进行过滤。在酵母菌DIP数据集上运行各个算法可知，FSC-FM与基于不确定图模型的检测蛋白质复合物（DCU）算法相比，F-measure值提高了27.92%，执行效率提高了27.92%；与在动态蛋白质相互作用网络中识别复合物的方法（CDUN）、演化算法（EA）、医学基因或蛋白质预测算法（MGPPA）相比也有更高的F-measure值和执行效率。实验结果表明，在不确定PPI网络中，FSC-FM适合用于功能模块的挖掘。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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