基于B方法的实时控制系统的容错设计
B 方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在软件开发中引入容错机制,使...
B 方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在软件开发中引入容错机制,使...
多机冗余技术是保障舰艇控制系统可靠运行的重要技术。文章介绍了舰艇控制系统中基于硬件方法和软件方法的多机冗余技术的实现,特别是软硬件相结合的容错实现方法,并且提供了一种利用人工操作保障系统可靠运...
常用javascript JavaScript容错脚本...
随着计算机技术和大规模集成电路的飞速发展,伺服控制器在提高性能的同时也增加了复杂性,给系统的可靠性设计带来了新的挑战。对应用于特殊环境下的控制器而言,如何在有限资源的条件下最大限度地实现容错,同时又能达到所要求的性能,是我们所面临的问题。 本论文根据六自由度机器人关节伺服控制器的可靠性要求,对其容错...
针对离散一步时滞系统,研究了传感器失效后有一定性能保证的D 稳定容错控制问题, 给出一个对传感器失效具有完整性的D 稳定控制系统需满足的一个充分条件,进而讨论了参数不确定离散时滞系统的D稳定鲁棒容错控...