教学课程资源库 更多>>

关键词： 纪检监察办公管理系统   JSF架构   UML建模  

摘要： 随着信息技术的发展，企事业单位开始逐渐搭建属于自己的办公管理平台，以此来提升其办公效率和工作管理水平。纪检监察办公管理系统的使用可以有效提升管理者的劳动强度及效率。但是乌兰察布市纪检监察部门在办公管理方面仍采用全人工管理的方式，这导致大量的人力资源浪费、效率低下、响应不及时和资料易遗失等问题。　　本文在对政务办公管理系统深入调研及在实际工作发现的问题和困难的基础上，完成了以下工作。首先，从经济、技术和操作三个方面对纪检监察办公管理系统进行了分析，并完成了系统的用例分析和需求分析。然后，提出基于JSF框架的纪检监察办公管理系统的实现方案，并以系统的需求分析为导向构建系统体系结构，完成系统的架构设计、功能模块设计和非功能模块设计。最后，对纪检监察办公管理系统进行实现，该系统包含新闻信息管理模块、办公室办公管理模块、派驻机构管理模块和用户管理模。　　在论文的最后，提出采用边界值法和全路径测试法结合的思路，对系统进行全覆盖测试，并给出了测试用例的生成方案和生成方法。测试结果表明，系统能够较好地满足乌兰察布市纪检监察部门的办公需求。

关键词： R/ECC结构   纤维模型   用户材料子程序   数值分析   增量动力分析  

摘要： 工程用水泥基复合材料(Engineered Cementitious Composites,ECC)是一种具有高延性、高韧性和细密裂缝特征的纤维增强水泥基复合材料。对于新型材料ECC,国内外已对其抗拉/压/弯等性能等进行了研究,且多以构件的形式进行的研究。科研的手段并不仅仅局限于试验研究,数值分析也同样重要。根据纤维梁单元的特点,可知影响其计算精度的主要因素在于建立数值模型时所采用材料本构关系模型的准确与否。因此本文以大型通用有限元软件ABAQUS为平台,利用该平台的用户材料子程序接口(UMAT),基于纤维梁单元开发ECC、混凝土和钢材本构用户材料子程序。首先,对该用户材料子程序进行测试,确定该子程序内的本构模型为目标本构。基于已有材性受压、受拉滞回试验对所开发的ECC材料本构子程序进行材料层次的验证,数值模拟结果与试验结果符合度较高。构件层次的验证选取了R/ECC组合梁承载力试验、ECC梁滞回试验、ECC柱滞回试验和R/ECC组合边节点抗震性能试验,结果表明开发的子程序能够很好的模拟R/ECC构件的力学性能。结构层次的验证选取了R/ECC组合框架结构振动台试验,验证表明本文开发的用户材料子程序能够反应R/ECC组合框架结构的动力特性。为了进一步研究R/ECC组合框架的抗震性能,设计一个三维6层混凝土框架结构,并用ECC材料对设计的混凝土框架梁柱节点进行替换形成R/ECC组合框架。采用有限元软件ABAQUS并利用开发的用户材料子程序分别建立6层混凝土框架和R/ECC组合框架模型。根据设计基本信息选取合适的地震波,采用广泛应用于结构非线性分析的增量动力分析方法,对比分析混凝土框架和R/ECC组合框架的结构抗震性能,研究表明R/ECC组合框架较普通混凝土框架表现出更好的抗震性能。

关键词： 进销存管理   SQL SERVER 2010   业务流程   三层架构   UML建模  

