余亚刚
- 作品数：5 被引量：4H指数：1
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于CY7C68013A的USB通信接口设计被引量：3
- 2017年
- 为了实现雷达信号处理平台与上位机之间的数据传输,采用USB技术设计一种基于CY7C68013A的数据通信接口。介绍了USB的传输方法及CY7C68013A的性能,着重讨论了通信接口的硬件设计,给出了FPGA控制逻辑的设计方法,讨论了固件程序的设计实现方法。通过实际测试,验证了系统的有效性。
- 余亚刚
- 关键词：CY7C68013A数据传输逻辑控制固件程序
- 基于AFDX网络演算的性能分析技术研究
- 2013年
- 航空全双工交换式以太网(AFDX)是用于安全关键应用领域的数据传输网络,它采用带宽划分提供确定性的服务质量。AFDX将用于新一代航空电子系统的数据传输网络。网络演算是一种基于非线性代数的确定性排队理论,是计算延迟和积压等端到端性能参数的确界的有效工具。本文围绕网络演算在AFDX网络中计算延迟边界的应用及近年研究成果进行了总结和分析比较,并指出了未来的研究方向。
- 邱征林坚余亚刚王红春
- 关键词：网络演算
- AFDX网络演算时延分析方法研究被引量：1
- 2013年
- AFDX网络时延分析,有助于验证和优化AFDX网络配置,确保航空电子网络可靠性和实时性。基于确定性网络演算理论,建立AFDX数据帧网络传输元模型,给出时延界限分析方法,并重点研究基于先进先出策略和静态优先级排队策略的复用排队时延计算方法。该方法能够有效计算AFDX网络最差情况下的最大数据传输时延。
- 邱征王红春陈长胜余亚刚
- 关键词：AFDX网络演算
- 一种可扩展的C代码静态分析方法研究
- 2012年
- 为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kripke结构模型,使用NuSMV工具验证公式库中的公式是否满足代码检查的要求;最后采用GCC编译平台提供静态检查的实验结果。该方法可以找到代码中用户事先配置的错误模式,消除代码隐患。
- 余亚刚邱征魏雪菲
