共查询到20条相似文献,搜索用时 11 毫秒
1.
The Programmer's Apprentice: a research overview 总被引:4,自引:0,他引:4
The long-term goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. The authors present their vision of the Programmer's Apprentice, the principles and techniques underlying it, and their progress toward it. The primary vehicle for this exposition is three scenarios illustrating the use of the Apprentice in three phases of the programming task: implementation, design, and requirements. The first scenario is taken from a completed working prototype. The second and third scenarios are the targets for prototype systems currently under construction 相似文献
2.
An initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described. The PA is designed to be midway between an improved programming methodology and an automatic programming system. The intention is that the programmer will do the hard parts of design and implementation while the PA will assist him wherever possible. One of the major underpinnings of the PA is a representation (called a plan) for programs which abstracts away from the inessential features of a program, and represents the basic logical properties of the algorithm explicitly. 相似文献
3.
《IEEE transactions on pattern analysis and machine intelligence》1985,(11):1296-1320
The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semiexpert assistant to a person who is writing a program-taking over some parts of the programming task. Using KBEmacs, it is possible to construct a program by issuing a series of high level comnmands. This series of commands can be as much as an order of magnitude shorter than the program it describes. 相似文献
4.
The factors that motivated the choice of a reduced-instruction-set computer (RISC) on which to implement Lisp are examined. Dynamic profiling measurements used to characterise Lisp are reported. The implementation of tags in Lisp and the cost of function calls are discussed. Interprocedural register allocation is examined. Execution results for various benchmarks are presented and discussed 相似文献
5.
The Scheme-79 single-chip microcomputer implements an automatic storage allocation system and an interrupt facility to support direct interpretation of a variant of the Scheme dialect of Lisp. 相似文献
6.
7.
Richard Acuff 《LISP and Symbolic Computation》1990,3(2):171-204
To assist in the evaluation of Lisp platforms for the Stanford University Knowledge Systems Laboratory, 25 Common Lisp implementations were benchmarked. Run time and compilation time data on two moderate-sized application programs are presented, along with data on the effect of compiler optimization levels and on the impact of display I/O on run time. For these Lisp benchmarks, several systems did not rank where we expected them based on speed ratings using other conventional measures. Also, the rankings of machines by Lisp speed differed for the two programs we tested. The data indicate that the performance of Lisp systems is very application dependent. The quality of the software environment should play at least as strong a role in machine selection as performance benchmarks.This work was sponsored by the Biomedical Research Technology Program of the National Institutes of Health under grant RR-00785 and by the Information Systems Technologies office of the Defense Advanced Research Projects Agency under contract N00039-86-C0033. 相似文献
8.
针对CAD平台下地形图高程数据存在一些高程缺陷或局部批量修改问题,设计一种多边形内匹配高程点和注记检查,批量修改CASS软件的数字地形图的局部错误高程值的算法,并利用Auto Lisp语言实现该算法。 相似文献
9.
Julian Padget 《Computer Standards & Interfaces》1994,16(5-6):505-509
This paper, one of a simultaneously published set, describes the establishment in 1985–1986 of the ISO standards project for the programming language Lisp, and the progress of the project to the end of 1993. 相似文献
10.
11.
12.
《Advanced Robotics》2013,27(4):373-399
In the present work, a leg mechanism together with a flexible joint system is designed and constructed. The leg mechanism is expected to walk on uneven terrain and be subject to certain impact or contact forces. The effect of the designed flexible gear system and footpad on shock absorption is a main concern. The joint torque of the motor gear and the contact force of the foot are analyzed with different control schemes. The control performance of the leg movement by these methods is also presented. The proposed control methodology could next be applied to a newly designed two-link leg mechanism. It is hoped that the present study can be extended to an exoskeleton leg mechanism that is being developed. 相似文献
13.
1.引言 Grid的研究和发展源于高性能计算领域,最初目标在于解决高性能计算对于计算机计算能力所提出的越来越高的需求。Grid是信息技术一个全新的研究领域,其内涵与概念还很不完善,业界关于Grid的观点很多,本文概括为以下三种: ·中间件观点。Grid实际上是一个中间件,现有的资源,诸如网络、超级计算机、服务器、操作系统、数据库、文件系统等都是Grid的底层设施,Grid之上是应用程序,这些应用程序通过Grid调用、共享资源来完成任务。 相似文献
14.
Kiyotaka Izuni Keigo Watanabe Hodaka Tamura Yashuhiro Ikeda 《Artificial Life and Robotics》1999,3(3):160-165
In this paper, we describe the dependence of an initial state in a self-organizing robot on an optimal structure configuration,
where a “fractum” is used as a basic unit. Each robot operates on a genetic algorithm (GA) by itself, and all of them will
produce a desired configuration. However, problems such as a deadlock state can happen depending on the initial configuration.
A deadlock state means a state in which no robots can move because each robot moves autonomously. It is proved from simulations
that a difference in the initial configuration can affect both the deadlock rate and the number of movements of fracta needed
to obtain an optimal structure configuration.
This work was presented, in part, at the Third International Symposium on Artificial Life and Robotics, Oita, Japan, January
19–21, 1998 相似文献
16.
17.
基于RaveReport5.0的强大功能,用户只需掌握报表设计过程中的几个要点即可轻松设计各种实用报表,本文采用嵌套报表实例来阐述通过RaveReport5.0来开发数据报表的方法。 相似文献
18.
基于Rave Report5.0的强大功能,用户只需掌握报表设计过程中的几个要点即可轻松设计各种实用报表,本文采用嵌套报表实例来阐述通过Rave Report5.0来开发数据报表的方法。 相似文献
19.
随着对惯性导航系统中对准时间要求的不断提高,初始对准需要在大方位失准角条件下进行,此时需采用非线性滤波方法来实现初始对准。基于此,提出高斯过程回归平方根中心差分卡尔曼滤波算法(GP-SRCDKF)。将高斯过程回归融入到SRCDKF算法中,利用高斯过程得到系统回归模型及噪声协方差,用回归模型代替状态方程和观测方程,对相应的噪声协方差进行实时自适应调整。该算法不仅克服了扩展卡尔曼滤波滤波精度低、需要计算雅可比矩阵的不足,而且可解决传统滤波容易受系统动态模型不确定和噪声协方差不准确的限制。仿真实验结果验证了该算法的有效性和优越性。 相似文献