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

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

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

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

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

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

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

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

高温空气下C/SiC复合材料力学性能测试

测试了C/SiC复合材料在高温空气下的压缩、弯曲和拉伸性能,利用扫描电子显微镜分析复合材料在室温与高温条件下的断口微观形貌。结果表明:从室温升温到1 000 ℃测试温度时,C/SiC复合材料的压缩强度由247 MPa降低至78 MPa,性能降低68%;弯曲强度由480 MPa降低至277 MPa,性能降低42%;拉伸强度由247 MPa降低至152 MPa,性能降低38%。高温氧化导致界面退化,损伤材料基体与碳纤维结构,加剧了纤维断裂程度,改变了纤维与基体的结合状态,纤维增韧机制逐渐消失,导致复合材料性能下降。     

高空气球地面充氦气量计算方法分析与试验评估

作为高空气球研究中的一个重要问题,气球在地面发放前充入的氦气量会直接影响其上升速度和驻空高度,进而影响平台的可靠性和稳定性。因此研究充氦气量的准确计算方法十分必要。建立了高空气球上升过程动力学模型,计算了气球初始升速的理论值,用于与实际初始升速对比,为评估充氦气量计算方法提供依据。归纳了三种较为典型的高空气球地面充氦气量计算方法,根据实际开展的飞行试验,分析对比了三种方法的准确性和误差范围。提出了浮力补偿规律,完成了对三种方法的评估。通过研究可以对现有充氦气量计算方法进行有效修正,进而为高空气球的实际飞行提供指导。     

高性能路由器中的分组非精确调度技术

随着网络带宽的不断提高,分组到达路由器的时间间隔不断缩短,对路由器处理分组的速度提出了新的要求。传统的分组调度算法,如WFQ,由于性能和可扩展性等问题,难以在高性能核心路由器中实现。为此,提出了分组非精确调度技术,在不影响应用QoS的前提下对经典的调度算法进行修改,通过简化硬件设计提高调度器的服务能力。模拟分析表明,采用非精确调度技术的SLQF算法的延时特性与传统算法LQF基本一致。     

高速路由与交换技术现状及发展趋势

多个方向的可扩展特性是新一代互联网的重要特点,这对高性能路由器的性能、规模、功能和服务等能力提出了更高的要求,高速路由与交换技术是承载这种可扩展特性的关键技术。从网络处理器设计、路由查找技术以及高速交换技术三个方面总结了高速路由与交换技术的研究和发展现状,并展望了未来的发展趋势。     

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

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

大炸高频率捷变无线电引信的研究

分析了现代战争对无线电引信炸高提出的新要求,提出了一种采用频率捷变体制的大炸高无线电引信的设计方案,采用了软件无线电的设计思想,使引信具有软件可编程能力,提高了引信对战场环境的适应能力和抗干扰能力。在多工作频点捷变的基础上提出一种多频脉冲联合比相测距算法,利用回波相位差实现了引信炸高的测量。最后的算法仿真结果验证了这种基于频率捷变的大炸高无线电引信体制的可行性。