论文部分内容阅读
给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则,并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性.在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理.
PASCAL过程蓝图到抽象逻辑结构图的逆向映射
【摘 要】
：
给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则,并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性.在定义
【机 构】
：
汕头大学工学院计算机系,汕头,515063西北大学计算机系,西安,710069;汕头大学工学院计算机系,汕头,515063;
【出 处】
：
计算机工程与设计
【发表日期】
：
2002年3期
其他文献
进入21世纪，世界经济已经进入了知识经济的发展阶段。在知识经济时代，经济发展以高新技术产业为核心和第一支柱。风险投资作为高科技产业化的催化剂和孵化器，已经引起了人们的广
期货作为一种新型的市场交易品种，在我国的出现已有十多年的历史。就其功能而言，期货主要有两大功能：一是发现价格，二是回避风险。然而，期货交易本身也会带来风险，如果风险管理不当
本刊讯4月28Et，湖北孝感市人民政府和湖北省农业厅邀请全国知名茶学专家和文化学者，在孝感市召开了建设“中华孝文化名茶——大别山悟道茶”论证会。专家推荐“大别山悟道茶”
剖析了“学案导学自主合作”教学模式下调整现行教材的原则:把握课标定位,满足学生要求;领会编者意图,突出教学目标;依据教学实际,提高课堂效率。并依据该原则结合课堂实践对
在北疆地区开展非充分灌溉试验,分析北疆干旱荒漠地区主要人工草地在不同土壤水分条件下的作物产量,确定了紫花苜蓿、苏丹草和青贮玉米的水分生产函数模型,并分别采用Jensen
在基于构件的软件开发(CBSD)中,构件库是描述、存储和检索软件构件的基础设施.随着软件复用技术的成熟,构件库中构件的种类日益增多,构件间关系日渐复杂.这需要构件库数据模
随着新课程改革的深入开展,新课程、新教材、新的教学方法,必然要求有与之相适应的新的学习评价方案.如果没有与之相配套的评价方案,新一轮的课程改革势必会走人死胡同,最终
利用非晶Al-Ce-Fe粉体,通过冷喷涂方式在AA7075铝合金基体上制备Al-Ce-Fe非晶合金镀层.在形成镀层过程中,冷喷涂对非晶粉体形成的镀层没有导致明显的晶化,能形成均匀紧实的连
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