FOPR：一个面向FPRTRAN的程序设计环境

本文介绍一个面向ＦＰＲＴＲＡＮ的程序设计环境ＦＯＰＥ。ＦＯＰＥ提供对ＦＰＲＴＲＡＮ程序的静态分析，动态分析、程序变换、循环变换、文档生成等功能，文中详细地介绍了这些功能。ＦＯＰＥ的一个重要特点是可视化。可视化工具有程度调用关系图、过程控制流图和数据依赖图三种，它能做到对程序的静态结构和动态运行过程用图形显示。     

FORTRAN源码从NDP FORTRAN移植到FORTRAN Powerstation4.0应注意的几 …

本文在简单介绍ＮＤＰ ＦＯＲＴＲＡＮ和ＦＯＲＴＲＡＮ Ｐｏｗｅｒｓｔａｔｉｏｎ４．０的基础上,通过几个ＦＯＲＴＲＡＮ７７程序的试验,说明了在将ＮＤＰ ＦＯＲＴＲＡＮ环境下编译运行无误的源码移植到ＦＯＲＴＲＡＮ Ｐｏｗｅｒｓｔａｔｉｏｎ４．０环境时文件输入输出应注意的几个问题及解决方法。     

面向多领域的可视化应用开发平台MOVADP

ＭＯＶＡＤＰ是一个面向多领域的可视化应用开发平台，文中主要介绍了该平台的软件结构和实现技术，ＭＯＶＡＤＰ以数据流机制为核心，采用可视编程技术，为用户开发可视化应用提供了一个文凭交互的模块级图形编程环境，与同类平台相比，ＭＯＶＡＤＰ的特点在于，引入了ＩＦＴＨＥＮ－ＥＬＳＥ，ＷＨＩＬＥ－ＬＯＯＰ等控制结构，支持用户构建复杂的可化应用流图；支持“ｌａｚｙｅｖａｌｕａｔｉｏｎ”命令驱动方式下的流图局部运行     

FORTRAN程序调用MATLAB引擎实现计算可视化

探索了ＦＯＲＴＲＡＮ程序调用ＭＡＴＬＡＢ函数的基本原理,用实例介绍了调用ＭＡＴＬＡＢ引擎函数,实现ＦＯＲＴＲＡＮ程序计算结果的可视化过程。并给出如何编译带有ＭＡＴＬＡＢ引擎函数ＦＯＲＴＲＡＮ程序的具体技术。     

FORTRAN集成环境的开发和应用

介绍一个用ＰＡＳＣＡＬ语言开发的ＦＯＲＴＲＡＮ集成环境，它短小精悍、使用方便，充分利用了机器的硬件资源，特别适合ＦＯＲＴＲＡＮ语言的教学的开发。     

微机快速傅氏变换图象识别的研究

微机快速傅氏变换图象识别的研究方卯发（湖南师范大学物理系长沙４１００８１）ＳＴＵＤＹＯＮＰＡＴＴＥＲＮＲＥＣＯＧＮＩＴＩＯＮＢＹＦＡＳＴＦＯＵＲＩＥＲＴＲＡＮＳＦＯＲＭＯＮＣＯＭＰＵＴＥＲ￥ＦａｎｇＭａｏｆａ（ＤｅｐａｒｔｍｅｎｔｏｆＰｈｙｓｉｃｓ，...     

用NDP－FORTRAN开发科学计算可视化软件

本文借助ＮＤＰ－ＦＯＲＴＲＡＮ编译系统制作了一些实用的功能块，并应用这些子块，开发了用于科学计算可视化的三维图形绘制模块，其中包括消隐网格图的绘制，矢量的箭头绘制，标量的颜色显示。这些模块具有变比例、平移、旋转、变更绘图颜色等功能。本文还将这些模块和流场计算程序连接形成组成了可视化计算程序     

Fortran语言对Fortran二进制文件的处理

介绍了如何采用ＦＯＲＴＲＡＮ语言读取不是ＦＯＲＴＲＡＮ语言所写的二进制文件，并以处理ＢＭＰ和ＳＰＴ图形文件为例，介绍了如何使用所讲述的方法。     

基于文本文件的高级语言（软件）数据共享问题

