面向飞行控制系统应用的容错计算机系统设计

来源 :四川大学学报：自然科学版 | 被引量 : 0次 | 上传用户：qq793053

【摘要】

：

在设计飞控计算机时采用了冗余技术(4余度容错计算机),保证系统实现人以两次故障工作,三次故障安全(fo/fo/fs).采用完善的余度管理技术和余度表决监控算法,进行故障的隔离定

【作者】

：

臧红伟周延泉陈益谢克嘉

【机构】

：

西北工业大学计算机科学与工程系,北京邮电大学信息工程学院,中国航空计算技术研究所

【出处】

：

四川大学学报：自然科学版

【发表日期】

：

2004年2期

【关键词】

：

容错计算机飞行控制余度管理 fault-tolerant computer flight control redundancy management

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在设计飞控计算机时采用了冗余技术(4余度容错计算机),保证系统实现人以两次故障工作,三次故障安全(fo/fo/fs).采用完善的余度管理技术和余度表决监控算法,进行故障的隔离定位和屏蔽,飞控计算机采用多速率任务调度策略,保证了系统的实时性.作者详细地描述了该容错计算机的软件/硬件设计结构、系统调度策略和余度管理算法.

其他文献

机插水稻纹枯病流行原因及防治对策

摘要：与常规栽培相比，机插水稻大田生长发育规律和手插秧大体一致，但也有其自身特点，如基本苗数多，氮肥施用量大，品种感病差异等因素影响，导致纹枯病发生较重，危害时间长，常规药剂防治效果差。药剂对比示范结果，水稻分蘖末期用肟菌·戊唑醇、噻呋酰胺，一般发病田块用药1次，重病田用药2次，防治效果显著，有效控制期为20d，生长后期叶片清秀，青秆黄熟。　　关键词：机插水稻；纹枯病；流行原因；防治技术　　中图

期刊

机插水稻纹枯病流行原因防治技术

基于过滤器钩子驱动的数据包过滤研究与实现

在对Windows 2000/XP操作系统下网络过滤器钩子驱动分析基础上,提出了一种在Windows 2000/XP操作系统下网络数据包拦截技术.该技术巧妙地将过滤器钩子挂接到系统默认的IP过滤

期刊

过滤器钩子IP过滤器驱动回调函数filter-hookIP filter drivercallback function

带局部化反应项的半线性方程组解的性质

研究一类具有齐次Dirichlet边界条件和带有局部化非线性反应项的扩散方程组解的性质.证明了解的全局存在性和有限时刻爆破取决于区域的'厚'与'薄'及其指数pq

期刊

局部化半线性方程组全局存在爆破localized source reaction-diffusion system global existence

基于Windows2000的多路话音采集压缩卡驱动程序研究

讨论了在Windows2000下编写设备驱动程序的方法,给出了用DDK和Driver Studio开发多路话音采集压缩卡驱动程序的做法.论述了运行在内核模式中驱动程序的稳定性.

期刊

设备驱动程序内核模式延迟过程调用device-sriverkernel-modeDPC

Java XML与面向Web的智能数据抽取

采用标准Web技术--HTML,XML和Java,开发一种基于Web用Java把Web数据转换为XML的数据挖掘方法.该方法标识数据源并把它映射成XHTML,根据一定的相关关系查找数据内的引用点并进

期刊

XMLXEITMLXSL数据抽取XML XHTML XSL data extraction

含脉冲的Volterra型积分微分方程的稳定性

利用分段光滑Lyapunov函数和微分不等式,获得了含脉冲的Volterra型积分微分方程稳定、一致稳定的充要条件和渐近稳定的充分条件.且在脉冲干扰的情况下,Lyapunov函数可以不具

期刊

VOLTERRA型积分微分方程脉冲积分微分方程稳定性LYAPUNOV函数一致稳定渐近稳定impulsive intergro-differentia

基于SCO UnixWare的实时消息队列设计与实现

实时消息队列作为一种IPC是在POSIX．1中定义的。但SCO UnixWare的最新版本7．1．3并不支持。结合实际开发的需要，提出了一种基于存储映射I／O和System V 消息队列在用户级实现实时消

期刊

实时消息队列进程间通信用户级real-time message queue inter-process communication user leve

山核桃林应对高温干旱技术措施初探

摘要：分析了山核桃林防御高温干旱灾害存在的问题，并提出应对高温干旱技术措施。主要包括：建立高温干旱预警机制，实施生态修复与重建，加强基础设施建设等。　　关键词：山核桃；高温干旱；技术措施　　中图分类号 S79 文献标识码 A 文章编号 1007-7731（2014）12-69-02　　山核桃（Carya cathayensis Sarg.），是我国传统珍稀坚果，山核桃产业已成为安徽省宁国市、歙县

期刊

山核桃高温干旱技术措施

最优哈密尔顿圈的降度算法

由完全图所产生的最小树,形成欧拉图.通过添加边的方法,将2度以上顶点降为2度顶点,最后形成最优哈密尔顿圈.

期刊

完全图最小树欧拉图顶点哈密尔顿圈算法complete graphminimum spanning treeEuler's diagrams

小麦新品种红皖88及其栽培技术要点

摘要：该文介绍了“红皖88”的高产稳产、适应性广、抗逆性强、品质优良等特征特性，同时也阐明了“红皖88”栽培技术要点，为大田生产提供科学依据。　　关键词：小麦；红皖88；栽培技术　　中图分类号 S512.1 文献标识码 B 文章编号 1007-7731（2014）15-51-02　　红皖88是安徽省亳州市丰田农业科技开发有限公司利用开麦13的变异单株系统选育而成的大穗、大粒高产稳产小麦新品种，2

期刊

小麦红皖88栽培技术

面向飞行控制系统应用的容错计算机系统设计

与本文相关的学术论文