摘要： 目前,进销存管理软件市场竞争激烈,适合于各种应用场景的同类软件不断推出,但也存在不少问题,因为几乎所有正式发行版本都需要付一笔不菲的费用,很多功能可能不适合具体的某个工商企业或公司,或不能满足实际的需求。实际上,不同的工商企业、公司,对进销存管理软件的需求往往有个性化的差异,那种通用的软件费用往往较高,但不一定能够满足一些中小企业或公司的特殊需求。本文实际调研了中小型电脑公司进销存业务的业务流程,分析了具体的业务需求,在此基础上,设计并实现了一个能满足中小型电脑公司进销存业务基本需求的应用系统。本文的主要研宄工作和创新点如下:(1)遵循现代软件工程开发应用系统的基本原理和设计思想,在对应用系统开展可行性研宄、需求分析,在系统的总体设计、详细设计、具体编码、实现与测试过程等环节都贯彻其基本要求和原则;(2)将UML建模与结构化方法相结合,分析应用系统的功能需求,使应用系统的总体功能的实现过程更加灵活;(3)系统采用当今成熟的三层架构,以提高系统开发的效率和系统的安全性;(4)采用先进的数据管理技术,保证了系统对数据库的统一管理和进销存数据的安全;(5)设计并实现了应用系统的六大功能模块,即基础信息管理、进货管理、销售管理、库存管理、统计报表管理、日常管理与系统设置管理等,在系统的分析、设计与实现、实施的各个环节,都充分考虑了系统的非功能性需求,包括系统的可靠性、健壮性和安全性等;(6)系统实现界面友好,操作比较方便。设计过程中,进行了很多个性化设计,如根据商品类型自动生成商品编号、订单号,智能化输入商品名称、顾客名称等,即方便了操作,减少了很多不必要的录入和输入错误,也提高了系统的可用性和安全性,改善了用户体验。系统采用微软集成开发工具VS2010进行开发,后台编程语言采用C#语言,配合使用SQL SERVER 2010数据库系统管理合同数据库。目前系统已经顺利通过测试,测试结果基本符合设定的目标,系统总体运行顺利,可以满足中小型电脑公司进销存业务管理的基本需求。

关键词： 公安局人事管理系统   UML建模   C/S架构模式   SQL Server数据库  

摘要： 传统的人事信息管理工作都是以纸质档案为载体进行管理,需要实现新的管理功能需求时,往往存在重复采集和传递,效率低、成本高、保密性差。特别是在公安系统,双重领导的角色使得公安人事信息系统建设具有自己的特点,设计和开发一套适合杨凌公安机关的人事管理系统很有必要。本文针对目前杨凌公安警员信息管理系统工作中存在的问题和不足,设计开发一个以警员信息规范化管理、业务网上办理、信息快捷查询为核心,适合目前杨凌公安警员信息管理实际需求的系统。系统设计和开发过程以软件工程思想为指导,运用面向对象的方法,使用UML语言对系统业务流程进行了建模,对功能需求、系统构架、交互界面和功能模块等进行了分析、设计和实现。文章首先对杨凌公安局人事信息管理系统的建设背景和意义、开发方法和工具进行了介绍。在系统的分析和设计阶段,通过绘制系统功能结构图、活动图对整体需求进行了分析,并将系统划分为警员信息管理、部门管理、警衔管理、护照管理、工资信息管理和系统管理7个功能模块,对各功能模块进行了用例分析,构建出类图等静态模型。根据需求分析和功能要求,确定系统采用基于C/S的构架和三层逻辑划分,通过进一步完善类模型、绘制顺序图等方式对7个功能模块进行详细设计,将分析阶段的类和对象转化为软件对象,接着对系统采取的命名规则和Windows窗体交互界面进行了初步设计。同时在DBMS的支持下,对数据库关系模型进行设计,将对象模型转化为数据模型,并在SQL Server数据库管理系统中对各数据表进行详细设计。杨凌公安局人事信息系统的实现基于Visual Studio系统开发平台和SQL Server数据库管理系统,采用C#语言和***相关技术对业务功能模块和系统管理模块的进行了编程实现,最后根据设计的系统业务流程和各模块的功能说明,对系统进行了测试并对系统中存在的不足进行了总结。

关键词： 工程实践教学   复杂工程问题   研讨会  

摘要： 国际工程教育认证突出强调以学生为中心的课程教学和人才培养理念,注重以"解决复杂工程问题能力"等为代表的能力和素质培养。新工科教育将工程能力培养提升到一个非常高的高度。软件工程课程最为适合培养学生解决复杂工程问题的能力,因为软件本身就是一个极为复杂的逻辑系统,软件开发是一项集成了技术、管理、人员和工具等要素的复杂工程。当前,软件学

关键词： 结构化设计   道路桥梁设计   计算模型   应用原则   使用价值  

摘要： 随着我国经济的飞速发展,交通运输业也获得巨大的发展与进步,作为交通业中重要的道路桥梁设计也得到广泛关注.本文阐述了道路桥梁结构化设计的必要性.对结构化设计的不同计算模型进行分析,探讨了结构化设计的常用解法,论述了道路桥梁设计中的结构化设计应用原则.

关键词： 无线体域网   三方认证协议   形式化方法   模型检测   分类压缩  

