中国科技论文在线

上传时间

2011年01月14日

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

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

-1年11月30日

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

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

80浏览
0点赞
0收藏
0分享
228下载
0

引用

上传时间

2011年01月14日

【期刊论文】Prediction of subcellular protein localization based on functional domain composition

曾振柄， Peilin Jia a， b， e， Ziliang Qian a， ZhenBin Zeng g， Yudong Cai c， d， *， Yixue Li a， f

Biochemical and Biophysical Research Communications 357 (2007) 366–370，-0001，（）：

-1年11月30日

摘要

Assigning subcellular localization (SL) to proteins is one of the major tasks of functional proteomics. Despite the impressive technical advances of the past decades, it is still time-consuming and laborious to experimentally determine SL on a high throughput scale. Thus, computational predictions are the preferred method for large-scale assignment of protein SL, and if appropriate, followed up by experimental studies. In this report, using a machine learning approach, the Nearest Neighbor Algorithm (NNA), we developed a prediction system for protein SL in which we incorporated a protein functional domain profile. The overall accuracy achieved by this system is 93.96%. Furthermore, comparisons with other methods have been conducted to demonstrate the validity and efficiency of our prediction system. We also provide an implementation of our Subcellular Location Prediction System (SLPS), which is available at http://pcal.biosino.org.

Protein subcellular localization， Pfam， Nearest Neighbor Algorithm

72浏览
0点赞
0收藏
0分享
67下载
0

引用

上传时间

2011年01月14日

【期刊论文】线性系统同时镇定中广义香槟问题的解

曾振柄，关强，王龙，夏壁灿，杨路，郁文生， *

信息科学E辑，2007，37（6）：770～780，-0001，（）：

-1年11月30日

摘要

利用复分析理论，结合Blondel的方法，对线性系统同时镇定中著名的广义香槟问题给出理论上的解答，完整地回答了Patel等人文中的未解决问题，自然包含原香槟问题的解，结合杨路等人新近发展的不等式型定理机器证明理论，给出控制器的设计方法，得到的数值例子明显改进了已有文献中的结果。

线性系统,，镇定,，同时镇定,，香槟问题,，广义香槟问题,，复分析,，不等式型定理,，机器证明

69浏览
0点赞
0收藏
0分享
52下载
0

引用

上传时间

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日

【期刊论文】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

引用