教学课程资源库 更多>>

关键词： 软件工程   实践   任务驱动   应用能力  

摘要： 软件工程实践作为计算机专业毕业设计及实习前的综合实践环节，在应用人才培养体系中占有重要地位。本文在对目前实践教学中存在问题分析的基础上，根据本专业特点，从实践安排、实践教学方法及实践环节三方面进行改革与实践，从而达到培养应用型人才的目标。

关键词： 量子密码协议   形式化方法   模型检测   PRISM   窃听方式模型库  

摘要： 量子密码学是利用量子力学的性质来实现加密的科学,是经典密码学与量子力学相结合的产物,是一个对科学研究具有重要意义的交叉学科。由于量子密码具备量子力学的基本属性:海森堡不确定性和不可克隆原理,对整个量子密码系统中的任何部分进行测量都不可避免的会给整个系统带来扰动,而这些扰动又必然会被检测到,从而这就从根本上保证了量子密码的无条件安全性(Unconditional Security)。在历经了三十多年的快速发展后,量子密码协议的研究取得了长足的进展,成为密码学中的一个重要分支,也是最重要的研究热点之一。虽然量子力学保证了量子密码协议的无条件安全性,但是量子密码协议安全性的证明一直是目前研究的重点和难点之一。目前对于量子密码协议安全性的证明主要是基于传统的数学理论方法,这要求很高的数学功底与个人能力。而形式化验证的方法具有自动化的特点,能够极大的降低验证过程的难度,简化了验证过程的繁杂程度。量子密码协议中最关键的问题就是其安全性。这些协议的安全性是可以被证明的,但是在方法上存在很大的困难。形式化验证是指根据某个或某些形式规范或属性,对其的正确性或非正确性,给出严格的采用数学方法的证明。模型检测是形式化验证的一种,它能够全自动地检验一个有限状态系统是否满足其设计规范。模型检测使用的是基于状态空间搜索的方法,其优点在于它有全自动化的检测过程且验证速度快、效率高。本论文以国家自然科学基金项目为依托,主要研究了多种量子密码协议的安全性问题,包括了量子密钥分发协议、量子隐私比较协议、半量子密钥分发协议等,并使用基于概率的模型检测这一形式化验证方法,对各种量子密码协议的安全性进行了分析,建立了量子密码协议的攻击方式模型库,取得了若干研究成果,主要体现在以下几个方面:在对量子密码学进行了简要介绍的基础上,描述了著名的量子密钥分发协议BB84和B92协议,并使用基于概率的模型对协议的执行过程进行了抽象,通过建立系统模型对其安全性进行了研究。在量子隐私比较协议方面,介绍了量子隐私比较协议的发展过程,使用了新近提出的一种多体纠缠态的量子隐私比较协议,创新性的采用了模型检测的方法对其安全性进行了分析,得到的结果表明量子隐私比较协议在抵抗截获重传攻击上是安全的。在半量子密码协议方面,引入了最近十年新出现的半量子密钥分发协议,我们使用基于概率的形式化验证方法,将其协议执行过程进行抽象建模,验证了其对截获重传攻击、随机替换攻击和一般攻击方式的安全性。对于不管是经典协议或者量子协议来说,安全性都是其最重要的属性,在量子密码协议的研究过程中,对攻击方式的研究总是必不可少的。而由于不同的量子密码协议其构造体系存在差异,即便是相同的攻击方式,在具体的执行过程中,也存在着区别。我们通过对不同的攻击方式进行抽象建模,建立了通用的攻击方式模型库。使用者只需要对攻击模型的描述进行适当的修改调整,就能在其各自的研究中使用,大大简化了验证的难度,提高了验证的速度和效率,这本就是形式化方法自动验证想要达到的目标之一。

关键词： 销售管理系统   UML建模   Python   B/S架构   MySQL数据库   MVC模式  

