教学课程资源库 更多>>

关键词： 偷逃费稽查   UML建模   联网收费  

摘要： 随着我国高速公路迅猛发展,其路网规模持续扩大,车辆单次收费额随之增加,以至于偷逃费现象严重且种类繁多。由于人工稽查方式存在局限性,无法及时全面地发现逃费车辆,钻空子偷逃费车辆层出不穷。目前联网收费系统中存储大量车辆通行信息,利用计算机技术可从海量数据中分析提取有效信息,弥补传统方式不足,真正提高稽查工作的时效性和精准性。本文主要围绕如何通过利用计算机技术实现应用于高速公路稽查工作的辅助系统。首先,描述目前联网收费系统的原理、稽查工作业务以及偷逃费行为类别特征等,分析了系统的实际业务需求和性能需求,明确了系统要实现的主要功能,并采用UML建模方式描述了系统的用例;其次,对系统进行总体设计,主要包括系统架构、技术框架、网络架构、功能架构以及数据库的概念结构和物理结构设计;接着,在系统总体设计基础上完成了系统功能模块的详细设计,进而在.NET开发环境下采用三层架构作为总体构架,前端采用WPF界面框架技术、数据访问层采用***框架技术,以Oracle数据库为后台完成了系统开发;最后,采用单元测试、集成测试及系统整体测试相结合的方式对系统进行由内部到外部的全面测试,并对测试结果进行分析以判断系统是否符合预期。系统测试结果表明本系统能够提高车辆稽查工作的时效性和准确性,切实增强了高速公路联网收费稽查管理工作的整体水平。

关键词： 保山一中   班级小组量化评比   管理系统   分析与设计   UML建模  

摘要： 本文以保山一中高中班级管理为研究对象,采用软件工程方法对保山一中班级小组量化评比系统进行研究与分析。该系统解决了原本需要耗费大量人力且效率低下的班级管理评价问题,有效提升评比的质量和效率。同时,将原本难以定量的纳入评比的活动组织能力、语言表达能力等主观表现,可通过系统统计所有参与者的评价,按照制定的方案给出相应的量化分值,实现当代教育所倡导的对进行学生综合素质评价的要求。此外,该系统的量化评比也从原有针对单个学生的评分,转变为针对多人组成一个小组的评分,这能在管理中最大程度的利用集体约束。文中对系统的各个功能模块和非功能需求进行了详细的介绍,最后也对系统的进一步完善进行了思考。

关键词： CDIO   软件工程   课程设计   实践改进  

摘要： 针对软件工程教学过程中理论与实践分离、离散的知识学习与综合的软件系统开发能力相矛盾,以CDIO工程教育理念为依据,建立了以市场需求为背景、以项目为主线、以学生为主体、以教师为引导的理论联系实践的课程体系、项目实践模式和课程评估标准并给出了课程改革中需要重点关注的内容。实践表明,基于CDIO的课程改革让学生经历从理论到技术、从技术到生产、从生产到应用的全过程.解决了传统教学重视理论和技术、轻视实现、忽视运作等问题,取得了一定的效果,提高了学生的学习兴趣也提高了学生的综合开发能力。

关键词： 卷烟自动分拣系统   UML建模   需求分析   数据库建模  

摘要： 本论文以昆船物流信息产业有限公司卷烟自动分拣控制系统为背景,介绍了当前该系统的应用现状,并对卷烟自动分拣控制系统的业务流程和控制数据流程进行了分析,优化了该系统的主要业务流程,同时也明确对该系统业务流程优化的意义在于能够有效的提高系统的效率和性能。在本文中通过对昆船物流信息产业有限公司卷烟自动分拣控制系统的业务流程的详细分析,发现了现有系统的不足之处,然后给出了优化后的业务流程图和系统控制数据流程图;通过对系统的用例分析和用例描述,给出了系统总体功能包图和所有子功能包图,同时描述了分拣控制系统的主要功能;通过对控制数据的详细分析,给出了实体类关系图,并设计了对应的数据库表结构;在本文的结尾中对整个系统的研究与分析工作进行了全面总结,并对今后系统完善的方面进行了展望。

