论文部分内容阅读
综合控制管理是机载机电设备发展的趋势.针对航空机电设备综合控制管理预研项目，利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术，设计并实现了一个分布式容错计算机系统.讨论了系统的工作特点、系统结构、通信网络、冗余管理和实时容错分布执行软件.
机载UMS分布式容错计算机系统设计
【摘 要】
：
综合控制管理是机载机电设备发展的趋势.针对航空机电设备综合控制管理预研项目，利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术，设计并实现
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
2001年4期
其他文献
在原有的多分辨率多模型算法的基础上引入了滤波器混合的方法，提出了一种新的机动目标跟踪算法.原多分辨率算法在多分辨率框架下应用硬切换多模型算法，改善了多模型算法在非机
通过对最优库存策略的研究，在总需求一定的情况下，得出总库存费用与配送中心数目的平方根模拟表达式，并进一步提出考虑库存成本的选址模型。克服了以往物流选址模型中忽略库存成
介绍了摆式车辆倾摆机构的形式、建立了倾摆的运动学和动力学分析模型，根据倾摆机构对车体倾摆功能及安全性、倾摆作动器的选择、空间布置等的影响，确定了参数优化的条件的目标
预见预测信息的加入能使飞行员提前感知飞机的未来状况,从而对飞机做出超前控制.以飞机下滑着陆为例,研究了预见预测多功能座舱显示器的设计.把最优预见控制理论应用到飞行高
机车车辆的动力学动态仿真系统一般包括模型建立、模型计算、模型显示３部分。文中提出了基于三视图ＣＡＤ设计思想，可视地将机车动力学仿真模型初始数据链附着在图形界面上，从而建立起
网络工程专业以传统课程教学体系在“互联网+”新形势下难以满足应用型创新创业人才培养。本论文以攀枝花学院网络工程专业为例,研究和探索以用人单位对人才需求为导向,将课
运用桥梁结构动力学与车辆动力学的研究方法，将车桥作为联合动力体系，以京沪高速铁路南京越江方案钢斜拉桥为研究对象，进行了高速列车过桥时的车桥空间耦合振动响应分析，着重研究
一般环境下疲劳多裂纹结构的概率损伤容限分析方法已经比较成熟.为满足恶劣环境下工作的老龄飞机结构疲劳可靠性评定的需要,尝试建立腐蚀环境下疲劳多裂纹结构的概率损伤容限
提出了结构关键件功能失效概率、单机功能失效概率和机群功能失效概率的概念.以二项分布为基础,建立了从结构关键件功能失效概率、单机功能失效概率直至机群功能失效概率分析
摘要：形式化方法在模型为导向的软件工程中起到非常重要的作用，其中模型检验已经成为软件验证和纠错的一种重要方法，而模型学习是对于模型检验的一种有效补充技术。本文将对模型学习的概念和研究意义进行介绍，汇总了几种常见的对于寄存器自动机和时间自动机的模型学习的方法，并提出了一種对于时间自动机进行学习模仿的算法思想，最后对于模型学习的主要研究方向进行了阐述。 关键词：模型学习；形式化方法；时间自动机；寄存