一种新的SAT问题预处理算法

提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。     

纳米硅胶体系驱油理论与数学建模

为了定量研究纳米级二氧化硅粉体成胶体系的驱油效果, 对纳米硅胶驱油机理进行了理论分析。在连续性介质渗流理论、硅胶溶液流变性理论、硅胶在孔隙介质内吸附和运移理论基础上, 建立了一个两相多组分硅胶驱油数学模型, 并开发了一个数值模拟器, 定量模拟了硅胶质量浓度、注入体积和注入方式对孔、渗参数和开发效果的影响。结果表明, 纳米硅胶溶液驱油会降低储集层孔、渗参数, 但是会大幅度提高采收率; 段塞注入优于交替和连续驱油方式。     

BMW轿车数字音响多声道功放电路

<正> 宝马轿车数字音响是一种音响导航接收机,它将音响与导航系统结合在一起。也就是将普通电台的接收和 RDS 集成在一起。普通电台的接收:其收音电路电子调谐系统采用了锁相环频率合成式数字调谐技术。RDS 广播的接收:为了让驾驶员在驾车过程中不用去看显示屏就能够清楚地了解到当前所在的地域位置和交通情     

水驱开发油藏原油黏度变化规律及其对开发效果的影响

水驱油田开发过程中，原油黏度随含水率升高而增加。目前水驱油藏数值模拟器中简单地将原油黏度看成是压力的一元函数，没有考虑其他因素对原油黏度的影响。为提高模拟精度，在黑油渗流模型的基础上，建立了原油黏度随含水率变化的新模型，开发了新的数值模拟器，并在该模拟器上模拟了不同的原油黏度变化幅度对生产动态的影响。研究结果表明：水驱过程中原油黏度的升高缩短了无水采油期，加快了含水上升速率，降低了采出程度。油田实例对比验证了该模型的正确性。     

圆盘超声电机准零刚度转子设计及其优化

该文针对长时间储存和高冲击环境导致超声电机正常工作预压力发生改变的背景,设计了一种受到外部环境扰动保持预压力恒定的准零刚度碟簧转子。借鉴了开槽碟簧设计思路,建立其参数化有限元模型。采用灵敏度分析选择主要设计变量,建立了在选定工作预压力附近准零刚度段最长的目标函数。利用有限元数值模型对该碟簧转子进行参数优化设计。结果表明,优化后的碟簧转子在正常工作预压力附近准零刚度段的长度达到0.6 mm,且在冲击环境下满足强度要求,最终通过实验验证了装配有该碟簧转子超声电机的输出特性良好。     

低强度超声对鼻咽癌细胞线粒体膜电位的影响

目的:观察低强度超声对鼻咽癌细胞线粒体膜电位的影响.方法:以低强度超声(频率1.7 MHz,剂量1.35W/cm2)辐照鼻咽癌细胞,采用Rhodamine123染色送CLSM下检测鼻咽癌细胞线粒体膜电位的变化.结果:超声波能够量著损伤鼻咽癌CNE2细胞线粒体,辐照后孵育4h,CLSM 下光吸收值与对照组相比显著降低,结...     

啤酒酵母发酵调味料的开发与利用

一、调味料的发展动向从现在日本的饮食文化观点来看,随着饮食生活水平的提高,人们的嗜好也趋于多样化,从而对调味料的需要,也从单一的鲜味料转向于具有天然复杂风味的、味重香浓的调味料,因而其需求量将进一步增长。1.纯天然调味料由于消费者对天然食品的消费意向增     

一个过采样增量－总和调制器的设计与实现

本文设计实现了一个高精度的双通道过采样Ａ／Ｄ电路，它采用由两个二阶调制器级联实现的四阶增量－总和调制器结构，并通过优化调制器内部各级增益，在改善过采样Ａ／Ｄ的大信号过载特性的同时提高其最大输出信嗓比．为降低数字开关噪声对过采样Ａ／Ｄ性能的影响，本文采用了一种低噪声电流控制逻辑设计数字电路．实验芯片的测试结果表明，在６４倍的过采样率下，电流控制逻辑通道和静态ＣＭＯＳ逻辑通道分别获得了９１ｄＢ和８４．５ｄＢ的输出动态范围．     

带时延约束的FPGA布线算法

基于ＳＲＡＭ编程结构的门海型ＦＰＧＡ连线上的时延较之ＡＳＩＣ来说比较大,连线延迟不可预测．在很多应用中必须对关键路径的时延加以定量限制（包括上限、下限和一组路径的时延差）．时延约束的实现需要布图算法来保证．一般时延驱动的布线算法只能定性地优化时延性能,不能满足定量要求．本文提出了高性能ＦＰＧＡ最短路径布线算法,以它为主体的ＦＰＧＡ布线器能全面地考虑各种时延约束,更好地利用布线资源,对其它无时延约束的线网也可进行时延优化,提高整个芯片的性能     

基于人眼、车速及行道综合疲劳驾驶检测算法的研究与实现

本文提出了一种基于人眼、车速以及行道等多特征综合信息判别驾驶疲劳的方法。目前大多数疲劳驾驶检测方法都只考虑了某一单一特征信息,检测结果具有一定局限性．容易产生错误报警。而本文中将驾驶员个体特征信息、车辆特征行为以及车辆相关参数结合起来进行判别驾驶员是否疲劳,不仅提高了检测结果的准确性．还增强了其可靠性。实验表明,通过综合多种信息判别较单一要素下检测判别结果准确度更高．鲁棒性更强．能够进行实时监测。