📄 http:^^www.cs.utexas.edu^users^novak^physics.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:26:40 GMT
Content-Type: text/html
Content-Length: 1332
Last-Modified: Friday, 12-May-95 15:18:10 GMT
<HTML><!-- physics.html G. Novak 12 May 95 --><HEAD><TITLE>Physics Problem Solving</TITLE></HEAD><BODY><H1>Physics Problem Solving</H1><HR>The ISAAC program, written in 1975, solves rigid body statics problemsstated in English. On an IBM RS/6000, it can read, understand, solve,and draw a diagram for a textbook physics problem in about 1/10 second.Our more recent research in physics problem solving involvesformalizing a problem that is stated informally and then deriving asolution from the formal model. Programs have been written tounderstand problems stated by a combination of Englishtext and a diagram. Our current research involves representation ofthe formal models chosen for a problem and selection of appropriatemodels for an informally stated problem.<p><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/novak/papers.html">Publications</a><p><H2>Physics Problem Solving Demos:</H2><UL><LI><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/users/novak/cgi/isaacdemo">Isaac Demo:</a>Solve Physics Problems stated in English.<LI><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/novak/cgi/vipdemo">VIP Demo:</a>Write Programs and Do Physics by Connecting Diagrams.<LI><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/novak/cgi/unitsdemo">Unit Conversion Demo:</a>Convert Units of Measurement.</UL></BODY><address><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/novak/index.html">Gordon S. Novak Jr.</a></address></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -