论文部分内容阅读
给出PASCAL过程蓝逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图，揭示了两映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑辑层表示之间双向映射函数的有效性概念基础上，进一步给出向映射函数的有效性定理。
PASCAL过程蓝图到抽象逻辑结构的逆向映射
【摘 要】
：
给出PASCAL过程蓝逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图，揭示了两映射规则集之间的关系和特性。在定义概念层
【机 构】
：
汕头大学工学院计算机系,西北大学计算机系
【出 处】
：
计算机工程与设计
【发表日期】
：
2002年3期
【基金项目】
：
国家863高科技项目（863－306－ZT02－04－01）,,汕头大学“211”工程项目
其他文献
<正>一、引言"营改增"是指将营业税改为增值税的税改政策,在其原本"1+6"的政策实施模式下,"1"是指在交通运输行业进行试点工作,"6"是指在6个现代服务行业中进行试点工作。鉴
分析了低碳经济背景下开发城市地下空间的必要性,简述了典型国家和地区地下空间开发利用概况。运用可拓学原理对重庆市地下空间的开发潜力进行了评价,并提出了地下空间的开发
网格计算技术是继Internet计算之后出现的新兴研究领域.网格系统由异构的资源组成,一个好的任务调度方法可以充分利用网格系统的处理能力,减少任务的完成时间.根据目前网格系
混凝土是市政路桥施工中一项重要的施工原材料，广泛应用于各项市政建设工程当中。市政路桥施工的质量优劣，关系着人民群众的生活生产、社会的发展。混凝土施工技术的发展以及应
通过分析专用计算机网络的特点,运用系统工程方法,总结出普遍适用于专用局域网的安全性分析与设计模型.该模型以整体视角引入故障树分析方法,分析导致整个网络安全受损的所有
针对基于供应链企业现代生产集成系统建立了其智能体系模型,提出企业现代生产集成系统工程的智能系统不是一个与应用工程并列的独立的系统,它依附于生产单元,以软构件方式在
基于噪声交易理论分析了住房按揭市场的信息结构,对信息不对称下住房按揭市场出现的羊群行为、过度融资以及假按揭等噪声交易行为进行了研究,并从政策方面提出了稳定房地产价
苏里格气田S区块储层具有低孔、低渗、非均质性强的特点,储层埋深较大,有效砂岩储层薄。且地表为沙漠、半沙漠环境,煤层发育,地震信号屏蔽现象严重,地震资料分辨率低,有效砂
立足于上海市环同济现代建筑设计产业集群的案例分析,根据波特的"钻石模型"理论,将创新集群的支撑体系演化成为三个主要组成部分,并对其结构与细部特征进行探讨。在此基础上,
目的:观察肌骨超声引导下小针刀治疗肩峰下滑囊炎的临床疗效。方法:将60例肩峰下滑囊炎患者随机分成两组各30例,治疗组治疗2次后采用肌骨超声引导下小针刀治疗,对照组采用常