三角函数科学计算机在线应用,三角函数表达式的计算机自动化简-中国科技论文在线.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

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

大学计算机科技论文格式,《中国科技论文在线》稿件格式
<中国科技论文在线>期刊以中国科技论文在线网站http://www.paper.edu.cn/ 为基础,对在线发表论文进行评审,将评选的优秀论文作为期刊的主要稿源.稿件格式如下: 中文标题 ...
孙长凯sunck_傅里叶变换红外光谱分析NMDA受体单克隆抗体抗-中国科技论文在线.PDF...
傅里叶变换红外光谱分析NMDA受体单克隆抗体抗-中国科技论文在线.PDF 2·90 · 生物化学与生物物理进展 Prog. Biochem. Biophys. 2003 ; 30 (2) 傅里叶变换红 ...
许进教授计算机成果,许进，学者主页-中国科技论文在线
许进,男,1959年出生于陕西乾县,现任北京大学教授,博士生导师.西安交通大学师从于汪应洛院士获管理工程专业工学博士(1993):北京理工大学数学系获得理学博士(图论专业1995):西安电子科技大学师 ...
计算机仿真保密审查必须盖章,计算机仿真杂志
学刊吧提示: 1.投稿方式:在线投稿. 2.刊内网址:http://compusimu.gnway.cc/ http://www.compusimu.com 3.刊内邮箱:jsjfz@vip.163. ...
计算机应用应用研究,计算机应用研究属于什么期刊_计算机应用研究_计算机研究应用...
计算机工程.计算机应用.计算机应用与软件和计算机应用研究这几个期刊哪个... 刚刚中了一篇<计算机工程>的论文,感觉<计算机工程>应该比较容易点吧,计算机工程可以加急审稿,20 ...
2016科技期刊引证报告计算机,2016新编中国科技期刊引证报告.doc
2016新编中国科技期刊引证报告.doc 中国科技期刊引证报告--2006年版中国科技论文统计源期刊目录 (中国科技核心期刊一览表 G002北京大学学报医学版E543测绘工程A005北京大学学报自然科 ...
cos66度等于多少度用计算机怎么算,三角函数值表（三角函数计算方法及快速查询表）...
三角函数值表(三角函数计算方法及快速查询表) 三角函数的关系 (正弦) Sin = 对边A / 斜边C (余弦) Cos = 邻边B / 斜边C (正切) Tan = 对边A / 邻边B 对边A = ...
量子计算机会取代经典计算机,量子计算机已经可以取代经典计算机了？已科学解答...
新京报快讯(记者张璐)中国量子计算原型机"九章"问世,是近期的科技热点.但这是否意味着量子计算机已经可以取代经典计算机了?2020年12月"科学"流言榜今天( ...
在线常用crontab表达式大全验证解析
在线常用crontab表达式大全验证解析在线常用crontab表达式大全验证解析本工具可以在线模拟Crontab表达式的执行时间并且收集整理了常用的Crontab表达式. 本工具可以在线模拟Cro ...

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

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

最新文章

热门文章