利用改善的静态隐含策略加速等价性验证

随着近年来高效SAT(Satisfiability)求解算法提出，SAT已成为集成电路形式验证方法中重要引擎之一。但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述，丢失了电路的拓扑信息。本文利用改善的静态隐含策略来提取有用子句作为预处理，来加快验证过程。本文算法在原有静态隐含技术的基础上，引入了关联节点隐含及隐含过程加速策略。给出的ISCAS85电路的实验结果表明算法的有效性。     

温度与含水率对砂岩动静态力学特性影响研究

为研究含水率、温度对砂岩力学特性的影响机理,以灰砂岩为研究对象进行不同温度(20、-20、-30℃)和不同含水率(0%,20%,100%)状态下的岩石单轴压缩(UCT)和动态冲击试验,并对压缩破坏后试件的破裂断口形貌进行SEM扫描分析。结果表明：在20℃,随着含水率的增加,试块的静态抗压和动态冲击强度在降低;-20℃和-30℃情况下试块的静态抗压和动态冲击强度会随着含水率的增加,呈现先增长后下降的趋势;而在同一含水率的情况下,随着温度的降低,试块的峰值应力逐渐增大,即抗压强度会逐渐增强;依据单轴压缩破坏后的试件,得到宏观破裂模式可分为拉张型破裂、剪切型破裂和滑移型破裂;通过SEM扫描试件,得到了微观破裂类型主要分为拉张和剪切滑移两种。研究结果可为低温环境下岩石力学工程设计、施工提供参考。     

蜂窝铝冲击波形数值计算及分析

为分析蜂窝铝结构参数以及弹丸参数对冲击波形的影响,利用LS-DYNA有限元软件建立了弹丸侵彻蜂窝铝模型,模拟了侵彻波形的发生过程。比较了蜂窝铝相对密度、胞孔角度,侵彻初速和弹头形状对冲击加速度波形的影响。结果表明,增大蜂窝铝相对密度、减小胞孔角度可以引起加速度峰值的提高和冲击脉宽的减小; 提升初始侵彻速度可以同时引起加速度峰值与脉宽的提升; 弹丸形状影响冲击波形,使用卵形弹可以获得较平缓的加速度波形。研究结果对以蜂窝铝为缓冲材料的冲击试验参数选择具有重要参考价值。     

磁感应强度和阻尼通道间隙对某发射装置振动影响

本文主要研究磁流变阻尼器应用在高速、高冲击性环境下发射装置的反后坐装置中,其结构参数磁感应强度和阻尼通道间隙对发射装置的振动影响;采用有限元和abaqus软件二次开发平台相结合的方法建立该发射装置结构动力学有限元模型,改变磁流变阻尼器的结构参数模拟整个装置的发射过程,研究发射装置的振动特性.仿真计算结果表明,输入不同的电流值和不同的阻尼通道间隙值会对发射装置振动特性产生影响,在设计和应用发射装置上磁流变阻尼器时应给予重视.     

自适应机翼的发展现状及其关键技术研究

综述了近二十年来国内外自适应机翼技术的研究现状以及该领域需要解决的关键技术,对未来这一技术的发展和应用进行了展望。     

某火炮射击稳定性的总体参数灵敏度分析与优化

为保证火炮射击精度,火炮系统应满足射击稳定性条件。通过分析全炮的拓扑结构,建立火炮刚柔耦合动力学模型。考虑身管、摇架和上架的变形,取3部件为柔体,其余部件为刚体,分析火炮射击稳定性。建立火炮射击稳定性敏感度分析模型进行总体参数灵敏度分析,寻求对射击稳定性影响较大的设计变量。采用遗传算法对火炮射击稳定性进行了优化,有效降低了下架前座盘跳高,提高了射击稳定性。该动力学分析和优化为火炮的总体设计提供一定的理论依据。     

加工高硫高酸原油对800kt／a焦化装置的影响及对策

分析了在加工高硫高酸原油的条件下,800kt／a焦化装置加热炉出现的问题,并提出相应对策,为同类装置的安全平稳运行提供了借鉴。     

面向Ti-6Al-4V合金的开缝芯棒孔挤压强化次数研究

为了探究挤压强化次数对开缝芯棒性能的影响,实现孔挤压强化工具的可重复使用,分析了开缝芯棒孔挤压强化工艺,开展了开缝芯棒20次孔挤压强化Ti-6Al-4V合金试验,研究了挤压强化次数对开缝芯棒孔挤压强化效果的影响。结果表明,开缝芯棒20次孔挤压强化过程中,挤压力、工作环直径和孔结构孔径波动平缓,未发生显著变化;开缝芯棒的挤压部位存在划痕,工作环直径与孔结构孔径的变化在加工误差范围内;开缝芯棒的划痕对Ti-6Al-4V合金孔结构挤压强化效果影响不大,开缝芯棒孔挤压强化能够实现孔挤压强化工具的重复使用。     

运用焦点理论解决大学新生适应性问题

焦点解决短期心理辅导咨询的理论近年来广受关注,运用这一理论解决大学新生适应性问题具有很强的实用价值.在厘清焦点解决短期心理咨询基本理念的基础上,探索其适用的范围,研究运用过程的有关实务,以及实践过程中需要注意和整合的问题,使得大学新生心理辅导更富效率.     

多媒体教学在高等数学教学中的应用

随着社会科技不断的迅猛发展,多媒体教学在高校的教学中也得到了广泛的应用.本文阐述了多媒体教学如何能够更好的运用在高等数学的教学中,对应用中出现的一些问题进行分析,从而提高高等数学在教学上的显著效果.