PASCAL源程序到流程图的自动转换

介绍了将ＰＡＳＣＡＬ源程序自动转换到流程图的程序设计方法．根据ＰＡＳＣＡＬ语言的语法图，采用自顶向下逐步求精的方法，一次扫描即可在屏幕或绘图仪上输出流程图．流程图大小及颜色可调，且与传统的流程图完全一致．本方法已在ＩＢＭ－ＰＣ／ＸＴ微机上实现．     

N-S流程图分析及其在算法描述中的应用

N-S流程图结构元素简单,其描述算法的能力却值得进一步探讨.本文讨论分析了N-S流程图描述算法时的规范化,提出了N-S流程图的层次原则、相邻原则、内涵原则,指出了N-S流程图的引申性表现为:包含性、语义规划、用语规范和特殊说明,实例演示了N-S流程图在算法描述中的用途及其优越性.     

业务流程图与数据流程图的比较

业务流程图(Transaction Flow Diagram简称TFD)和数据流程图(Data Flow Diagram简称DFD)是结构化信息系统开发方法中两种常用的图形工具。本文从描述对象、功能作用、基本符号和绘制方法四个方面阐述二者的区别,对它们的联系也作了介绍。     

流程图与类C语言实时转换方法

为了融合图形化和文本语言2种编程方式的优点,提高教育机器人编程平台的直观性和通用性,结合编程平台要求,设计出流程图与类C语言双向实时转换方法.在进行流程图到类C语言转换时,实时根据各个模块间的父子关系遍历模块树,并根据功能模块封装的库函数和语句完成转换,在转换过程中实时进行类c语言规则检查.在进行类c语言到流程图转换时,首先通过词法分析、语法分析和语义分析生成XML代码,再进行统一解析生成流程图.在转换过程中实时进行错误检查,出现错误所在行会高亮显示以提示用户,并给出错误原因以便于用户修改程序.最后,通过典型结构转换实例和应用,验证了所提出方法的有效性和正确性.     

C语言应用简述

C语言是近年来在国内外得到迅速推广应用的一种计算机语言。介绍了C语言的特点及C程序的上机步骤，阐述了3种基本的流程图结构(顺序结构、选择结构、循环结构)。     

进程流程图的并行划分及静态调度

进程流程图在分布式环境下的最优分配是一NP难度问题。为此,本文从实用角度出发,在充分利用流程图部分性质的基础上,设计了一组完成并行横块划分及静态调度的近似算法,算法的时间复杂度为0（n~2×p）,其有效性通过一实例给予了验证。     

结构化流程图数据库结构的分析与设计

本文介绍了结构化流程图数据库结构的分析和设计过程。     

网格定位法在系统流程图活化中的应用

为了实现核电厂反应堆系统流程图的计算机化管理,通过在系统流程图上画出具有记忆功能的网格,利用网格位置和网格信息把系统流程图上的设备与设备库中的相应设备关联起来,解决了系统流程图的活化问题,即在系统流程图上用鼠标点击设备,弹出设备信息。这种网格定位的方法已经有效地应用在核电厂运行安全管理系统中,该系统采用先进的网络和数据库技术实现了对核电厂设备,系统流程图,运行事件等信息的综合管理,以先进的管理方式为核电厂管理人员提供一个便捷的信息平台和工具。而且,这种方法还可以应用到其它领域。     

流程图在《电路及磁路》课教学中应用的探讨

激励形式由简单到复杂，求响应时应用的数学手段也逐渐深化。本文采用流程图形式清晰地展示了演化过程的图象，体现了知识的循序渐进性和系统队，容易理解和掌握。     

顺序控制流程图在交通灯自动控制系统中的应用

利用顺序控制流程图（SFC）作为设计平台实现的自动控制系统，具有程序直观、可读性好、易于修改参数等优点。本文从实用的角度出发，以日本三菱公司的FX2系列小型PLC为例，介绍SFC在交通信号灯自动控制方面的应用设计。实践证明，该系统具有运行可靠，维护工作量小等特点，真正实现了自动化、科学化运行，具有一定的参考和推广价值。     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.     

一种C程序的函数调用图生成算法的设计与实现

阐述了函数调用图在程序理解、程序分析、软件测试和软件维护中的重要性,利用数据库技术、词法分析技术等,设计并实现一种C程序的函数调用图生成算法。     

平衡系统的改进Coates信号流图

对于广义单核配合物平衡体系提出了改进Coates信号流图数学模型。在全符号网络的全数码运算法则的基础上，以二元酸及其盐、强酸、强碱相混合的溶液为例，详细说明了化学平衡改进Coates信号流图模型的建立和计算过程。表明用改进Ccates信号流图能够更系统全面地表示广义单核配合物平衡体系，并且具有直观明了应用简便的特点。     

Model-based embedded compiled software fault positioning

Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. The system takes the machine code of embedded software as input and translates the code into high-level language C with the software reverse engineering program. Then, the static analysis on the high-level program is taken to obtain a control flow graph (CFG), which is denoted as a node-tree and each node is a basic block. According to the faults found by the field testing, we construct a fault model by extracting the features of the faulty code obtained by ranking the Ochiai coefficient of basic blocks. The model can be effectively used to locate the faults of the embedded program. Our method is evaluated on ST chips of the smart meter with the corresponding source code. The experiment shows that the proposed method has an effectiveness about 87% on the fault detection.     

计算三维狭缝流动的有限元新方法

提出一种新的求解狭缝流动的计算方法即有限块法，把三维问题化为二维问题，从而大大节省了计算机内存，缩短计算时间，比三维有限单元法要简便得多。并且还用此法处理了板材挤出模具矩形狭缝流道中的三维熔体流动问题，取得了很好的效果。表明该法在工程应用中有着很好的前景。     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

Research of the Control Domain of Edges in Regression Testing

Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph （CFG）. It import the inherit strategy of object-oriented language to ensure an edge＇s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.     

基于Shannon-Happ公式和Johnson方法计算信号流图的传递函数

通过将Shannon-Happ公式和Johnson方法相结合,介绍了一种计算系统信号流图传递函数规格化解析表达式的新算法。提出了使用回路添加手段形成回路组合的新方法。给出了算法实现的详细步骤、程序设计流程图和检验结果。     

基于地球物理数据处理软件的测试与应用

软件测试是软件项目开发中极其重要的阶段。结合大型地球物理数据处理软件系统GRISYS的开发实践，讨论程序测试的若干方法及有关问题。提出程序测试应遵从从静态到动态、静态与动态相结合的测试原则；强调测试数据的选择是程序动态测试的关键；根据GRISYS系统中应用程序的特点，给出了地球物理测试数据的分类原则和测试子数据集划分的一般方法。     

Static analysis of Java bytecode

Understanding control flows in a computer program is essential for many software engineering tasks such as testing, debugging, reverse engineering, and maintenance. In this paper, we present a control flow analysis technique to analyze the control flow in Java bytecode. To perform the analysis, we construct a control flow graph (CFG) for Java bytecode not only at the intraprocedural level but also at the interprocedural level. We also discuss some applications of a CFG in a maintenance environment for Java bytecode.