1) hierarchical CDFG
层次化控制数据流图
2) control/data flow graph(CDFG)
控制/数据流图
3) control data flow graph(CDFG)
控制数据流图
4) CDFG
数据控制流图
1.
Based on the advantages of simulation and formal verification with CDFG structure, classified properties are proposed to activate their good qualities respectively.
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。
5) data flow control layer ,DFC layer
数据流控制层
6) hierarchical data graph
层次数据图
补充资料：流化床反应器控制
分子式：
CAS号：
性质：除对床内压力、进料流量、进料反应物的配比等进行控制外，流化床反应器的主要控制指标是浓相区温度分布，控制手段为下部列管换热器进水量。如果冷却水管网压力不稳定时，常用反应温度与冷却水流量串级控制。在质量要求较高时，对流化床反应器中部换热器也进行控制。
CAS号：
性质：除对床内压力、进料流量、进料反应物的配比等进行控制外，流化床反应器的主要控制指标是浓相区温度分布，控制手段为下部列管换热器进水量。如果冷却水管网压力不稳定时，常用反应温度与冷却水流量串级控制。在质量要求较高时，对流化床反应器中部换热器也进行控制。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条