一种基于逻辑编程的防火墙规则形式化分析方法

防火墙作为网络安全体系的基础和核心控制设备,其作用的发挥取决于防火墙规则的正确配置.由于防火墙规则配置的复杂性,导致规则间可能存在冲突,使其不能满足安全目标.文章提出一种基于逻辑编程的防火墙规则形式化分析方法,将安全目标与防火墙规则转换为逻辑程序后加载到推理引擎,制订一系列推理规则,通过提出高级查询进行防火墙规则的冲突检测和正确性验证,并对分析结果进行解释.     

可重构网络中柔性网络配置代理服务提供模型

随着网络的进一步发展,越来越多新出现的业务要求网络不仅能提供信息传输的可靠性,还要求它们使用的网络在不同服务需求下都能提供稳定服务。柔性网络配置代理是用来根据服务提供控制网络资源使用,提高网络性能,解决上述网络资源配置问题的核心。从流量特性的角度出发,抽象出柔性网络配置代理的服务提供模型,并讨论了柔性网络配置代理的实现。     

证书认证系统中安全事件关联模型的设计及应用

从证书认证CA系统中各种服务系统和安全设备每天产生的海量告警和日志中挖掘出有价值的信息,帮助管理员找到那些真正具有威胁的攻击,有效地保护系统安全,这是CA系统安全管理亟待解决的问题。文章提出了一个CA安全事件关联模型,在此模型的基础上讨论了安全事件的过滤方法和聚合方法,最后将该模型及关联方法应用于一个安全事件关联系统中进行测试。测试结果表明,基于该模型的安全事件关联分析效率更高。     

QPSK并行解调技术研究

建立了一种QPSK并行解调模型,并对定时同步、载波同步、自动增益控制（AGC）和数据恢复等各个模块进行了Matlab仿真分析。提出了一套数据分配与复接的方案,重点提出了一种解决并行解调中载波同步后模糊不统一问题的重编码新方法。     

本原σLFSR序列的采样性质

利用本原σLFSR序列的迹表示得到了其采样序列的距离向量;通过对比m-序列的采样性质,指出本原σLFSR序列采样的区别并得到了其为本原的一个充要条件,最后给出了本原σLFSR序列采样的线性复杂度等若干特性。     

基于业务优先级的带宽分配算法

根据业务实时性要求,对卫星广播网所承载的业务进行了业务优先级划分,研究其带宽分配策略,分析了各类业务的QoS要求。在链路带宽不足的情况下,该算法能够将高优先级业务的延时和抖动控制在业务允许的范围内,有效地保证了高优先级业务的QoS。     

白炭黑胎面胶的新一代硅烷偶联剂

填充白炭黑的低滚动阻力轮胎的开发不断获得新进展。与填充普通炭黑的轮胎相比，白炭黑轮胎不仅降低了油耗，而且具有优异的牵引性能和与后者相当的磨耗寿命。高分散性白炭黑和多硫化双-烷氧基硅烷的发展使高填充白炭黑轮胎商品化获得重大突破。炭黑胶料和白炭黑-硅烷胶料的能耗散机理差异很大，     

不同加载方式下实腹式型钢混凝土T形截面柱损伤试验研究

为研究不同加载方式下实腹式型钢混凝土T形截面柱沿腹板方向的损伤演化规律,设计并制作了10根缩尺比为1/2、剪跨比为2.5的型钢混凝土T形截面柱,变化参数为轴压比、配钢率及加载制度。基于试验成果,对单调荷载及低周反复荷载作用下T形截面柱的荷载 位移曲线及能量耗散能力进行了分析。结果表明：从初始加载到失效,型钢混凝土T形截面柱的损伤过程可分为5个阶段,分别为无损阶段、轻微损伤阶段、损伤稳步发展阶段、严重损伤阶段和破坏阶段;与单调加载相比,随着位移幅值的增大与荷载循环次数的增加,T形截面柱的承载力、极限变形能力和极限耗能能力均有不同程度的降低。在试验研究的基础上,考虑荷载循环次数、位移幅值与极限承载能力的动态关系以及加载路径对T形截面柱损伤的影响,建立了由最大变形与滞回耗能双参数组合的非线性损伤模型,并验证了该模型的合理性。     

流变模型对弹流润滑数值解的影响

采用Carreau流变模型和Ree-Eyring流变模型,研究不同流变模型对黏度较低的Squalane润滑油弹流润滑数值解的影响。分别计算不同卷吸速度、不同滑滚比下Eyring流变模型、Carreau流变模型的摩擦因数,并与试验值进行比较,同时比较Eyring流变模型与Carreau流变模型的摩擦因数、油膜最高温度、中心膜厚及最小膜厚随滑滚比、卷吸速度和最大赫兹压力变化的数值解。结果表明:在滑滚比较小时Eyring流变模型的摩擦因数更加接近试验值,在滑滚比较大时Carreau流变模型的摩擦因数更接近试验值;滑滚比对不同流变模型之间数值解的差别没有影响;随着卷吸速度的增大,Eyring流变模型所对应的膜厚值逐渐高于Carreau流变模型,而油膜最高温度逐渐小于Carreau流变模型;随着最大赫兹压力的增大,Carreau流变模型的油膜最高温度及摩擦因数逐渐大于Eyring流变模型。研究表明,在温和工况下Eyring流变模型更适合Squalane润滑油的弹流分析。     

SiC/石墨配副密封端面织构低速磨损特性

采用端面上加工有倾斜椭圆微孔的SiC环和石墨环配副,实验研究椭圆微孔机械密封端面的低速摩擦磨损性能。实验测量干摩擦及油润滑条件下SiC环的磨损率和温升,分析表面织构对密封端面磨损特性的影响规律。结果表明:接触干摩擦条件下,与织构面配副的石墨环的磨损率明显高于光滑表面;油润滑条件下,转速相对较低时,织构面的温升高于光滑表面,表现出增磨效果;转速相对较高时,织构面的温升小于光滑表面,表现出减磨效果;并且干摩擦和油润滑条件下,表面织构均可减少磨屑的切削和犁削作用,起到表面研磨作用,使得石墨环表面更为光滑。