中国科技论文在线

上传时间

2011年01月14日

曾振柄，张骏，陈良育

计算机应用，2007，27（11）：2834～2837，-0001，（）：

-1年11月30日

提出一种高性能计算机代数环境HHPCAS，综合现有的多种计算机代数软件，通过添加内核扩展函数、外部调用等方法，结合集群管理软件和并行环境，可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级，充分发挥多种计算机代数软件的特长，并且提供并行的消息传递机制，将大量复杂的计算平均分配到每个计算节点，解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。

计算机代数系统，数学软件，并行计算，高性能计算

68浏览
0点赞
0收藏
0分享
403下载
0

引用

上传时间

2011年01月14日

【期刊论文】三角函数表达式的计算机自动化简

曾振柄，符红光），），钟秀琴），曾振柄）

计算机学报，2006，29（10）：1869～1875，-0001，（）：

-1年11月30日

摘要

从人的思维模式和技巧出发，通过观察专家直觉导出了一套三角函数化简规则链表。利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式，同时产生可读的化简过程。有关算法已用Lisp编程实现。文中将它与aple9和Mathematica作了测试对比，结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica。

三角函数化简，组合规则，规则链表，可读证明，自动推理

368浏览
0点赞
0收藏
0分享
352下载
0

引用

上传时间

2011年01月14日

【期刊论文】自适应远程渲染集群系统

曾振柄，陈良育，，陈敏刚

计算机工程，2008，34（13）：262～264，-0001，（）：

-1年11月30日

摘要

渲染通过计算将三维几何模型转换成具有真实感的图形，是数字媒体制作的关键环节。该文介绍基于集群系统的并行渲染，将集群管理、高性能计算、图形渲染及远程交互等先进技术有效结合，设计了自适应远程渲染系统。该系统的正确性和有效性已被验证。

自适应渲染，集群系统，并行计算，远程交互， Web 服务

101浏览
0点赞
0收藏
0分享
233下载
0

引用

上传时间

2011年01月14日

【期刊论文】基于AJAX和自动推理技术构建交互式数学Web服务

曾振柄，陈良育，张骏，符红光

计算机应用，2007，27（9）：2239～2241，-0001，（）：

-1年11月30日

摘要

数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法，提出新的数学Web服务系统设计方法，辅以MathML数学表示语言等多项先进技术，构建一个交互式数学Web服务学习平台。实际运行结果表明，平台具有良好的表现形式和运行性能，为使用者提供一个良好的交互式学习环境。

AJAX， Web Service，自动推理，数学辅助学习， MathML