VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:psiteddd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示.在定义概念结点与逻辑结点之间双向映射的有效性概念基础上,进一步给出双向映射的有效性定理.本文的工作为VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础.
其他文献
目的了解我院出院病人的临床用药情况.为合理用药提供依据。方法收集我院2005年7月至2006年6月所有的出院处方,进行逐一统计分析。结果8115张出院处方中,含抗生素处方为9.38%.含与
6月26日,花木盆景杂志社、湖北绿手指文化科技有限公司与日本近代出版株式会社合作协议签约仪式在日本京都近代出版株式会社总部举行。湖北长江出版传媒集团有限公司董事长陈
N和P是树木的必需营养元素,树木体内缺乏势必导致生长和发育受阻。在自然条件下,树木体内N、P主要通过根系获得,自然环境中这两种养分的供应状态极大地影响树木的生长。然而,在N
印度学界一般认为,古代梵语文艺理论家婆罗多的《舞论》存在南传本和北传本两类抄本文献,它们既有相似,也存在某些差异。《舞论》的结构看似复杂无序,实则有某种规律可循,循
微信公众平台是一款优秀的移动学习和教学的载体,能给课程移动学习提供基本的技术支持,也能给学生提供真正的随时可学、时时能学的学习环境。文章结合现行基于微信公众平台开
国际蒙台梭利协会和美国蒙台梭利协会是蒙台梭利教育界最负盛名的两大组织,两者在教育模式、教育愿景和使命、学习环境和课堂空间设计、学习主题和教学材料、教师培训和认证
开除学籍作为限制和影响学生受教育权这一基本权利的最严厉的惩戒形式,其适用条件应当有严格规制。开除学籍也是英国中小学校教育惩戒的形式之一,分为作为最后手段的永久开除
森林植被对于降雨分配和径流调节具有重要意义。大气降雨输入森林后,林冠截留、穿透雨和树干径流构成了新的水量分布格局。本研究从森林结构和水文过程出发,通过对栲树林和木
“问题与主义”论战是以《新青年》为代表的新文化运动阵营在新思潮的汹涌澎湃中发生裂痕、内部分化的标志性事件。在论战中,以李大钊为代表的马克思主义传播者们,坚定了对马
目的:探讨冬凌草联合新辅助化疗对乳腺癌患者血清糖类抗原199(carbohydrate antigen 199,CA199)、癌胚抗原(carcinoembryonic antigen,CEA)、糖类抗原15-3(carbohydrate antigen 15