【摘要】随着信息技术的发展,计算机技术已经融入了现代社会各个领域,得到极其广泛的应用。然而在这样的背景下,计算机系统的异常可能会造成灾难性后果。测试和仿真通常被用来保障这类安全关键系统的可靠性,但是这类方法针对的是实际运行前的系统,只能检测到系统的错误,而不能证明系统的正确。模型验证是完备的,但是它针对的是系统的抽象模型,难以证明系统的抽象模型和实际系统的等价性,同时这种方法需要遍历系统的所有执行 […]

【摘要】在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关键领域,如载人航天、高速轨道交通等。应用于这些领域的系统通常是实时控制系统,这类系统不仅要求系统做出正确的响应,且要求系统的响应满足相应的时间约束。系统一旦发生失效,将会给国家安全乃至人员生命带来极大损失,因此如何提高这类系统的可靠性成为目前计算机领域的一个非常重要的研 […]

【摘要】挖掘机是工程机械的重要组成部分，在规划建筑、项目施工等多个行业中具有广泛地应用。挖掘机的节能控制一直是研究的重点。本文针对小型液压挖掘机，对其节能监控系统进行了研究。首先，分析了柴油机及变量泵的特性，并有针对性地进行节能控制原理分析，提出了柴油机与变量泵相匹配的节能控制方法。然后在理论分析的基础上提出了挖掘机监控系统的总体方案设计。该控制器将C8051F340单片机、油门电机控制、显示器、 […]