《基于软件形式化方法的数据预警与分析系统的设计》-毕业论文（设计）.docVIP

学号：2010040676 哈尔滨师范大学 学士学位论文 题 目 基于软件形式化方法的 数据预警与分析系统的设计 学 生 指导教师 讲师 年 级 2010级 专 业 软件工程（软件项目管理） 系 别 软件工程 学 院 软件学院 哈 尔 滨 师 范 大 学 学士学位论文开题报告 论文题目 基于软件形式化方法的 数据预警与分析系统的设计 学生姓名 指导教师 讲师 年 级 2010级 专 业 软件工程（软件项目管理） 2013年3月1日 课题来源： 实习企业单位根据哈尔滨师范大学软件学院本科毕业论文教学要求以及本人意愿分配毕业论文题目。实习单位结合学院意见和学生自己的兴趣爱好以及所学专业情况，要求充分发挥学生的主观能动性和学习能力，同时结合当前校企合作的实际情况，给出的毕业论文题目。 此论文题目的完成需要充分发挥我们在校期间所学的知识和技能，在校期间是一个学习理论知识的好时期，而企业是实践所学专业技能的好机会，在这样的实际情况下，利用此毕业论文设计可以很好地做出总结。在完成毕业论文的过程中，进一步体会软件项目设计的流程，并从中发现我们的技术不足之处，使我们真正认识到自己的能力水平，为我们以后的工作和生活打下良好的基础。同时，在完成毕业论文的过程中，尽可能的加入企业项目真实开发过程中的真实元素，加速我们步入社会的进程。通过坚实的努力，收获一技之长，实现自己的社会价值。 课题研究的目的和意义： 随着经济的不断发展，企业财务数据预警与分析对于企业发展的重要性越来越大。企业财务预警分析是通过对企业会计信息及其他有关资料进行分析，将企业面临的财务危机情况预先告知企业的经营者，以便于提早做好防范措施的财务分析系统。企业经营必须建立一套预警制度，倘若面临经营危机，可以预先告知企业采取有效的应变措施消除面临的危机。所谓企业财务数据预警分析系统，就是通过对企业财务报表以及相关经营资料的分析，利用及时的财务数据和相应的数据化管理方式，将企业所面临的危险情况预先告知企业经营者和其他利益关系人，并分析企业发生财务危机的原因和企业财务运营体系隐藏的问题，以提早做好防范措施的财务分析系统。此系统的运用，可以极大的降低企业的财务危机，避免企业巨大的经济财产损失，具有十分重要的现实应用意义。 然而，传统的数据预警与分析方法已经难以满足现代科技的发展要求，我们迫切需要研究新的数据预警与分析的方法。由于数据预警与分析系统对数据的要求非常高，因此一定要保证运用软件的安全性和可靠性。因此在研发数据预警与分析系统的时候采取了软件的形式化方法。在实际运用过程中，了解和运用软件的形式化方法必定会起到事半功倍的学习效果。软件的形式化方法（Formal Methods）是基于离散数学和形式逻辑的一种方法，它采用形式语义符号和工具表述索要设计的计算机系统，并根据系统规范对系统的性质和正确性进行严格证明，是提高软件系统安全性和可靠性的重要手段。 国内外同类课题研究现状及发展趋势： 国外研究现状：(1)一兀判别法。Fitzpatrick在1932年用单个财务比率，研究发现判别能力最高的是股东权益/负债和净利润/股东权益 f=}l；此外Secrist在1938年只利用资产负债表比率(balance-sheet ratio)这一个指标，突破性的发现了对财务失败的定义不仅仅局限于破产，还包括债券拖欠不履行，不能支付优先股股利等。(2)多兀线性判别法。1968年Altman利用线性多兀区别分析法(LMDA)建立区别函数，即Z计分模型。克服了单变量模型中不同指标对同一公司分析得出不一致预测结果的现象。(3)类神经网。络模型OdomSharda1990年在Z模型5个变量的基础上，使用类神经网络构建模型预测企业破产。研究表明训练样本有100%的判别正确率，保留样本失败类企业为81.75%，保留样本正常类企业为78.18%，可见类神经网络具有较强的财务预测能力。(5)其它统计分析方法除了上述提到的研究方法外，有人尝试使用新的研究方法进行研究，也有人尝试使用新的变量进项研究，都取得了相应的成效。2000年Fan也对企业破产进行预测，利用的是支持(SVM)的方法。 冯诺依曼早在1947年发表的论文“Planning and Coding Problem for an Electronic Computer Instrument”中就提到了程序正确性证明，图灵在1950年也做了这方面的早期工作，20世纪60年代早期，迪杰斯特拉等提出程序证明采用“直观的，可见的”方法，60年代后期，软件工程的NATO会议上“软