论文部分内容阅读
介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真，验证了其满足航空电子网络数据传输的可靠性需求。
AFDX冗余管理机制的仿真
【摘 要】
：
介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPA
【机 构】
：
清华大学计算机科学与技术系,北京信息科技大学信息安全系,洛阳电光设备研究所电子部
【出 处】
：
计算机工程
【发表日期】
：
2008年23期
【基金项目】
：
国家自然科学基金资助项目（90104002）,国家“863”计划基金资助项目（2001AA112080）,北京市属市管高校人才强教计划基金资助项目（PXM2008-014224-055928）,北京市教委科技发展面上基金资助项目
其他文献
全国夏粮收获已近尾声。据农业部16日消息，今年夏粮面积保持稳定，特别是去年秋播以来，各项关键技术落实较好，防灾减灾和病虫防控有力，加上气象条件总体较好，今年夏粮仍是一个丰收年
深入研究中国历史教育史的价值问题,汲取有益部分,对推进新时代中国特色的历史教育必将产生积极影响。回顾百年来我国基础教育历史教育价值研究的轨迹,经历了民国至新中国成
本文在分析国内外高速公路建设资金来源和我国高速公路投融资体制的基础上，指出目前我国高速公路建设资金过于依赖银行贷款，债券融资等方式并未得到充分、合理的运用。而我国企
旋转压缩机:年终结构性备货产销环比好转1月旋转压缩机行业生产754.2万台,同比下降28.46%,环比下降20%;销售789万台,同比下降31.51%,环比减少11%。本月库存量为361.66万台,基
商业银行的经营管理实践产生了各时期的银行经营管理理论。它包括资产管理理论、负债管理理论、资产负债管理理论等。资产管理理论产生于十八世纪七十年代,它强调为了满足充
中共中央总书记、国家主席、中央军委主席、中央财经领导小组组长习近平17日下午主持召开中央财经领导小组第十六次会议，研究改善投资和市场环境、扩大对外开放问题。习近平发
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以新鲜海带为前驱体,通过清洗、酸化和高温炭化过程制备了微孔/介孔复合多级孔炭纳米材料。采用SEM,TEM,N2吸脱附,Raman光谱和电化学测试对其结构和电化学性能进行了表征,结
本文采用溶胶–凝胶静电纺丝技术获得了直径均匀,长度连续的正交钙钛矿结构BNdT纳米纤维。通过TG/DTA、XRD、SEM和TEM表征手段,研究了退火温度对样品的结晶过程、晶体结构和