基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

关于圆柱壳在水下爆炸冲击波作用下二次加载现象的数值模拟研究

运用大型商业有限元程序MSC.DYTRAN数值模拟了水下爆炸冲击波载荷作用下自由环肋圆柱壳的非线性动态响应.采用一般耦合算法(generalcoupling)模拟流体与结构的耦合效应,计算中考虑了材料的应变率强化效应,几何非线性的影响,分析了空穴现象的产生和二次加载对结构响应的影响.仿真结果表明,相同工况和厚度下的无限自由平板和自由环肋圆柱壳,后者的空化时间比前者长,而壳体运动的最大速度后者比前者低.     

基于ASP．NET技术的动态网页实现

ASP .NET为Web应用系统开发提供了一种全新的灵活的基础结构,是迄今为止最先进的Web应用服务系统开发平台.动态网页是Web应用服务系统的核心.提出了采用ASP .NET技术实现动态网页的方法,在数字化油库与油库信息可视化项目研究中得到很好的应用.     

动态威胁环境下单无人机测向定位航迹优化算法

为解决单架无人机在动态战场环境下的测向定位问题,提出了一种基于动态窗口法的单机测向定位航迹优化算法。以最大化Fisher信息矩阵行列式为测向定位评价准则,在由动态探测雷达和静/动障碍构成的动态战场环境中,基于动态窗口法思想,将测向定位航迹优化评价准则由传统的单步最优原则扩展到对多步预测航迹的评价,同时考虑雷达探测和静/动障碍环境对预测航迹的影响,通过滚动时域方法控制无人机最优航向。仿真结果表明,所提方法能够使无人机在有效逃避雷达探测威胁以及规避环境中静/动障碍的条件下保证对目标的高精度测向定位,为解决动态战场环境下的单架无人机测向定位问题提供了新思路。     

基于调制/解调的动态响应测试方法

在磁悬浮列车中,悬浮控制系统要求间隙传感器的动态特性,但无法用机械方法测试较高频率时的动态特性。根据传感器工作机制,用模拟涡流场来代替被测导体的涡流效应,提出基于调制/解调原理的动态特性测试方法,并分别对正弦信号和方波信号的测试方法进行了探讨。最后给出了两种特征信号的传感器动态特性测试结果。实验表明,这种方法能够满足测试要求,相对于机械方法有很大的优越性。     

一娄非线性抛物方程组解的爆破现象新证明

利用能量方法给出了一类非线性抛物方程组解的有限时刻爆破现象的新证明,此方法将初值的条件从正的初值减弱到某些非负的情形。     

基于双特征参数解的直杆弹性动力后屈曲研究

利用差分方法求解动力后屈曲非线性方程解,研究了弹性直杆的2类轴向碰撞屈曲问题.将双特征参数解得出的含有小幅值参数的初始动力屈曲模态作为非线性后屈曲解的初始条件.理论计算的结果与文献中的实验数据达到了很好的一致,由此验证了双特征参数方法的正确性.研究结果还揭示了碰撞过程中屈曲变形扩展和发展的机理,以及轴向应力波和屈曲变形的相互作用规律.     

长坑道中防护门上的化爆冲击波压力研究

为了对坑道中的防护门抗化爆冲击波进行有效的设计,先需确切知道作用在防护门上的反射压力。首先基于Hopkinson比例定律,用LS-DYNA动力有限元软件模拟了常规炸药在坑道入口外爆炸情况下,长坑道中自由场冲击波峰值压力的衰减规律,并由此确定作用在防护门上的反射压力。计算结果与其他经验方法的预测结果进行了比较。可供防护门的设计及动力响应研究参考。     

车辆液力机械传动系统建模及动态特性仿真

建立了具有液力传动的履带车辆动力传动系统及整车的仿真模型,对车辆的加速性进行了仿真研究并与试验结果进行了比较,应用该仿真模型,分析了履带车辆换挡过程中发动机与涡轮转速、系统元件转速等的变化规律,结果表明该仿真模型能够方便的应用于车辆的性能分析与预测.     

机载无源干扰诱饵的运动特性研究

考虑机载无源干扰诱饵自身的属性和其所处的大气环境,对其进行受力分析,发现无源干扰诱饵受空气动力和自身重力的影响较大。据此建立了无源干扰诱饵的动力学模型和运动学模型,仿真得出无源干扰诱饵的运动情况。在对箔条云受力和单根箔条受力分析的基础上,给出等效球的概念,在仿真中直观地得到了箔条云的散开过程。