高宇
- 作品数：2 被引量：6H指数：2
- 供职机构：北京航空航天大学中法工程师学院更多>>
- 发文基金：中国航空科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 遥测设备自动测试系统的设计与实现被引量：4
- 2010年
- 采用网络化虚拟仪器思想将分散的测试仪器设备组建成一个测试网络,通过软件程控仪器和数据实时处理,实现了一个通用的遥测设备自动测试系统。该系统可以完成待测设备各通道传输精度的标定与测试,各类遥测信号的模拟以及射频信号参数测试。相比传统的手工测试模式,该系统不仅可以提高测试效率和测量精度,还能根据用户需求自动生成测试报告并给出测试结论。目前该系统已投入实际应用,各项测试指标均满足设计要求,工作稳定,操作简便,对同类系统设计具有参考价值。
- 高宇朱秋明罗艳强
- 关键词：自动测试系统网络化虚拟仪器遥测系统通用接口总线
- AFDX流量管制信用量设置的模型检查被引量：2
- 2011年
- 航空电子全双工交换式以太网(AFDX)实时通信中,交换节点采用信用量令牌桶(creditedtoken bucket)进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性(bounded liveness)模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路(VL)的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。
- 高宇李峭熊华钢
- 关键词：AFDX时延抖动时间自动机
