基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

基于自适应PID的异步电机电流控制

在异步电机矢量控制电流环中采用参数自适应PID算法。该算法采用带遗忘因子的递推最小二乘算法对PID参数进行在线估计,能够根据不同情况实时调整PID参数。试验结果表明,该算法鲁棒性强、稳定性好、自适应性强、计算量小,能够满足对电流控制的要求,并且提高了速度的抗干扰能力。     

基于BWI辐射效率的低气动噪声共轴对转螺旋桨的设计研究

将共轴对转螺旋桨气动噪声快速预测理论与气动载荷快速预测方法相结合,对共轴对转螺旋桨远场气动噪声进行预测。分析了BWI辐射效率对共轴对转螺旋桨BWI干扰噪声的主控影响。对从低至高的(单排6-12)前后等桨叶数对转桨进行了研究。结果表明虽然低桨叶数与高桨叶数对转桨的气动噪声特性不同,但是总体上前后指向性的高声压区仍然是由BWI噪声控制。同时等桨叶数的设计只是使高声压区更集中,却无法对其进行降低。随后,对比了不同桨叶数共轴对转螺旋桨远场气动噪声的表现,认为不等桨叶数对转桨气动噪声普遍优于等桨叶数情况。得出了总桨叶数相同情况下对转桨前后桨叶数的搭配方案。对近场噪声高精预测方法将在未来的研究中对辐射效率的具体机理进行研究。     

试论强化高校德育重要性的认识

以德育人是全面推进素质教育的关键,强化以德育人的认识,迎接新形势的考验与挑战,坚持把德育放在首位,这是个人成长、国家繁荣稳定的客观要求,也是实现伟大民族复兴的迫切需要.     

廊坊市环境空气污染变化趋势及原因分析

本文根据"十五"期间廊坊市五年大气常规监测结果,采用spearman秩相关系数法、空气污染指数法分析评价了该市大气环境质量的现状及呈逐年明显改善变化趋势,并对其污染特征和变化趋势进行了原因分析.     

基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

机务维修保障模式适用性评估体系研究

借鉴评估学方法,结合试飞机务维修保障模式变革实践,提出了“边评边改、以评促改”为代表的适用性评估原则;构建了以基于组织体系、运行机制和法规制度为对象,以维修安全分析评价、维修保障效能评估、体系要求符合性评价、人员工作负荷评价、运行成本分析、辅助技术应用评价等6方面内容为核心的两级评估指标体系,并形成了评估的实施流程;针对保障模式变革需求,提出了数据收集、方法选取、效能基线建立等思考建议。     

ADWR-X多普勒天气雷达回波自动识别监视与预警系统设计

利用广汉机场和绵阳机场两部ADWR-X机场终端区X波段多普勒天气雷达的基数据,对其进行解码和分析,通过改进的TITAN算法对强对流回波进行自动识别,提取出强对流回波的距离、强度、回波顶高、强回波中心等信息,并进一步给出天气类型的判断以及预警.系统是通过Microsoft Visual Studio 2017开发环境采用...     

含薄层区域上的一类等值面边值问题解的极限性态

研究了来源于石油开发中电阻率测井中的一类含薄层区域上的非线性退化椭圆型等值面边界值问题,在自由项与零阶项的系数均为L1可积的条件下,证明了问题有界弱解的存在性与唯一性。同时假定方程的系数满足一定收敛条件时,当薄层区域收敛于一曲面时,得到了问题解的极限性态。其结果表明,在实际计算中可以将原问题近似为一个没有薄层区域的交界面问题来处理。