全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 综合模块化航空电子多约束分区调度方法
- 作者： 杨骏峰 李峭 来源： 电子测量技术 年份： 2017 文献类型 ： 期刊 关键词： 分区约束条件 调度 图论 IMA SMT工具 航空电子
- 描述： 在综合模块化航空电子系统(integrated modular avionics,IMA)中,采用严格的空间和时间分区管理(partitioning)保证同一个模块上运行的不同应用可以共享处理资源。根据系统硬件资源和应用的要求,定义分区的多类型约束条件,使得分区到在各个模块上的分配和时分访问调度成为复杂的组合优化问题。通过将分区分配的预处理与满足性模理论(satisfiability modulo theories,SMT)求解调度表的方法相互结合,可以减少断言式和分区调度时刻变量的数量,提高求解效率;其中,预处理过程采用最大独立团算法,随后将剩余的分区约束条件转换成SMT工具可识别的逻辑表达式,形式化求解得到各个分区的调度时刻。通过规模不同的算例,验证了该方法可行性,并说明预处理过程对于快速判断满足性要求和缩短求解时间的好处。
- 基于电化学阻抗的航空有机涂层加速老化动力学规律研究
- 作者： 谭晓明 王鹏 王德 钱昂 来源： 装备环境工程 年份： 2017 文献类型 ： 期刊 关键词： 加速试验谱 有机涂层 电化学阻抗 老化
- 描述： 目的研究有机涂层的加速老化动力学规律。方法针对某飞机实际服役环境条件特点,编制有机涂层加速老化试验谱,开展0~9 a的当量加速老化试验。借助PARSTAT 4000电化学工作站,测试老化试验后涂层试件的电化学阻抗值。结果得到了不同老化周期有机涂层的Bode图、等效电路、孔隙率、吸水率和电化学阻抗,表征了加速试验条件下的老化动力学规律。结论低频阻抗|Z|0.01可以作涂层防腐蚀性能的评价指标,涂层老化过程大致可分为初期、中期和后期三个阶段,分别对应三个不同等效电路。