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

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

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

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

L型广义扩张原理及其在模糊集范畴中的应用

首先给出了L型模糊集的广义扩张原理,并讨论了它的基本性质;然后定义了两个L型模糊集范畴■(L)与■(L),并证明了范畴■(L)与范畴Set同构且范畴■(L)同构于范畴■(L)的一个子范畴.研究结果可应用于泛型信息处理设计.     

一种支持多业务承载的广义光突发汇聚机制

引入广义光突发汇聚(GOBA)概念对传统光突发交换(OBS)进行扩展,形成新的广义OBS(GOBS)网络。针对GOBS的多业务承载目标,提出了一种支持多业务承载的GOBA机制,采用将业务最小时延要求作为汇聚时间的汇聚方式,将多种用户数据业务汇聚到不同粒度的广义数据突发(GDB)中。仿真结果表明,在GOBS环境下,与MSMAP(max burst-size max assembly period)机制相比,GOBA能够在满足较高数据成功接收率的基础上显著地减小约10%的总体数据超时率,同时降低约15%的突发碰撞率,并提高约20%信道利用率。     

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

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

一般广义不确定周期时变系统的鲁棒稳定性

针对一般广义不确定周期时变系统存在鲁棒稳定性问题,根据一般广义周期时变系统的Lyapunov不等式,提出一般广义不确定周期时变系统鲁棒稳定的概念,并采用矩阵不等式（LMI）方法进行分析,得到了该类系统鲁棒稳定的充分必要条件.研究了在状态反馈控制下保证闭环系统鲁棒稳定的条件,给出了一组状态反馈鲁棒控制器的设计方法;引入了一般广义不确定周期时变系统二次稳定的概念,讨论了二次稳定性与鲁棒稳定性的关系,是广义定常系统相应结论向一般广义周期系统的自然推广.     

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

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

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

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

基于广义AIC和RPC的OFDM航空信道估计算法

文章通过对航空信道的分析,指出其稀疏信道特征,使用普通算法对此信道进行信道估计会引入高阶矩阵运算,为加快收敛速度、降低实现难度,文中提出了一种利用GAIC(generalized Akaike information criterion)准则和RPC(repeated phase-rotated Chu)训练序列的OFDM航空信道LS(1east squares)估计方法,该方法利用GAIC准则确定信道模型的阶次及抽头位置,为减小信道估计的运算复杂度,引入RPC序列作为训练序列,既满足了LS(least squares)估计,又大大简化了计算复杂度.文章针对具体应用给出文中算法的性能仿真结果,证明了此算法可避免高阶矩阵运算,节约了大量权值可忽略抽头所引入的资源占用和计算量,且显著减小估计误差,可更好跟踪快变的稀疏信道.     

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

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