After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling.
为了对企业的管理过程进行本体建模,把情景演算理论作为企业建模过程中动态活动描述的基础。
The second part: Domestic and foreign high school calculus teaching present situation analysis.
第二部分,国内外高中微积分教学的现状分析。
The second part: Domestic and foreign high school calculus teaching present situation analysis.
第二部分,国内外高中微积分教学的现状分析。
应用推荐