关键词： 结构化设计   道路桥梁   运用  

摘要： 在对桥梁道路进行设计的过程中,其适用性、安全性以及经济性应受到重视。在以往的桥梁设计过程里,通常会选择定值设计法,这种方法通常能够确保设计方案符合标准需求,但一般仅能达到最低的标准,并且当使用这种方式进行桥梁设计时,往往会出现一些不安全的潜在风险,进而难以计算出该桥梁的经济适用性、安全指数等。然而,若是在桥梁的设计规划过程中进行结构优化,则可以有效解决相关的问题,所以结构设计方案对于桥梁的设计规划有着极大的影响。

关键词： 软件工程   实践教学   教学改革  

摘要： 在信息时代的召唤下,软件工程专业营运而生。软件工程是利用现代信息技术,将计算机技术通过软件形式表现出来。软件工程包含了多个学科知识学习,知识难度很大,因而在当前的实践教学课堂中仍存在着诸多问题。所以在当前形式下,要提高软件工程实践课程教学质量,就必须不断进行教育改革探索,处理好软件工程面临的问题,培养更多软件工程人才,让软件工程行业更好的服务于社会。

关键词： 流程银行管理系统   B/S模式   UML建模   SQL Server  

摘要： 近年来由于网络信息技术的快速发展,商业银行也都扩展自己的业务,不仅仅包括目前的国有四大银行,许多中小银行的业务也逐步从单个处理业务向流程化业务进行转变。设计之前本文针对银行已有的业务进行了全面的分析,在分析了业务的基础上才开始对系统进行设计和开发的相关工作。本文设计和开发选用***技术,利用B/S开发模式,主要工作如下:(1)在系统开发和设计之前进行分析和了解,确定系统各个功能的可实现性,并且利用UML建模的方式辅助设计工作。(2)在系统功能设计过程中,使用传统的三层次架构进行开发和设计,最终解决了对公自助业务和个人业务两大模块。其中本文对公业务实现了企业电子银行、单位存款业务、信贷业务等,本文个人业务实现包含了存款业务、贷款业务和投资理财等部分功能模块。(3)在实现功能模块时,展示出系统功能界面以及实现的关键代码。在所有的功能完成以后,通过设计用例,并结合黑白盒方法进行分析和测试,各项功能都达到了设计的要求,同时系统经过长时间运行,可靠性得到了认证。通过设计和实现流程银行管理系统,为城乡中小银行的流程管理系统提供了帮助,同时也为这类系统的设计和实现提供了参考。

关键词： UML建模   校园创业平台   MVC设计模式   模块化设计  

