归纳法模式的自动生成

本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．     

微型集散系统通用过程控制软件包

本文给出一种新的基于ＭＣＳ－５１单片机集散系统通用过程控制软件包的设计原理及其实施方法。文中重点地阐述了微型集散系统的构在民，通用过程控制软件的自动生成，主要数据结构与程序结构，实现方法及关键技术等。本软件包是采用ＴＵＲＢＯＣ２．０版本和ＭＣＳ－５１泄编语言编程的，并通过了ＭＣＳ－５１组合软件的编译，形成了可用的目标码程序系统。     

整体化软件工程与程序自动生成系统

软件工程的基本目的是改进软件质量、提高软件生产率。整体化软件工程是开发软件系统的一个新范式,注重用户接口的开发,通过改进可使用性提高软件整体质量。程序自动生成可以数量级地提高软件生产率。本文基于“会话独立”思想,阐述了整体化软件工程的概念,过程与分离软件的方法;给出了一个按照这种方法程序自动生成系统的组成与实现思想。新颖的软件开发方法与程序自动生成技术相结合,为软件开发提供了更好的工具     

基于可重用方法的库与应用程序接口开发环境

当前，开发以数据库为核心的集成化ＣＡＤ系统已迫在眉睫，为支持这种集成化，提供一个能自动生成数据库和应用程序之间接口的开发环境是很重要的手段之一．本文在分析了这种接口程序的功能和一般结构以后，提出了一个基于可重用方法的库与应用程序接口开发环境的总体模型──ＤＤＢＵＩＳ，试图结合两种支持复用的方法自动生成库与应用程序之间的接口，并为软件开发人员在开发其他系统时提供可重用的支持．     

箱体零件NC自动编程与动态模拟系统

本文介绍了一个适用于箱体类等零件的ＮＣ加工动态模拟系统─ＮＣＤＳＳ．该软件是我们研究的箱体零件ＣＡＯ／ＣＡＰＰ／ＮＣ一体化系统中的一个子系统，它能够在ＣＡＤ和ＣＡＰＰ基础上自动生成在卧式加工中心上进行加工的数控程序，并根据工艺顺序，进行加工过程的动态模拟显示．介绍了箱体类零件自动生成ＮＣ程序和ＮＣ加工动态模拟的原理和方法．     

面向智能CAD的分层构造自动型方法

本文着重对由抽象符号转化成具体形体的技术作了研究，提出了分层构造的自动造型方法．它支持直接由抽象的设计方案自动生成设计结果的三维表示，因而更适合于以辅助方案设计为核心的智能ＣＡＤ系统．一个基于该自动造型方法的椅子智能ＣＡＤ实验系统已在浙江大学人工智能研究所投入运行．     

一个测试程序自动生成器的设计与实现

本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。     

基于XML的构件自动组装系统的设计与实现

该文利用基于XML和Java的程序自动生成技术给出了一个构件组装系统的设计,提出了SAML应用模板语言的定义。连接器利用了消息总线的思想,通过共享消息资源的方式连接构件,从而将构件之间的连接关系解耦。在自动生成应用系统时对SAML模板文件进行分析、转换,自动生成消息分发器和最终可执行应用程序,并结合B2C电子购物领域给出一个原型实现。该设计方法为实现自动的构件组装技术提出了一种解决方案。     

基于过程和特征的模式匹配参数化设计方法

本文提出了基于过程和特征的模式匹配参数化设计方法；将用户与ＣＡＤ系统之间交互的过程数据翻译成ＣＡＤ系统所支持的语言程序作为源数据，由尺寸标注等特征数据生成模式和匹配数据，通过模式匹配置换源数据生成参数化程序。     

MIs系统的程序生成方法*

随着计算机技术的迅猛发展，MIs系统被广泛地应用于各行各业．本文提出一种程序生成技术，旨在提高MIs系统的开发效率和开发质量．本方法是基于构件库设计思想，首先设计出各种构件类脚本描述，用此可自动生成各种程序模块．用这种方法和技术，已成功开发出多个MIS系统，通常只需在2个月内就可完成大型信息系统的设计和生成工作．     

基于产生式的多语言程序理解的算法

