汇编程序流程图生成算法研究与实现

程序流程图显示程序的控制流逻辑,它的生成主要涉及逻辑控制的刻画.针对汇编语言特点和依据伪深度搜索思想,给出汇编程序流程图生成算法:对汇编源程序进行分析,在源程序中划分出原子子程序,先对第一个原子子程序语句根据特定的方法进行分类处理,产生原子子程序流程图,然后根据一定的规则进一步确定新原子子程序,用同样的方法产生此原子子程序流程图,重复这一过程直到所有源代码的流程图产生完毕.实践结果表明,该算法能有效产生汇编程序流程图.     

基于图文法的程序流程图与源代码自动转换

程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。     

基于Sugiyama的流程图自动生成算法

为了解决流程图绘制效率低下的问题,更好地保证软件模型、文档与代码的一致性,提出了一种流程图自动生成算法。首先,通过逆向分析C/C++源代码,提取代码的Token列表,生成Scope树,从而生成流程图。同时,提出了一种规范代码函数体注释的方法,提高流程图的可理解性。最后,应用Sugiyama布局算法,并对坐标指定步骤进行补充改进,对流程图进行了自动布局,最终生成可读流程图。实际应用过程中,所提算法有效地提高了软件设计文档的编写效率,保证了软件模型、文档与代码的一致性。     

程序流程图的自动生成

本文叙述的“程序流程图的自动生成”是软件系统“程序的结构变挟与结构优化”的一部分。整个系统分成两篇文章来介绍,本篇先介绍对高级语言源程序进行自动分解并变换成流程图的过程。     

基于图元装接模式由程序流程图自动生成源代码

针对程序流程图到代码自动翻译过程中,通常需要经过代码优化及二次编程,翻译效率不高,提出基于图元装接模式的流程图到C语言源程序转换的解决方案,实现流程图到源程序的双向转换。由图元同步产生代码元,通过装接自动生成程序代码。所生成的程序代码无需修改,可直接编译运行。通过词法分析,识别并产生代码元和对应图元,可逆向生成流程图。其有效性在原型系统中得到了验证。     

汇编程序覆盖测试中虚拟插桩的实现

在对汇编语言源程序的测试工作中，由于其非结构化的设计思想以及众多的跳转指令，使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上，提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的测试用例在仿真测试平台上得以实现，最后通过实验检验了其正确性。     

jBPM流程定义文件自动生成算法

基于jBPM的工作流管理系统在执行前要将流程定义文件发布到系统中,流程定义文件生成的传统做法是使用eclipse图形化工具手工进行绘制。通过对工作流设计阶段的流程任务节点数据进行分析,提出根据设计节点数据自动生成流程定义文件和流程图的算法。算法具体内容是对流程中的节点数据进行键值对的分析、处理,以确定任务节点在流程图的位置,然后生成流程定义文件和流程图,以供jBPM工作流管理系统发布、执行。最后通过装甲车辆测试方案生成系统验证了该算法的可行性和实用性。     

基于流程图的嵌入式软件能耗模型

采用基于流程图的能耗模型对嵌入式软件的能耗进行估计,首先以流程图分析C语言程序流,对于流程图中无法体现的能耗以修正值的形式进行补偿,最终建立软件能耗模型。为了验证该模型的可行性,给出实际电路测量方法。实验结果表明,在ADSP21375硬件平台下,该模型软件能耗估计值和实际测量值的误差较小。该方法可以使软件设计者在系统开发初期对能耗进行估计,便于设计合理的程序语句对系统能耗进行优化。     

汇编子程序流程图绘制算法研究

由于汇编语言本身的多样性与灵活性,汇编语言程序的结构化程度以及易读程度均不理想.为了更好地辅助分析汇编语言程序的功能,根据汇编指令对程序静态流程的影响,对不同类型处理器的汇编指令进行了统一的分类,并在此基础上详细讨论了一种绘制汇编子程序流程图的算法.最后利用程序基本模块的概念,对该算法进行了改进.     

基于深度遍历的S7-300系列可编程控制器梯形图程序自动生成算法研究

提出基于西门子S7-300系列PLC的梯形图程序自动生成软件作为一种替代工程设计人员手写PLC梯形图代码的解决方案。编程人员根据规则给出系统的流程图和硬件的地址表并输入到该软件,梯形图就能自动生成。在这个转换的过程中,用树形的数据结构来表示流程图中各个模块之间的逻辑关系,并对其进行深度遍历以表达该逻辑关系。根据该逻辑关系,并将模块的内容转化成对应的PLC符号,即可生成对应的梯形图。     

A new code generation algorithm for 2-offset producer order queue computation model

