橡胶筒承受径向载荷时的位移解析解

基于经典弹性理论,利用Euler方程组推导了橡胶筒承受径向载荷时的位移解析解,推导过程中未采用体积不可压缩假设.有限元计算表明,该解析解是正确的.     

火炮膛压测试系统的环境因子校准技术

放入式电子测压器用来测量火炮膛压,用测压器静态校准的灵敏度直接用于动态压力的测量会给测量结果带来很大误差,为了减小测试环境对测压器的影响,提出了环境因子校准的思想,研制了能模拟火炮膛内高温高压环境的模拟膛压发生器,建立了环境因子校准系统,分析了环境因子校准的必要性,介绍了校准系统的数据处理方法.实炮测试结果表明经过环境因子校准的测压器的测试数据稳定性好,置信度高.     

成层地基中压入法沉桩引起的桩周土体变形分析

通过在桩-土界面设置接触面,选用合理的单元类型,建立了较为符合压入桩压桩实际的三维有限元模型。利用得到的有限元模型,采用单元生死技术对压入桩压桩过程进行了数值模拟,讨论了成层地基压桩过程中桩周土体的竖向应力及应变随压桩深度的动态变化。选用桩型为钢管桩,分析结果表明:随着压桩深度的增加,桩内桩周土体的竖向应力(或应变)一直表现为压应力(或压应变),且逐渐增大;桩外桩周土体的竖向应力(或应变)逐渐由压应力(或压应变)变为拉应力(或拉应变)。随着压桩深度的增加,桩内桩周土体前3层竖向应力(或应变)的变化幅度基本一致,第4层的变化幅度增大;桩外桩周土体每2层土之间的差异都较大。     

炸药装药在压剪加载下的起爆特点

进行了两类压剪加载实验：（１）利用石英的平面正碰撞产生压剪加载的实验,采用电磁质速法测试装药试件内部不同质点的运动情况,分析炸药装药中发生化学反应的可能性;（２）在压剪炮上采用平行倾斜碰撞产生压剪加载的实验,观测炸药装药爆炸的可能性。由实验可以看出：在亚爆轰状态的压缩加载应力条件下,剪切的联合作用对炸药的起爆起到敏化作用,适当比例的压剪加载造成更加敏感的炸药起爆响应。文中给出了起爆响应规律和响应机制的实验分析。     

预测宽带压控振荡器性能的方法

在诸如无线通信系统等应用中,可提供宽调谐范围压控振荡器（ＶＣＯ）是一种址分有用的器件,本文考虑了由有源器件和电路布局在调谐带宽内年所产生的寄生效应,本文介绍了一种预测宽带ＶＣＯ调谐带宽的方法,并把这种方法应用到超高频（ＵＨＦ）,考比兹（Ｃｐｉｔｔｓ）振荡器的设计中。     

压入法中的接触问题

针对表面工程中测量膜基材料性能或结合强度的压入法,分析了其实验过程中所涉及的重要而又困难的接触问题。在引入适当的假设后,文中首次对二维、三维问题等一般情况,分别给出了控制接触的边界条件方程,并进一步使用半解析的数值方法——线法,针对二维情况使用,球形压头和楔形压头分别进行了数值模拟,并将计算结果和不考虑接触情况下的结果进行了比较结果表明:剪应力差别巨大,这说明接触问题的考虑对于正确地处理实际问题是非常必要的。     

基于双线性连接模型的超静定捆绑火箭助推器动力学响应分析

对于长径比较高的助推器来说,为了提高与芯级的连接可靠性,可采用超静定捆绑连接方式。这种捆绑连接方式增加了助推器动力学响应分析的难度。以超静定捆绑火箭助推器为研究对象,通过引入拉压双线性弹簧模拟捆绑连接装置,建立合理的动力学分析模型,对系统进行数值求解,获得径向冲击作用下助推器的动力学响应特性。通过与静定捆绑模型的对比,获得超静定捆绑助推器的广义位移、频谱和内力的响应,从而为工程应用提供一定的参考和理论支撑。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

一种新的不可延伸的承诺体制设计

讨论了不可延伸承诺体制的定义问题,分析了传统基于离散对数承诺体制的可延伸性,首次将Diffie-Hellman密钥协商方案用于随机挑战的生成以阻止知识证明的可延伸性,进而构造出一种新的基于Diffie-Hellman密钥协商的不可延伸的承诺体制.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。