曾振柄
系统科学:符号计算;计算机科学:计算机软件,人工智能。
个性化签名
- 姓名:曾振柄
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
造纸技术
- 研究兴趣:系统科学:符号计算;计算机科学:计算机软件,人工智能。
曾振柄,男,1963年4月生,数学博士。华东师范大学 教授 博士生导师。
曾振柄教授长期从事数学机械化、符号计算、人工智能软件设计和生物信息处理技术等方向的研究和教学工作。合作提出多项式完全判别系统方法,不等式定理的机器证明和自动发现算法,解决若干组合几何全局最优化公开问题,给出三次微分系统弱中心问题、机器人反运动学问题、Piano Mover's机器人运动规划问题的符号解,参与设计开发基于符号计算、动态几何和定理机器证明的智能教学软件。在国内外学术刊物和会议上发表论文70余篇。承担国家重点基础研究发展计划(973)"实几何与实代数的高效能算法(2004CB318003)"、"可生存的海量信息系统软件设计理论(2005CB321094)"、国家自然科学基金"组合几何全局最优化问题的机械化解法(10471044)"等项目研究工作。完成973计划、攀登计划、863计划、科学院九五重点计划、国家自然科学基金、教育部留学择优支持基金等多项研究任务。
主要研究领域:系统科学:符号计算;计算机科学:计算机软件,人工智能。
-
主页访问
2431
-
关注数
0
-
成果阅读
1622
-
成果数
20
曾振柄, 陈良育, , 陈敏刚
计算机工程,2008,34(13):262~264,-0001,():
-1年11月30日
渲染通过计算将三维几何模型转换成具有真实感的图形,是数字媒体制作的关键环节。该文介绍基于集群系统的并行渲染,将集群管理、高性能计算、图形渲染及远程交互等先进技术有效结合,设计了自适应远程渲染系统。该系统的正确性和有效性已被验证。
自适应渲染, 集群系统, 并行计算, 远程交互, Web 服务
-
101浏览
-
0点赞
-
0收藏
-
0分享
-
233下载
-
0评论
-
引用
曾振柄, 刘鹏飞, , 蔡煜东·
计算机与应用化学,2008,25(5):607~610,-0001,():
-1年11月30日
许多生物序列数据库中都含有大量的冗余序列,这些序列通常不利于对数据库的统计分析和处理,而且它们要战胜更多的计算存储和处理资源。针对这个问题,本文中我们设计了一种去除蛋白质冗余序列的算法。该算法基于图论最大独立集的概念来生成非冗余序列集合,对目前存在的不少蛋白质去冗余程序所采用的由Hobohm和Sander最早设计的一种首先将序列分成若干簇然后取出代表序列的算法进行了改进,使得生成了更多的非冗余代表序列集合,避免了一些非冗余的序列也被去除。我们开发出了实现该算法的程序FastCluster,可以用来去除蛋白质数据库中的冗余序列。
生物信息学, 最大独立集, 代表序列, 去冗余
-
133浏览
-
0点赞
-
0收藏
-
0分享
-
39下载
-
0评论
-
引用
曾振柄, 陈良育, 张召
计算机应用,2007,27:246~248,-0001,():
-1年11月30日
提出一新型的EstateSpider信息系统。EstateSpider基于并行技术,在网络上爬行并搜索有用的房产信息,利用统计学和数据挖掘等相关技术得到有实际应用价值的房产领域经验准则。实际运行结果表明EstateSpider所归纳的规律是正确有效的。
网络Spider, 不对称性, 房地产, 数据挖掘, MPI
-
84浏览
-
0点赞
-
0收藏
-
0分享
-
96下载
-
0评论
-
引用
曾振柄, 张骏, 陈良育
计算机应用,2007,27(11):2834~2837,-0001,():
-1年11月30日
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。
计算机代数系统, 数学软件, 并行计算, 高性能计算
-
68浏览
-
0点赞
-
0收藏
-
0分享
-
403下载
-
0评论
-
引用
【期刊论文】基于AJAX和自动推理技术构建交互式数学Web服务
曾振柄, 陈良育, 张骏, 符红光
计算机应用,2007,27(9):2239~2241,-0001,():
-1年11月30日
数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。
AJAX, Web Service, 自动推理, 数学辅助学习, MathML
-
80浏览
-
0点赞
-
0收藏
-
0分享
-
228下载
-
0评论
-
引用
曾振柄, 张问银
计算机应用,2006,26(5):1004~1005,-0001,():
-1年11月30日
在JPEG2000压缩框架下给出了两种压缩图像索引方法,不需要完全解压缩,减少了数据处理量。实验结果证明,给出的索引方法具有很强的图像表征能力,利用该索引进行图像检索,提高了检索效率。
压缩图像索引, 小波提升, JPEG2000
-
65浏览
-
0点赞
-
0收藏
-
0分享
-
36下载
-
0评论
-
引用
曾振柄, 关强, 王龙, 夏壁灿, 杨路, 郁文生, *
信息科学E辑,2007,37(6):770~780,-0001,():
-1年11月30日
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果。
线性系统,, 镇定,, 同时镇定,, 香槟问题,, 广义香槟问题,, 复分析,, 不等式型定理,, 机器证明
-
69浏览
-
0点赞
-
0收藏
-
0分享
-
52下载
-
0评论
-
引用
【期刊论文】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评论
-
引用
曾振柄, 单美静, 毕忠勤
计算机应用,2007,27(4):997~999,-0001,():
-1年11月30日
基于非线性多项式方程的零点配对算法以及临界点算法,给出了一种求平面代数剖分样本点的改进算法。该算法剔除了大量冗余样本点,并在计算过程中以区间表示代数数,有效避免了浮点数等近似计算。通过与已有的经典算法进行比较,实验结果表明该算法具有显著的效果。
代数剖分, 样本点, 计算机代数, 代数数
-
112浏览
-
0点赞
-
0收藏
-
0分享
-
52下载
-
0评论
-
引用
曾振柄, 符红光), ), 钟秀琴), 曾振柄)
计算机学报,2006,29(10):1869~1875,-0001,():
-1年11月30日
从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表。利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程。有关算法已用Lisp编程实现。文中将它与aple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica。
三角函数化简, 组合规则, 规则链表, 可读证明, 自动推理
-
368浏览
-
0点赞
-
0收藏
-
0分享
-
352下载
-
0评论
-
引用