首页 > 最新文献

Proceedings of the 1967 22nd national conference最新文献

英文 中文
Hardware measurement device for IBM system/360 time sharing evaluation 硬件测量设备用于IBM系统/360分时评估
Pub Date : 1967-01-01 DOI: 10.1145/800196.805980
F. D. Schulman
This paper describes the work, presently in process, for using a monitoring machine to evaluate the Model 67 Time Sharing System.
本文描述了目前正在进行的利用监测仪对67型分时系统进行评价的工作。
{"title":"Hardware measurement device for IBM system/360 time sharing evaluation","authors":"F. D. Schulman","doi":"10.1145/800196.805980","DOIUrl":"https://doi.org/10.1145/800196.805980","url":null,"abstract":"This paper describes the work, presently in process, for using a monitoring machine to evaluate the Model 67 Time Sharing System.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"06 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128901079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
The status of systems for on-line mathematical assistance 在线数学辅助系统的现状
Pub Date : 1967-01-01 DOI: 10.1145/800196.805985
Adrian Ruyle, J. Brackett, R. Kaplow
Accelerated by the advent of time-sharing, on-line systems of all types have come into being during the past five years. All of these systems are designed to facilitate the interchange of information between the user and the machine. The applications to which such systems have been put are numerous and extremely varied, yet those systems which attempt to provide a general facility for mathematical computation form a relatively small class. This paper attempts to survey and analyze some members of this restricted class in order to illustrate their common features, strong points, and areas of weakness, as well as to indicate some of the features which are desirable in any system designed to provide on-line mathematical assistance. We believe that these systems, when implemented on third generation computers, will serve large numbers of users, including numerical analysts, scientists and engineers.
在过去的五年中,随着分时系统的出现,各种类型的在线系统应运而生。所有这些系统都是为了方便用户和机器之间的信息交换而设计的。这些系统的应用范围非常广泛,而且变化很大,然而,那些试图为数学计算提供通用设施的系统形成了一个相对较小的类别。本文试图调查和分析这个受限制的班级的一些成员,以说明他们的共同特点,优点和缺点,并指出一些在任何设计提供在线数学辅助的系统中都是可取的。我们相信,这些系统在第三代计算机上实现后,将服务于大量用户,包括数值分析师、科学家和工程师。
{"title":"The status of systems for on-line mathematical assistance","authors":"Adrian Ruyle, J. Brackett, R. Kaplow","doi":"10.1145/800196.805985","DOIUrl":"https://doi.org/10.1145/800196.805985","url":null,"abstract":"Accelerated by the advent of time-sharing, on-line systems of all types have come into being during the past five years. All of these systems are designed to facilitate the interchange of information between the user and the machine. The applications to which such systems have been put are numerous and extremely varied, yet those systems which attempt to provide a general facility for mathematical computation form a relatively small class. This paper attempts to survey and analyze some members of this restricted class in order to illustrate their common features, strong points, and areas of weakness, as well as to indicate some of the features which are desirable in any system designed to provide on-line mathematical assistance. We believe that these systems, when implemented on third generation computers, will serve large numbers of users, including numerical analysts, scientists and engineers.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121333685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Some further methods of discretizing the exponential distribution 指数分布离散化的进一步方法
Pub Date : 1967-01-01 DOI: 10.1145/800196.806018
I. Kabak
One method for discretizing the exponential distribution such that the discrefized values bear a resemblance to the continuous distribution is as follows. The density function will first be divided into N equiprobable intervals each of area 1/N. Some measure of central tendency of each interval will define the equiprobable values. In a previous study [1] the effects of using the mean and the median of the equiprobable intervals was noted. The measure of effectiveness used involved a comparison of the moments of the delay distribution for a simple queueing system based upon these measures of central tendency and known theoretical results. This paper will present the results of two extensions of the previously cited study [1]. It was shown that when using the mean of the equiprobable intervals one obtained “better” i.e., less biased, results for the moments of the delay distribution under question than when the medians of the intervals were used. Although these results were very good, on some subjective measure, a bias does exist for all higher moments of the delay distribution. One way to reduce this bias is to consider different measures of each equiprobable interval. This paper shows the results of using the rth root of the rth moment of each interval, corrected for the mean. A second concern arises when there is a limited amount of storage space in the digital computer for the discretized points.
一种使指数分布离散化,使离散值与连续分布相似的方法如下。首先将密度函数划分为N个等概率区间,每个区间的面积为1/N。每个区间的集中趋势的某种度量将定义等概率值。在先前的研究[1]中,注意到使用等概率区间的平均值和中位数的影响。使用的有效性度量涉及到基于这些集中趋势度量和已知理论结果的简单排队系统的延迟分布的时刻的比较。本文将介绍对先前引用的研究[1]的两个扩展的结果。结果表明,当使用等概率区间的平均值时,所讨论的延迟分布的矩比使用区间的中位数时得到的结果“更好”,即偏差更小。虽然这些结果非常好,但在某些主观测量上,延迟分布的所有较高时刻确实存在偏差。减少这种偏差的一种方法是考虑每个等概率区间的不同度量。本文展示了使用每个区间的第n阶矩的第n次方根,对平均值进行校正的结果。当数字计算机中存储离散点的空间有限时,第二个问题就出现了。
{"title":"Some further methods of discretizing the exponential distribution","authors":"I. Kabak","doi":"10.1145/800196.806018","DOIUrl":"https://doi.org/10.1145/800196.806018","url":null,"abstract":"One method for discretizing the exponential distribution such that the discrefized values bear a resemblance to the continuous distribution is as follows. The density function will first be divided into N equiprobable intervals each of area 1/N. Some measure of central tendency of each interval will define the equiprobable values. In a previous study [1] the effects of using the mean and the median of the equiprobable intervals was noted. The measure of effectiveness used involved a comparison of the moments of the delay distribution for a simple queueing system based upon these measures of central tendency and known theoretical results. This paper will present the results of two extensions of the previously cited study [1]. It was shown that when using the mean of the equiprobable intervals one obtained “better” i.e., less biased, results for the moments of the delay distribution under question than when the medians of the intervals were used. Although these results were very good, on some subjective measure, a bias does exist for all higher moments of the delay distribution. One way to reduce this bias is to consider different measures of each equiprobable interval. This paper shows the results of using the rth root of the rth moment of each interval, corrected for the mean. A second concern arises when there is a limited amount of storage space in the digital computer for the discretized points.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"127 51","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131746613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Design automation in ship detailing 船舶细节设计自动化
Pub Date : 1967-01-01 DOI: 10.1145/800196.806004
J. Cohen, G. O. Gardner, B. Romberg
As part of the Navy's intensive program to introduce new techniques in its ship design and manufacturing process, Arthur D. Little, Inc., is developing under the sponsorship of the Naval Ship Engineering Center, Naval Ship Systems Command, a computerized system for the design detailing of hull structures for naval ships. The system takes its input data from the ship's contract plans, standard design specifications, and parameters; it produces as output working drawings for use in the shipyard, APT part programs for numerically controlled flame cutting machines, and auxiliary information such as center of gravity statements and bills of material and weight. This paper will describe the principal functional capabilities of the system, emphasizing those dealing with program organization and data management.
作为海军在舰船设计和制造过程中引入新技术的密集计划的一部分,Arthur D. Little公司正在海军舰船工程中心、海军舰船系统司令部的赞助下开发一种用于海军舰船船体结构设计细节的计算机化系统。该系统从船舶的合同计划、标准设计规范和参数中获取输入数据;它输出造船厂使用的工作图纸,数控火焰切割机的APT零件程序,以及辅助信息,如重心声明和材料清单和重量。本文将描述系统的主要功能,重点介绍程序组织和数据管理功能。
{"title":"Design automation in ship detailing","authors":"J. Cohen, G. O. Gardner, B. Romberg","doi":"10.1145/800196.806004","DOIUrl":"https://doi.org/10.1145/800196.806004","url":null,"abstract":"As part of the Navy's intensive program to introduce new techniques in its ship design and manufacturing process, Arthur D. Little, Inc., is developing under the sponsorship of the Naval Ship Engineering Center, Naval Ship Systems Command, a computerized system for the design detailing of hull structures for naval ships. The system takes its input data from the ship's contract plans, standard design specifications, and parameters; it produces as output working drawings for use in the shipyard, APT part programs for numerically controlled flame cutting machines, and auxiliary information such as center of gravity statements and bills of material and weight. This paper will describe the principal functional capabilities of the system, emphasizing those dealing with program organization and data management.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"4 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117342329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An appraisal of the Atlas supervisor 对阿特拉斯导师的评价
Pub Date : 1967-01-01 DOI: 10.1145/800196.805976
D. Morris, F. Sumner, M. T. Wyld
This report presents the performance of the Supervisor System used on the Atlas Computer at Manchester University, and describes some of the changes made as a result of our experience with the system. Although the machine is used jointly by I.C.T. Computing Service Division and the University Computing Service (U.C.S.), the figures presented are derived mainly from the U.C.S. use of the machine. We begin with an outline of the system and then describe its main sections in some detail. The ideas have been previously presented 1,2,3,4 but the system which has evolved is not described elsewhere. Logically the system is made up of several distinct parts which communicate through small well defined interfaces (the actual implementation is somewhat more complicated). It can be seen from Figure 1 that the path for a normal job is through the input supervisor and into the input well (which is at present magnetic tape). When the complete job has been input the input supervisor makes an entry in the job list, containing the information which the schedler uses to decide when to start the job. When the scheduler selects a job its job entry is passed on to the job assembler which organizes the loading of any magnetic tapes required by the job, and transfers the relevant compiler and input files into the main store.
本报告介绍了曼彻斯特大学阿特拉斯计算机上使用的导师系统的性能,并描述了由于我们使用该系统的经验而做出的一些变化。虽然这台机器是由信息和通信技术计算服务部和大学计算服务部(U.C.S.)共同使用的,但所提供的数字主要来自U.C.S.对这台机器的使用。我们从系统的大纲开始,然后详细描述其主要部分。这些思想以前已经提出过1、2、3、4,但是已经发展起来的系统没有在其他地方描述。从逻辑上讲,系统由几个不同的部分组成,这些部分通过定义良好的小接口进行通信(实际实现要复杂一些)。从图1可以看出,正常作业的路径是通过输入主管进入输入井(目前为磁带)。当完成工作已经输入输入主管工作列表中的一个条目,包含的信息schedler用来决定何时开始这项工作。当调度器选择一个作业时,它的作业条目被传递给作业汇编器,作业汇编器组织作业所需的任何磁带的加载,并将相关的编译器和输入文件传输到主存储器中。
{"title":"An appraisal of the Atlas supervisor","authors":"D. Morris, F. Sumner, M. T. Wyld","doi":"10.1145/800196.805976","DOIUrl":"https://doi.org/10.1145/800196.805976","url":null,"abstract":"This report presents the performance of the Supervisor System used on the Atlas Computer at Manchester University, and describes some of the changes made as a result of our experience with the system. Although the machine is used jointly by I.C.T. Computing Service Division and the University Computing Service (U.C.S.), the figures presented are derived mainly from the U.C.S. use of the machine. We begin with an outline of the system and then describe its main sections in some detail. The ideas have been previously presented 1,2,3,4 but the system which has evolved is not described elsewhere. Logically the system is made up of several distinct parts which communicate through small well defined interfaces (the actual implementation is somewhat more complicated). It can be seen from Figure 1 that the path for a normal job is through the input supervisor and into the input well (which is at present magnetic tape). When the complete job has been input the input supervisor makes an entry in the job list, containing the information which the schedler uses to decide when to start the job. When the scheduler selects a job its job entry is passed on to the job assembler which organizes the loading of any magnetic tapes required by the job, and transfers the relevant compiler and input files into the main store.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114984990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Numerical algorithms based on the theory of complex variable 基于复变理论的数值算法
Pub Date : 1967-01-01 DOI: 10.1145/800196.805983
J. N. Lyness
Since its introduction in the early part of the nineteenth century, the theory of complex variables has played a steadily increasing role in mathematics, and in scientific research. In some fields complex algebra is used to simplify the description of a physical system. The use of a complex impedance Z in network theory is an example of this. In other fields complex algebra seems to be a basic ingredient of the physical laws. In Wave Mechanics for example a probability density P(x,t) is related to the square modulus of a wave function &psgr;(x,t) which is itself complex, being obtained from a wave equation whose coefficients may be complex. In mathematical research itself, it is rare to find a topic which is naturally restricted to real variables, and in many topics the extension to complex variables results in a simpler theory. For example a polynomial of degree n has exactly n zeros in the field of complex numbers.
自19世纪初引入以来,复变量理论在数学和科学研究中发挥了越来越重要的作用。在某些领域,复代数被用来简化对物理系统的描述。网络理论中复杂阻抗Z的使用就是一个例子。在其他领域,复杂代数似乎是物理定律的基本组成部分。例如,在波动力学中,概率密度P(x,t)与波函数&psgr;(x,t)的平方模量有关,而波函数&psgr;(x,t)本身是复数的,可以从其系数可能是复数的波动方程中得到。在数学研究本身中,很难找到一个自然地局限于实变量的主题,在许多主题中,扩展到复变量会导致更简单的理论。例如,n次多项式在复数域中恰好有n个零。
{"title":"Numerical algorithms based on the theory of complex variable","authors":"J. N. Lyness","doi":"10.1145/800196.805983","DOIUrl":"https://doi.org/10.1145/800196.805983","url":null,"abstract":"Since its introduction in the early part of the nineteenth century, the theory of complex variables has played a steadily increasing role in mathematics, and in scientific research. In some fields complex algebra is used to simplify the description of a physical system. The use of a complex impedance Z in network theory is an example of this. In other fields complex algebra seems to be a basic ingredient of the physical laws. In Wave Mechanics for example a probability density P(x,t) is related to the square modulus of a wave function &psgr;(x,t) which is itself complex, being obtained from a wave equation whose coefficients may be complex. In mathematical research itself, it is rare to find a topic which is naturally restricted to real variables, and in many topics the extension to complex variables results in a simpler theory. For example a polynomial of degree n has exactly n zeros in the field of complex numbers.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115030210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 167
The Numerical Control Information utility: Concepts and considerations 数控信息实用程序:概念和考虑
Pub Date : 1967-01-01 DOI: 10.1145/800196.806023
Gastone Chingari
The concept of Numerical Machine Tool Control has extensive applications to many metalworking-manufacturing processes. An entirely new industrial demand for computer processing services is emerging because of Numerical Control (N/C), primarily at this time by industries with a large engineering and metalworking base. The emergence, at the same time, of the Computer Utility poses some interesting questions concerning the use of publicly available computer power to support planning, programming and control of N/C operations. This paper was written with several objectives in mind, namely to 1) discuss the concepts of numerical machine tool control in order to define the environment of computer application, 2) review organization and operation of computer-communications systems currently being used for N/C data processing, 3) discuss overall functions and characteristics of a Numerical Control Information Utility, and to identify the nature of services needed by the N/C user community, 4) analyze the requirements of computer assisted N/C programming in terms of on-line type software facilities and utility-user operations and 5) briefly discuss the types of data-base services for numerical control, their nature and impact on the manufacturing process.
数控机床的概念在许多金属加工制造过程中有着广泛的应用。由于数控技术(N/C)的发展,一种全新的工业对计算机加工服务的需求正在出现,这种需求主要是由具有大型工程和金属加工基础的工业产生的。与此同时,计算机实用程序的出现提出了一些有趣的问题,涉及使用公共计算机能力来支持N/C操作的规划、编程和控制。本文的写作有几个目标,即:1)讨论数控机床控制的概念,以定义计算机应用环境;2)回顾目前用于数控数据处理的计算机通信系统的组织和运行;3)讨论数控信息实用程序的总体功能和特征,并确定数控用户社区所需服务的性质。4)从联机型软件设施和实用用户操作方面分析了计算机辅助数控编程的要求;5)简要讨论了数控数据库服务的类型、性质及其对制造过程的影响。
{"title":"The Numerical Control Information utility: Concepts and considerations","authors":"Gastone Chingari","doi":"10.1145/800196.806023","DOIUrl":"https://doi.org/10.1145/800196.806023","url":null,"abstract":"The concept of Numerical Machine Tool Control has extensive applications to many metalworking-manufacturing processes. An entirely new industrial demand for computer processing services is emerging because of Numerical Control (N/C), primarily at this time by industries with a large engineering and metalworking base. The emergence, at the same time, of the Computer Utility poses some interesting questions concerning the use of publicly available computer power to support planning, programming and control of N/C operations. This paper was written with several objectives in mind, namely to 1) discuss the concepts of numerical machine tool control in order to define the environment of computer application, 2) review organization and operation of computer-communications systems currently being used for N/C data processing, 3) discuss overall functions and characteristics of a Numerical Control Information Utility, and to identify the nature of services needed by the N/C user community, 4) analyze the requirements of computer assisted N/C programming in terms of on-line type software facilities and utility-user operations and 5) briefly discuss the types of data-base services for numerical control, their nature and impact on the manufacturing process.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116218310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
IDEA—a conversational, heuristic program for Inductive Data Exploration and Analysis 一个用于归纳数据探索和分析的对话式启发式程序
Pub Date : 1967-01-01 DOI: 10.1145/800196.805972
L. Press, M. S. Rogers
The goal of this project is to improve the power and scope of computer routines that search for structure in a data base. IDEA (Inductive Data Exploration and Analysis) is a computer program that detects and represents inherent structure in multi-variage data. The IDEA program is designed either to run in an automatic mode or to allow the investigator to intercede at each major decision in the analysis. At each such juncture he is presented with information that permits him to concur or override a computer decision before the program continues to the next major decision. In addition, IDEA has two other distinguishing features: (1) Heuristic computational procedures are used for those cases where the combinational aspects of the analysis would require extensive computations, and (2) heuristics are selectively used for different types of data, enabling IDEA to operate on a mixture of nominal (categorical), ordinal (ranked), and interval- or ratio-scaled measurements.
这个项目的目标是提高在数据库中搜索结构的计算机例程的能力和范围。IDEA(归纳数据探索与分析)是一种检测和表示多变量数据内在结构的计算机程序。IDEA程序被设计为在自动模式下运行,或者允许研究者在分析中的每个主要决策中进行调解。在每一个这样的关键时刻,他都会得到一些信息,这些信息允许他在程序继续进行下一个重大决策之前,同意或推翻计算机的决定。此外,IDEA还有另外两个显著特征:(1)启发式计算程序用于分析组合方面需要大量计算的情况;(2)启发式方法有选择地用于不同类型的数据,使IDEA能够在标称(分类)、序数(排名)和区间或比例尺度测量的混合上运行。
{"title":"IDEA—a conversational, heuristic program for Inductive Data Exploration and Analysis","authors":"L. Press, M. S. Rogers","doi":"10.1145/800196.805972","DOIUrl":"https://doi.org/10.1145/800196.805972","url":null,"abstract":"The goal of this project is to improve the power and scope of computer routines that search for structure in a data base. IDEA (Inductive Data Exploration and Analysis) is a computer program that detects and represents inherent structure in multi-variage data. The IDEA program is designed either to run in an automatic mode or to allow the investigator to intercede at each major decision in the analysis. At each such juncture he is presented with information that permits him to concur or override a computer decision before the program continues to the next major decision. In addition, IDEA has two other distinguishing features: (1) Heuristic computational procedures are used for those cases where the combinational aspects of the analysis would require extensive computations, and (2) heuristics are selectively used for different types of data, enabling IDEA to operate on a mixture of nominal (categorical), ordinal (ranked), and interval- or ratio-scaled measurements.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128107003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
The use of imbedded patterns and canonical forms in a self-improving problem solver 在自我改进的问题解决器中使用嵌入式模式和规范形式
Pub Date : 1967-01-01 DOI: 10.1145/800196.805991
A. Holden, David L. Johnson
The aim of the work reported here was to develop problem-solving programs which would solve non-trivial problems and make use of their experience. In all of the work published previously there is a clearly discernible trade-off between problem-solving power and generality. This deadlock could be broken by the development of (a) programs which can make use of their experience and generalize it, and (b) powerful symbol manipulation languages which can express and execute highly complex processes without detailed programming.
这里报告的工作的目的是开发解决问题的程序,这些程序将解决重要的问题并利用他们的经验。在之前发表的所有工作中,在解决问题的能力和普遍性之间存在明显的权衡。这种僵局可以通过开发(a)程序来打破,这些程序可以利用它们的经验并将其泛化,(b)强大的符号操作语言可以表达和执行高度复杂的过程,而无需详细的编程。
{"title":"The use of imbedded patterns and canonical forms in a self-improving problem solver","authors":"A. Holden, David L. Johnson","doi":"10.1145/800196.805991","DOIUrl":"https://doi.org/10.1145/800196.805991","url":null,"abstract":"The aim of the work reported here was to develop problem-solving programs which would solve non-trivial problems and make use of their experience. In all of the work published previously there is a clearly discernible trade-off between problem-solving power and generality. This deadlock could be broken by the development of (a) programs which can make use of their experience and generalize it, and (b) powerful symbol manipulation languages which can express and execute highly complex processes without detailed programming.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132910650","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An on-line symbol manipulation system 一个在线符号处理系统
Pub Date : 1967-01-01 DOI: 10.1145/800196.805990
F. Blackwell
The purpose of the study described in this paper was to develop a computer program that enables users arbitrarily to define symbols and to instruct the computer to manipulate and to operate with them on-line according to the rules of their definition. An additional goal was the use of this symbol manipulation capability for constructing on-line programs that perform analytic operations upon algebraic expressions; the results of this work will be briefly mentioned in this paper.
本文所描述的研究目的是开发一种计算机程序,使用户能够任意定义符号,并指示计算机根据其定义的规则在线操作和操作符号。另一个目标是使用这种符号操作能力来构建在线程序,对代数表达式执行分析操作;本文将简要介绍这项工作的结果。
{"title":"An on-line symbol manipulation system","authors":"F. Blackwell","doi":"10.1145/800196.805990","DOIUrl":"https://doi.org/10.1145/800196.805990","url":null,"abstract":"The purpose of the study described in this paper was to develop a computer program that enables users arbitrarily to define symbols and to instruct the computer to manipulate and to operate with them on-line according to the rules of their definition. An additional goal was the use of this symbol manipulation capability for constructing on-line programs that perform analytic operations upon algebraic expressions; the results of this work will be briefly mentioned in this paper.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125604256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Proceedings of the 1967 22nd national conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1