牛文生
- 作品数：57 被引量：518H指数：9
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家自然科学基金中国航空科学基金国防基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信理学更多>>
- 基于串空间的Ad Hoc安全路由协议攻击分析模型被引量：8
- 2011年
- 根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.
- 董学文马建峰牛文生毛立强谢辉
- 关键词：串空间ROUTING
- 高速数字电路中的信号完整性问题被引量：36
- 2001年
- 主要介绍了在高速数字电路中的信号完整性问题。并讨论了如何降低电路中信号干扰的方法。
- 孙靖国牛文生刘东
- 关键词：串扰信号干扰高速数字电路信号反射信号完整性
- 牛文生 核心计算平台技术专家
- 2014年
- 飞机信息化系统是民用客机先进性标志之一，请您介绍一下该项技术在国内外的研究及应用现状。
- 牛文生亦非
- 关键词：信息化系统民用客机
- 时变时滞模糊系统的时滞反馈控制
- 2011年
- 对一类带有时变时滞的模糊系统,研究了其反馈控制问题。通过定义一种新型的模糊Lyapunov-Kra-sovskii泛函(LKF),得到开环系统时滞相关的稳定条件。在推导过程中引入模糊自由权值矩阵变量,避免了使用边界不等式和模型转换所带来的保守性;同时在估计LKF导数上界时,考虑了在以前文献中常被忽略的有用项。采用并行分布补偿算法(PDC),得到了闭环系统时滞相关稳定的充分条件。设计出了相应的时滞控制器,并将其转化成为一个受线性矩阵不等式(LMI)约束的凸优化问题。最后,通过仿真例子验证了所提方法的有效性。
- 郭岗闫晓婷牛文生朱敏
- 关键词：时滞反馈线性矩阵不等式
- 面向AFDX网络的交换机流量管制算法被引量：4
- 2012年
- 综合化航空电子系统采用ARINC664航空电子全双工交换网(AFDX)构建主干数据通信网络,该网络具有通信带宽高、传输延迟确定、扩展能力强等特点。AFDX交换机采用流量管制技术检测虚链路的数据传输是否满足流量规则约束,能避免虚链路超限使用带宽,有效保证不同虚链路传输带宽隔离和通信确定性。文章基于ARINC664规范,提出了一种AFDX交换机流量管制的设计与验证方法。验证结果表明,该方法能够在正常、Account共享的场景下,对输入AFDX交换机的流量进行有效管制。
- 王红春张涛牛文生
- 关键词：AFDX令牌桶
- 基于深度学习的跑道前视红外图像轮廓线提取被引量：10
- 2019年
- 针对前视红外图像中的机场跑道检测问题,提出了基于深度学习的端到端的实时检测算法。算法首先利用深度学习在物体特征表达上的优点,采用当前主流端到端的YOLO(You Only LookOnce) V2检测算法提取候选目标,寻找跑道所在位置;然后在已经获取跑道所在边框的基础上,在神经网络最后一层采用多尺度线段检测器(Line Segment Detector,LSD)进行精确的线段检测;最后对所检测的线段进行融合,提取轮廓线。真实实验数据表明,该算法基本上能满足机场轮廓提取实时性好、提取精度高、抗干扰性强等要求。
- 袁雷程岳牛文生罗午阳
- 机载计算技术的新进展被引量：14
- 2012年
- 分析了未来信息化技术对航空武器装备和作战方式的影响,提出了机载计算技术的发展方向,并对国际的最新研究情况,包括跨平台分布式计算系统、分布式综合化模块化结构、高组装/功率密度技术、多核处理器应用、高安全机载操作系统、高安全无线网络等,进行了总结,对国内机载计算技术的发展具有一定的参考价值。
- 牛文生王乐
- 关键词：航空武器装备航空电子系统
- 综合化航空电子系统可信软件技术被引量：12
- 2009年
- 航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。
- 沈玉龙崔西宁马建峰牛文生
- 关键词：安全系统
- 带有时变时滞的不确定模糊系统的鲁棒控制被引量：7
- 2009年
- 提出了一种对一类状态和输入都带有不确定的时变时滞模糊系统的稳定性分析和设计方法.定义了一个模糊Lyapunov-Krasovskii泛函(FLKF),得到了开环系统时滞相关鲁棒稳定条件.在推导过程中引入多个模糊自由权值矩阵变量,避免使用模型转换和边界不等式所带来的保守性.采用并行分布补偿算法,得到了闭环系统时滞相关鲁棒稳定条件,通过一组线性矩阵不等式设计出反馈控制器.最后,通过仿真例子验证了结果.
- 郭岗牛文生崔西宁叶宏
- 关键词：时变时滞线性矩阵不等式鲁棒控制
- 基于FPGA的视频转换模块设计与实现被引量：3
- 2010年
- 主要阐述了基于FPGA的视频转换模块(VCM)的设计与实现,重点描述了VCM模块的系统结构设计、基本硬件设计及功能实现。VCM模块主要完成显示信息的选择、叠加、图像缩放等功能,显示信息通过输出接口分别输出到显示器上。
- 李翠娟牛文生杨敬宝
- 关键词：视频叠加视频切换图像缩放FPGADDR
