提出智能控制、分级系统状态表、非集中化的控制调度模型、系统数据管理器等新概念并进行一定深度的探讨。
Meanwhile such new concepts as AI control, hierarchical table of system status, decentralized control model, system data supervisor are put forward, and on which discussion in detail is offered.
系统验证状态会自动刷新，您也可以单击验证状态表右上角的Refresh链接手动刷新它。
The system verification status automatically refreshes, but you can manually refresh it by clicking the Refresh link in the upper right corner of the verification status table.
介绍了根据工艺要求系统地构成状态表和程序图，写逻辑表达式。画控制线路的具体方法。
It can be used to systematically construct state array and sequence diagram, write logic expressions, and draw control circuit diagram based on technical requirements.
以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。
After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。
After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
应用推荐