摘要： 无线体域网（Wireless Body Area Network）是一个附着在人体上的微型网络。无线传感器加入无线体域网后,医生与患者可以实时远程监控患者的生理数据。例如心跳、血压、胰岛素水平和呼吸等,为实现医疗服务行业中的智能操作、智能管理、智能监控提供了可能。然而无线传输的开放性导致患者生理数据在传输过程中容易受到非法者未经授权的访问和修改,造成隐私泄露、非法监听、数据篡改等信息安全问题,而这些操作可能会对患者产生不可逆的损害。本文重点关注无线体域网环境下的三方认证协议的认证性以及一致性,分别选取基于NTRU、3PAKE、ECDH三种密码体制的三方认证协议作为研究对象,采用形式化方法分析无线体域网环境下三方认证协议的安全性,研究成果如下:（1）基于Maggi的Promla建模方法,构建攻击者二次重放消息的能力。分别使用模型检测方法分析基于3PAKE、ECDH和NTRU密钥体制的三方认证协议,证明了模型检测方法的通用性,并成功发现基于3PAKE和基于NTRU密钥体制的三方认证协议存在Dos攻击漏洞。（2）分析基于3PAKE和NTRU密钥体制的三方认证协议存在攻击漏洞的原因,提出协议改进方法,并验证改进后协议的安全性。模型检测验证结果表明改进后的三方认证协议安全性更高,能够有效抵御Dos攻击漏洞;总结本文所研究的不同密钥体制下三方认证协议存在的安全隐患。（3）提出一种分类压缩的建模优化策略,对比采用语法重定序、偏序规约、类型检查、分类压缩优化策略后模型的状态迁移量等数据,实验结果表明加入分类压缩优化策略后能够有效缓解状态爆炸问题。

关键词： 能源管理   数据采集   Spring技术   UML建模  

摘要： 近年来,我国政府提出中国制造2025规划和企业节能环保生产要求,非常注重企业能源利用率的提升。MGT工厂是微波炉核心部件磁控管生产工厂,生产规模大、设备多,对生产环境温湿度控制要求特别高,生产过程使用大量高能耗设备,能耗在生产成本控制占据非常大的比例。目前MGT工厂未使用动力中控系统,所有动力设备的数据记录都是靠人工现场抄录,整个工厂动力设备信息不畅、不及时、不准确,对能源消耗情况无法汇总并进行报表分析。为了提高加快产业结构优化升级,提高能源利用率与产能效益,需要构建MGT工厂能源管理系统,实现实时在线监控、数据趋势分析、控制生产成本,从而加快全球战略市场布局。本文首先分析了M公司MGT能源管理系统建设的主要背景,探讨了企业在能源消耗方面存在的各种问题,指出了系统建设具有非常重要的应用价值,对课题组织结构进行安排。然后对系统开发使用的Java EE、Spring mvc、MySQL、Hibernate等技术,介绍了技术特点与工作原理。然后文章概述了MGT能源管理系统能源数据采集需求,分析了系统业务流程,采用功能用例图描述了系统业务功能,并指出了系统性能需求。文章指出了系统设计原则,整体设计了总体架构、技术架构等架构,指出了MGT能源管理系统开发使用到的核心技术。然后设计了系统功能结构和网络部署情况,明确了系统功能构成和硬件构成,并从E-R概念模型和数据库表结构物理模型两个方面进行了数据库设计。文章重点详细设计和实现了系统综合管理、数据自动采集与存储、数据手动录入和配置、报警管理、工艺图总揽、监控平面图及数据查询、能耗分类计算、能耗图表分析、能耗报表统计、MES接口等功能模块,通过程序流程图、时序图等UML建模图形方式描述了系统功能,并编码实现了核心功能。文章最后介绍了系统的数据完整性、功能、性能等方面的测试过程,确认系统可以发布上线。通过构建MGT能源管理系统,实现了工厂整个生产过程中涉及到的电、水、气、空调等主要能耗的远程数据采集、远程控制及异常报警,并结合MES系统数据进行有效的能耗分析,优化了能源使用管理,达到了节能降耗的目的,及时发现及处理了设备异常,提高了企业综合效益。通过能源管理和能源监控两大功能的结合,快速实现远程监控现场的异常,对成本消耗的趋势数据做实时监控和预警,对经营决策有非常大的借鉴意义。

关键词： 《软件工程实践教程:基于开源和群智的方法》  

摘要： 本书特色>以培养解决复杂工程问题能力和软件工程素质为目标,改革软件工程课程实践内容、实施方法和考评方式。>基于循序渐进的理念,设计实践任务,结合"小米便签"开源软件等应用案例,翔实阐明实施方法、策略和结果。>采用依托社区、基于群智、迭代开发的方法,为实践任务提供有效技术手段。>提供丰富的教学资源,附有完整的软件项目案例及软件制品、电子教案和教学视频、网络学习社区、支撑工具等。