三角函数表达式的计算机自动化简
- 格式:pdf
- 大小:290.59 KB
- 文档页数:7
h s tb e omp e e y s l e y c r n o p e l b a c s t ms Ev n i t ymb i or — a n’ e n c l t l o v d b ur e t c m ut r age r i ys e . e f he s olc c n p a i n s fwa e i a l ut to o t r slkeM p e,M a he tc nd De i e,e c t ma i aa rv t .,t y a es iln ta plc bl no h he r tl o p ia e e ug t he p ob e . Th s p p r pr s n s a n o t r lm i a e e e t um b r o i ue p e c i i s f h d rn f s me e f un q r s rpton or t e or e i g o o
维普资讯
第2卷 9
第 1 O期
计
算
机
学
报
Vo .2 NO 1 9 .1 0
0 c . 20 t 06
20 0 6年 1 O月
CO CHl NES OU RNA L OF M PU T ERS EJ
三 角 函数 表 达 式 的计 算 机 自动 化 简
( hn d nttt fC mp trAp lct n ,C iee a e fS ine ,C eg u 6 0 4 ) C eg uI s ueo o ue piai s hnsAc d myo cecs hn d 1 0 1 i o
。( o t r n t u e Ea t h n r lU i est S f  ̄ eI si t , s C i a No ma n v ri t y,S a g a 2 0 6 ) h n h i 0 0 2
摘
要
从 人 的 思 维 模 式 和 技 巧 出发 , 过观 察 专 家 直 觉 导 出 了一 套 三 角 函 数 化 简 规 则 链 表 . 用 这 套 规 则 链 表 通 利
进 行 推 理 可 以有 效 地 化 简 一 些 对 人 工 推 导 来 说 也 有 一 定 难 度 的 三 角 函 数 表 达 式 , 时 产 生 可 读 的 化 简 过 程 . 关 同 有 算 法 已用 Ls i p编 程 实 现 . 中将 它 与 Ma l 文 pe 9和 Mah mai 作 了测 试 对 比 , 果 显 示 在 三 角 函 数 化 简 功 能 方 面 作 te t a c 结 者 的软 件 明显 优 于 Ma l和 Mah mai . pe te t a c 关键 词 三 角 函 数化 简 ; 合 规 则 ; 则链 表 ; 读 证 明 ; 组 规 可 自动 推 理
符红光” 钟秀琴” 曾振柄 。
l( 国科 学 院成 都 计 算 机 应 用 研 究 所 中 z( 东 师范 大 学软 件 学 院 华 上海 成都 604) 1 0 1 206) 0 0 2 。( 子 科 技 大 学计 算 机科 学 与工 程 学 院 成 都 6 0 5 ) 电 1 0 4
t i o o t i u e ,wh c a e b e e i e y o s r i g h w u n e p r sf l w h i i t i rg n me rc r l s i h h v e n d rv d b b e v n o h ma x e t o l t e r n u — o
T 31 P 0
中图法分类号
S m p i y n i o m e r c Ex r s i ns Au o a i a l y Co pu e i lf i g Tr g n t i p e so t m tc ly b m tr
FU n — a g 。 Ho g Gu n ’ Z ONG u Qi ” Z H Xi— n ENG h n Big Z e— n
”( co l fC m trS i c n n ier g, nvri f Eeto i S inea d T cn lg f C ia,C e g u 6 0 5 ) S h o o pue ce ea d E gnei o n n U ies yo lcrnc cec n eh oo yo hn t hn d 1 0 4
Absr c taห้องสมุดไป่ตู้t
Aut oma e i t d s mpl ia i f t i on i c ton o rg ome rc e r s i ns s a m p r a pr bl m t a f ti xp e so i n i o t nt o e ht
tve r e .The a t r ve i i uls u ho s ha mplm e e he pr e r n Lip b c us fis s t b lt o or e nt d t oc du e i s e a e o t uia iiy f r f — mul ni ul ton n u e b s d r a on n y t ms a ma p a i s a d r l — a e e s i g s s e .Co e ue l ns q nty,i a i t c n smplf a y ti - iy m n rgo no t i xp e so h ta e e n difc tt o by ha me rc e r s i ns t a r ve f iul o d nd,sm u t n o l t e da l o e s, i la e us y wih r a b e pr c s a t a h e e nd i c i v s muc e t r r s t o ny h r oblm st a a e a d M a h ma ia d . h b t e e uls f r ma a d pr e h n M pl n t e tc o