语言的抽象、封装与变换型开发方法

该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.     

程序的结构变换与结构优化

本文是“程序流程图的自动生成”一文的续篇;是在高级语言源程序已变换成流程图的前提下,讨论对框图进行结构优化并将优化过的框图变换成源程序的过程。     

递归变换语法与多级双向矩阵

本文论述了程序设计语言的变换,给出了程序设计语言变抉的元语法——递归变换语法,同时给出其实现的方法——多级双向矩阵,作为一个实例,本文给出了“多带上一机”的方法。递归变换语法以基语言的语法为基础,采用通常的语法公式,增加第二右部并在其中插入语义子程序来实现用户所使用或定义的语言至基语言的映照。多级双向矩阵是同样模式的矩阵的叠式结构。本文并描述了已在DJS-8计算机上实现的变换生成系统——TGS。     

基于图像插值的电视测角仪视场变换系统设计

某型装备电视测角仪给检测仪提供电视信号的同时还需要对电视信号进行控制,以进行大小视场的变换,选用双三次插值法来实现视场变换的效果,并根据实际需要设计了查表模块来代替复杂的权值计算,以便节约FPGA系统资源。完成了系统硬件设计,最后设计了FPGA图像插值的各个模块,完成设计。     

Illustrator9.0典型试题分析

1.关于图形→变换→再次变换命令正确的是()A)“再次变换命令”可以完成物体的多次固定距离的移动及复制B)“再次变换命令”可以完成物体的多次固定数值的旋转及复制C)“再次变换命令”可以完成物体的多次固定数值的倾斜及复制D)“再次变换命令”可以完成物体的多次固定数值的涡形旋转及复制答案：D）分析：“再次变换”主要用于对上一次编辑（变换）后的图形再次使用同一种效果。“变换”只能来自“变形”下的“移动”、“缩放”、“旋转”、“镜像”和“倾斜”命令。2.在Illustrator中有几个选择工具()A)1B)2C)3D)5答案：D）分析：在…     

并联机床数控系统运动学变换的研究

并联机床由于完全摒弃了传统机床固定导轨的刀具导向方式,其数控系统中必然需要添加运动学变换模块,以实现加工代码中的直角坐标与其可控制的关节空间坐标之间的转换.本文介绍了3-TPS并联机床数控系统中运动学变换方程组的建立和求解,详细分析了五坐标加工时运动学变换的实现,并在实际平台中仿真测试了运动学模块的性能.     

让机器人充满智慧——LOGO语言系列讲座

程序是机器人的“灵魂”,程序可以赋予机器人活力,程序可以让我们随心所欲地控制它。 今天我们就来学习如何用命令控制“太空穿梭机”。通过命令的学习,不仅可以增长我们的智慧,同时还可以赋予机器人以智慧。好了,现在我们就开始介绍LOGO语言的命令。 LOGO语言中有十几条基本命令,很容易掌握。等你学会了这些命令,就可以指挥太空穿梭机做事情了。 用LOGO语言编写程序(在LOGO语言中称为过程)很简单,只要按你的想法先编写流程图,再将语句和命令汇成过程传给太空穿梭机,太空穿梭机就会成为你的战士,听从你的指挥了。     

FPGA时序结构的LBT变换控制器设计

JPEG XR编码算法中重叠双正交变换(LBT)传统的FPGA实现都是基于线性提升结构,无时序约束,存在亚稳态、码流不受控等问题。为此,设计了一种基于FPGA时序结构的LBT变换控制器,该设计采用混合状态机,将LBT变换算子设计为时序控制结构的数据处理模块。数据处理模块通过握手信号与前后控制模块进行指令通信,并根据指令进行相应的数据处理。为了节省FPGA内部存储空间,该设计采用单RAM循环结构,由通道选择器来切换各个控制模块与RAM之间的通道。各个控制模块根据数据处理模块反馈的应答指令实时计算图像数据的地址,交叉对RAM进行读写操作。实验结果表明,该控制器实现了对LBT变换的FPGA时序约束,处理后的图像与MATLAB仿真图像基本一致,达到了预期目的。     

基于DSP的智能语音控制系统设计

利用语音命令实现与智能设备的交互已经成为现代控制理论研究的热门话题之一。介绍了一种基于数字信号处理器(DSP)、语音采集模块、无线收发模块、片上外设等资源实现的语音命令控制处理系统。该系统首先通过语音采集模块采集到语音控制信号;然后通过DSP和相应的片上外设实现对语音命令的识别;最后将识别的语音命令传递给无线收发模块以实现对于智能设备的控制。整个系统的设计应用领域广泛,可以为人机交互提供一种切实可行的参考方案。     

软件工程(五) 软件开发方法——软件设计(2)

二、结构化设计技术结构化设计技术是以数据流图为基础设计系统的模块结构。我们从表达“需求分析”的数据流图找出一些简单的规律,从而便于导出初始的模块结构。先讨论一下数据流图的类型。1.数据流图的类型具有较明确的输入、变换(或称主加工)和输出界面的数据流图称为变换型数据流图。这类数据流图可以明显地分成输入、主加工和输出三个部分。如图9所示。在变换型数据流图中,主加工是系统的中心工作,主加工的输入数据流“合格的汇款单”是系统的“逻辑输入”;主加工的输出数据流“核准后的汇款单”是系     

基于超文本的面向对象的逻辑型和函数型程序变换

本文在ＡＤＬ和ＤＡＤＬ基础上发展了一种引入抽象数据类型的逻辑型和函数型程序变换语言，阐述了从逻辑型向函数型和从函数型向过程型程序的变换方法，并介绍了基于超文本技术的程序变换支撑系统。     

