三角函数科学计算机在线应用,三角函数表达式的计算机自动化简-中国科技论文在线.PDF...

三角函数表达式的计算机自动化简-中国科技论文在线

中国科技论文在线

第 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 met ric exp re ssion