【摘 要】
：
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高。对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系统可调度性验证方法——数学证明仿真验证和模型检验,并进一步对比了模型检验方法中的两类方法——符号化模型检验和统计模型检验,介绍了常用的仿真验证工具Cheddar与模型检验工具UPPAAL的验证原理。通过对现有方法的分析总结,明确了ARI
【基金项目】
：
工信部民机科研(MJ-2017-S-39)。
论文部分内容阅读
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高。对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系统可调度性验证方法——数学证明仿真验证和模型检验,并进一步对比了模型检验方法中的两类方法——符号化模型检验和统计模型检验,介绍了常用的仿真验证工具Cheddar与模型检验工具UPPAAL的验证原理。通过对现有方法的分析总结,明确了ARI
其他文献
移民安置是大部分水电站建设中必不可少的一部分工程,移民住宅设计是安置过程中的重要环节。然而移民建筑设计相对普通住宅区设计,受到的各方面制约条件更多,情况更为复杂。所以在设计过程中,建筑结构体系选择和建筑功能布置需要相互配合,才能设计出满足移民要求,且安全合理的住宅。本文以泸定水电站移民住宅设计为例,探讨分析了移民建筑设计中结构体系与建筑功能的适应性探索。
水电站地下厂房是电站运行、办公的主要空间,对地下厂房进行装饰装修可营造一个简洁、明快、大方、舒适的工作环境,增强运行人员的健康心理情绪,提高工作效率。但水电站地下厂房由于工艺要求、运行环境、施工条件等因素,导致厂房装饰装修所采用的材料受到一定的制约。本文通过对水电站地下厂房装饰装修所涉及到的材料进行分析,为相关装饰工作者提供一些借鉴。
结合工程实际地形地质条件,本着“技术可行、经济合理”的原则,对亚曼苏水电站厂区输水建筑物进行了优化研究,采用设置地面气垫式调压室布置方案,使输水建筑物布置既满足调保设计要求,又能取得良好的经济效益,解决了工程“高筑前池,深挖厂房”带来的施工和运行安全问题,可为类似工程提供借鉴与参考。
随着水电站开发中对环境保护要求的不断提高,建筑风貌成为水电站设计中景观打造的重要组成部分,结合周围优越的自然环境,水电开发将成为提供人们参观、学习和旅游的宝贵资源财富。传统水电站枢纽区建筑中单调、方正的简单形体已不能满足现代人的审美需求,本文通过对某水电站枢纽区建筑风貌设计进行探讨,以期为同类工程提供参考。
新时代文明实践农业科技志愿服务队农业信息化专业工作队的助农志愿服务得到了农户和广大消费者的持续关注.应广大消费者要求,5月24日,志愿者再次来到野虎村,开展了新一期“
随着时代发展和人们审美水平的不断提高,人们对水电站厂房装修效果提出了更高的要求,工程中出现了很多新技术、新工艺和新材料,如清水混凝土、仿清水混凝土、各种装饰挂板、贴砖、密封固化剂、耐磨、防火、防静电材料等。而水电站厂房装修中,厂房地面是水电站装修工程的重点,其技术措施是否合理,施工工艺是否到位,直接影响厂房装修质量。目前环氧自流平、水泥自流平、多晶渗硅水磨石、橡胶地板等新兴的整体地面材料及工艺大大提高了水电站厂房的适用性与美观性,其中环氧自流平是水电站厂房地面的常用技术措施。本文通过对水电站厂房环氧自流平
5月15日上午,由冶金工业规划研究院、山东省工信厅指导,聊城市工信局、冠县人民政府主办,山东电子学会协办,冠县工信局承办的重点行业(精品钢板产业)智能化绿色化技改现场会
中国研究生电子设计竞赛是由教育部学位管理与研究生教育司、教育部学位与研究生教育发展中心指导,由中国学位与研究生教育学会、中国科协青少年科技中心、中国电子学会联合主办的研究生学科竞赛,是学位中心创办的“中国研究生创新实践系列大赛”主题赛事之一。
“十四五”规划纲要将“加快数字化发展 建设数字中国”单独成篇,并首次提出数字经济核心产业增加值占GDP比重这一新经济指标,明确要求我国数字经济核心产业增加值占GDP的比
2018年3月8日,习近平总书记参加十三届全国人大一次会议山东代表团审议时,希望山东在全面建成小康社会进程中、在社会主义现代化建设新征程中走在前列,全面开创新时代现代化强省建设新局面。党的十八大以来,习近平总书记多次到山东考察并发表重要讲话,作出系列重要指示,赋予山东新的使命任务。山东省委、省政府坚持以习近平新时代中国特色社会主义思想为指导,深入贯彻落实习近平总书记对山东工作的重要指示要求,一步步展开谋篇布局,一步步推进落实攻坚,朝着总书记嘱托、全省人民期盼的方向阔步前行。