首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 11 毫秒
1.
The Programmer's Apprentice: a research overview   总被引:4,自引:0,他引:4  
Rich  C. Waters  R.C. 《Computer》1988,21(11):10-25
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.
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.
Steenkiste  P. Hennessy  J. 《Computer》1988,21(7):34-45
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.
Sussman  G.J. Holloway  J. Steel  G.L.  Jr. Bell  A. 《Computer》1981,14(7):10-21
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.
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.
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.
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  相似文献   

15.
物联网初探     
从物联网的概念出发,阐述了物联网的发展历程、发展前景、存在的问题及我国应采取的对策。  相似文献   

16.
电渗驱动微泵设计初探   总被引:1,自引:0,他引:1  
电渗驱动微泵是一种新型的微泵,具有输出压强高、流量可调范围宽、结构简单、无活动部件等特点,易与微通道热沉集成,构成微通道冷却系统,可用于集成电路的热管理.本文介绍了电渗驱动微泵的数学模型,利用PB方程来描述电渗流中电势和离子分布,讨论了背压与流速的关系,槽道宽度、工作液体温度、外加电压等参数对电渗泵性能的影响.  相似文献   

17.
基于RaveReport5.0的强大功能,用户只需掌握报表设计过程中的几个要点即可轻松设计各种实用报表,本文采用嵌套报表实例来阐述通过RaveReport5.0来开发数据报表的方法。  相似文献   

18.
基于Rave Report5.0的强大功能,用户只需掌握报表设计过程中的几个要点即可轻松设计各种实用报表,本文采用嵌套报表实例来阐述通过Rave Report5.0来开发数据报表的方法。  相似文献   

19.
随着对惯性导航系统中对准时间要求的不断提高,初始对准需要在大方位失准角条件下进行,此时需采用非线性滤波方法来实现初始对准。基于此,提出高斯过程回归平方根中心差分卡尔曼滤波算法(GP-SRCDKF)。将高斯过程回归融入到SRCDKF算法中,利用高斯过程得到系统回归模型及噪声协方差,用回归模型代替状态方程和观测方程,对相应的噪声协方差进行实时自适应调整。该算法不仅克服了扩展卡尔曼滤波滤波精度低、需要计算雅可比矩阵的不足,而且可解决传统滤波容易受系统动态模型不确定和噪声协方差不准确的限制。仿真实验结果验证了该算法的有效性和优越性。  相似文献   

20.
第三代移动通信技术和网络是以业务为中心、依靠业务驱动发展起来的。按照3GPP相关标准规范的定义,WCDMA网络能提供高达2Mbit/s的数据速率。目前R99版本商用网提供的最大数据速率为384kbit/s.可以支撑多种类型的数据业务。从通信领域的市场发展来看。将数据通信业务与个性化的移动通信业务有机融合,向移动用户提供面向客户、  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号