论文部分内容阅读
介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真，验证了其满足航空电子网络数据传输的可靠性需求。
AFDX冗余管理机制的仿真
【摘 要】
：
介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPA
【机 构】
：
清华大学计算机科学与技术系,北京信息科技大学信息安全系,洛阳电光设备研究所电子部
【出 处】
：
计算机工程
【发表日期】
：
2008年23期
【基金项目】
：
国家自然科学基金资助项目（90104002）,国家“863”计划基金资助项目（2001AA112080）,北京市属市管高校人才强教计划基金资助项目（PXM2008-014224-055928）,北京市教委科技发展面上基金资助项目
其他文献
本文在分析国内外高速公路建设资金来源和我国高速公路投融资体制的基础上，指出目前我国高速公路建设资金过于依赖银行贷款，债券融资等方式并未得到充分、合理的运用。而我国企
商业银行的经营管理实践产生了各时期的银行经营管理理论。它包括资产管理理论、负债管理理论、资产负债管理理论等。资产管理理论产生于十八世纪七十年代,它强调为了满足充
中共中央总书记、国家主席、中央军委主席、中央财经领导小组组长习近平17日下午主持召开中央财经领导小组第十六次会议，研究改善投资和市场环境、扩大对外开放问题。习近平发