状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．     

逻辑语言中启发式控制

本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。文章最后给出启发式WAM(记作HWAM),并且用实例说明HWAM比WAM更有效,更完善。     

Toward an abstract theory of data compression

This paper extends the usual notion of abstract program size complexity, studied by Kolmogorov, Chaitin and others, to a theory that can better model the concept of a ‘practical’ compression method. The contraction of a string is defined, as in standard program size complexity, to be the shortest program which produces that string. However, this is in general an undecidable problem. Here, a model for an abstract compression ‘scheme’ is proposed. An abstract compression scheme not only allows the programming language and cost function to be specified, but also a restricted domain of programs that may be used as compressed forms. Limitations and inherent trade-offs are discussed and a class of ‘good’ schemes is considered.     

支持软件重用的程序设计语言

本文提出一种支持软件重用的程序语言并给出了重用描述语言翻译器的工作原理。该语言是在宿主语言Ｃ＋＋中加入“重用描述”成分和“装配语句”而形成的。该文件以软件重用库为依托,重用描述用于表达用户在程序中对部件的要求,重用描述语言翻译器则分析这些需求,自动在库中查找提出部件来适应用户。     

Program Reusability through Program Transformation

How can a program written in pure applicative LISP be reused in a Fortran environment? One answer is by automatically transforming it from LISP into Fortran. In this paper we discuss a practical application of this technique-one that yields an efficient Fortran program. We view this process as an example of abstract programming, in which the LISP program constitutes an abstract specification for the Fortran version. The idea of strategy-a strategy for getting from LISP to Fortran-is basic to designing and applying the transformations. One strategic insight is that the task is easier if the LISP program is converted to ``recursive' Fortran, and then the recursive Fortran program is converted to nonrecursive standard Fortran. Another strategic insight is that much of the task can be accomplished by converting the program from one canonical form to another. Developing a strategy also involves making various implementation decisions. One advantage of program transformation methodology is that it exposes such decisions for examination and review. Another is that it enables optimizations to be detected and implemented easily. Once a strategy has been discovered, it can be implemented by means of rewrite-rule transformations using the TAMPR program transformation system. The transformational approach to program reuse based on this strategy has a measure of elegance. It is also practical-the resulting Fortran program is 25 percent faster than its compiled LISP counterpart, even without extensive optimization.     

TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*

A Functional Abstract Notation (FAN) is proposed for the specification and design of parallel algorithms by means of skeletons - high-level patterns with parallel semantics. The main weakness of the current programming systems based on skeletons ii that the user is still responsible for finding the most appropriate skeleton composition for a given application and a given parallel architecture

We describe a transformational framework for the development of skeletal programs which is aimed at filling this gap. The framework makes use of transformation rules which are semantic equivalences among skeleton compositions. For a given problem, an initial, possibly inefficient skeleton specification is refined by applying a sequence of transformations. Transformations are guided by a set of performance prediction models which forecast the behavior of each skeleton and the performance benefits of different rules. The design process is supported by a graphical tool which locates applicable transformations and provides performance estimates, thereby helping the programmer in navigating through the program refinement space. We give an overview of the FAN framework and exemplify its use with performance-directed program derivations for simple case studies. Our experience can be viewed as a first feasibility study of methods and tools for transformational, performance-directed parallel programming using skeletons.     

一种基于C扩展的SIMD的并行程序设计语言

ＳＩＭＣ（ＳＩＭＤＣ）是通过对Ｃ语言进行语法扩展（未进行语义扩展）得到的支持ＳＩＭＤ（ｓｉｎｇｌｅｉｎｓｔｒｕｃｔｉｏｎｍｕｌｔｉｐｌｅｄａｔａ）并行程序设计的并行语言．ＳＩＭＣ可方便地描述ＳＩＭＤ并行算法，具有ＳＩＭＤ计算机系统结构定义能力，可支持多种系统结构上的并行算法研究．ＳＩＭＣ语言的模拟执行系统已在单机上实现，并作为作者研究开发的ＳＩＭＤ计算机程序设计及性能评价模拟环境的并行程序设计语言，用于ＳＩＭＤ计算机算法及结构的性能评价.     

A reification calculus for model-oriented software specification

This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types.The purpose of this research is to reduce the number of formal proofs required in model refinement, which hinder software development. It is shown to be applicable to the transformation of models written in META-IV (the specification language of VDM) towards their refinement into, for example, Pascal or relational DBMSs. The approach includes the automatic synthesis of retrieve functions between models, and data-type invariants.The underlying algebraic semantics is the so-calledfinal semantics à la Wand: a specification is amodel (heterogeneous algebra) which is the final object (up to isomorphism) in the category of all its implementations.The transformational calculus approached in this paper follows from exploring the properties of finite, recursively defined sets.This work extends the well-known strategy of program transformation to model transformation, adding to previous work on a transformational style for operation-decomposition in META-IV. The model-calculus is also useful for improving model-oriented specifications.     

传统程序设计语言的面向对象扩充的若干技术

本文论述用转换方式实现传统程序设计语言的面向对象扩充，给出了一组关键技术以解决由子类型多态和动态定连所引出的问题，其基本思想是将类和对象类型分开处理，从而避免转换过程中的重复工作．这些技术具有适用性强、功效高的特点，并且在ＰＡＳＣＡＬ语言的面向对象扩充ＮＤＯＯＰ和ＭＯＤＵＬＡ－２语言的面向对象扩充ＮＤＯＯＭ的实现中被采用，效果令人满意.