摘要： 在互联网及信息技术高速发展的时代，国家大力倡导创新创业，为了能够构建大学生创新创业摇篮及搭建创业基地，不断满足学校在创业中心的业务方面的需求，从而能够更好的为学生在进行创新创业的过程中提供更好的服务，不断的优化资源，合理的疏导学校的毕业生就业情况，为当代大学生提供一种创业的平台及其基础性的资源方面的支撑。本课题主要是从目前的互联网创新创业的角度出发，为当代大学生创新创业提供一种基础性的管理平台，通过借助于创新服务发展平台，能够很好的实现基础性资源方面的配置及其优化处理，通过构建的信息化创新平台，不仅能够很好的为大学生的创新平台运营者提供针对不同角度的运营状况的分析及其判断操作，能够综合性的判断中心运营方面提供一种基础性的辅助及其决策操作，并且依据信息化平台，来加快创业中心信息化管理的进度，不断的提高管理的效益及效率。　　本文首先对目前校园创业平台的研究背景、国内外针对这一领域的研究现状以及本文具体的研究内容等内容进行介绍，该平台存储和处理的校园学生数据信息有：学生基础信息、学生创业基础信息、学生创业者及其创业伙伴基础信息等;其次对校园创业平台的设计和实现进行详细介绍，并对建设平台所使用的关键技术进行介绍。该平台主要基于B/S架构设计，采用JavaEE开发平台以及MVC开发框架进行平台的搭建;从多种角度对校园创业平台的实际需求进行分析，描述平台主要功能，并对该平台的各个模块的功能进行介绍。为了方便对校园创业平台模块组件进行直观的描述，对该平台的基本模块进行UML建模，该平台的主要功能模块有：学生创业者及其创业伙伴信息管理、学生创业信息登记、学生创业信息审核处理、学生创业信息统计、学生创业信息管理、学生创业信息查询及其自定义信息查询设置。该平台的设计与实现为未来的校园创业平台的建设打下了良好的基础，可以在该平台的基础上进行功能的修改与扩充。　　通过构建的校园创业平台，从而为大学生的创新及其创业方面的发展提供一种很好的信息方面的共享操作处理，通过创业过程中的项目信息，创投公司的资金方面的运作处理，不断的优化管理创业公司方面存在的项目代理的情况，对这些情况进行高效的运转操作处理。更准确的说，就是通过构建的这种创业发展平台，能够为各个方提供一种优质资源，能够很好的起到一个资源整合方面的优势。

关键词： 离子液体   液液萃取   氢键   甲基丙烯酸   量化计算  

摘要： 液液萃取作为一种重要的化工分离单元操作,广泛应用于多种体系中各组分的分离。近年来,随着绿色化工的兴起,选择可替代有机溶剂的绿色溶剂成为液液萃取的热点。离子液体作为一种结构可调的绿色溶剂越来越多地应用于萃取分离中。本论文针对C2/C4路线合成甲基丙烯酸甲酯(MMA)中甲基丙烯酸(MAA)/丙酸(PA)/乙酸(HAc)/乙酸乙酯(EA)/水(H20)等混合体系的分离问题,设计了系列新型离子液体萃取剂用于MAA-H2O、MAA-HAc、PA-HAc和EA-H20的分离。实验测定了离子液体萃取过程的基础数据,结合实验表征和量化计算,对离子液体萃取过程的微观机理进行了初步解析,以期对离子液体萃取剂的设计和应用提供参考和指导。本论文的主要研究内容和成果如下:(1)设计和合成了咪唑类和季铵盐离子液体作为萃取剂来回收低浓度水溶液中的MAA。考察了离子液体结构对MAA萃取的影响,发现阴离子对MAA萃取具有较大影响,萃取分配系数按如下顺序递减[BF4]->[NTf2]->[PF6]-。溶剂化显色研究表明,离子液体萃取MAA的分配系数与其氢键碱性值正相关。通过红外光谱和量化计算等方法对离子液体萃取MAA的主要影响因素及内在机理进行了分析,结果表明离子液体和MAA之间的氢键作用对酸的萃取起主要作用,并且以离子液体阴离子和MAA之间的氢键作用为主导。基于此,设计合成了具有强氢键碱性的[N8,8,8,1]Cl用以萃取回收水溶液中的MAA,分配系数达到了 42.15,是常规工业溶剂正己烷的49倍。(2)设计了羧基功能化季铵盐类离子液体三辛基甲基丁二酸铵([A336]Suc)、三辛基甲基天门冬氨酸铵([A336]Asp)、三辛基甲基谷氨酸铵([A336]Glu)、三辛基甲基三氟乙酸铵([A336]TFA)和三辛基甲基邻苯二甲酸铵([A336]Pha)用于MAA和HAc的选择性分离。阴离子上的羧基官能团使得离子液体具有较强的氢键碱性,其中[A336]Suc的氢键碱性最强,萃取得到MAA对HAc的选择性系数达到54.70,是三辛铵萃取剂的2倍。红外分析表明[A336]Suc与MAA或HAc之间形成了氢键作用。进一步通过量化计算对离子液体与羧酸之间的相互作用进行分析,结果表明,[A336]Suc与MAA之间强的氢键作用是选择性分离MAA和HAc的关键。(3)低粘度离子液体设计及选择性萃取分离PA-HAc混合物。针对离子液体高粘度的问题,设计了低粘度的三辛基甲基丙二酸铵([A336]Mal)、三己基十四烷基丙二酸膦([P6,6,6,14]Mal)和三己基十四烷基顺丁烯二酸膦([P6,6,6,14]Male)离子液体用于水溶液中PA和HAc的萃取分离。由于[Male]-阴离子的内氢键作用削弱了阴阳离子之间和离子液体-离子液体之间的相互作用,使得[P6,6,6,14]Male离子液体的粘度最低,303.15K的粘度为292.82mPa·s,相较于[A336]Suc降低了 75.89%。将[P6,6,6,14]Male应用于PA和HAc的选择性分离中,选择性系数为10.09,优于传统有机溶剂磷酸三丁酯。(4)亲水性离子液体设计及对EA-H2O体系的萃取分离。EA-H2O二元共沸物的存在导致EA-H2O混合物的脱水较为困难,利用亲水性离子液体作为萃取剂可以较好的将EA中的水分脱除掉。在设计的亲水性离子液体中,1-乙基-3-甲基咪唑醋酸盐([C2mim]OAc)具有最好的脱除EA中水的能力,其萃取分离水的分配系数达到711.26,选择性系数达到26444.81,3级萃取后EA水含量可由2.75wt%降至0.0084wt%。通过量化计算发现[C2mim]OAc和水之间存在强的氢键作用,使得[C2mim]OAc-H2O之间的作用能大于EA-H2O以及[C2mim]OAc-EA之间的作用能,说明氢键作用是离子液体选择性分离EA中水的主要原因。

