抽象逻辑结构图到VB过程蓝图的导出与映射 被引量：1

1

作者 刘建宾 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2002年第7期862-864,共3页

本文给出独立于程序实现语言的抽象逻辑结构图到 VB过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ,给出了抽象逻辑结构图程序表示的有效性定义、导出 VB抽象逻辑结构图的有效性定理及其证明 .

关键词 抽象逻辑结构图 VB过程蓝图 程序设计 有效性 VB语言

在线阅读 下载PDF 职称材料

抽象逻辑结构图导出PASCAL过程蓝图的方法 被引量：1

2

作者 刘建宾 郝克刚 《计算机工程与设计》 CSCD 2001年第3期24-27,共4页

概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡ... 概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。 展开更多

关键词 抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡

在线阅读 下载PDF 职称材料

抽象逻辑结构图到VFP过程蓝图的过渡与映射 被引量：1

3

作者 刘建宾 郝克刚 《计算机应用研究》 CSCD 北大核心 2001年第11期19-21,共3页

给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ;给出了抽象逻辑结构图程序表示的有效性定义。

关键词 抽象逻辑结构图 VFP 过程蓝图 程序设计 有效性 平滑过渡 数据库

在线阅读 下载PDF 职称材料

抽象逻辑结构图及其应用 被引量：1

4

作者 刘建宾 龚世生 《计算机科学》 CSCD 北大核心 1996年第6期83-86,90,共5页

图形化技术作为人们清晰思维的语言和良好的通讯交流工具,在软件开发中一直发挥着重要作用,是软件表现技术的重要形式之一.迄今为止。

关键词 软件开发 抽象逻辑结构图 图形化

在线阅读 下载PDF 职称材料

PASCAL过程蓝图到抽象逻辑结构图的逆向映射

5

作者 刘建宾 李小英 《计算机工程与设计》 CSCD 2002年第3期1-4,7,共5页

给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概... 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。 展开更多

关键词 过程蓝图 抽象逻辑结构图 有效性 程序设计 PASCAL语言 逆向映射

在线阅读 下载PDF 职称材料

VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法

6

作者 郭伟斌 刘建宾 《计算机应用研究》 CSCD 北大核心 2002年第7期13-15,18,共4页

当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时 ,必须解决抽象逻辑结构图概念层表示的一致性同步更新问题。给出VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。

关键词 VFP 过程蓝图 抽象逻辑结构图 数据库 逆向映射规则 同步更新方法

在线阅读 下载PDF 职称材料

JACKSON结构图到抽象逻辑结构图的转换

7

作者 刘建宾 《小型微型计算机系统》 CSCD 北大核心 1996年第4期47-50,共4页

本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。

关键词 程序设计 JACKSON结构图 抽象逻辑结构图

在线阅读 下载PDF 职称材料

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

8

作者 刘建宾 《小型微型计算机系统》 CSCD 北大核心 2003年第7期1264-1267,共4页

本文给出 VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示 .在定义概念结点与逻辑结点之间双向映射的有效性概念基础上 ,进一步给出双向映射的有效性定理 .本文的工作为

关键词 VB过程蓝图 抽象逻辑结构图 有效性 程序设计

在线阅读 下载PDF 职称材料

抽象逻辑结构图C++逻辑程序到概念程序的逆向映射

9

作者 刘建宾 《计算机工程与应用》 CSCD 北大核心 2002年第2期73-75,共3页

文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。

关键词 C++过程蓝图 抽象逻辑结构图 有效性 程序设计 逻辑程序 概念程序 逆向映射

在线阅读 下载PDF 职称材料

知识结构图在《医用生物数学》教学中的应用与实践 被引量：4

10

作者 屈德宁 杨鹏 +2 位作者 孙爱慧 王宏仁 付军 《家畜生态学报》 北大核心 2013年第8期93-96,共4页

《医用生物数学》是生命科学领域相关本科专业的重要课程之一。《医用生物数学》具有很强的系统性、高度的抽象性和严密的逻辑性。知识结构图是表达和揭示知识体系中内部关联性的图表。采用知识结构图式的教学方法,把医用生物数学的知... 《医用生物数学》是生命科学领域相关本科专业的重要课程之一。《医用生物数学》具有很强的系统性、高度的抽象性和严密的逻辑性。知识结构图是表达和揭示知识体系中内部关联性的图表。采用知识结构图式的教学方法,把医用生物数学的知识点之间的关系进行直观和有机地展现出来,从而使学习路径更加清晰,有助于学生更好地理解抽象的概念,理清知识点之间的复杂关系,达到提高教学效果的目的。 展开更多

关键词 知识结构图 医用生物数学 系统性 抽象性 逻辑性

在线阅读 下载PDF 职称材料

VFP过程蓝图设计技术 被引量：2

11

作者 刘建宾 郝克刚 《计算机应用研究》 CSCD 北大核心 2001年第2期28-30,共3页

Visual FoxPro过程蓝图是一种面向Visual FoxPro语言的程序处理逻辑图表化表示法。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具，并给出Visual FoxPro过程蓝图的形式化... Visual FoxPro过程蓝图是一种面向Visual FoxPro语言的程序处理逻辑图表化表示法。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具，并给出Visual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。 展开更多

关键词 VFP过程蓝图 抽象逻辑结构图(alsd) Visual FoxPro程序表示 Visual FoxPro程序设计

在线阅读 下载PDF 职称材料

从概念程序表示到C++过程蓝图的映射 被引量：1

12

作者 刘建宾 郝克刚 《计算机工程与应用》 CSCD 北大核心 2001年第17期39-41,共3页

文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。

关键词 抽象逻辑结构图 C++ 过程蓝图 软件开发 概念程序

在线阅读 下载PDF 职称材料