间接使用扩展规则求解#SAT问题

针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的所有极小碰集,然后应用扩展规则计算这些极小碰集所能扩展出的极大项的数量,即模型数。实验结果表明:MCEHST算法运行时间随子句集规模增加的速度要比CDP和CER算法慢;当子句的长度较短、子句数较多时,MCEHST算法的时间效率较高。     

KYN28A-12型中置柜与电容器“五防”衔接存在的问题及对策

防误装置作为技防措施在变电站防止电气误操作方面具有重要作用,但从目前KYN28A-12型中置柜与电容器“五防”衔接和配合情况看,还存在着复役操作中不能实现防止带接地线手动操作合断路器、远方操作合断路器强制闭锁等问题.从KYN28A-12型中置柜与电容器“五防”衔接的现状人手,分析了存在的问题,并提出了改进对策.     

水电站地下厂房岩锚吊车梁三维非线性有限元分析

应用三维非线性有限元方法，结合实际工程，研究地下厂房中下部分级开挖和吊梁荷载两个因素对岩锚吊车梁及附近围岩局部变形、稳定性的作用与影响，比较了刚体力系平衡法与有限元法计算岩锚吊车梁锚杆的受力情况和两者之间的差异，分析了吊车梁与洞壁接触面的稳定性，论证了三维非线性有限元方法用于研究水电站地下厂房岩钻吊车梁的合理性。     

基于ANN的糖厂蒸发工段的建模

研究了人工神经网络技术在糖厂多效蒸发过程建模中应用的可行性,采用误差反向传播网络(BP网)建立了一效、二效汁汽压力P1、P2和出口糖浆的锤度C5之间的两输入单输出神经网络模型,借助MATLAB7.0加以实现。仿真试验证明了该模型的有效性,并为进一步实现多效蒸发过程的智能控制奠定了基础。     

冷弯型钢组合墙体抗剪承载力简化计算方法研究

对组合墙体抵抗水平剪力的受力机理进行了分析研究,在借鉴传统木结构房屋组合墙体抗剪承载力设计方法的基础上,分别用整体分析方法和剪力流分析方法对组合墙体上自攻螺钉受力进行分析,推导了单个自攻螺钉抗剪承载力与组合墙体抗剪承载力之间的关系,提出了冷弯型钢组合墙体的抗剪承载力计算公式及建议.并将本文公式计算结果与试验结果进行比较分析.结果表明:两种简化分析方法的计算结果均小于由组合墙体抗剪试验结果反算得到的抗剪承载力设计值,简化公式计算结果偏于安全,且剪力流分析方法较整体分析方法更为简便.本文提出的冷弯型钢组合墙体抗剪承载力计算公式,计算结果安全合理,计算过程简单实用,可供实际工程设计参考.     

过滤理论发展过程中存在的一些问题探讨

过滤是水处理的一个必须单元过程，其目的是去除水中的悬浮颗粒，胶体，细菌与病毒，由于过滤行为的复杂性，过滤理论到目前为止尚不完善，文章对过滤机理，Lives-Mints争论，唯象理论与迹线理论等存在争议的问题进行了系统总结与分析。     

局部充分稀疏的欠定时盲信号源分离

针对欠定时的盲信号分离,提出了局部充分稀疏条件下估计混叠矩阵A的新算法.该算法不要求源信号所有采样时刻都充分稀疏,先通过搜索,把处于同一直线的向量一一归类,再对所得的类的向量进行处理,把混叠矩阵A确定出来.仿真实验结果表明算法是有效的.     

基于响应面的大型输电塔结构有限元模型动力修正

针对基于灵敏度分析的有限元模型动力修正方法计算效率较低、迭代收敛慢的不足,将响应面法引入500 kV大跨越输电塔基准模型修正.选择塔脚弹性支承刚度为修正参数,依次进行单因素试验、样本值计算、响应面建立与分析、参数优化.修正后,有限元模型非常准确地复现了单塔横、纵两个方向的-阶弯曲动态特性,修正效果与基于灵敏度分析的模型修正方法接近,证明响应面法在有限元模型动力修正领域的应用价值.还探讨了塔架结构修正参数的选取问题,为相关研究提供参考.     

失效测点影响下极地船舶结构冰载荷的有效识别方法

冰载荷是极地船舶在冰区航行时受到的一种极端环境载荷,而对船体结构的现场监测是研究冰载荷的重要途径.一般通过在船体结构上安装应变传感器直接测量冰载荷引起的应变响应;采用影响系数矩阵法根据应变响应反演识别冰载荷.然而当应变传感器无法正常工作时,识别结果的准确性将难以得到保障.通过对典型极地船舶舷侧板架结构的有限元分析,研究...     

基于零价铁的高级氧化技术与装备

零价铁(ZVI)具有还原电位低、可定向还原毒性基团、价廉易得、环境友好等特征,已广泛应用于一般工业废水的预处理.但零价铁在使用过程中存在pH适用范围窄、易生成钝化膜、电子利用率低等问题.以零价铁为核心的高级氧化技术逐渐成为国内外学者的研究热点.零价铁与氧化剂的联用不仅显著提高了污染物的去除效果,而且拓宽了零价铁的使用范围.由于零价铁、氧化剂与污染物之间的电子迁移机制非常复杂,针对零价铁/氧化剂体系中复杂产物与作用机制的解析得到了不断的探索与发展.本文综述了基于零价铁的高级氧化技术与装备,分别介绍了零价铁与氧气、过氧化氢、臭氧、过硫酸盐、高锰酸盐等氧化剂结合的高级氧化体系,从电子迁移的角度阐述了零价铁与氧化剂的相互作用机理,分析了不同氧化剂存在条件下零价铁的腐蚀产物及其催化作用,并对基于零价铁的协同催化氧化技术进行了介绍,同时对实际废水处理过程中基于零价铁的高级氧化处理装备与组合工艺进行了总结,最后就目前零价铁/氧化剂体系存在的问题进行了分析并展望其应用前景.