云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61073012)

国家自然科学基金(61073012): 作品数：22被引量：107H指数：6; 导出分析报告; 相关作者：李峭熊华钢何锋王彤熊颖更多>>; 相关机构：北京航空航天大学北京信威通信技术股份有限公司清华大学中航工业西安航空计算技术研究所更多>>; 相关期刊：《电子与信息学报》《系统工程与电子技术》《航空计算技术》《计算机工程与设计》更多>>; 相关主题：航空电子以太网时间触发实时系统网络演算更多>>; 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>

TTE高完整性和标准完整性配置下同步机制和容错能力对比分析被引量：1: 《载人航天》2020年第1期63-68,共6页杨劲赫李峭汤雪乾; 国家自然科学基金(61073012);国防科技基金(0101070); 针对高完整性与标准完整性配置的时间触发以太网具有不同同步机制和容错能力,对二者的同步机制和容错能力进行对比分析,在OMNet++平台上分别建立高完整性与标准完整性配置的时间触发以太网仿真模型,模拟不同故障下的时钟同步协议操作场...; 关键词：TTE 高完整性标准完整性同步机制容错能力

时间触发以太网分布式时钟同步一致性研究被引量：6: 《电子测量技术》2019年第21期127-130,共4页汤雪乾李峭; 载人航天预先研究项目(060301);国家自然科学基金(61073012)项目资助; 在航空航天电子领域,时间触发以太网(time-triggered ethernet,TTE)提供了一种高精度的分布式时钟同步算法以实现全局时钟的精确同步。对时间触发以太网中时钟同步算法进行理论分析,揭示了TTE网络分布式时钟同步算法的一致性原理。理论...; 关键词：时钟同步时间触发以太网协议分析仿真

可调度性保证的TTP总线能量有效优化方法: 《电光与控制》2018年第6期72-77,101,共7页赵天鹤熊华钢程子敬李峭; 国家自然科学基金(91538202,61073012); 在航空电子互连的实际应用中,时间触发协议(TTP)总线存在着一定量的空闲时段,随着节能环保的"绿色航电"理念渗入到航电系统设计的各个层面,提出一种以能量有效为优化目标的消息调度表生成方法,在保证可调度性的前提下利用空闲时间资源...; 关键词：航空电子综合实时系统能量有效 TTP总线静态分片

时间触发以太网拜占庭容错方法的形式化验证被引量：4: 《载人航天》2018年第2期273-278,共6页汤雪乾李峭孔韵雯何锋; 国家自然科学基金(61073012);国防科技基金(0101070); 对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,...; 关键词：故障容忍形式化方法时间触发以太网拜占庭故障 SAL

面向航空电子云的混合式时间同步算法: 《北京航空航天大学学报》2014年第8期1090-1094,共5页李铮李峭赵露茜熊华钢; 国家自然科学基金资助项目(61073012); 针对航空电子云对时间同步的需求,建立了相应的网络模型、时钟模型和延时模型.给出了节点在不同网络状态下的同步操作流程,基于贝叶斯估计对同步消息的接收处理时间进行补偿,结合集中式同步和分布式一致同步机制,提出了混合式时间同步算...; 关键词：航空电子云时间同步贝叶斯估计鲁棒性

时间触发以太网的分布式任务负载均衡分配方法被引量：5: 《计算机工程与设计》2014年第5期1501-1505,共5页汤宇李峭贾琪明; 国家自然科学基金项目(61073012);航空科学基金项目(20111951015); 对于以时间触发以太网(time-triggered Ethernet,TTE)为互连基础设施的分布式综合化系统,通过将各个任务的物理拓扑、虚拟链路拓扑等多种设计约束属性转化定义为代价函数。提出了一种将信息处理和通信任务指派并映射到分布嵌入式资源的...; 关键词：分布式系统时间触发以太网任务分配负载均衡模拟退火算法

TTE网络流量转换策略及其延时性能保障调度算法研究被引量：19: 《航空学报》2014年第4期1071-1078,共8页易娟熊华钢何锋王彤; 国家自然基金(61073012);航空科学基金(20111951)~~; 时间触发以太网(TTE)通过精确的全局时钟同步,使时间触发(TT)消息具有了严格的时间确定性。当系统同步精度降低时,TT消息的实时性也将严重受到影响。利用TTE交换机的流量类型转换功能,提出了一种基于消息时间窗检测的转换策略(TT-TWD)...; 关键词：航空电子时间触发以太网时间触发转换策略调度算法时间确定性

基于动态粒子群算法的多总线测试任务调度方法: 《电光与控制》2014年第4期5-9,42,共6页田野何锋王彤; 国家自然科学基金(61073012); 测试任务调度多考虑资源约束和任务优先级约束,在对消息实时性要求较高的航空总线测试设备中,需要将任务调度的实时性能作为关键衡量指标。将剩余可调度时间和总线负载均衡程度作为优化目标,在满足资源限制的前提下结合总线协议特征,提...; 关键词：航空电子系统多总线系统测试任务调度粒子群多目标优化

LEO卫星通信系统覆盖时间和切换次数分析被引量：9: 《电子与信息学报》2014年第4期804-809,共6页杨斌何锋靳瑾徐广涵; 国家自然科学基金(61073012);航空科学基金(201119510)资助课题; 针对近地轨道(LEO)卫星移动通信系统,该文提出一种分析不同用户覆盖时间及切换次数的方法。在充分考虑地面用户随机分布特性的基础上,建立了卫星和波束对随机用户的覆盖时间统计模型,推导了星间切换及波束间切换平均次数下限值的计算方...; 关键词：低轨卫星多波束天线覆盖时间切换次数

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling被引量：1: 《Chinese Journal of Aeronautics》2014年第4期856-866,共11页Chen Yao Li Qiao Li Zheng Xiong Huagang; co-supported by the National Natural Science Foundation of China(No:61073012);the Aeronautical Science Foundation of China(No:20111951015);the Fundamental Research Funds for the Central Universities of China(No:YWF-14-DZXY018); Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at vari...; 关键词：Avionics systems Mixed-criticality Real-time scheduling Schedulability analysis Simulated annealing

国家自然科学基金(61073012)