本文对计算机常用软件（如Ｃ语言，ＦＯＸＢＡＳＥ，ＦＯＲＴＲＡＮ，ＢＡＳＩＣ，ＰＡＳＡＣＬ及ＣＯＢＯＬ等）间的数据共享与参数传递作了产全面的介绍，并重点介绍了数据共享的具体软件方法。     

Sun C语言与Sun FORTRAN混合编程技术

Ｓｕｎ的ｃ语言与Ｆｏｒｔｒａｎ语言可以相互调用，灵活地使用可以充分发挥两种语言的优势，并能大大地提高工作效率。本文介绍ＦＯＲＴＲＡＮ程序如何调用Ｃ程序以及Ｃ程序如何调用ＦＯＲＴＲＡＮ程序，给出了在Ｓｕｎ工作站上通过的例子。     

PORT：并行优化重构工具集

ＰＯＲＴ是以ＦＯＲＴＲＡＮ７７源程序为象的并行优化重构工具集，它以自动并行重构程序为主体，辅以一组优化，静态分析，动态分析和程序执行过程视化工具，通过良好的用户界面和统一的的内部数据结构将它们集成为一个整体，本文介绍ＰＯＲＴ系统的特点，结构和若干关键技术。     

A general and formal method for the program static analysis

This paper tries to provide a general and formal method for the program static analysis. For this purpose, a projecting model of directed graph is developed. The regularity of control flow and data flow as well as programs are defined. How to analyse the programs by means of projecting is discussed. The method proposed here is called “projecting technique”, which has been successfully used in a fine automated analysis system for FORTRAN programs. It appears more general, simpler and more flexiable than those methods proposed before.     

面向方面程序的简化动态依赖图切片方法

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。     

一种用于指针程序的形状分析方法

指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。     

基于静态分析的Android GUI遍历方法

针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建程序活动转换图和函数调用图,解析程序GUI元素,进而编写测试脚本动态遍历应用程序GUI元素。将该方法应用于订票日历、WiFi万能钥匙和360天气应用的实际测试,结果表明：Activity的平均覆盖率达到76%,明显高于人工测试的平均值30.08%和基于控件树遍历的42.05%~61.29%,该方法能够有效遍历Android应用程序GUI元素。     

基于动静结合的Android恶意代码行为相似性检测

针对同种族恶意软件行为具有相似性的特点进行研究,提出通过静态分析和动态运行程序相结合的方式度量软件行为的相似性。通过反编译和soot代码转换框架获取程序控制流图,利用行为子图匹配算法从静态方面对程序行为相似性进行度量;通过自动化测试框架运行程序,利用文本无关压缩算法将捕获到的trace文件压缩后进行相似性度量。该检测方法综合静态检测执行效率高和动态检测准确率高的优点,实验分析表明,该检测技术能够准确度量程序之间行为的相似性,在准确率上相较于Androidguard有大幅提升。     

二维激光切割数控系统的图形显示

本研究和开发了二维激光切割数控系统的静态和动态图形显示功能。在静态图形显示中，将编制的零件加工程序映射成零件轮廓显示在屏幕上，编程人员可以通过显示的零件轮廓来检查编程错误；在动态图形显示中，采用部分屏动画技术，既满足了图形显示的实时性，又产生了良好的显示效果。     

一种JAVA程序静态切片的方法

JAVA语言是目前一种主要的面向对象编程语言,由于JAVA语言复杂的结构,使得对JAVA程序进行程序切片非常困难.本文提出一种层次的构造JAVA系统依赖图的算法,基于JAVA程序本身的层次结构,自顶向下构造系统依赖图,然后基于构造的系统依赖图,用一种改进的两阶段算法得到JAVA程序切片.     

非原子性异常处理的静态分析

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。     

一种精确的调用图生成技术

调用图是过程间分析和程度自动并行化的基础。生成精确调用图可以进一步开发程序的并行性。此文针对Ｆｏｒｔｒａｎ程序，提出了一项完全消除哑过程，产生精确调用图的技术与相应的算法。该算法已在面向ＭＰＰ Ｆｏｒｔｒａｎ的程序自动并行化工具中实现。