基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

发射用活塞式制动过程与制动环技术研究

应用非线性接触和碰撞问题的有限元理论,通过Autodyn软件对某缓冲装置瞬态制动过程进行数值仿真计算,得到该缓冲装置各构件的速度、位移、等效应力等物理量,通过优化得到缓冲装置的结构形式.仿真计算表明该装置在原理上是合理可行的,在技术上是可实现的,可为缓冲装置的结构设计提供可靠的参考数据.     

新型钢-混凝土组合板的力学性能研究

以加劲肋形式、组合板厚度和栓钉布置为参数,进行了9块新型组合板的力学性能试验.试验结果表明,组合板的正截面承载力可按基于修正平截面假定的极限状态计算;组合板的跨中挠度,可在按现行规范计算的基础上,加上考虑界面滑移影响的附加变形值予以修正.     

Response of masonry systems against blast loading

In this paper eight successive experimental blast tests with an increasing TNT equivalent charge weights ranging from 0.56 kg to 17.78 kg were conducted on unreinforced, ferrocemented overlay masonry and confined masonry walls. The pressure-time history caused by the blast was recorded by pressure sensors installed on the test specimen. The resulting damage pattern was observed during each test. Weak zones in the three systems of masonry were identified. Scaled distances for different damage levels in the three masonry systems were experimentally obtained. The results provide a basis for determining the response of each masonry system against blast loading. Consequently, efficiency of ferrocemented overlay ma-sonry and confined masonry was found established in mitigation against blast loads.     

洞库储罐壁局部失稳分析

因储罐使用时间过长,或者在使用管理中操作不当等原因,目前某些洞库储罐出现不同程度的失稳现象,甚至不能正常工作,严重干扰了油库的储存以及收发作业,出现设备闲置现象。根据拉姆公式对失稳现象进行分析探讨,剖析造成失稳的主要因素,针对某洞库罐壁失稳的实际情况,对油库的实际工作提出建议,对于加强储罐的管理工作有重要的参考价值。     

零压式高空气球球形设计与参数敏感性分析

高空气球能够为临近空间科学实验提供可靠的平台,其形状直接关系到气球制作及飞行的全过程。提出将多段打靶法与序列二次规划法结合,对零压气球完全膨胀和部分膨胀状态下的球形进行求解,并运用有限元方法对球形进行稳定性及应力应变分析,验证了所推导球形的正确性。在此基础上,对影响气球形状的关键参数进行灵敏度分析及相关运用,从定量的角度得到气球载荷、飞行高度及昼夜温差对气球形状的影响规律。     

高超声速变形飞行器翼面变形模式分析

为提高高超声速翼身组合式飞行器的射程,研究了采用不同翼面变形模式时,飞行器在马赫数3~8内的气动特性和翼面效率。针对典型的轴对称翼身组合式外形,采用Navier-Stokes方程进行数值模拟,对伸缩、变后掠和二维折叠三种变形模式下的外形在超声速及高超声速来流条件下进行模拟,并对升阻比、翼面单位面积升阻比和操稳特性进行分析。结果表明:在超声速及高超声速范围内,变后掠变形模式在宽速域内升阻比提高明显,同时具备优良的翼面效率及操稳特性,其在马赫数3~8范围内具有最优的综合性能。研究成果能对高超声速翼身组合式变形飞行器布局设计提供参考,具有一定的指导意义。     

微型导弹柔性充气翼结构设计与力学变形仿真

以NACA2412为基准翼型设计充气弹翼,采用柔性蒙皮应力分析理论并根据弹翼蒙皮材料强度极限理论建立考虑分布质量影响的改进应力表达模型,据此得到柔性薄膜弹翼允许充气压力范围。分析结果发现:柔性弹翼充气单元尺寸越小,相应的充气压力允许范围越大。采用ABAQUS/CAE软件以不可压缩壳单元仿真柔性充气弹翼在不同充气压力条件下的变形情况,发现非对称翼型充气后中间下凹的翘曲方式并确定柔性蒙皮的危险点,利用翼面典型线分析了充气翼局部力学变形特性。进一步对充气弹翼进行表面覆膜改进分析,获得了良好的结构力学性能改进效果。     

冲击波在多层结构中的传播

对水下冲击载荷在多层结构中的传播规律进行了理论分析,根据分界面上的应力和速度连续性条件得到透射波强度的解析表达式.从理论分析可以看出,舰船结构的多层防护体系对于减少爆炸冲击的损伤具有重要的作用,防护结构的波阻抗越大,防护的效果越好,这种方法可应用于多层防护结构在远场爆炸冲击波作用下的毁伤或防护方面的预测.     

一种新的基于方向导数的二维自适应网格生成算法

结合形变原理及网格迭代思想,利用方向导数计算控制函数,提出一种新的二维空间自适应网格生成算法。数值实验表明,该算法能较好地适应解函数的空间剧烈变化。与其他自适应算法比较,其主要优点是该算法逻辑简单,避免了解网格偏微分方程,节约了网格计算时间。