最坏情况下X3SAT最大海明距离问题最小上界

X3SAT最大海明距离问题是指对于一个X3SAT问题实例,寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题,根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了多种化简规则,这些规则很好地提高了算法的时间效率。证明了该算法可以将X3SAT最大海明距离问题的最小上界由目前最好的O(1.7107n)缩小到O(1.6760n),其中n为公式中变量的数目。     

电液转换器在汽轮机调速控制中的应用与维护

通过近年来的运行,140、75t /h 干熄焦汽轮机出现调速系统失灵、转速波动逐渐增大等现象,文章较详细地介绍了调速系统及电液转换器的原理及特点并对调速系统分析、判断,并增加了相关的防控措施,对今后类似事故分析提供了良好的经验.     

基于层合板理论的多层加筋碎石垫层承载特性分析

为研究多层加筋垫层自身极限承载特性,考虑多层土工格栅的加筋作用,假设加筋垫层为层合板,并根据静力平衡条件和应变连续条件,分析得出加筋垫层的极限承载能力计算方法,通过室内试验对理论推导公式进行结果验证。研究结果表明:理论计算与试验结果吻合较好;随着格栅层数、垫层厚度、碎石抗剪强度的增加,多层加筋垫层自身极限承载能力增强;随着桩间距和底层格栅距桩帽距离的增大,多层加筋垫层自身极限承载能力降低。     

液压支架工作状态模糊识别系统研究

针对目前综采工作面液压支架压力监测系统只能监测综采工作面压力,不能对液压支架工作状态进行识别的问题,设计了一种液压支架工作状态模糊识别系统。该系统可对现有的综采工作面液压支架压力监测系统监测到的压力数据进行模糊识别,根据模糊识别输出值即可判断液压支架的5种工作状态,即降架、移架、升架、增阻、卸压保持;当液压支架处于增阻工作状态且增阻时间过长时,该系统可及时通知液压支架操作工增大液压支架压力,辅助实现顶煤破碎。测试结果验证了该系统的可行性。     

诺基亚：从“王者”到“平民”

“不创新,不紧握时代脉搏,再高大的巨人,也会迅速倒下。”近日,世界手机巨头诺基亚发布了10年以来最糟糕的财报。数据显示,其2011年第三季度总营收为89．8亿欧元,较去年同期的102．7亿欧元下滑13％;净亏损6800万欧元,而去年同期净利润高达5．29亿欧元。业绩如此“大变天”,令人大跌眼镜,不胜嘘唏!     

GCC编译器中间代码层控制流扩充研究

本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。     

基于变分模态分解的光纤电流传感器小波去噪方法

为了提高光纤电流传感器测量信号的信噪比和测量精度,提出一种结合小波分析的变分模态分解去噪方法.该方法利用消除趋势波分析确定变分模态分解层数,并且采用互信息法确定相关模态,筛选出含噪声量较大的不相关模态,对不相关模态用sym8小波变换进行去噪处理,在此基础上进行信号重构,保证信号特征和完整度.在仿真的基础上,对光纤电流传感器的模拟阶跃直流电流和交流谐波电流,分别采用该方法去噪,把方均根误差和信噪比作为衡量去噪效果的指标,并和传统模态分解去噪、经验模态分解去噪和局部均值分解去噪进行比较.仿真结果显示,该方法能有效降低光纤电流传感器输出信号的噪声含量.     

A3型李代数的张量积分解

不可约模的张量积分解是李代数表示理论的重要问题,在计算最低双边胞腔上的Kazhdan-Lusztig多项式的首项系数时,有重要的应用.通过李代数中的相关知识和计算机编程,给出了A3型李代数的部分张量积分解的具体表达式,为进一步计算?3型仿射Weyl群最低双边胞腔上的Kazhdan-Lusztig首项系数奠定了基础.     

基于IDL和.NET的可视化程序设计*

介绍了基于IDL和.NET集成的可视化程序设计方法.通过在VB.NET中集成IDLDrawWidget控件,方便、高效地建立了可视化系统原型.实践表明,在可视化应用领域中,IDL和.NET结合编程实现了优势互补,具有较高的实用性.     

国Ⅵ车用汽油质量现状分析

国Ⅵ车用汽油标准的实施对保护环境、降低污染物的排放具有重要意义.本文介绍了国Ⅵ车用汽油标准实施后我国车用汽油的质量状况,分析了辛烷值、馏程、蒸气压、硫含量、烯烃含量、芳烃含量和苯含量等重点指标的分布情况,结果表明,国Ⅵ车用汽油的质量较好,并对车用汽油的发展方向提出了相关建议.