三角函数表达式的计算机自动化简.pdfVIP

  1. 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
三角函数表达式的计算机自动化简

第 29 卷  第 10 期 计   算   机   学   报 Vol . 29 No . 10 2006 年 10 月 C H IN ESE J OU RN AL O F COM PU T ER S Oct . 2006   三角函数表达式的计算机 自动化简 1) ,3) 1) 2) 符红光  钟秀琴  曾振柄 1) ( 中国科学院成都计算机应用研究所  成都  6 1004 1) 2) (华东师范大学软件学院 上海  200062) 3) ( 电子科技大学计算机科学与工程学院 成都  6 10054) 摘  要  从人的思维模式和技巧出发 ,通过观察专家直觉导出了一套三角函数化简规则链表. 利用这套规则链表 进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式 , 同时产生可读的化简过程. 有关 算法已用 Li sp 编程实现. 文中将它与 Maple9 和 Mat hematica 作了测试对比 ,结果显示在三角函数化简功能方面作 者的软件明显优于 Map le 和 Mat hematica . 关键词  三角函数化简 ;组合规则 ;规则链表 ;可读证明; 自动推理 中图法分类号 TP30 1 Simpl if ying Trigonmetric Expressions Automatically by Computer FU Ho ngGuang1) ,3)  ZHON G XiuQin1)  ZEN G ZhenBin g2) ) 1 ( ) Cheng d u I ns t i t ute of Comp uter A p p l icat ions , Chi nese A ca demy of S ciences , Cheng d u  6 1004 1 ) 2 ( S of t w are I ns t it ute , E as t Chi na N orm al Uni vers i ty , S hang hai  200062) ) 3 ( S chool of Comp uter S cience an d Eng i neeri ng , Uni vers ity of E lect ronic S cience an d Technol ogy of Chi na , Cheng d u  6 10054) Abstract   A uto mat ed simp lification of t rigo no me

文档评论(0)

hhuiws1482 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:5024214302000003

1亿VIP精品文档

相关文档