简介:摘要本文主要介绍了ABS基本结构和工作过程、ABS系统的检修、ABS的常见故障与分析,促进人们从理论层面上认识这类控制系统的控制特点。
简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:摘要本文分析了教务管理在学校管理中的重要作用,阐述了采用信息化管理教务工作的意义。在详尽分析了我院对教务管理系统的需求分析后,对系统设置的各个模块及模块功能给予了详细说明。
简介:摘要计算机网络技术快速发展,教考分离、分享考试资源、减轻工作压力、提高工作效率的需求让人们对网络考试系统的需求愈发的强烈。本文叙述了基于网络的考试系统的设计方案,特别对考试系统的抽题算法提出了改进方法,根据本文叙述思想编写了考试系统,实践证明使用效果较好,能够满足实际需求。