期刊文献+

非相似余度飞控计算机设计及可靠性分析 被引量:8

Design and Reliability Analysis of Dissimilar Redundant Flight Control Computers
下载PDF
导出
摘要 余度容错技术是随着计算机系统可靠性的需求而产生和发展的。为了避免共性故障的产生,实现飞控计算机系统各性能指标,研究非相似双余度飞控计算机系统结构。应用广义随机Petri网建立该飞控计算机系统的模型,利用马尔可夫链来计算和分析该系统的可靠性,在分析结果的基础上,提出系统研究方案的可实施性。 Redundancy fanlt-tolerant technology has emerged and developed with the need of computer system reliability. In order to avoid the correlated faults and realize the performance indexes of flight control computers, the architecture of the dissimilar dual-redundancy flight control computer system is researched. Generalized stochastic Petri net (GSPN) is applied to set up the model of flight control computer system, Markov is used to calculate and analyze the reliability of the system. And practical research approach is proposed based on the analysis results.
作者 周小超 陆熊
出处 《计算机与现代化》 2013年第5期135-137,共3页 Computer and Modernization
基金 南京航空航天大学基本科研业务费专项研究基金资助项目(NP2011009)
关键词 飞控计算机 非相似余度 广义随机PETRI网 可靠性 flight control computer dissimilar redundancy generalized stochastic Petri nets reliability
  • 相关文献

参考文献14

二级参考文献71

  • 1车骏,顾绍元.基于广义随机Petri网的供应链管理建模与分析[J].福建电脑,2004,20(8):16-17. 被引量:4
  • 2崔政东,刘晋.基于广义随机Petri网的供应链建模与分析[J].系统工程理论与实践,2005,25(12):18-24. 被引量:24
  • 3袁崇义.Petri网原理[M].北京:电子工业出版社,1999.. 被引量:6
  • 4[1]RAMADGE P J, WONHAM W M. Supervisory control of a class of discrete-event processes [J]. SIAM J Control and Optimization, 1987, 25(1): 206-230. 被引量:1
  • 5[2]RAMADGE P J, WONHAM W M. Modular feedback logic for discrete event systems [J]. SIAM J Control and Optimization, 1987, 25(5): 1202-1218. 被引量:1
  • 6[3]WONHAM W M, RAMADGE P J. On the supremal controllable sublanguages of a given language [J]. SIAM J Control and Optimization, 1987, 25(3): 637-659. 被引量:1
  • 7[4]RAMADGE P J, WONHAM W M. The control of discrete event systems [J]. Proc of the IEEE, 1989, 77(1): 81-97. 被引量:1
  • 8[5]HOLLOWAY L E, KROGH B H. Synthesis of feedback logic for a class of controlled Petri nets [J]. IEEE Trans on Automat Control, 1990, 35(5): 514-523. 被引量:1
  • 9[6]GIUA A. Petri net techniques for supervisory control of discrete event systems [A]. Proc of 1st Workshops on Manufacturing and Petri Nets[C].Osaka, Japan:[s.n.],1996.1-30. 被引量:1
  • 10[7]KROGH B H, HOLLOWAY L E. Synthesis of feedback logic for discrete manufacturing systems [J]. Automatica, 1991, 27(4): 641-651. 被引量:1

共引文献78

同被引文献66

引证文献8

二级引证文献73

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部