中国科技论文在线

上传时间

2011年01月14日

【期刊论文】AUTOMATED AND READABLE SIMPLIFICATION OF TRIGONOMETRIC EXPRESSIONS

曾振柄， Hongguang Fu， *， Xiuqin Zhong， Zhenbing Zeng

，-0001，（）：

-1年11月30日

Automated simplification of trigonometric expressions is an important problem that hasn't been completely solved by current computer algebra systems. This paper presents a number of unique prescriptions for the ordering of some trigonometric transformation rules, which have been derived by observing how human experts follow their intuitive rules. We have implemented the procedure in Lisp because of its suitability for formula manipulations and rule-based reasoning systems. Consequently, it can simplify many trigonometric expressions which are even diiffcult to do by hand, and it achieves much better results for many hard problems than any of Maple, Mathematica, and Maxima do.

Simplification of trigonometric expressions,， Combination rules,， Rule lists,， Pattern matching,， Automated reasoning,， Readable proof.，

66浏览
0点赞
0收藏
0分享
58下载
0

引用

上传时间

2011年01月14日

【期刊论文】基于小波变换的流域分割算法*

曾振柄，王鹏，单保慈，谢千河

计算机应用研究，2005，4：247～248，-0001，（）：

-1年11月30日

摘要

流域算法是一种形态学的图像分割算法，但由于其对噪声十分敏感，分割结果往往存在过度分割的现象。该算法充分利用小波的多分辨率特性，有效地解决了流域算法的过度分割问题，并大大提高了分割的计算速度和噪声抑制能力。

小波变换，流域算法，过度分割，多分辨率

24浏览
0点赞
0收藏
0分享
36下载
0

引用

上传时间

2011年01月14日

【期刊论文】Petri网系统的可达性分析

曾振柄

，-0001，（）：

-1年11月30日

摘要

22浏览
0点赞
0收藏
0分享
11下载
0

引用

上传时间

2011年01月14日

【期刊论文】基于Bezier曲线逼近的二次曲线快速作图

曾振柄，李传中

，-0001，（）：

-1年11月30日

摘要

Bezier曲线因其具有良好的几何不变性和仿射不变性，成为计算机辅助设计中最基本的造型工具，许多通用程序设计语言和专门的图形软件也提供Bezier曲线作图函数。本文讨论了用分段Bezier曲线画任意位置的椭圆和双曲线的作图方法。用近似曲线和真实曲线围成的图形的面积衡量作图的念头，通过符号深处和数值实验，找出了偏差最小的8段Bezier曲线逼近椭圆的方法，给出了用若干Bezier曲线逼近双曲线的方法。论文的近似画图法计算简单，实现简便，已经用于若干智能教育软件的动态图形模块设计中，能实时生成跟随参数变化的椭圆、双曲线等二次曲线，支持在高精度打印设备上输出倾斜的二次曲线，实用效果证实，该方法计算速度快，输出精度高。该方法亦可用于其它造型设计。

Bezier曲线，二次曲线，作图，曲线逼近，偏差分析