高压下USe和UTe的结构相变和弹性性质的第一性原理计算

利用基于密度泛函的第一性原理,计算了USe和UTe的压致结构转变和弹性系数的压力效应。压力作用下晶体结构优化的结果显示:二者均发生了从B1结构到B2结构的压致结构转变,转变压力分别为28.4,15.0 GPa,结构转变时伴有体积突变,属于一级相变。弹性系数的计算结果表明:两种化合物的B1相中弹性系数随着压力的增加呈现线性增加的特征;根据晶体力学稳定条件判据,预言了常压下两种化合物的B1结构是一种亚稳相。     

复杂油藏出水防治对策研究

在油田的开发过程中,任何一个环节出现问题,都会导致采油工程无法顺利进行,因此,对问题的防治显得万为重要.曙一区超稠油位于辽河断陷西斜坡的中段,构造形态为东北走向倾向南东的单斜构造,沉积特征包含水下扇重力流沉积、湖盆边缘浅水扇三角洲沉积两种类型.总体上从构造高部位向低部位物性变差,与杜84主力区块对比,互层状超稠油油藏油层厚度变薄、储层物性变差.该文在对辽河油田曙一区兴隆台油层出水特点进行分析的基础上,提出了相关的防治对策.     

CSFX-120薄膜电容测试分选机的结构设计

CSFX-120薄膜电容测试分选机的最大特点是采用一个动力源带动凸轮完成各种复杂的动作。通过介绍CSFX-120薄膜电容测试分选机的工作原理、性能指标，着重对分选机机械结构设计及关键技术难点进行了阐述，并对已批量生产的电容分选机市场前景进行了展望。     

铅芯直径对铅芯橡胶隔震支座极限剪切性能的影响分析

通过有限元分析软件ABAQUS对铅芯橡胶隔震支座进行极限剪压状态下的力学性能分析,研究了铅芯直径对铅芯橡胶隔震支座极限剪切位移的影响及其在此极限状态下的等效水平刚度、等效阻尼比、屈服后刚度和屈服力.研究表明,铅芯直径的增大使铅芯橡胶隔震支座的极限剪切位移显著减小;铅芯直径对极限剪压状态下的有效阻尼比和屈服力起决定性影响,二者随铅芯直径的增大而显著增大;铅芯直径对屈服后刚度影响很小.     

基于DSP＋ARM模式的自动刹车系统的研制

为进一步提高汽车的安全性能,研制了一种基于DSP（数字信号处理）技术和ARM（嵌入式技术）的自动刹车系统。该系统采用ARM和DSP两个处理器协同工作的模式,其DSP芯片负责处理行驶车辆及其附近的交通信息,ARM处理器负责建立本车的运动模型,并据此来完成对车辆的实时监控和紧急情况下的自动刹车功能。本文着重介绍了系统的目标、总体方案、硬件组成和软件系统的运行原理。     

Effects of Thermal Lattice Vibration on the Effective Potential of Weak-Coupling Bipolaron in a Quantum Dot

Based on the Huybrechts' linear-combination operator,effects of thermal lattice vibration on the effective potential of weak-coupling bipolaron in semiconductor quantum dots are studied by using the LLP variational method and quantum statistical theory.The results show that the absolute value of the induced potential of the bipolaron increases with increasing the electron-phonon coupling strength,but decreases with increasing the temperature and the distance of electrons,respectively;the absolute value of the effective potential increases with increasing the radius of the quantum dot,electron-phonon coupling strength and the distance of electrons,respectively,but decreases with increasing the temperature;the temperature and electron-phonon interaction have the important influence on the formation and state properties of the bipolaron:the bipolarons in the bound state are closer and more stable when the electron-phonon coupling strength is larger or the temperature is lower;the confinement potential and coulomb repulsive potential between electrons are unfavorable to the formation of bipolarons in the bound state.     

符号执行中的约束求解问题研究进展

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.      

抛物量子点中弱耦合激子的光学声子平均数

研究了电子-体纵光学声子弱耦合情况下,抛物量子点中激子的性质。在有效质量近似下,采用线性组合算符和幺正变换方法研究了抛物量子点中弱耦合激子的基态能量和光学声子平均数。以GaAs半导体为例进行了数值计算,结果表明:弱耦合情况下,激子的光学声子平均数基态的能量和量子点受限强度的增大而减小,随量子点半径的增大而增大。     

石油生物脱硫菌UP-1培养及反应条件的优化

利用从胜利油田的土壤和污水中筛选到的能降解二苯并噻吩(DBT)的施氏假单胞菌UP 1,考察了培养温度、时间、pH值对菌种生长的影响,以及底物浓度、反应温度和反应时间对菌株UP 1脱硫性能的影响,并考察了UP 1静息细胞的重复使用性能。结果表明,UP 1最佳培养温度为30℃,培养时间为24h,培养基的pH为7.5;脱硫反应适宜的DBT质量浓度为500mg/L,反应温度为30℃,反应时间为20h;UP 1静息细胞具有可循环使用的脱硫活性。