JAVA过程蓝图到抽象概念结构图的逆向映射与有效性

1 引言抽象概念结构图是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法。JAVA过程蓝图是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示。抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系。程序设计是一个把思想变成现实,把模型变成代码的过程,是一个对设计表示进行不断修改,不断完善的动态过程。在抽象逻辑结     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

因果图向信度网转化的方法研究

在因果图理论中,采用了图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已经发展成了一个能够处理离散变量和连续变量的混合模型。但已有的因果图的推理算法还不能完全适应实际问题的需要,这大大地限制了因果图推广和使用,然而信度网研究已比较成熟,已有许多现成的算法和实用的推理软件。文中给出了从因果图向信度网转化的一般方法,包括因果图的连接强度向信度网的条件概率表转化和因果图的结构向信度网的结构转化,从而可以利用信度网的这些成果。     

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

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

有关IPv4向IPv6平滑过渡技术的分析与探讨

对IPv6的特性作了介绍,并分析了几种IPv4向IPv6过渡的技术。根据网络部署的情况对几种过渡技术进行了浅要的分析,在以IPv4为主的网络中,IPv6的兼容性得到验证。在以后一段时间内,做到了IPv4与IPv6网络的互通。     

过程导数估计新方法及其强一致性分析

众所周知，在稳态优化控制算法中，过程导数起着重要的作用，如何利用优化过程中设定点正常变化信号来估计过程导数是一项具有重要实际意义的工作，本文提供了一种新的辨识方法，该方法十分简单，应用条件较弱，且能获得过程导数的强一致性估计。本文还研究了估计残差的渐近分布，数字仿真结果说明了该辨识方法的有效性与实用性。