First, I thank my colleague, Ned Anderson, for his help in refining a number of the details in the specifications below.
首先，我要感谢我的同事内德·安德森，他帮助完善了下面规范中的一些细节。
{"title":"Proposal for the transfer of floating point data","authors":"M. Payne","doi":"10.1145/1057958.1057963","DOIUrl":"https://doi.org/10.1145/1057958.1057963","url":null,"abstract":"First, I thank my colleague, Ned Anderson, for his help in refining a number of the details in the specifications below.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131526143","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}
{"title":"Test for (IN) equality, subtraction, proof of correctness","authors":"C. Dunham","doi":"10.1145/1057958.1057964","DOIUrl":"https://doi.org/10.1145/1057958.1057964","url":null,"abstract":"As normally implemented, (in)equality tests such as \"a < b\" can fail to execute correctly and thus algorithms that have been \"proven\" may fail.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131677109","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}
A second factor of (1031-1)/9 was found to be 6943319 with the use of an eight spoke wheel [1]. The spokes D(i) were 1, 7, 11, 13, 17, 19, 23, and 29. The possible factors 2, 3, and 5 were tested prior to starting the wheel. The constant multiplier was 30. The possible divisors were of the form30 * K + D(i), K = 0, 1, 2, 3,....The program was written in COBOL for the Honeywell DPS 8, running under CP-6. The picture clauses were selected such that 31-digit decimal arithmetic was used. Execution time was about forty-five minutes.
第二个因子(1031-1)/9被发现是6943319与使用八辐轮[1]。辐条D(i)分别为1、7、11、13、17、19、23和29。在启动车轮之前测试了可能的因素2、3和5。常数乘数是30。可能的除数为30 * K + D(i)， K = 0,1,2,3，....该程序是用COBOL为霍尼韦尔DPS 8编写的，在CP-6下运行。选择的图片条款，使31位的十进制算术使用。执行时间约为45分钟。
{"title":"Another factor of (1031-1)/9","authors":"T. F. Higginbotham","doi":"10.1145/1057958.1057960","DOIUrl":"https://doi.org/10.1145/1057958.1057960","url":null,"abstract":"A second factor of (1031-1)/9 was found to be 6943319 with the use of an eight spoke wheel [1]. The spokes D(i) were 1, 7, 11, 13, 17, 19, 23, and 29. The possible factors 2, 3, and 5 were tested prior to starting the wheel. The constant multiplier was 30. The possible divisors were of the form30 * K + D(i), K = 0, 1, 2, 3,....The program was written in COBOL for the Honeywell DPS 8, running under CP-6. The picture clauses were selected such that 31-digit decimal arithmetic was used. Execution time was about forty-five minutes.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"622 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134483908","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}
Several hundred scientists and engineers work at Amoco Production Company's Tulsa Research Center. Naturally, scientific computing is an important part of their research in petroleum exploration and production. General purpose mathematical and statistical software is often overlooked when it could be used in place of writing code. Our strategy for increasing the awareness and usage of existing software is through advertisement of software via a reusable software catalog, through regular inhouse presentations of a mathematical software seminar, and through the development of a Mathematical Software Environment, a collection of programs and procedures created to encourage the use of general purpose mathematical software.
{"title":"A mathematical software environment","authors":"Donald L. Williams","doi":"10.1145/1057958.1057959","DOIUrl":"https://doi.org/10.1145/1057958.1057959","url":null,"abstract":"Several hundred scientists and engineers work at Amoco Production Company's Tulsa Research Center. Naturally, scientific computing is an important part of their research in petroleum exploration and production. General purpose mathematical and statistical software is often overlooked when it could be used in place of writing code. Our strategy for increasing the awareness and usage of existing software is through advertisement of software via a reusable software catalog, through regular inhouse presentations of a mathematical software seminar, and through the development of a Mathematical Software Environment, a collection of programs and procedures created to encourage the use of general purpose mathematical software.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123815567","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}
P. Gaffney, C. Addison, Birger Andersen, S. Bjørnestad, R. England, P. M. Hanson, R. Pickering, M. Thomason
This paper gives a brief historical perspective on the first author's use of information systems in mathematical consulting. Experience in this area has led to the conclusion that numerical analysts must look beyond conventional expert systems if they are to be successful in reaching the general scientific user community. With the increasing use of personal workstations it is necessary to give information and advice to a user while at the computer terminal. In the opinion of the authors the ideal way of doing this is through a programming environment that offers interaction with a user in order to actually solve the user's problem.Such an environment has come to be called a Problem Solving Environment or PSE. (For an excellent discussion of PSEs see Ford and Iles, 1985.) This paper describes a project that is aimed at providing a PSE for scientific computing. The project, which is called NEXUS, can be viewed conveniently in two parts, namely, the development of a set of software modules for constructing and accessing information in a knowledge base and the production of a set of knowledge bases for a particular application area namely, mathematical software.The paper briefly describes the set of modules and knowledge bases that are under development for the first release of NEXUS. For a more complete description the reader is referred to the companion report by Gaffney et al., (1986a).
{"title":"NEXUS: towards a problem solving environment (PSE) for scientific computing","authors":"P. Gaffney, C. Addison, Birger Andersen, S. Bjørnestad, R. England, P. M. Hanson, R. Pickering, M. Thomason","doi":"10.1145/1057958.1057961","DOIUrl":"https://doi.org/10.1145/1057958.1057961","url":null,"abstract":"This paper gives a brief historical perspective on the first author's use of information systems in mathematical consulting. Experience in this area has led to the conclusion that numerical analysts must look beyond conventional expert systems if they are to be successful in reaching the general scientific user community. With the increasing use of personal workstations it is necessary to give information and advice to a user while at the computer terminal. In the opinion of the authors the ideal way of doing this is through a programming environment that offers interaction with a user in order to actually solve the user's problem.Such an environment has come to be called a Problem Solving Environment or PSE. (For an excellent discussion of PSEs see Ford and Iles, 1985.) This paper describes a project that is aimed at providing a PSE for scientific computing. The project, which is called NEXUS, can be viewed conveniently in two parts, namely, the development of a set of software modules for constructing and accessing information in a knowledge base and the production of a set of knowledge bases for a particular application area namely, mathematical software.The paper briefly describes the set of modules and knowledge bases that are under development for the first release of NEXUS. For a more complete description the reader is referred to the companion report by Gaffney et al., (1986a).","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129736417","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}
Our first course in Computer Science is supposed to be a gentle introduction to both the world of computing and to computer programming. It is a core course, which when I taught it had a preponderance of communications arts and psychology majors enrolled for what is euphemistically known as a "mathematics substitute."
{"title":"Numerical methods disguised","authors":"J. S. Fulda","doi":"10.1145/1057958.1057965","DOIUrl":"https://doi.org/10.1145/1057958.1057965","url":null,"abstract":"Our first course in Computer Science is supposed to be a gentle introduction to both the world of computing and to computer programming. It is a core course, which when I taught it had a preponderance of communications arts and psychology majors enrolled for what is euphemistically known as a \"mathematics substitute.\"","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127580154","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}
The importance of mixed language programming, and some of the associated problems, are summarized. The paper presents a structured view on the major ways to realize mixed language programming and how to provide the necessary data types.
{"title":"Mixed language programming realization and the provision of data types","authors":"B. Einarsson","doi":"10.1145/15983.15984","DOIUrl":"https://doi.org/10.1145/15983.15984","url":null,"abstract":"The importance of mixed language programming, and some of the associated problems, are summarized. The paper presents a structured view on the major ways to realize mixed language programming and how to provide the necessary data types.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133938633","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}
A novel introduction in fracture mechanics of pseudo-ordinary differential equations (ODEs) corresponding to the stress intensity factors (SIFs), augments the under-determined system of ODEs produced by the method of lines (MOL) solution of the equations of elasticity, in the presence of cracks. With this modelling "trick", which is natural to MOL, the SIFs are obtained directly, as part of the solution unknowns, thus avoiding the uncertainties associated with other indirect methods.
{"title":"A pseudo-ODE modelling trick for the direct method of lines computation of important fracture mechanics parameters","authors":"L. S. Xanthis","doi":"10.1145/15983.15985","DOIUrl":"https://doi.org/10.1145/15983.15985","url":null,"abstract":"A novel introduction in fracture mechanics of pseudo-ordinary differential equations (ODEs) corresponding to the stress intensity factors (SIFs), augments the under-determined system of ODEs produced by the method of lines (MOL) solution of the equations of elasticity, in the presence of cracks. With this modelling \"trick\", which is natural to MOL, the SIFs are obtained directly, as part of the solution unknowns, thus avoiding the uncertainties associated with other indirect methods.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126308928","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}
If numerical analysts understand anything, surely it must be Gaussian elimination. This is the oldest and truest of numerical algorithms. To be precise, I am speaking of Gaussian elimination with partial pivoting, the universal method for solving a dense, unstructured n X n linear system of equations Ax = b on a serial computer. This algorithm has been so successful that to many of us, Gaussian elimination and Ax = b are more or less synonymous. The chapter headings in the book by Golub and Van Loan [3] are typical -- along with "Orthogonalization and Least Squares Methods," "The Symetric Eigenvalue Problem," and the rest, one finds "Gaussian Elimination," not "Linear Systems of Equations."
如果数值分析家理解什么，那肯定是高斯消去法。这是最古老、最真实的数值算法。准确地说，我说的是带有部分枢轴的高斯消去，这是在串行计算机上求解密集的、非结构化的n X n线性方程组Ax = b的通用方法。这个算法是如此成功，以至于对我们中的许多人来说，高斯消去法和Ax = b或多或少是同义词。Golub和Van Loan[3]的书中的章节标题是典型的-与“正交化和最小二乘法”，“对称特征值问题”以及其他内容一起，人们发现“高斯消去”，而不是“线性方程组”。
{"title":"Three mysteries of Gaussian elimination","authors":"L. Trefethen","doi":"10.1145/1057954.1057955","DOIUrl":"https://doi.org/10.1145/1057954.1057955","url":null,"abstract":"If numerical analysts understand anything, surely it must be Gaussian elimination. This is the oldest and truest of numerical algorithms. To be precise, I am speaking of Gaussian elimination with partial pivoting, the universal method for solving a dense, unstructured n X n linear system of equations Ax = b on a serial computer. This algorithm has been so successful that to many of us, Gaussian elimination and Ax = b are more or less synonymous. The chapter headings in the book by Golub and Van Loan [3] are typical -- along with \"Orthogonalization and Least Squares Methods,\" \"The Symetric Eigenvalue Problem,\" and the rest, one finds \"Gaussian Elimination,\" not \"Linear Systems of Equations.\"","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130109943","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}
In this note we describe the design and implementation of a Fast Poisson solver for microcomputers [1]. A Double Fourier Transformation Algorithm [4] was used with Sinusoidal Transformations [2] for the different boundary conditions. Table 1 summarizes the classification of Sinusoidal Transformations according to different boundary conditions.
{"title":"Design and implementation of a Fast Poisson solver for microcomputers","authors":"E. Chikhliwala","doi":"10.1145/1057954.1057956","DOIUrl":"https://doi.org/10.1145/1057954.1057956","url":null,"abstract":"In this note we describe the design and implementation of a Fast Poisson solver for microcomputers [1]. A Double Fourier Transformation Algorithm [4] was used with Sinusoidal Transformations [2] for the different boundary conditions. Table 1 summarizes the classification of Sinusoidal Transformations according to different boundary conditions.","PeriodicalId":177516,"journal":{"name":"ACM Signum Newsletter","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117272846","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：