随着科技的进步,电子词典得到了广泛的应用。当前,国内知名的电子词典产品主要针对英语单词的查询,并没有涉及积分等复杂公式的计算和查询。但是数学又非常的重要,它是一切自然科学的基础,应用于多个领域,包括科学、经济学、天文学、物理学、工程学和医学等等。其中,微积分学的应用最为广泛,堪称是人类最伟大的成就之一。然而大量积分公式并不能轻易求出,人们只能借助积分公式表来查询。针对此现状,本文设计及实现了一个手持设备上的积分公式电子词典。　　系统的硬件平台采用华恒科技的S3C6410开发板,软件平台包括魏永明先生开发的MiniGUI图形系统以及BerkeleyDB数据库。基于这些软硬件,设计并实现了系统的图形界面和数据库。然后,将MiniGUI、BerkeleyDB移植到开发板上,并实现了MiniGUI的输入引擎功能,使其同时支持触摸屏输入和键盘输入。　　本系统支持积分表上所有公式的查询。查询方式包括精确查询、模糊查询和语义查询。为了实现查询积分公式时的语义匹配、结构匹配和模糊匹配,需要在搜索匹配之前对公式进行预处理。本文设计并实现了一个完整的数学公式预处理解决方案,使其可以处理几乎所有的常用积分公式。　　最后,对系统进行了测试。测试表明,本系统完整实现了对于实用积分的所有查询,无论是查询结果,还是运行效率都达到了预期的效果。