基于模糊数学的形式化开发方法研究
| 第一章 绪论 | 第1-16页 |
| ·课题来源和背景 | 第7-8页 |
| ·选题的意义 | 第8-11页 |
| ·对信息系统建设的重视 | 第9页 |
| ·信息系统建设中存在的问题 | 第9-10页 |
| ·迫切需要信息系统的形式化开发 | 第10-11页 |
| ·国内外研究状况综述 | 第11-14页 |
| ·现行研究中存在的问题及解决思路 | 第14-16页 |
| 第二章 信息系统开发方法研究 | 第16-49页 |
| ·信息基本概念 | 第16-18页 |
| ·信息定义 | 第16-17页 |
| ·信息的度量 | 第17-18页 |
| ·信息特征 | 第18页 |
| ·信息系统 | 第18-23页 |
| ·信息系统的数学模型 | 第19-20页 |
| ·信息系统的逻辑模型 | 第20-22页 |
| ·信息系统的分支及其发展 | 第22-23页 |
| ·形式化方法 | 第23-26页 |
| ·形式化的基本定义 | 第23-24页 |
| ·形式化方法分类 | 第24-25页 |
| ·形式化方法的作用 | 第25页 |
| ·形式化方法描述原则 | 第25-26页 |
| ·模糊数学方法 | 第26-35页 |
| ·基本概念 | 第26-29页 |
| ·模糊关系的分类 | 第29-30页 |
| ·常用的模糊数学方法 | 第30-35页 |
| ·信息分析决策技术 | 第35-40页 |
| ·信息整理、评价和分析 | 第35-37页 |
| ·信息分析常用的方法 | 第37-40页 |
| ·软件工程 | 第40-46页 |
| ·系统开发过程 | 第41-44页 |
| ·系统开发模型 | 第44-46页 |
| ·现代企业管理分析 | 第46-49页 |
| 第三章 信息系统的形式化建模体系 | 第49-55页 |
| ·信息系统的结构模型 | 第49-51页 |
| ·信息系统工程开发方法 | 第51-53页 |
| ·信息系统的工程开发模型 | 第51-52页 |
| ·模型求解过程 | 第52-53页 |
| ·信息系统的数学描述模型 | 第53-55页 |
| 第四章 信息系统的形式化开发 | 第55-74页 |
| ·系统分析 | 第55-58页 |
| ·生产系统 | 第56页 |
| ·销售与市场系统 | 第56页 |
| ·物资供应系统 | 第56页 |
| ·财务会计系统 | 第56-57页 |
| ·人事系统 | 第57页 |
| ·高层管理系统 | 第57-58页 |
| ·系统流程架构设计 | 第58-59页 |
| ·形式化信息系统开发过程 | 第59-62页 |
| ·形式化信息平台运行 | 第62-74页 |
| ·信息系统功能确认 | 第63-65页 |
| ·信息聚类 | 第65-66页 |
| ·方法聚类 | 第66-67页 |
| ·功能聚类 | 第67-72页 |
| ·系统运行评价 | 第72-74页 |
| 第五章 总结与展望 | 第74-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-79页 |
