分布式防火墙在网络安全中的技术应用

分布式防火墙为网络安全提供了技术支持,可为企事业单位提供多层次、多协议的全方位安全体系。采用主机驻留的方式保护网络中的关键结点服务器、数据和工作站免受非法入侵的破坏,采用多层过滤,入侵检测,日志记录等手段为不同服务器和主机实施安全策略。较好地解决了企业内网与外网以及内部子网之间的非法攻击问题。     

歼击机抖振边界试飞技术研究

本文介绍歼击机抖振边界的试飞技术，比较了几种试飞方法的优缺点及驾驶技术，指出平飞拉起的试飞方法在过载和迎角的关系上较其它方法对应较好，可以作为主要的试飞方法，测试技术采用翼尖加速度和翼根弯矩法。数据处理除常用的均方根值法外，还提出了用功率谱密度的方法来建立与迎角的关系曲线，由此得到抖振起始迎角，还指出，为较确切抖振起始迎角，采用翼尖加速度，翼根弯矩的均方根值法和功率谱密度法进行综合分析，是一种行之     

Ni—Al—C—Ti—（Hf,Nb,Ta）四元合金的凝固组织

对所设计的四种Ni-Al-C-Ti(Hf,Nb,Ta)四元镍基合金分别在相同的工艺条件下进行定向凝固。组织结构分析表明,它们的凝固组织和相变特性均与工业高温合金相似,可作为研究工业高温合金的模型合金。上述四元镍基合金的凝固组织具有以下特点:(1)碳化物形成元素的枝晶偏析按Hf、Nb、Ti、Ta减小;(2)TiC和HfC具有大体相似的形态,呈不规则块状:而NbC和TaC则呈发达的汉字体状,这种差别是引起工业高温合金中MC碳化物形态变化的根本原因;(3)含Ti和含Hf合金中的γ-γ′共晶数量多于含Nb和含Ta合金。     

基于有限元法的复杂连接件结构疲劳特性的确定

紧固连接是飞机中重要的结构连接形式，对于含大量紧固件的复杂连接或单、双剪混合连接结构，使用解析法准确地计算其内力分布非常困难。结合工程实例介绍一种基于有限元法的复杂连接结构疲劳特性的确定方法，通过有限元分析确定结构中的内力分布与钉传载荷，使用工程疲劳分析方法确定结构细节处的疲劳特征值DFR和可靠性寿命。     

某型发动机减速特性曲线超过渡态左边界的故障分析

针对某型发动机在台架试车中,多次出现减速特性曲线α2=f(n2换算)超出过渡态允许使用左边界的故障,总结了多台发动机排故情况,分析了故障产生的原因,最后形成排除故障树.     

高效金属过滤器

高效金属过滤器是利用核工业分离膜军工技术优势,采用制粉、选粉、成型、高温烧结等粉末冶金方法研制而成的,是一种高精度的微孔管状金属镍质过滤元件,可根据需要组装成过滤能力大小不同的高效气体净化设备。具有过滤效率高、气体阻力小、耐温性好、强度高、占地面积小、安装维修方便、使用寿命长和能再生等特点。医药工业用空气无菌过滤,可滤除微粒≥O.5μm,过滤效率99.999％;味精工业空气无菌过滤可滤     

有质量喷注和边界移动圆柱形流管中的声稳定性

本文利用Ｖａｎ Ｍｏｏｒｈｅｎ提出的平均处理法，从理论上分析了一维流管通道随时间变化和燃烧边界运动对燃烧室线性声稳定性的作用。得出结论是，空腔的瞬态扩大和边界运动平衡掉了一部分声能。     

L8飞机从风洞到飞行的抖振相关性研究

介绍了Ｌ８飞机抖振边界修正结果，并与同类飞机Ｌ２９飞行抖振边界进行了比较；给出了Ｌ８飞机抖振边和轻度抖振边界预测值。同时将预测抖振边界和试飞得到的抖振边界作了比较。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

Banach空间中算子余弦函数的一个特征

本文主要研究Ｂａｎａｃｈ空间中算子余弦函数与二阶无阻尼方程的Ｃａｕｃｈｙ问题之间的某些关系,借助于此类Ｃａｕｃｈｙ问题的解的存在性与唯一性,给出算子余弦函数无穷小生成元的不同于Ｈｉｌｅ－Ｙｏｓｉｄａ型特征的另一个特征。