徐晓飞

作品数：14被引量：38H指数：2
导出分析报告
供职机构：中国航空无线电电子研究所更多>>
发文主题：调度时间触发交换机交叉开关VOQ更多>>
发文领域：自动化与计算机技术航空宇航科学技术电子电信一般工业技术更多>>
发文期刊：《小型微型计算机系统》《北京航空航天大学学报》《哈尔滨工业大学学报》《计算机工程与应用》更多>>
所获基金：中国航空科学基金国家自然科学基金国家部委资助项目国防科技重点实验室基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
千兆三余度AFDX帧管理的形式化建模与验证被引量：1
《航空电子技术》2023年第1期1-8,共8页罗泽雄 高驰 吴伯春 汤雪乾 许伟钰 曲国远 徐晓飞 
为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX网络的帧管理机制模型并进行了形式化建模,而且实现了AFDX网络标准中描述的SkewMax机制。使用U...
关键词：千兆AFDX 三余度 帧管理设计 形式化建模 完整性检查 冗余管理 
基于扩展标记变迁模型的时钟同步协议正确性验证被引量：1
《国防科技大学学报》2019年第3期42-49,共8页曲国远 徐晓飞 刘威廷 王沁煜 贺飞 
航空科学基金资助项目(2015ZC15001);国家部委基金资助项目(3030603);国家自然科学基金资助项目(61672310,61272001,91218302)
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步...
关键词：形式化方法 协议验证 模型检测 
TT-RMS:时间触发网络通信表生成算法被引量：10
《北京航空航天大学学报》2015年第8期1403-1408,共6页徐晓飞 曹晨 郭骏 刘忠伟 
工信部"十二五"预研项目(MJZS201103);总装重点实验室基金(02120C4701)
针对时间触发网络依据全局时间进行触发数据通信的特点,提出了一种基于单调速率调度(RMS)调度机制的通信表生成算法时间触发单调速率调度(TT-RMS),来生成时间触发网络的通信表.TT-RMS算法在安排消息时间槽过程中,首先根据消息周期,计算...
关键词：RMS调度机制 时间触发网络 通信表生成 可满足性理论 实时通信 
VOQ交换机的输出队列调度算法被引量：1
《哈尔滨工业大学学报》2009年第7期120-123,共4页徐晓飞 吴建民 龚诚 
航空电子系统综合技术国防科技重点实验室资助
针对VOQ高速交换机的通信调度,提出在VOQ交换机的输出队列中直接进行通信调度(OSA-VOQ)的策略.OSA-VOQ算法可直接支持变长数据包通信调度,克服了传统通信调度算法只能调度定长数据包的缺点,降低了交换机的实现复杂度.仿真结果表明,在各...
关键词：虚拟输出队列 通信调度算法 输出端口调度 
分布式调度算法在VOQ交换机中的应用
《计算机应用》2006年第8期1788-1790,共3页徐晓飞 
航空电子系统综合技术国防科技重点实验室资助
为提高高速通信网络的通信效率,针对VOQ交换机,提出在交换机的各个输出端口中进行分布式通信调度(DSA)的策略。DSA算法可直接支持变长数据包通信调度,克服了传统信元交换只能调度定长数据包的缺点,降低了交换机的实现复杂度。仿真结果表...
关键词：虚拟输出队列 通信调度算法 分布式调度算法 
光纤通道技术在航电系统中的应用被引量：18
《航空电子技术》2005年第3期9-14,24,共7页黄浩益 黄栋杉 徐晓飞 
根据航电系统对总线和网络的需求,介绍了光纤通道的特性,对当前几种典型的总线和网络进行了分析和比较,指出在综合航空电子系统中采用光纤通道作为系统互连网络是一种很好的选择,并介绍了系统通信过程的设计。
关键词：光纤通道 航空电子 网络 系统互连 
基于硬件优先级队列的FC实时交换机的研究被引量：1
《航空电子技术》2005年第1期16-18,53,共4页徐晓飞 黄浩益 姚拱元 
实时交换机可为用户提供微秒级硬实时通信性能,在航空航天领域具有广阔的应用前景。本文提出采用硬件优先级队列来实现FC实时交换机,以支持航电统一网络的硬实时通信。标准的FC协议采用虚电路方式支持实时通信。相对于虚电路方式实现的...
关键词：硬实时通信 优先级队列 FC交换机 
Windows NT下的先锋网卡驱动程序开发被引量：1
《计算机工程与应用》2004年第6期137-139,共3页曾小荟 康继昌 徐晓飞 
国家航空基金资助
西北工业大学计算机科学与工程系提出了“先锋网(Pioneer-net)”,论文针对先锋网卡具有可编程的特点,采用缓冲I/O的方式用于在用户地址空间和内核地址空间之间拷贝数据,使用事件对象来解决用户空间的接收程序和驱动程序的同步问题,并且...
关键词：先锋网卡 PCI总线 WINDOWS NT 设备驱动程序 
一种可扩展的交互式软件可视化框架
《西北工业大学学报》2003年第5期582-585,共4页林奕 周兴社 徐晓飞 
国防重点实验室基金 (99JS94. 6. 1. HK0 313)资助
软件可视化技术是现代软件工程的重要组成部分 ,其主要研究目标是如何提高可视化效果 ,增强可视化的表达能力等。然而 ,要使可视化技术充分发挥作用 ,必须在更多软件工具中使用之。文中结合面向对象编译系统构造框架 OOCF,提出了一种可...
关键词：软件可视化 可扩展 交互式 面向对象框架 
集群通信网络中的高速率位同步技术被引量：1
《西北工业大学学报》2003年第5期590-594,共5页冯萍 徐晓飞 康继昌 
国防基础研究 (J14 0 0 B0 0 6 );航空基金 (0 2 F5 30 31)资助
采用 FPGA( Field Programmable Gate Array)器件实现高速集群通信中的多路数据同步检测时 ,由于受器件本身性能限制 ,难以设计出具有较高速率的数字锁相环 ( DPLL)电路。本文对采用 FPGA器件设计的高速率位同步电路 ,从通信可靠性角度...
关键词：高速率位同步 多路数据 具有相位差的多检测信号 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部