📄 http:^^www.lcs.mit.edu^web_project^brochure^mac^mac.html
字号:
Server: Netscape-Commerce/1.12
Date: Tuesday, 26-Nov-96 00:07:00 GMT
Last-modified: Thursday, 15-Jun-95 00:37:21 GMT
Content-length: 3111
Content-type: text/html
<!doctype html public "-//W30//DTD W3 HTML 2.0//EN"><HTML><TITLE>Project on Mathematics and Computation</TITLE><center><!WA0><A HREF="http://www.swiss.ai.mit.edu/"><!WA1><img src="http://www.lcs.mit.edu/web_project/Brochure/mac/macline.gif"></a></center><p><center><table border><tr> <td><!WA2><img src=http://www.lcs.mit.edu/web_project/Brochure/mac/hal&gerry2.gif></td> </tr><tr><td> <!WA3><A HREF="http://www.swiss.ai.mit.edu/~hal/hal.html"><address><b>Harold Abelson</b></a>,<br>Class of 1922 Professor of Computer Science and Engineering</address> <!WA4><A HREF="http://www.swiss.ai.mit.edu/~gjs/gjs.html"> <address><b>Gerald Sussman</b></a>,<br>Matsushita Professor of Electrical Engineering</address></td></tr></table></center><body><p>Solving scientific problems increasingly depends onhigh-speed computation, careful planning of numericallybased experiments, and high-level, qualitativeinterpretation of large volumes of quantitative data.Working jointly with the Artificial Intelligence (AI)laboratory, researchers within MIT's Project on Mathematicsand Computation are developing a wide range of intelligentcomputation tools to help scientists and engineersunderstand mathematical models of physical processes. Someof the Project's goals include efficient new algorithms,specialized hardware, and "smart" programs that comprehendmeasured or numerical data. Much of our work inscientific computation is based on AI methods. We have usedcomputer-vision techniques, for example, to create programsthat "look at" and qualitatively interpret graphicalresults of numerical experiments. Other programs canconstruct numerical simulation systems of dynamicallycomplex processes (such as oscillating chemical reactionsand nonlinear vibrating beams), then automaticallyincorporate them into qualitative-analysis programs. Suchprograms can also generate high-level summary descriptions-- graphically and in English -- of numerical experiments,similar to the descriptions that appear in publishedscientific and engineering papers.<p>To support the automatic construction of numericalprocedures, we are seeking ways to express numericalalgorithms in terms of high-order procedural abstractions.Sophisticated numerical routines thus can be assembled bymixing and matching components from a numerical library.The large library of routines we are now assembling willcontain symbolic methods as well as numeric ones.<p>Our work rests on the <!WA5><A HREF="http://www.swiss.ai.mit.edu/schene-home.html">Scheme dialect of Lisp</a> and the Schemeprogramming environment, which we invented and continue todevelop. We have joined with other Scheme users anddevelopers to formally standardize this dialect through theIEEE. We expect that our freely available native-code<!WA6><a href=ftp://ftp-swiss.ai.mit.edu/pub/scheme-7.3/>Scheme compiler</a> will offer performance comparable to thatof the best commercial Lisp compilers.</BODY><p><!WA7><a href="http://www.lcs.mit.edu/web_project/Brochure/contents.html"><!WA8><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/contents_motif.gif></a><!WA9><a href="http://www.lcs.mit.edu/web_project/Brochure/pia/pia.html"><!WA10><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/previous_group_motif.gif></a><!WA11><a href="http://www.lcs.mit.edu/web_project/Brochure/cdm/cdm.html"><!WA12><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/next_group_motif.gif></a></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -