张严
- 作品数：10 被引量：9H指数：2
- 供职机构：南京航空航天大学更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程航空宇航科学技术更多>>
- 考虑结构因素的起落架摆振稳定性分析
- 起落架系统故障占了飞行事故中大部分比重，其中起落架摆振引发的事故是不可忽视的一个重要原因，起落架摆振给飞机带来安全上的重大隐患。本文采用线性摆振理论的代数稳定判据和基于频率响应特性的稳定判据、非线性动力学的分岔理论研究了...
- 张严
- 关键词：飞机起落架稳定判据分岔理论
- 一种高阶进程代数的弱互模拟研究
- 进程代数作为描述和分析并发与分布式系统的重要工具之一，是并发理论的主流研究方向。互模拟是进程代数的核心概念之一，用来刻画进程之间的等价关系，其中描述观察等效的弱互模拟是最为重要的互模拟之一，其性质往往比较难以研究。
...
- 张严
- 关键词：等价关系
- 文献传递
- 一种高效飞机地面滑行系统
- 本发明公开了一种高效飞机地面滑行系统，包括车架以及安装于该车架上的动力装置、变速箱、驱动轮、地面轮、固定臂和活动臂；动力装置的输出轴为变速箱输入轴，变速箱输出轴带动驱动轮转动，固定臂和活动臂的自由端安装弹性滚轮。安装使用...
- 陈大伟喻浩文张严吴东苏
- 文献传递
- 面向逻辑标记转换系统的进程演算CLLR的研究
- 为了形式化规范、验证和分析反应式并发系统，学术界提出并发展了多种形式化规范方法。这些方法大体上可分为两类：基于动作的和基于状态的。基于动作的规范方法以进程代数（演算）最具代表性;基于状态的方法通常以模态逻辑或演算描述系统...
- 张严
- 关键词：递归算子方程解
- 文献传递
- 一种高效飞机地面滑行系统
- 本发明公开了一种高效飞机地面滑行系统，包括车架以及安装于该车架上的动力装置、变速箱、驱动轮、地面轮、固定臂和活动臂；动力装置的输出轴为变速箱输入轴，变速箱输出轴带动驱动轮转动，固定臂和活动臂的自由端安装弹性滚轮。安装使用...
- 陈大伟喻浩文张严吴东苏
- 飞机地面滑行机轮驱动系统
- 本发明公开了一种飞机地面滑行机轮驱动系统，包括机架、动力装置、变速箱、转盘、顶撑装置以及辅助轮；动力装置、变速箱以及辅助轮安装在机架上，动力装置的转轴为变速箱的输入轴，转盘的转轴为变速箱的输出轴；顶撑装置安装在转盘上；顶...
- 陈大伟喻浩文张严刘晖
- 文献传递
- (η,α)-互模拟的分层及判定算法
- 2015年
- 分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。(η,α)-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想:在比较系统差异时,越晚出现的差异越不重要。为(η,α)-互模拟建立分层刻画,将清晰地揭示这种折扣思想。此外,由于(η,α)-互模拟一般不是等价关系,所以传统的互模拟判定算法中常用的最粗划分方法不适用于(η,α)-互模拟的判定,基于(η,α)-互模拟的分层刻画给出一种该互模拟的判定算法。还提供一个简单的例子用于说明(η,α)-互模拟及其判定算法在描述实现与规范之间关系时的应用。
- 张晋津张严朱朝晖
- 考虑间隙特性的起落架摆振非线性分岔分析被引量：5
- 2018年
- 采用考虑结构间隙、支柱弹性、轮胎变形、支柱前倾角、垂直载荷等影响因素的非线性摆振分析模型,利用分岔分析方法,研究间隙对摆振平衡点的影响,以及支柱扭转阻尼和间隙值对摆振振幅的影响。分岔计算得到系统的单参数分岔图、双参数分岔图以及扭转角幅值随速度变化曲线。研究结果表明,当前起落架系统出现扭转间隙时,飞机滑跑的临界稳定速度会大大降低,并且临界稳定速度不随间隙变化。同时发现,支柱扭转角振幅随间隙值增大而增大,随扭转阻尼增大而减小。研究结论可为间隙型摆振的发生机理和防摆设计提供研究途径。
- 张严陈大伟喻浩文
- 关键词：起落架摆振非线性分岔
- 带扰动控制系统的形式化设计
- 2015年
- 利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化"转换函数.进而,利用"弱化"转换函数提出一种方法用于构造控制器,使原系统近似满足给定规范;利用"强化"转换函数,提出另一种方法用于构造控制器,使原系统严格满足给定规范.本文分析比较上述两种方法与文献中已有的方法,指出各自的优缺点和适用范围.最后给出仿真实验,说明上述两种方法的有效性并展示这些方法的不同适用范围.
- 张晋津张严朱朝晖
- 关键词：反馈控制时序逻辑
- 飞机地面滑行机轮驱动系统
- 本发明公开了一种飞机地面滑行机轮驱动系统，包括机架、动力装置、变速箱、转盘、顶撑装置以及辅助轮；动力装置、变速箱以及辅助轮安装在机架上，动力装置的转轴为变速箱的输入轴，转盘的转轴为变速箱的输出轴；顶撑装置安装在转盘上；顶...
- 陈大伟喻浩文张严刘晖
