基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

广义超弹性杆方程解的整体存在性

主要通过先验估计得出广义超弹性杆方程Cauchy问题解的整体存在性,使得广义函数在文中所指定的条件下,广义超弹性杆方程Cauchy问题具有整体存在性．     

直接侧向力与气动力复合控制导弹脱靶量分析

大气层内姿控式直接侧向力控制导弹末制导系统存在气动力控制与复合控制之间的切换,在这种特殊情形下引入有限时间广义H2方法进行脱靶量分析.根据复合控制导弹末制导系统数学模型,研究了切换情形下的零效脱靶量与制导系统关键参数之间的关系,分析了直接侧向力启控时间、有效导航比、修正比例导引系数以及目标估计环节时间常数对零效脱靶量的影响.分析结果为制导末端直接侧向力启控时间的确定和修正比例导引律参数的选择提供了有力依据.     

结构钢缺口板断裂试验及数值分析

通过对25个结构钢缺口板进行的单向拉伸断裂试验,验证了提出的结构钢广义屈服模型和椭球面断裂准则.用ANSYS软件中的参数化设计语言APDL和用户编程功能UPFs,将提出的静水应力型广义屈服模型编制成子程序模块,对结构钢缺口板断裂试验进行了基于广义屈服模型和椭球面断裂准则的数值模拟分析.试验结果表明:裂纹起始于缺口边缘内侧,裂纹在厚度方向贯通后沿宽度发展,试件最终断裂于缺口薄弱断面.缺口板断裂应力场分析表明,提出的椭球面断裂准则对预测结构钢缺口板初始开裂具有广泛适用性和较高精度.     

结构损伤识别的残余向量法及数值仿真

为了找到对小损伤较敏感的参数,在结构自由振动微分方程基础上,利用广义逆和矩阵投影定理,导出了识别效果很好的残余向量投影范数.确定了损伤单元,计算了该损伤单元的损伤因子.算例分析发现,该参数对结构损伤非常敏感,能识别出结构中的微小损伤,而且不受损伤位置的约束,仅需要结构的前几阶模态就能达到很好的效果.     

OFDM快速频偏估计方法

提出一种基于前导符号为L等分结构的OFDM快速频偏估计的新方法,该方法只需一个OFDM符号作为前导符号,数据开销较小.接收端先用相关求相角的方法完成细频偏估计,再对经过细频偏补偿后的前导数据进行符号重构,然后对重构符号采用L点FFT运算,通过寻找频域信号峰值,对剩余频偏进行估计,从而完成粗频偏估计.为进一步降低系统的计算开销,采用了多级判决方式.计算机仿真表明,该方案具有计算复杂度低,估计性能较高的优点.     

OFDM系统相关矩阵的分块结构及同步算法

根据载波加权可增强OFDM系统周期平稳性,实现系统盲同步的基本原理,分析了OFDM系统相关矩阵的分块结构,给出相应系统的盲同步算法.该方法通过检测相关矩阵的分块Toep litz矩阵结构,实现系统定时和载频偏差的估计.同时,在特定系统同步性能交换误码率的情况下通过分析载波加权、系统误码率和载频同步误差之间的互相制约关系,进一步给出了载波加权的确定方法.实验仿真结果表明,采用分块相关矩阵的同步方案与采用循环谱的同步方案相比,可获得更好的系统载频和定时同步效果.     

扩充编码符号的EZW改进算法

为了提高EZW算法的性能,分析发现EZW算法主扫描编码对最高频子带中不重要系数的编码存在冗余,且当重要系数的所有子孙系数都是不重要系数时的编码存在冗余.据此提出了扩充编码符号的EZW改进算法,用最高频子带的坐标作为限制条件来减少不重要系数的编码冗余;通过扩充编码符号和赋予原始EZW算法的4个编码符号新的适用范围的方案来减小第二种编码冗余.实验结果表明,本文算法使峰值信噪比提高0.9～2.3dB,从而证实了本文改进算法的有效性.     

关于广义椭圆积分的几个性质

揭示了由广义椭圆积分定义的一些函数的单调性,从而获得若干不等式。这些结果有助于对广义Grtzsch环函数和Ramanujan模方程及其解φak(r)、φk(r)的研究,这些函数在拟共形理论、数论、几何学等领域中具有非常广泛的应用;同时,从这些结果中可以得到关于完全椭圆积分的一些新的性质。     

平面上不可压缩的Navier-Stokes方程五模截断方程组的标准型

把广义的类Lorenz系统推广到五维,给出了平面上不可压缩的Navier-Stokes方程五模截断方程组广义的类Lorenz系统的标准型;讨论了截断方程组标准型的形式统一性。