我正在做一个飞行数据分析项目。飞行数据以表格格式表示。每四分之一秒,我们有不同参数的状态,包括管状断路器参数和航空电子参数。我打算使用一个专家系统来分析飞行数据,以便发现飞行过程中的异常。例如,T4 (温度)不应在30秒内超过750°C。专家系统架构是否适合这样的任务?
发布于 2017-02-21 22:04:15
每个专家系统都由知识库和推理机组成。
如果要使用专家系统架构,请执行以下操作:
,
IF部分和THEN部分组成。IF-THEN规则的链接(例如forward chaining和forward chaining现在回答你的问题,在我看来,你的例子看起来像一个离散的cyber-physical system的规范(取决于其他规范也可以被认为是混合的)。网络物理系统也可以被认为是,它是一个系统,它存在于有限数量的条件中,具有禁止状态,并根据一组固定的规则从一个状态前进到下一个状态。此外,如果您的示例中有可能的输入和输出事件,您可以设计Moore、Mealy machines、Petri Nets、Statecharts状态机,给定规范,然后使用正式的验证技术对其进行验证。
https://stackoverflow.com/questions/42329232
复制相似问题