- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
自动推理平台简介
第一章 自动推理平台简介
本章将首先介绍自动推理平台(以下简称MMP)的安装与启动方法,然后给出MMP图形界面的简单描述,最后通过若干算例介绍怎样在MMP的图形用户界面上通过运算符或系统函数进行各种数学运算与操作。
安装与启动MMP
1、MMP的运行环境
MMP可以在任何安装了Microsoft的Windows操作系统的微机上运行。目前流行的Windows操作系统的各种版本均可支持MMP的运行,例如Windows 9x, Windows 2000 或 Windows XP 等。
2、MMP的安装与启动
首先把存放有MMP的光盘插入光盘驱动器E中,通过Windows的文件管理器,用户可以在E盘中MMP的相关目录下找到安装程序“setup.exe”,直接用鼠标双击这个安装程序,即可安装MMP。用户也可以从Windows窗口左下角的“开始”菜单中选择“运行”选项,通过在打开的运行窗口中键入“E:setup.exe”来运行安装程序,完成MMP的安装。在安装过程中,用户可以指定MMP在硬盘上的安装目录。MMP安装完成后,将自动在Windows的桌面上产生MMP的图标,用户只需用鼠标双击该图标即可启动MMP。MMP软件可以从网址/~mmsoft 免费下载。
MMP图形用户界面简介
启动MMP之后,其图形用户界面如下图所示:
MMP的窗口可以划分为几个区域,它们从上到下分别是:标题栏,菜单栏,工具栏,工作窗口和状态栏,这些都是标准的窗口元素,其中工具栏中的按钮将为用户提供最常用的命令
注意:
(1)在进行数的混合运算时,首先将各种类型转化为优先级最高的类型,然后再进行运算。本例中复数类型的优先级最高,因此最终运算结果是复数。
(2)在MMP中浮点数的计算精度预设为30位有效数字,这对于大多数的计算已经足够了。用户可以通过修改全局变量Digits的值重新设定浮点数的精度。
[例2]数的开方运算
注意:
(1)第一条指令的参数是整数类型,此时运算结果是18的平方根的整数部分。
(2)第二条指令把参数变成浮点数类型(加一个小数点),则该指令进行近似运算。
(3)在第三条指令中,sqrt(18)整体将被看作是一个特殊变量,未进行expand(展开)操作时不做任何化简。
(4)利用expand()指令对特殊变量sqrt(18)进行化简,得到精确运算的结果。
[例3]混合系数多项式的算术运算
注意:在混合系数的多项式运算中遇到数的混合运算时,将遵循与例1同样的规则进行类型转化和精度设置。
[例4]方程求解
注意:
(1)第一条指令用于求单变元多项式方程的数值解。输入的多项式的系数可以是任意类型(本例中都是整数),不影响求解结果。该指令返回多项式的全部复数根(本例全部是实数根)。
(2)第二条指令用于求多变元多项式方程组的准确解。在本例的输出结果中,p代表自由变元。
[例5]求矩阵的行列式
输入和求解过程如下:
注意:在MMP中通过matrix()指令产生矩阵,矩阵中的元素可以是数,也可以是符号或其它MMP所支持的基本数据类型。
[例6]线性方程组求解
为了求解线性方程组:
即:
我们可以按照下面的方法求解:
这里表示:,z是自由变量。
本节中的算例仅仅粗略展示了MMP作为一个符号计算软件系统所应具备的一些基本函数功能,事实上,MMP作为一个智能型数学机械化平台,它所包含的大量与数学机械化算法以及几何自动推理等有关的函数功能本节尚未给出相应的范例。这些将留给以后的章节再作详细介绍。
文档评论(0)