摘要： 本课题针对某碳酸氢钠生产企业开发了一套销售管理系统。对于碳酸氢钠的销售管理来说,其特点是产量大、销售面广以及客户信息多。碳酸氢钠的传统销售管理模式存在很多问题,比如说在人工处理库存信息方面,偶尔会发生计算出的库存变动与实际清点数不符的情况;在对销售人员的管理方面,绩效考核的公平性也难以保证;手工填写票据的方式也会耗费大量的人力以及时间。显然,随着竞争的日益激励以及企业信息化的快速发展,传统的管理方式以不再适用于现代化的企业管理。因此,本课题针对该企业设计开发了一套销售管理系统,以期提高该企业的管理水平,同时降低管理成本,最终实现企业利益的最大化。在研究学习了软件工程开发的基础知识及相关技术后,本课题确定了基于UML建模的系统分析设计方法,以Python为开发语言,以MVC为开发框架,基于B/S架构和MySQL数据库开发了企业的销售管理系统。在软件开发过程中,首先对企业进行实地考察分析,并结合目前流行的ERP和CRM管理理念,详细的分析了销售管理系统的需求,基于销售业务流程将系统划分为销售、CRM、库存、生成、采购、项目、会计、人力资源8个模块。然后基于UML用例图以及需求分析,对每个模块的功能进行了设计。最后基于UML的状态图对每个模块不同功能之间的逻辑进行梳理,通过功能之间的逻辑建模实现了第三章所设计的全部功能,完成了销售管理系统的开发。

关键词： 信息系统   需求分析   数据库建模   UML建模   台州市看守所   在押人员管理  

摘要： 论文主要介绍了台州市看守所在押人员信息管理系统的研究背景、系统研究的意义以及该系统在国内外的研发现状,同时对论文写作的主要内容和主要工作作出阐述。具体分为三个方面对需求分析进行论述,分别是业务分析、功能分析以及数据分析。基于业务分析,论文指出原有系统的相关业务流程缺陷,同时给出再造业务流程；基于功能分析,论文分析了原有系统的相关功能,其中包括包含在押人员出入所管理、看守所监控管理、看守所分类管控、在押人员学习管理、在押人员考核管理、看守所在押人员风险等级审批管理、在押人员综合查询、在押人员基本信息管理、基础数据管理和系统设置,并给出系统总体功能图以及相关子功能图,文中对系统功能进行了明确的解释,同时给出用例图；基于数据分析,论文分析了系统的多种数据,建立数据库表,同时给出相关实体类图。在文中结尾部分,本人对论文写作工作以及研究问题作出了合理科学的总结,并对下一步工作作出了展望。

关键词： 中职学校   班主任工作管理   UML建模  

摘要： 中等职业学校的班主任工作是一项繁琐而又不可或缺的管理工作。本文主要运用UML建模语言,完成遵义航天工业学校班主任工作管理这一具体业务信息系统的分析与设计。

关键词： 财务预算   农行新罗支行   UML建模  

摘要： 在银行的管理中,预算管理就是其中重要的内容,通过预算管理能够有效地控制银行的发展战略,保证银行的体制完善,提升银行的经营全面性和目的性。通过银行编制预算,就能够提制定企业在短时间和长时间的发展规划计划,保证银行能够保证自身发展要求。因此,本课题以农行新罗支行财务预算管理为背景,结合UML、系统分析等技术,通过对信息管理理念的研究,分析和设计了针对农行新罗支行建立了预算管理需求的信息系统。根据实际业务发展,进行分析了农行新罗支行财务预算管理系统行的,通过业务描述、组织结构分析、业务问题概述,从而分析原有业务流程,包括预算准备管理、预算调整管理、预算系统管理预算执行管理、预算下达管理、预算编制管理、预算报表管理等流程,并画图表示,然后经过分析,进行业务流程优化,从而规范财务预算管理中的业务流程,使其更加合理科学有效；通过系统结构分析,分析系统所需的技术架构体系和层次,为后面的系统数据分析、系统设计和系统实现做准备。其次对农行新罗支行财务预算管理系统行了功能分析,包括农行新罗支行财务预算管理系统用户角色分析：支行行长、财务人员和管理人员；利用UML图进行系统用例图分析和设计、包图分析和设计；其中用例图分为总体用例图和各个实体的子用例图；包图分为总体功能包图和各个功能模块的子功能包图。最后对农行新罗支行财务预算管理系统行了数据分析,通过UML中的类图进行功能数据需求分析；然后是实体类关系分析,以及数据流图和数据字典分析,最后给出了系统数据库的具体设计,·通过数据库中建设的表进行了具体的描述。该系统不仅可以在很大程度上提高农业银行新罗支行财务管理人员的工作效率,提高服务质量,并且可以提升银行成本预算精细化管理水平,减轻财务预算工作压力,提高服务效率,可以有效的控制成本费用,合理的配置资源。

关键词： 闽西职业技术学院   美术课堂   学习系统的研究与分析   需求分析   UML建模  

