发布求助
文献互助 智能选刊 最新文献

ACM Signum Newsletter最新文献

筛选
英文 中文
Proposal for the transfer of floating point data 关于浮点数据传输的建议
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057963
M. Payne
{"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}
引用次数: 1
Test for (IN) equality, subtraction, proof of correctness 测试(IN)等式，减法，正确性证明
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057964
C. Dunham
{"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}
引用次数: 3
Another factor of (1031-1)/9 另一个因子(1031-1)/9
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057960
T. F. Higginbotham
{"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}
引用次数: 1
A mathematical software environment 数学软件环境
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057959
Donald L. Williams
{"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}
引用次数: 1
NEXUS: towards a problem solving environment (PSE) for scientific computing NEXUS:面向科学计算问题解决环境(PSE)
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057961
P. Gaffney, C. Addison, Birger Andersen, S. Bjørnestad, R. England, P. M. Hanson, R. Pickering, M. Thomason
{"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}
引用次数: 16
Numerical methods disguised 变相数值方法
ACM Signum Newsletter Pub Date : 1986-07-01 DOI: 10.1145/1057958.1057965
J. S. Fulda
{"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}
引用次数: 0
Mixed language programming realization and the provision of data types 混合语言编程实现和数据类型的提供
ACM Signum Newsletter Pub Date : 1986-04-01 DOI: 10.1145/15983.15984
B. Einarsson
{"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}
引用次数: 3
A pseudo-ODE modelling trick for the direct method of lines computation of important fracture mechanics parameters 重要断裂力学参数直线直接法的伪ode建模技巧
ACM Signum Newsletter Pub Date : 1986-04-01 DOI: 10.1145/15983.15985
L. S. Xanthis
{"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}
引用次数: 5
Three mysteries of Gaussian elimination 高斯消去的三个奥秘
ACM Signum Newsletter Pub Date : 1985-10-01 DOI: 10.1145/1057954.1057955
L. Trefethen
{"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}
引用次数: 23
Design and implementation of a Fast Poisson solver for microcomputers 微型计算机快速泊松求解器的设计与实现
ACM Signum Newsletter Pub Date : 1985-10-01 DOI: 10.1145/1057954.1057956
E. Chikhliwala
{"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}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信