Queue computing is an attractive alternative for the compulsive demand of high-performance architectures. Code generation for queue machines has some problems but the solutions have not been studied thoroughly. A new parallel queue computation model, 2-offset P-Code queue computation model, is presented together with a new code generation algorithm. The code generation algorithm takes leveled DAGs as input and produces 2-offset P-Code assembly. We also developed a queue compiler to evaluate the new algorithm and compiled a set of C language benchmark programs for the 2-offset P-Code. The queue compiler generates between 8.55% less instructions and 10.55% more instructions than an actual MIPS32 compiler for the compiled programs.     

Effectiveness of automatic and expert generated narrative and guided instructions for task-oriented web browsing

This study investigated how instructions may be created to facilitate web browsing tasks. Two types of instructions were considered. Narrative instructions are text-based while guided instructions use graphic annotations. One way to create both types of instructions is to utilize the specialty of human experts. A method is also provided for automatic generation of both types of instructions based on the learning of user experience in web browsing. An experiment was conducted to test the effect of types of instruction, sources of instruction, and task complexity setting on performance variables in web browsing. The results of the experiment indicated that (1) by using web annotations, guided instructions resulted in better performance and satisfactions than narrative instructions in web browsing, (2) based on learning of web browsing activities, automatically generated guided instructions are comparable to expert-created guided instructions in terms of their effect on the performance of web browsing.     

面向国产CPU SW-1600的向量重组

由于向量化重组指令比较复杂并且不同指令有不同的延迟,从而难以寻找一种统一高效的向量重组算法。对国产CPUSW-1600提供的移位和插入提取指令进行了分析,提出单独依靠移位或插入提取指令实现向量重组的最优算法,并综合这两类指令实现向量重组的高效算法。最后通过实验证明该算法可以较好地对程序进行向量化,对整型数据的加速比达到7.31,对复杂的双精度浮点型程序的加速比也达到1.83。     

基于数据库的模具装配树建模及BOM自动生成

介绍了一个基于数据库的模具装配树构造和BOM自动生成工具。提出了装配树结构模型基于数据库的表示方法,同时还提出装配树可视化生成算法及模具结构BOM自动生成算法。应用这些算法,在微机上实现了模具装配树的可视化和BOM的自动生成。最后,还介绍了该系统的一个应用实例。     

基于本体的公差规范的自动生成

针对目前公差规范依靠人工指定带来不确定性的问题,在基于本体的公差类型自动生成方法的基础上,研究基于本体的公差规范的自动生成。通过分析公差规范领域知识,提取其中涉及的概念和关系,以此构建公差规范本体,并采用Web本体语言（Web Ontology Language,OWL）编码实现该本体。在所实现本体的基础上,采用语义Web规则语言（Semantic Web Rule Language,SWRL）定义公差规范的生成规则,进而设计公差规范的自动生成算法。应用所设计算法,说明减速器中间传动轴的公差规范自动生成的过程。将为CAD系统中公差规范自动生成的研究提供有效的思路和方法。     

GAGESIGHT: A Computer Vision System for Automatic Inspection of Instrument Gauges

GAGESIGHT is a computer vision system recently integrated into production which demonstrates new flexibility in production automation technology. The vision algorithm accommodates significant misregistration in the position and orientation of objects, and adjusts process control parameters accordingly. The GAGESIGHT system is easily reconfigured for inspecting new types of objects by executing a teach program, and responding to a few instructions at an interactive display console. GAGESIGHT, intially intended for the automatic inspection and assembly of pointers and other components to instrument gauges, is finding new applications as well since the approach employed makes few assumptions regarding the objects being viewed.     

Augmented Reality-Based Manual Assembly Support With Visual Features for Different Degrees of Difficulty

This research investigates different visual features for augmented reality (AR)–based assembly instructions. Since the beginning of AR research, one of its most popular application areas has been manual assembly assistance. A typical AR assembly application indicates the necessary manual assembly operations by generating visual representations of parts that are spatially registered with, and superimposed on, a video representation of the physical product to be assembled. Research in this area indicates the advantages of this type of assembly instruction presentation. This research investigates different types of visual features for different assembly operations. The hypothesis is that in order to gain an advantage from AR, the visual features used to explain a particular assembly operation must correspond to its relative difficulty level. The final goal is to associate different types of visual features to different levels of task complexity. A user study has been conducted in order to compare different visual features at different operation complexity levels. The results support the hypothesis.     

A program structuring preprocessor for a macro assembly language

This paper deals with design considerations and implementation of a program structuring preprocessor for a macro assembly language. The macro assembly language is used for writing the code generation pass of a compiler. Macro instructions become lengthy, tedious and cumbersome when they incorporate some mild code improvement. This is chiefly because the macro assembly language lacks an adequate program structuring facility. Program structuring is a great help in improving ease of programming and the under-standability of the expansion control statements of a macro instruction in such a kind of programming. Considerations on the design of the source language and the outline of implementation are described. The design objective is ease of implementation and ease of use, and is fairly well satisfied by the language.