形式化语言在报表系统中的研究和应用

1 概述	第1-11页
·业务背景和功能需求	第6-8页
·需求分析	第8-11页
2 系统架构	第11-17页
·eLiank Server	第11-12页
·eLiank Report	第12页
·eLiank Manager	第12-13页
·eLiank通用报表系统技术规格	第13-14页
·主要功能	第14-17页
3 规则定义形式化语言	第17-50页
·关键字	第17页
·EBNF范式	第17-21页
·形式化语言	第21-23页
·词法分析	第23-30页
·词法分析器的设计	第30-32页
·语法分析	第32-50页
4 赋值、审核语句的解释和处理	第50-59页
·表间引用	第50页
·赋值语句的业务限制条件	第50-52页
·赋值语句执行的优先顺序	第52-53页
·赋值语句的解释	第53-55页
·赋值语句的中间语言	第55-57页
·报表审核	第57-59页
5 报表舍位平衡及误差均衡化	第59-62页
·舍位平衡误差均衡化的基本原则	第59页
·误差均衡化处理前的三个矩阵	第59-60页
·四点平衡法	第60页
·舍位平衡均衡化算法	第60-62页
6 结束语	第62-64页
·研究和开发本系统的意义	第62页
·本人所做工作	第62-63页
·本论文的特点及其创新之处	第63页
·有待改进之处	第63-64页
参考文献	第64-66页
读研期间发表的论文和参加的项目	第66-67页
发表的论文	第66页
参加的项目	第66-67页
致谢	第67-69页