共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
5.
6.
7.
时间触发以太网(TTE)通过精确的全局时钟同步,使时间触发(TT)消息具有了严格的时间确定性。当系统同步精度降低时,TT消息的实时性也将严重受到影响。利用TTE交换机的流量类型转换功能,提出了一种基于消息时间窗检测的转换策略(TT-TWD)。该策略应用于TT流量向速率限制(RC)流量的转换过程,能够避免在系统同步精度降低时,TT消息出现丢包或不可接受延迟的情况。为保障该策略下网络流量的实时性,设计了一种基于流量转换策略的优先级调度算法(PTCTS)。运用网络演算理论对PTCTS算法的实时性进行了分析,并与先入先出(FIFO)算法结果对比,证明了PTCTS算法有效地减小了由TT流量转换而来的RC流量的延迟上界,同时保证了原始RC流量端到端延迟的确定性。 相似文献
8.
基于随机网络演算的TTE网络时延分析 总被引:3,自引:0,他引:3
时间触发以太网(TTE)是一种新颖的混合型时间触发和事件触发的通信网络,通过引入时间触发(TT)流量,增强了航空电子全双工(AFDX)交换式以太网的确定性。虽然TT流量具有完全的时间确定性,但是与AFDX中虚拟链路(VL)兼容的速率约束(RC)流量仍具有一定非确定性。传统用于AFDX网络实时性能分析的方法在考虑TT流量固定分区调度时隙的影响下已不再适用,为了保障RC流量的实时性能,分别提出了基于确定性网络演算和随机网络演算两种延迟分析模型。在确定性网络演算下,通过构造TT流量的聚合到达曲线和RC流量的服务曲线以得到RC的确定性延迟上界;在随机网络演算下,通过切诺夫(Chernoff)边界定理构造RC流量的两状态伯努利分布模型,得到概率保证下的延迟上界。对比实验结果表明:随机网络演算模型可以有效减小确定性网络演算模型对RC流量性能分析的悲观性,同时从一定程度上验证了两种理论分析模型的正确性。 相似文献
9.
10.
11.
基于SAE和EN的航空机体球轴承产品标准,对比分析了SAE和EN的航空机体球轴承标准体系,对相应的SAE和EN产品标准的主要技术内容,包括尺寸、材料、表面处理、密封固定性能、润滑、无载旋转启动力矩、静态承载能力、动态承载能力等性能进行了对比分析,指出了标准之间存在的共同点和差异,为我国航空机体球轴承标准体系建设工作提供一定的借鉴。 相似文献
12.
分析了SAE标准中航空电子系统分部使用范围,研究了SAE标准与适航要求的匹配性,确定了对我国民用航空电子系统设计研制的适用性,提出了SAE航空电子分部标准的采用策略,给出了民用航空电子领域国外标准引进的策略建议,为更加科学、合理、有效地解决我国民用飞机研制领域航空电子产品设计研制标准短缺的问题提供了标准化研究的技术支撑. 相似文献
13.
14.
15.
16.
时间触发以太网(TTE)是分布式综合模块化航空电子(DIMA)系统互连中的骨干网络,需要生成无冲突的时间触发(TT)流量调度表。形式化SMT求解可以抽象地表述多种调度约束;但TT流量间,以及TT流量与分区调度之间存在作业链依赖关系,较复杂的约束会降低求解器的效率。将重要性抽样(IS)方法应用于TT调度表的启发式求解,通过统计“尽可能快”(ASAP)求解的尝试偏移量的经验分布,扭转该变量的抽样分布进行迭代寻优;并针对调度的可行性及作业链的及时性,将IS求解分为2个阶段进行。案例研究表明:第1阶段的IS会演化得出易于保证严格周期调度或抖动较小的尝试偏移量分布,第2阶段IS则会进一步根据作业链的最坏总延迟最小准则进行迭代优化,并且对于分区调度与TT流量调度存在或不存在同步关系的场景都具有适用性。 相似文献
17.
时间触发以太网拜占庭容错方法的形式化验证 总被引:1,自引:0,他引:1
对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,构建了网络节点模型,建立了时间触发体系结构下的拜占庭容错场景,设定了容错操作活性、一致性和有效性等属性的形式化定理。模型检查的结果表明:在三冗余独立路径条件下,该方法可以容忍一个拜占庭故障,且在存在指令/监视对(COM/MON pair)的条件下可以容忍2个高完整性配置节点的"不一致遗漏"故障。与推理论证手段相比,SAL模型检查为时间触发交换式网络在航空航天高安全关键等级系统中的容错配置提供了更规范的依据。 相似文献
18.
19.
<正>2014年12月11日,中国航空综合技术研究所所长梁丽涛与国际自动机工程师学会(SAE)首席执行官戴维?舒特博士在北京共同签署了协议,正式确立双方的战略合作伙伴关系。工业和信息化部装备工业司杨栓昌副司长等领导出席了签字仪式,共同见证了这两家重要航空标准机构走向全面深入合作的关键时刻。SAE作为航空航天标准的制定机构,在国际上享有较高声望,其发布的标准得到了全球航空航天领域的广泛应用。中国 相似文献
20.
贾克帅 《民用飞机设计与研究》2018,(4):75
飞机厨房手推车欲满足适航要求,需通过TSO-C175及其相关标准的适航验证。本文通过对SAE AS8056《飞机厨房手推车、物品箱及相关组件最低设计和性能标准》的研究,结合实际适航取证经验,总结了一套通过试验进行手推车符合性论证的方法,并就关键注意事项进行解析,对民用飞机厨房手推车适航验证有一定的借鉴意义。 相似文献