Web数学电子信息系统探讨

摘要

Internet最初是为了共享资源而提出的.如今,不同信息的处理更广泛地渗透在不同的应用领域,人们通过网络发布资源,存取信息,交流知识,进行远程教学甚至在线考试.由于数学信息涉及公式和数学运算符,数学电子信息有其特殊性.然而现存的数学信息管理方式往往只支持表达式管理,或者文字和表达式分离,或者适合排版而不能满足网络需求,或者满足了网络需求但编辑却繁琐.该文分析了数学信息的网络应用现状,针对数学信息的网络应用,设计了一个Web数学电子信息系统--WMEI系统.在这个系统中,定义了一套自己的数学表达文法;利用浏览器插件,对自定义的数学表达文法进行解析,实现所见即所得的在线编辑、在线显示和简单的数学表达式计算;利用服务器上的第三方软件运算库进行数学表达式的计算,实现复杂的数学表达式计算:利用数据库技术和WebServer,实现远程教学的自学自考.WMEI系统提供Web数学电子信息的在线编辑显示和编译计算功能,可以根据客户端不同的计算需求进行处理,灵活地为用户的请求选择合适的处理结构,有效解决数学电子信息的网络共享、交流互动、表达式运算以及在线自学自考等问题.由于WMEI系统的代码格式接近自然语言,易学易懂.同时,系统也可以使用目前已通用的Unicode进行编码,从而大大简化和拓展了系统的适用范围.最后,整个系统用到的Java技术使其具有很好的健壮性.WMEI系统处在整体设计和探讨阶段,仅仅实现部分原型,其可视化编辑器等实现工作需要继续探讨.

目录

文摘

英文文摘

第一章综述

1.1数学信息标准

1.2编译器

1.3 UNICODE

1.4 WEB数学信息实现技术

1.5本文的工作

第二章WMEI系统总体设计

2.1 WMEI系统功能要求

2.2 WMEI系统结构设计

第三章WMEI系统的代码格式

3.1 WMEI系统数学信息基本表示

3.2常用的系统处理

3.3内部函数

3.4综合举例

第四章WMEI系统的编译模块

4.1产生式

4.2词法分析

4.3语法分析

4.4符号表

4.5算法扩充

第五章WMEI系统的编辑模块

5.1文档编辑

5.2文档解析

5.3布局设计

5.4光标遍历

5.5信息接口

第六章关键技术讨论

6.1第三方软件的运算库接入

6.2通过JAVA应用程序运行外部文件

6.3客户端处理

参考文献

后记

论文原创性声明