摘要： 本文是以闽西职业技术学院美术课堂学习为背景,用面向对象方法和UML建模对选课管理系统进行研究与分析。论文项目的研究对象是闽西职业技术学院美术课堂学习系统,进行了业务需求分析、功能需求分析和数据需求分析三个部分。论文的前言部分进行了项目研究背景、意义以及目前的研究与应用现状的阐述,并明确了论文研究内容和本人的主要工作。论文的第二部分是业务分析,主要是进行学生考勤方面的原有业务流程分析和优化业务流程分析。论文的第三部分是功能分析,主要是对基础信息管理、学习资料管理、在线自学、学习交流管理、学生作品展示管理、系统管理子用例进行用例图分析和用例说明等。第四部分是数据需求分析,主要是对数据库分析和实体类关系分析。最后论文对所做的项目进行总结以及展望。

关键词： 软件工程   UML技术   信息系统   OOA&D  

摘要： 文章以"省通信公司工程管理信息系统"建设为背景,着重研究了基于UML的建模技术在通信工程管理系统开发过程中的应用,探讨了大型通信工程管理信息系统建设中的关键步骤和策略,`提出一个比较适合通信工程建设项目开发的基于UML的建模过程。

关键词： Yii框架   结构化数据   数据抽取   任务调度  

摘要： 互联网时代网络技术的飞速发展为人们提供了丰富的信息和资源,大量网页信息都是通过数据库查询然后使用模板来展现在网页中,此类数据便是结构化的数据。抽取结构化的数据可以为信息整合、垂直搜索等很多领域提供增值的服务,已经有众多学者进行了相关研究。基于LNMP框架的结构化数据抽取平台,致力于为百度产品便捷、快速地获取全网结构化数据,打造从网页获取、解析到结构化数据产出的一体化流程,为线上产品和数据调研提供可靠的数据支持。与此同时,通过平台化建设,降低用户进行数据抽取的的学习成本,提高工作效率,为企业带来利润收益。本文所设计实现的结构化数据抽取平台基于LNMP(Linux操作系统、Nginx服务器、MySQL数据库、PHP编程语言)开发,平台端框架选择Yii(基于Php的MVC框架)、Smarty(基于Php的模板引擎)、Bootstrap(基于HTML5和CSS3的前端UI框架)的组合,通过各种框架的使用,提高了开发效率。前端由模板引擎构建,前后分离,耦合度更低,容错率更高。笔者遵循软件工程的思想,在构建结构化数据抽取平台过程中,参与完成了结构化数据抽取服务端和抽取平台端的需求收集、整理和分析；参与完成了系统功能模块设计、技术架构设计和数据库设计。在系统详细设计与实现阶段,笔者完成了模板管理模块、任务管理模块和数据抽取服务模块三大功能模块的设计与开发。在测试阶段,笔者参与系统测试策略的设计,独立完成了系统相关模块的测试工作。该结构化数据抽取平台中,模版管理模块负责引导用户可视化地构造抽取模板,并且实现对模板的各种维护操作：任务管理模块负责将抽取模板以任务的形式提交到服务后端并实现对任务信息和任务执行状态的维护；数据抽取服务是数据抽取的核心环节,通过任务调度、获取网页信息、执行数据抽取等环节,最终得到结构化数据。目前,该数据抽取平台处于试运行阶段,笔者所负责的模块功能稳定、运行正常,达到了预期目标。

关键词： 理财产品营销   UML建模   类图   用例图   数据库表  

摘要： 本文主要介绍了台州市工商银行理财产品营销管理系统的相关项目背景,分析了同类系统研究和应用的现状,利用面向对象的方法对理财产品营销系统进行UML建模,首先利用活动图对台州市工商银行理财产品的现有管理流程进行建模,运用信息化技术对现有流程进行流程优化,给出优化过后的流程图。然后根据流程规划系统的功能模块,通过用例图,包图对系统的功能进行建模,说明系统的功能和相关参与者,并给出用例描述和相关文字说明。最后对系统的底层数据进行分析,通过控制类关系图、缩略类图、实体类图,说明系统中各个不同的类之间的对应关系,给出台州市工商银行理财产品营销管理系统中各个模块所对应的实体类表,即数据库表,并对数据库表中的字段属性进行分析,定义其存储长度和主键、外键定义。在文章的结尾部分对本人所做的工作进行总结和展望,规划下一步需要研究的内容。