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

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

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

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

抽象逻辑结构图导出PASCAL过程蓝图的方法

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

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

本文给出VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示。在定义概念结点与逻辑结点之间双向映射的有效性概念基础上,进一步给出双向映射的有效性定理．本文的工作为VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础．     

抽象逻辑结构图到VB过程蓝图的导出与映射

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

抽象逻辑结构图到VFP过程蓝图的过渡与映射

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

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

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

从概念程序表示到C++过程蓝图的映射

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

一种基于上下文的语义映射方法

提出了一种基于上下文的语义映射方法SM-Context (semantic mapping based on context).SM-Context首先为本体模型中的概念找出表示其语义信息的上下文,然后采用谓词逻辑的形式表示概念的上下文,最后将本体映射问题转换成命题可满足性问题(SAT),并通过推理方式建立本体之间的语义映射关系.为了验证所提方法在处理本体映射问题时的可行性与有效性,采用OAEI所提供的共享数据集来测试SM-Context.实验结果表明,SM-Context可以有效地利用概念的上下文为本体之间建立语义映射关系.     

基于本体的分层抽象模型

KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。     

基于KM教学法的软件工程教学研究

知识的逻辑结构描述了知识的体系结构及知识之间的内在联系,思维导图是直观的知识组织与表征工具。KM教学法是将知识的逻辑结构与思维导图相结合,通过将知识逻辑结构化,经过分类和分层组织,再经过抽点、连线、成网、扩展、概型等逻辑加工,得到反应知识本质的逻辑结构图与思维导图。本文以"软件工程"为例,探讨应用KM教学法的要点。     

语义块的多元逻辑组合构成研究

利用HNC概念符号知识深入到词语的语义层面，从概念类别的内涵出发，结合概念间语义相关度计算方法以及少量句类知识对非特征语义块的多元逻辑组合的各种情况进行了初步分析。采取演绎和归纳的方法得到了关于语义块的多元逻辑组合的三种语义块结构（并联、串联和混联）的发现、内部结构分析及边界确定的有关规则，并实际验证了这些规则的有效性。     

语义块的多元逻辑组合构成研究*

利用HNC概念符号知识深入到词语的语义层面,从概念类别的内涵出发,结合概念间语义相关度计算方法以及少量句类知识对非特征语义块的多元逻辑组合的各种情况进行了初步分析。采取演绎和归纳的方法得到了关于语义块的多元逻辑组合的三种语义块结构（并联、串联和混联）的发现、内部结构分析及边界确定的有关规则,并实际验证了这些规则的有效性。     

基于库水位的坝体安全等级的可能性分析方法

针对库水位与尾矿坝安全等级的复杂对应关系,利用可能性理论将两者的模糊关系量化,并提出了一种基于库水位的尾矿坝安全等级的分析方法,通过构造库水位关于各安全等级的隶属函数、测量数据关于安全等级的可能性分布函数,计算测量数据关于各安全等级的信任匹配度,从而判断出尾矿坝当前的安全等级。通过实验仿真验证了该方法的有效性。