HRBNU毕业论文设计+基于软件形式化方法的数据预警与分析系统的设计+陈森原版.docx
- 文档编号:16586711
- 上传时间:2023-07-15
- 格式:DOCX
- 页数:14
- 大小:25.04KB
HRBNU毕业论文设计+基于软件形式化方法的数据预警与分析系统的设计+陈森原版.docx
《HRBNU毕业论文设计+基于软件形式化方法的数据预警与分析系统的设计+陈森原版.docx》由会员分享,可在线阅读,更多相关《HRBNU毕业论文设计+基于软件形式化方法的数据预警与分析系统的设计+陈森原版.docx(14页珍藏版)》请在冰点文库上搜索。
HRBNU毕业论文设计+基于软件形式化方法的数据预警与分析系统的设计+陈森原版
学号:
2010040676
哈尔滨师范大学
学士学位论文
题目基于软件形式化方法的
数据预警与分析系统的设计
学生陈森
指导教师林琳讲师
年级2010级
专业软件工程(软件项目管理)
系别软件工程
学院软件学院
哈尔滨师范大学
学士学位论文开题报告
论文题目基于软件形式化方法的
数据预警与分析系统的设计
学生姓名陈森
指导教师林琳讲师
年级2010级
专业软件工程(软件项目管理)
2013年3月1日
课题来源:
实习企业单位根据哈尔滨师范大学软件学院本科毕业论文教学要求以及本人意愿分配毕业论文题目。
实习单位结合学院意见和学生自己的兴趣爱好以及所学专业情况,要求充分发挥学生的主观能动性和学习能力,同时结合当前校企合作的实际情况,给出的毕业论文题目。
此论文题目的完成需要充分发挥我们在校期间所学的知识和技能,在校期间是一个学习理论知识的好时期,而企业是实践所学专业技能的好机会,在这样的实际情况下,利用此毕业论文设计可以很好地做出总结.在完成毕业论文的过程中,进一步体会软件项目设计的流程,并从中发现我们的技术不足之处,使我们真正认识到自己的能力水平,为我们以后的工作和生活打下良好的基础。
同时,在完成毕业论文的过程中,尽可能的加入企业项目真实开发过程中的真实元素,加速我们步入社会的进程。
通过坚实的努力,收获一技之长,实现自己的社会价值。
课题研究的目的和意义:
随着经济的不断发展,企业财务数据预警与分析对于企业发展的重要性越来越大。
企业财务预警分析是通过对企业会计信息及其他有关资料进行分析,将企业面临的财务危机情况预先告知企业的经营者,以便于提早做好防范措施的财务分析系统。
企业经营必须建立一套预警制度,倘若面临经营危机,可以预先告知企业采取有效的应变措施消除面临的危机。
所谓企业财务数据预警分析系统,就是通过对企业财务报表以及相关经营资料的分析,利用及时的财务数据和相应的数据化管理方式,将企业所面临的危险情况预先告知企业经营者和其他利益关系人,并分析企业发生财务危机的原因和企业财务运营体系隐藏的问题,以提早做好防范措施的财务分析系统。
此系统的运用,可以极大的降低企业的财务危机,避免企业巨大的经济财产损失,具有十分重要的现实应用意义.
然而,传统的数据预警与分析方法已经难以满足现代科技的发展要求,我们迫切需要研究新的数据预警与分析的方法.由于数据预警与分析系统对数据的要求非常高,因此一定要保证运用软件的安全性和可靠性.因此在研发数据预警与分析系统的时候采取了软件的形式化方法。
在实际运用过程中,了解和运用软件的形式化方法必定会起到事半功倍的学习效果。
软件的形式化方法(FormalMethods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述索要设计的计算机系统,并根据系统规范对系统的性质和正确性进行严格证明,是提高软件系统安全性和可靠性的重要手段。
国内外同类课题研究现状及发展趋势:
国外研究现状:
(1)一兀判别法。
Fitzpatrick在1932年用单个财务比率,研究发现判别能力最高的是股东权益/负债和净利润/股东权益f=}l;此外Secrist在1938年只利用资产负债表比率(balance-sheetratio)这一个指标,突破性的发现了对财务失败的定义不仅仅局限于破产,还包括债券拖欠不履行,不能支付优先股股利等。
(2)多兀线性判别法。
1968年Altman利用线性多兀区别分析法(LMDA)建立区别函数,即Z计分模型。
克服了单变量模型中不同指标对同一公司分析得出不一致预测结果的现象。
(3)类神经网.络模型Odom&Sharda1990年在Z模型5个变量的基础上,使用类神经网络构建模型预测企业破产。
研究表明训练样本有100%的判别正确率,保留样本失败类企业为81。
75%,保留样本正常类企业为78.18%,可见类神经网络具有较强的财务预测能力。
(5)其它统计分析方法除了上述提到的研究方法外,有人尝试使用新的研究方法进行研究,也有人尝试使用新的变量进项研究,都取得了相应的成效。
2000年Fan也对企业破产进行预测,利用的是支持(SVM)的方法.
冯诺依曼早在1947年发表的论文“PlanningandCodingProblemforanElectronicComputerInstrument”中就提到了程序正确性证明,图灵在1950年也做了这方面的早期工作,20世纪60年代早期,迪杰斯特拉等提出程序证明采用“直观的,可见的"方法,60年代后期,软件工程的NATO会议上“软件危机”的提出,推动了程序验证的深入研究。
1969年,C。
A.R。
Hoare在“Anaxiomaticbasisforcomputerprogramming”一文对Floyd归纳断言法形式化,首次提出程序验证的公理系统,称为Hoare逻辑公理化方法。
目前常用的形式验证方法可以分为两类:
演绎验证和模型检测。
其中,早期的形式化技术主要采用演绎法证明顺序和并发程序的正确性。
国内研究现状:
(1)关于财务风险理论
我国从20世纪80年代末或90年代初开始进行财务风险的相关研究。
余绪缨教授认为企业财务杠杆系数越大,企业财务风险就会越大。
如果企业没有负债则认为不存在财务风险。
学者们把这种风险称为筹资风险或债务融资风险,也将其看作狭义的财务风险。
汤谷良教授认为“财务风险发生在企业筹资、投资、收益分配等财务活动中,各种不确定性因素的作用,会使企业的实际收益与预期发生负偏离的可能性”.人们将这一定义可看作是对狭义财务风险的拓展。
财政部的向德伟博士细致全面的分析了财务风险产生的原因,向博士认为“财务风险是一种微观的风险,是企业经营风险的集中体现。
(2)关于财务风险预警指标与模型运用
黄世忠第一次提出了分析企业破产的指标和预测企业破产的模型。
陈静在其一篇实证研究论文中使用27家被特殊处理和未被特殊处理的公司为对比样本,分别对这些企业进行了线性回归研究和单变量研究。
陈静在多兀线性判定分析中,发现在公司被处理的前3年能较好地预测公司财务困境的是由负债比率、净资产收益率、流动比率、营运资本资产率、总资产周转率6个指标构建的模型.宁宇之则认为企业财务风险的预警方法有两种,一种是指标分析法,通过计算企业流动比率和资产负债率预警企业财务风险;另一种是概率法,通过计算标准离差和标准离差率来预测风险的大小.
2001年中国证监会北京证券办针对上市公司年报中披露的有关信息设计了上市公司风险预警系统,提出用定量分析和定性分析相结合的方法来判断公司风险程度并将其作为分类监管的依据.定性指标中包括管理层人事变动等五项风险;定量指标主要包括资金风险、投资项目风险、关等五类风险。
此风险预警系统根据上市公司年报中的相关信息及以上指标,对监管的上市公司得出风险程度,并划分成A,B,C三类。
但是该风险预警系统中同类重复指标较多,导致较大计算量,该预警系统中所给出的风险判断标准过多依赖主观经验;而且此风险预警系统不适用于非上市的国有企业风险预警的管理要求。
由于形式化方法能在早期发现系统中的不一致、歧义、不完全和错误,目前已经被证明是一种行之有效的减少设计错误,提高软件系统可信性的重要途径。
20世纪90年代后期,英国,美国,法国等国家相继出现了提供形式规约和验证技术产品的高科技公司。
许多著名计算机公司也纷纷在其产品开发中使用形式化方法。
在国内,由于软件产品质量水平和竞争力相对较低,对软件可靠问题还没有引起足够的重视,因此再形式化方法方面还应该加大研究的力度。
课题研究的主要内容和方法,研究过程中的主要问题和解决办法:
软件形式化方法(FormalMethod)在软件开发中一直都受到多方面的争议.持肯定态度的拥护者认为形式化方法会引起软件开发的革命.从广义上讲,形式化方法是借助数学的方法来解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动.狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。
就形式化建模而言,形式化表示必须包含一组定义其语法语义的形式化规则。
这些规则可用于分析给定的表达式是否符合语法规定,或证明该表达式具有某种性质。
形式化方法的出发点是数学逻辑方法,其目的是开发可靠的软件产品。
从软件开发来讲,形式化方法目前并非软件开发的主流.从软件发展看,早期的软件是用于数值计算,程序语言侧重于函数和算法的描述,后来数据库的应用和数据结构逐渐变得重要。
现在的软件更为复杂,因此,对象、组件、接口、通讯、开放等成为非常重要的概念。
从软件工程方法来讲,有一套描述这些概念的办法,比如说用图形、表格、逻辑、自然语言等,交叉使用以描述一个系统的各个方面。
因此换一个角度来考虑,我们也可以以目前常用的软件开发方法为出发点,研究怎样将这些方法形式化,使软件系统的描述精确化,以减少可能的误解所带来的问题;或以目前常用的软件开发过程为出发点,研究怎样在软件开发过程中增加一些形式化方法的应用,以提高软件的可靠性。
论文主要研究的内容是以数据预警与分析系统为系统设计原型和核心,亮点是利用软件的形式化方法进行系统的设计和完成,在系统设计过程中体验软件形式化方法在软件设计中带来的巨大优势和影响。
不管是财务数据的要求还是软件本身的要求,对于安全性和可靠性要求都非常高。
探究的主要问题是,怎样做出正确的比较证明软件形式化方法在软件设计和开发过程中带给软件研发人员的巨大便利.利用此方法使得管理分析财务数据的软件开发过程中更加具有安全性和可靠性。
我所做的工作如下:
(1)数据预警建模模块主要有预警指标建模、预警参数管理、风险体系建模、风险预警报告建模等四个子模块构成。
各子模块功能说明如下:
1.预警指标建模子模块
此模块提供对预警指标进行管理,包括添加、删除和修改。
2.预警参数管理子模块
此模块主要负责对预警参数进行管理(包括添加、删除、修改).
3.风险体系建模子模块
此模块主要负责创建风险评价指标体系,并对其进行管理维护,包括添加、删除和修改。
4.风险预警报告建模子模块
此模块主要提供对创建风险预警报告的功能。
(2)根据系统需求的设计,对数据库进行设计。
(3)学习SSH等框架的使用.
(4)实现数据库在系统中的作用。
(5)进行深入设计并开发基于软件形式化方法的数据预警与分析系统。
(6)调试运行系统。
(7)撰写论文。
(8)论文答辩。
课题研究起止时间和进度安排:
起止时间
2013年1月-—2013年5月
进度安排(指导教师可根据实际情况适当安排)
2013-12——2013—3确定论文题目,查找资料,撰写开题报告
2013-3——2013—4查找资料,进一步分析题目研究内容,同时编写程序
2013—4——2013—5完成程序,开始撰写论文
2013—5交论文,答辩
课题研究所需主要设备、仪器及药品:
计算机及应用开发平台类书籍
计算机的硬件环境:
处理器:
英特尔酷睿双核
内存:
DDR32。
0GB
硬盘空间:
500G
软件环境:
操作系统:
Windows7
数据库:
oracle10g
系统开发工具:
MyEclipse/UAP—STUDIO
软件开发语言:
JSP,Java,JavaSwing
框架:
Struts、Hibernate、Spring、JQuery、JavaSwing中的JTree+JTable
服务器:
Tomcat6。
0
外出调研主要单位,访问学者姓名:
北京用友审计软件有限公司宋东旭
北京搜狐网许天丞
指导教师审查意见:
该毕业论文开题报告中说明了课题的研究背景,课题研究的理论基础,研究的目标,研究的内容和创新点.该论文选题合理,结构合理,符合专业培养目标,工作量适度,有一定的理论意义和现实意义,写作进度安排合理,同意开题。
指导教师(签字)
2013年3月
教研室(研究室)评审意见:
____________教研室(研究室)主任(签字)
2013年3月
系(部)主任审查意见:
____________系(部)主任(签字)
2013年3月
学士学位论文
题目基于软件形式化方法的
数据预警与分析系统的设计
学生陈森
指导教师林琳讲师
年级2010级
专业软件工程(软件项目管理)
系别软件工程
学院软件学院
哈尔滨师范大学
2013年5月
摘要:
基于软件形式化方法的数据预警与分析系统的设计,其开发过程主要研究软件的形式化方法在数据预警和分析系统安全性和可靠性上的提升.经过分析,本设计使用Oracle公司的Oracle10g作为后台数据库,前台采用Myeclipse8.6/UAP—STUDIO作为开发工具,使用MVC模式进行编写,首先在短时间内建立系统应用原型,然后对初始原型系统进行功能扩展,不断修正和改进,直到形成用户满意的可行系统。
关键词:
形式化方法;数据预警;MVC模式
第一章绪论
绪论,论文的第一章。
主要包括问题的提出、研究背景、系统的目标和意义、国内外同类课题研究现状及发展趋势和课题研究的主要工作和内容。
1。
1问题的提出
随着计算机技术的发展和应用的需要,计算机的应用逐渐由科学计算发展到过程控制,到1954年美国通用电器公司首次利用计算机计算职工的薪金,计算机就应用到了数据处理领域,这就产生了最早的管理软件,即最简单的信息系统,计算机被用到了企业信息管理之中。
自此以后,西方的很多国家开始着手信息系统的开发。
到60年代末计算机用于企业信息管理在西方逐步普及.发展到目前计算机在企业信息管理中的应用已从简单的数据处理到了电子商务.我国计算机用于管理起步较晚,1979年财政部拨款500万在长春第一汽车制造厂实施信息系统的开发是我国计算机用于管理的里程碑。
经过二十几年,我国管理信息系统的发展经历了一个与国外管理信息系统发展相似的历程。
让我们透过这个梯型图来了解和回顾二十几年来我国管理信息系统发展的概貌.我国管理信息系统的发展过程可以划分为5代.早期的应用是80年代末期基于DOS平台的单项核算财务软件,主要是工资核算,我们称之为第一代;随着计算机的发展,90年代出现了局域网,管理软件的应用范围由单项的财务核算发展到整个财务核算,包括账务、工资、成本、材料、报表等,我们称之为第二代;90年代中期,利用核算型财务软件产生的数据进行财务统计、查询,产生了包括全面核算财务的管理型财务软件,我们称之为第三代;随着全球经济的一体化,仅仅实现财务管理信息化已经不能满足企业管理的需要,必须对企业的所有资源进行管理,因此90年代末期全面管理企业资源的企业资源计划软件ERP在国外面世并被引入我国,我们称之为第四代;随着Internet网的发展,企业的竞争已不再是一个企业与一个企业之间的竞争,而是一个企业的供需链与另一个企业的供需链之间的竞争,因此必须加强对供需链上合作伙伴的管理,降低成本,实现利润最大化,于是,继ERP之后基于供需链管理的供需链管理软件SCM产生了;为了提升客户的忠诚度,为客户提供个性化的服务,又产生了客户关系管理软件,CRM软件。
企业信息管理已经发展到了在企业内部通过ERP进行全面资源管理,企业外部建立完善的电子商务环境,通过建立供需链管理系统(SCM)、客户关系管理系统(CRM)提升企业的竞争力.管理信息系统发展的第五代到来了.
随着技术的发展和企业外部环境竞争的加剧,企业管理信息系统将朝着协同商务的方向发展,也就是供需链上所有的单位,包括供应商、制造商、分销商、运输商、产品开发商、应用服务提供商等合作伙伴,都按照客户或市场的需求,步调一致地共同开展业务活动,保证产品和服务能够保质、保量、按时地交付到客户手中。
企业管理信息系统发展的一个新的时代又将到来。
随着工业制造企业生产水平的提高,设备的种类和功能越来越繁多,自动化程度也越来越高,设备出现问题的几率也越来越大,而且设备出现问题所造成的损失也越来越高,故而以机器设备为主体进行生产的工业制造企业设备管理维修水平和效率将直接影响到企业生产发展。
随着企业设备规模的日益壮大,设备在企业固定资产总额中所占的比例也越来越大,所以设备管理的运行效果的好坏,直接影响着整个工业制造企业的效益。
设备维修管理系统,可以降低设备维修成本,提高设备维修的效率,提高企业的生产能力和市场竞争能力。
也就降低了企业出现问题时所造成的损失,变相提高了企业的生存空间,为企业的发展壮大提供了强有力的保证。
因此,如何设计及实现一个适合我国国情并且具有一定通用性的设备维修管理系统是当前我国企业管理的一个亟待解决的一个课题。
1.2研究背景
。
.。
。
。
.。
参考文献:
[1](美)埃克尔著,《ThinkInJava》,机械工业出版社,2007
[2](美)RalphMorelli著,《Java面向对象程序设计》,电子工业出版社,2004
[3](美)StevenJohnMetsker,(美)WilliamC.Wake著,《Java设计模式》,人民邮电出版社,2003
[4]FrankM.Carrano著,《数据结构与算法分析:
Java语言描述》,清华大学出版社,2007
[5]BearBibeault/YehudiKatz著,《jQueryinAction》,ManningPublications,2008
[6]ChristianBauer/GavinKing著,《HibernateinAction》,ManningPublications,2004
[7]李葆文,《国外设备管理与维修概论》,华南理工大学出版社,1997
[8](美)JamesHolmes著,《Struts完全手册》,电子工业出版社,2007
[9]张晋连,《数据库原理及应用》,电子工业出版社,2004—07
[10]郭锋编著,《Spring从入门到精通》,清华大学出版社,2006
[11]CraigWalls著,《SpringinAction》,ManningPublications,2011年
[12]RodJohnson等著,《Spring框架高级编程》,机械工业出版社,2006
[13]张磊,丁香乾著,《JavaWeb程序设计》电子工业出版社,2011
[14]刘京华等著,《JavaWeb整合开发王者归来》,2010
[15][美]GeorgeReese等著,《MySQL权威指南》,中国电力出版社,2003
[16](美)AnanyLevitin著,《算法设计与分析基础》,清华大学出版社,2007
[17](美)KynnBartlett著,《CSS入门经典》,人民邮电出版社,2007
[18]成林著,《CSS3实战》,机械工业出版社,2011
FORMALMETHOD-BASEDDATAWARNINGANDANALYSISSYSTEMDESIGN
SenChen
Abstract:
Formalmethod-baseddatawarningandanalysissystemdesign,Formalmethodsofitsmainsoftwaredevelopmentprocesstoenhanceearlywarningandanalysisonthedatasystemsecurityandreliability.Afteranalysis,thedesignusingOracle’sOracle10gdatabaseasabackground,foregroundusingMyeclipse8。
6/UAP—STUDIOasadevelopmenttool,writtenusingtheMVCmodel,firstappliedtobuildaprototypesysteminashorttime,thentheinitialprototypesystemfunctionexpansion,constantlyrevisedandimproved,untilaviablesystemofcustomersatisfaction。
Keywords:
FormalMethod;DataWaring;MVCmode
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- HRBNU 毕业论文 设计 基于 软件 形式化 方法 数据 预警 分析 系统 原版