关键词： 安全关键系统   形式化方法   SysML/KAOS   Event-B   安全性   活性  

摘要： 使用传统的开发方法对安全关键系统进行开发时,早期系统设计阶段的错误往往到开发后期的测试阶段才能检测出来,重新对系统结构进行错误修改会造成大量的时间和人力耗费。并且由于测试并不能保证系统中不存在错误,无法满足安全关键系统对安全性和可靠性的要求。与之对应的是,形式化开发方法使用精确的数学语言根据系统需求进行描述,消除自然语言带来的二义性,同时,形式化方法根据系统需求进行建模后,使用数学证明的方式来验证模型的正确性,能够在开发早期发现需求与设计上存在的错误,避免了后期的测试所带来的时间和成本消耗。然而,由于形式化方法在使用时需要将自然语言描述的需求文本转换成精确的形式化规约,对开发人员的专业知识背景要求很高。因此一般需要使用需求工程中的需求分析方法将系统需求进行分解,转换成半形式化的中间语言,减轻前期获取需求规约的困难。本文使用SysML/KAOS方法在前期对需求进行处理,将文本需求转换成使用特定标记语言表示的目标(goal)中,然后根据目标模型中的精化分解关系将复杂需求进行分解,建立需求的层次结构。同时,建立从SysML/KAOS方法到形式化建模语言Event-B的关系映射,将目标模型中的目标和需求精化关系转换到Event-B的模型元素中,然后通过Event-B中的验证机制对转换的正确性和一致性进行验证。本文的主要研究工作如下:(1)将SysML/KAOS模型中表示功能需求的实现目标(Achieve goal)和表示安全需求的维持目标(Maintain goal)转换到Event-B模型中的对应元素;(2)将目标模型中的三种需求精化模式对应转换到Event-B的模型精化关系中,同时给出了转换一致性和正确性证明;(3)对于转换中存在的活性属性丢失问题进行讨论,给出了目标模型中活性属性在Event-B建模过程中的表达方式,然后针模型中已经添加的活性属性可能在精化过程中丢失的问题进行研究,给出的精化中活性属性保持的方法和相关证明。