【摘 要】为了提高空气管理系统控制功能的设计与确认效率，研究了信号驱动的空气管理系统控制逻辑建模方法。结合空气管理系统控制特点，采用自底向上建模的思想，先构建底层系统信号库，再由信号逐层搭建控制逻辑，最后由控制逻辑驱动功能并在功能层进行逻辑确认。本文方法在空气管理系统CAS与简图页逻辑设计与确认过程中进行了应用验证。
【论文关键词】空气管理系统；信号驱动；控制逻辑建模
0 引言
空气管理系统是民用飞机上非常重要的机载系统之一，负责控制飞机引气、座舱压力调节、机翼防冰、温度控制等功能[1-5]。空气管理系统控制是以两个综合空气管理系统控制器（IASC）为控制中枢，以各种传感器发来的监控信号、外部系统发来的通讯信号为输入，经IASC内部逻辑运算后，驱动各种受控设备，如风扇、活门、加热器等，来实现飞机空气温度、压力、流量等控制功能，并将系统状态信息发送给外部系统实现显示、告警及记录功能。
空气管理系统控制功能需求是以系统需求为依据，结合所采用的控制架构细化而来。各控制功能由若干个控制逻辑组成。在空气管理系统研制过程中需要进行控制功能的确认与验证。仿真的方式能有效提高效率，降低成本，而建立各种控制逻辑模型则是进行仿真确认与验证的基础。本文研究了一种信号驱动的空气管理系统控制逻辑建模方法。
1 信号驱动的控制逻辑建模方法
信号驱动是指由各种信号作为基本单元来进行控制逻辑建模。各个信号表示着不同的状态变量，空气管理系统控制器根据不同的输入状态变量的值来决定发出的指令信号。通过基本信号来表述逻辑能从最底层关系开始，逐步向上搭建整套控制逻辑。具体的建模过程包括构建信号库、搭建逻辑树以及驱动功能验证逻辑3个步骤。
1.1 构建信号库
构建信号库是为了方便在构建逻辑时随时调用而将一些基本的输入信号信息收集并按照一定的编码方式存储起来。空气管理系统逻辑运算中需要用到的信号属性包括信号名称、信号功能范围、信号有效性、信号设备源。所以可将每条信号按照[ID|NAME，RANGE（MIN，MAX），VALID，SOURCE]的方式进行整理，例如由控制器IASC1的A通道发出的座舱高度告警信号可表示为[00001|CAB_ALT_W，（0，1），true，IASC1A]。集合所有控制器接收的信号，从而形成空气管理系统信号库。
1.2 搭建逻辑树
逻辑树的根节点一般是各个基本信号组成的关系式，例如CAB_ ALT_W=1，表示座舱告警为真。这些关系式通过基本的与/或逻辑算子连接，从而形成基本的逻辑树，这些逻辑树的输出结果为TURE或者FALSE。在搭建逻辑树的过程中，当一条逻辑链比较长时，可将一棵逻辑树的输出作为另外一棵逻辑树的输入而形成逻辑嵌套，建模论文这种方式能简化逻辑树的搭建过程。逻辑树的表达可用逻辑方程来记录。例如座舱高度告警逻辑可按以下两种方式表达。
将所有的逻辑按照逻辑树的方式搭建起来，可形成一个逻辑库，在后续定义功能时即可直接调用来构建功能。
1.3 驱动功能验证逻辑
若干条逻辑合在一起，可以驱动复杂的功能。通过功能的仿真即可验证各种逻辑的正确性。从功能层面进行验证因为意义更明确更方便实施，且一条功能的验证即可验证多条逻辑，功能验证的方式是选择功能相关的所有信号，设定各信号的状态值，作为组成功能的所有逻辑的输入，计算得到功能输出值，观察是否与预期一致。
2 空气管理系统CAS与简图页逻辑建模与验证
CAS与简图页是供飞行员了解各系统状态的重要页面，由系统负责提供信号，指示系统按照指定的CAS与简图页逻辑进行显示。基于本文的思想，进行空气管理系统CAS与简图页逻辑建模与功能验证，开发了相应的软件平台。
2.1 空气管理系统CAS逻辑建模
定义CAS主要需要定义CAS等级、CAS显示内容以及CAS显示逻辑。CAS等级按照严重程度可分为WARING，CAUTION，ADVISORY， STATUS四种，分别用红色、黄色、青色、白色来表示。本文定义的CAS逻辑是由系统发出CAS相关信号后，由这些信号运算后显示在CAS页面的逻辑，空气管理系统CAS消息主要显示系统工作状态以及在一些危险状态如座舱高度过高、机翼防冰失效等情况下告警。
1/2 1 2 下一页 尾页 |