提出一种程序理解实现方案,通过将程序设计语言的词法规则和语法规则以产生式表示,设计基于产生式多语言程序处理算法,将产生式自动转化为对应的词法和语法规则函数,使得不同的程序设计语言规则可以采用统一的方式描述,从而可用一套程序理解系统实现对多种程序设计语言的程序理解,以后增加某种程序设计语言的程序理解,只要定义对应程序设计语言的词法和语法规则产生式即可实现,有效地解决了程序理解系统的共享性难题。     

程序算法识别研究综述

了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效、准确。系统整理了程序算法识别领域的相关工作。首先,梳理程序算法识别等相关概念,简介基于知识表示与基于信息检索的方法;其次,将基于代码表征的方法划分为基于序列、基于树和基于图等方法展开详细阐述,并对三类方法作出小结与对比;最后,介绍程序算法识别任务的相关应用领域,分析该任务中尚存的问题并对未来的发展作出展望。     

A specificational approach to high level program monitoring andmeasuring

Program monitoring and measuring is the activity of collecting information about the execution characteristics of a program. Although this activity is occasionally supported by special-purpose hardware, it is normally done by adding instrumentation code to the program so that it collects interesting data as it runs. Unfortunately, this alteration is itself a difficult task involving all the complexities of programming. Given some questions to be answered, the programmer must determine what data must be collected, determine where in the program those data can be collected, and add code to the program to collect that data and to process it to produce the desired results. The goal of the work described is to automate the process. A high-level program monitoring and measuring system is presented. The system provides a high-level specification language to let programmers specify what they want to know about their program's execution. It automatically generates an augmented program whose execution produces both the results of the original program and answers to the specified questions     

并行程序自动优化虚拟化框架

支持程序自动并行化的本质是判定相互之间不存在相关的代码块,因此如何精确地获取包括控制流图和数据流图在内的程序运行时行为成为程序自动并行化的基础.将虚拟机技术运用于并行程序优化领域,设计了基于虚拟机的程序自动并行化框架Vapor,提出了基于二进制翻译技术的超块指令置位替换策略(super block-based in-p...     

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.     

一种改进的静态程序切片算法

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。     

PELAS-program error-locating assistant system

Error localization in program debugging is the process of identifying program statements which cause incorrect behavior. A prototype of the error localization assistant system which guides a programmer during debugging of Pascal programs is described. The system is interactive: it queries the programmer for the correctness of the program behavior and uses answers to focus the programmer's attention on an erroneous part of the program (in particular, it can localize a faulty statement). The system differs from previous approaches in that it makes use of the knowledge of program structure, which is derived automatically. The knowledge of program structure is represented by the dependence network which is used by the error-locating reasoning mechanism to guide the construction, evaluation, and modification of hypothesis of possible causes of the error. Backtracking reasoning has been implemented in the reasoning mechanism     

采用VB与MATLAB混合编程的数字滤波器设计

结合VB编程简单、界面友好的特点及MATLAB强大的计算、图形表达功能,采用VB与MATLAB的混合编程,可以开发出效率高、使用方便的应用程序.利用ActiveX技术和文件传递参数,解决了VB与MATLAB的混合编程并应用于数字滤波器的设计上,利用该方法设计了FIR数字滤波器.     

Applying Plan Recognition Algorithms To Program Understanding

Program understanding is often viewed as the task of extracting plans and design goals from program source. As such, it is natural to try to apply standard AI plan recognition techniques to the program understanding problem. Yet program understanding researchers have quietly, but consistently, avoided the use of these plan recognition algorithms. This paper shows that treating program understanding as plan recognition is too simplistic and that traditional AI search algorithms for plan recognition are not suitable, as is, for program understanding. In particular, we show (1) that the program understanding task differs significantly from the typical general plan recognition task along several key dimensions, (2) that the program understanding task has particular properties that make it particularly amenable to constraint satisfaction techniques, and (3) that augmenting AI plan recognition algorithms with these techniques can lead to effective solutions for the program understanding problem.     

使用群签名实现的可撤销匿名性电子现金方案

ACJT群签名是证明了的抗合谋和非常有效和安全的群签名方案,但它不能防止敲诈。跟据该方案,通过结合新的密码学知识,设计出一个由群签名技术实现的可撤销匿名性电子现金方案,能有效防止重复花费和防敲诈。文章介绍了该方案设计思路与算法的实现,并对性能进行了分析,最后对本方案的整体效率做了总结。