论文部分内容阅读
文章给出了C＋＋过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C＋＋逻辑结点之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理及其证明。
抽象逻辑结构图C＋＋逻辑程序到概念程序的逆向映射
【摘 要】
：
文章给出了C＋＋过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C＋＋逻辑结点之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有
【机 构】
：
汕头大学工学院计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2002年2期
【基金项目】
：
国家863高技术研究发展计划项目(编号:863-306-ZT02-04-01),汕头大学“211”工程项目
其他文献
该文给出了一种基于多智体技术的智能信息推拉交通事故处理辅助决策方案，阐述了各Agent的基本功能和系统的工作过程。此系统可用于交通事故处理辅助决策，也可以用来培训交通事
着重介绍了河南电网调度员培训仿真系统在与引进能量管理系统的一体化集成过程中所采用的图形和数据一体化处理技术。为国产系统同国外新一代的SCADA/EMS系统集成提供了一些
一个复杂的制造系统不仅可能涉及到成千上万道车间调度工序，而且工序的变更又可能导致相当大的调度规模，因此车间调度是一种决策模型。应用该模型设计的车间调度决策支持系统可