教学课程资源库 更多>>

关键词： 客户关系管理系统   UML建模   移动应用  

摘要： 客户关系管理(CRM)是一种“以客户为核心”的商务模式，作为一种解决方案，集合了数据仓库、专家系统、CIT、云计算、移动技术等几乎所有目前最新的信息技术，对CRM的研究，将会冲击企业原有的营销、销售、服务等管理理念。如何及时恰当的引入信息管理系统，而不是流于形式，是企业面临的困局。从该点出发，构建基于B/S构架的客户关系管理系统，摈弃原有的客户管理模式，解决客户数据的不完整性和不一致性，提升数据的有效性，最终深层次的挖掘客户资源，维护老客户，发现潜在客户，从而增强企业核心竞争力。 本系统的设计，以最新的客户关系管理理论为出发点，针对鞋材企业的客户关系管理。技术实现以微软的.net技术为框架，集成化开发工具选用Visual Studio2010，数据库选用微软SQL Server2000，应用服务器为IIS6.0，整体采用B/S构架。出于对客户隐私以及安全性的考虑，对WEB系统常见的SQL注入攻击加以预防，敏感信息采用了MD5技术加密存储。顺应今后发展需要，在软件设计过程中，充分考虑了移动应用的实现。 在设计过程中，灵活运用软件工程的思想方法以及UML建模技术，总体设计阶段，在需求分析的基础上，给出系统用例图，定义系统的功能需求，进行功能模块的划分，将整个系统划分为五块，分别是基础数据管理、客户关系管理、客户关怀管理、系统设置管理与数据库；详细设计阶段包括数据库设计、流程设计和界面设计。实现了为客户分配，客户联系、客户拜访的全流程的管理，并提示业务员及时进行客户关怀，对客户关怀的结果予以反馈，实现数据的备份以及恢复。 在引入客户关系管理系统后，客户管理工作的有效性和针对性得到全面提升，客户关怀措施准确到位，老客户忠诚度提高，新客户得以挖掘。系统运行稳定、安全、可靠。

关键词： 就业   UML建模   B/S模式   .NET框架  

摘要： 成都农业科技职业学院毕业生就业信息管理系统设计与开发是为了把管理人员从繁重的数字统计中解脱出来，高效的完成毕业生的就业管理，提高就业率和服务质量。系统开发从需求分析设计到最终系统完成并成功运行，是建立在充分调研和有亲身工作经验的基础上，并运用了软件工程的相关技术理论。 系统采用B/S结构，以校园网和Internet网络平台为依托，便于部署，而且有利于分布式处理数据，具有安全、快捷、实用的特点。本文的工作主要围绕以下几个方面展开讨论： 1、首先介绍并深入学习Web开发涉及到的相关技术理论，为系统的完成提供理论支持。主要研究了当前流行的网页开发技术、.NET技术、JSP技术和数据库访问技术，分析了适合本系统开发的技术路线。 2、其次，本人在成都农业科技职业学院招生就业处工作，对毕业生的就业情况非常了解，熟悉就业流程、用人单位需求和毕业生需求，因此需求分析和概要设计阶段的工作能够顺利完成，为系统的成功开发鉴定了基础。这部分内容主要涉及功能性需求、非功能性需求，给出了部分模块的用例图，描述了技术架构设计、接口设计和异常处理设计的情况。 3、然后研究了数据库访问技术，对关键模块进行了详细设计，主要有前期数据导入模块、权限分配管理模块、用工部门数据管理模块和学生数据管理模块。系统采用了传统的三层结构模式：数据处理层、业务逻辑层和表示层。 4、最后介绍采用的软件测试技术，以提高系统的可靠性和安全性，并在学校完成系统的部署，投入正式运行。 本文的意义无论对于学校决策者、管理者还是用人单位、毕业生来说都至关重要，它能够为用户提供具有说服力的数据，为学校领导决策提供依据，能提高学校毕业生就业率，改善学校就业管理工作的水平和效率，降低工作成本，能够及时解决毕业生就业中存在的各种问题。

关键词： 非结构化数据   元数据   多媒体   SQLServer2008   CDI  

摘要： 南昌市政务信息化建设近年来取得了快速发展。各单位部门对计算机及网络越来越重视,在工作中发现由于资料保管不善、机构和人员变动等因素,极易造成以传统原始介质保存的媒体资料的损坏、缺失,历史资料的留存无法保持一定的延续性。 基于元数据的非结构化数据处理是整个多媒体数据资源系统的核心部分。本文围绕这个核心,对数据整理加工、资源库设计、资源著录进行了需求分析；通过对用户需求的梳理研究,按照元数据的标准规范及非结构化数据的内容和特点,对资源库结构、查询模式和著录方式进行了设计。 本系统通过资源库设计、著录发布和视频打点标引三大主要模块,较好地解决了多媒体数据资源的保存、标识、管理、检索问题。本系统在网站浏览界面提供了各类资源导航、元数据检索、全文检索和参考咨询,便于各单位部门用户浏览、查询所需要的媒体资源,提高了数据资料的利用率,实现了资源共享。 本系统后台管理部分采用C/S结构,系统整体采用数据层、公共组件层、应用层、表示层四层架构,有利于保障数据安全,利于数据存储和管理,同时具有良好地扩展性。操作系统采用Windows2008,数据库采用SQLServer2008,资源库设计管理平台采用CDI CM。

关键词： 特警装备   装备管理   UML建模  

摘要： 飞速发展的计算机技术促进信息技术革命的到来,特警支队对装备管理指标的要求也越来越多,装备管理工作成为特警支队日常一项很重要的工作。信息技术的发展为特警支队装备管理系统软件的开发与应用提供了技术支持,可以帮助特警支队对装备进行科学管理和追踪。根据对装备管理的需求分析,本文对东莞市特警支队装备管理进行分析和设计,应用B/S架构技术构建了特警支队装备管理系统。 本文首先对UML建模管理信息系统进行了概述,在需求分析的同时,说明系统的建设目标。并对东莞市特警支队装备管理系统的整体业务进行梳理,采用UML进行需求分析,包括基础信息维护、装备台账管理、装备配备管理、装备使用管理、系统管理等。然后对整个系统进行设计,设计内容包括总体设计和面向对象设计。采用面向对象设计思路进行功能模块的设计,对于每个模块都从功能结构设计、类图设计、动态图设计和处理流程设计进行详细设计和说明。同时对于东莞市特警支队装备管理系统中涉及到的数据库进行了E-R图设计,以及数据库的表结构描述。 本文设计的东莞市特警支队装备管理系统可简单概括为四方面：1)基础信息维护。2)装备台账管理。3)装备配备管理。4)装备使用管理。在这几个方面充分进行信息共享与服务、提高管理工作效率并促进业务公开等的新型工作模式。

关键词： 管理信息系统   数据库   UML建模   E-R图  

摘要： 公安机关每天都有大量的公文、数据、信息和资料在机关内部各科室之间流转,现有的办公模式只是运用计算机进行简单的文字及表格处理,已不能满足提高工作效率的需要,以及不能适应信息化不断发展的需求,也存在着重大的安全隐患。 本文以东莞市公安局长安分局内部办公事务管理为背景,介绍了该系统的研究背景、主要目的以及重要性,根据国内外研究现状。论文结合对东莞市公安局长安分局内部办公管理业务调研情况,采用采用面向对象程序设计,基于UML建模对该系统做需求分析,包括系统的总体需求、管理业务需求,功能需求以及其他需求,根据系统的需求,对系统进行了总体架构设计和各功能模块设计,画出系统功能结构图,详细设计系统各个功能模块,用户管理、公文管理、考勤管理、值班管理、文件共享、工作管理、案件管理、系统管理等。给出了模块设计的功能包图、类图、协作图和处理流程图,详细阐述了设计内容,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计；论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 高层建筑   剪力墙   结构   设计  

摘要： 剪力墙结构体系是一种抗剪性能较好的结构，在建筑中主要承担竖直方向重力与水平方向荷载，设计时要考虑建筑施工的具体情况，既要安全合理，又要考虑经济问题，尽量避免竖向刚度突变，确保其刚度。本文结合笔者多年的高层建筑设计经验，对剪力墙结构的类别及优缺点进行了分析，对高层建筑剪力墙结构设计的基本要求、基本原则、设计方法进行了探讨，以期为相关技术人员提供借鉴。

关键词： 电信行业   UML建模   数据建模  

摘要： 随着新技术的产生,通信企业体制改革的进一步深化,国内电信企业面临着越来越激烈的竞争环境,为了进一步拓展市场,保持本地市场领导地位,提高运营收入和利润,所以开发适应电信行业的渠道集中运营管理系统。 论文在介绍了电信行业渠道集中运营管理系统的项目背景之后,对项目的研究意义与与研究内容进行探讨,阐述了系统开发方法及相关技术,包括面向对象方法、数据库技术、UML建模技术和相关开发技术等；论文提出了系统的详细的需求分析,包括业务需求分析、功能需求分析、数据需求分析和非功能需求分析,业务需求分析给出了渠道规划支撑活动图、广告投放活动图、竞争市场活动图、渠道营销任务活动图,功能需求分析给出了渠道规划管理用例图、广告投放用例图、竞争对手渠道管理用例图、渠道营销任务管理用例图、用户管理用例图、日志管理用例图、渠道信息管理用例图,数据需求分析给出了渠道规划管理类图缩略表示、广告投放类图缩略表示、竞争对手渠道管理类图缩略表示、渠道营销任务管理类图缩略表示、用户管理类图缩略表示、日志管理类图缩略表示、渠道信息管理类图缩略表示；在系统设计中,对系统进行了总体设计、功能模块设计和数据库设计,总体设计包括渠道规划管理、广告投放、竞争对手渠道管理、渠道营销任务管理等功能模块,功能模块设计给出了渠道规划管理、广告投放、竞争对手渠道管理、渠道营销任务管理和用户管理模块的功能结构设计、类图设计、动态图设计和处理流程设计,数据库设计包括实体关系设计和数据库表设计,实体关系设计给出实体类间的关系图,数据库表设计给出了基本的数据库信息表,最后对论文进行总结与展望。

关键词： 信息管理系统   软件工程   J2EE   UML建模   数据建模  

摘要： 党校党员信息管理系统是党校信息化工作的主要支撑部分,当前,党校的信息化普遍存在着业务系统少、功能点分散、建设标准不统一等特点,对规范党校管理和提高工作效率造成了很大的障碍。因此,基于党校工作条例,充分考虑地市级党校工作的特点,设计一个党校党员信息管理系统,通过信息化的手段,对党校工作进行有效管理管理颇有意义。 论文介绍了党校党员信息管理系统的研究背景,讨论了项目的研究目的、研究意义,分析了项目建设的关键点,阐述了软件工程系统开发方法模式和J2EE相关技术；提出了系统的设计目标,并对系统进行了详细的需求分析,围绕党校的党员管理工作,以党员和党组织信息维护、组织关系转接为重点,结合客观实际,提出了相应的功能需求和非功能需求,根据党校信息安全的特殊要求,尤其重点阐述了系统在安全性方面的要求。 论文的设计方案给出了系统的业务流程图、用例图和概念类图,进行了详细的用例描述；在系统设计中,对系统进行了体系结构设计与模块设计,包括信息维护、组织关系转接、培训科研、信息发布和统计分析五个功能模块,给出了模块设计的功能结构图、类图和活动图,详细阐述了设计内容,进行了界面原型设计,并使用关系图和数据字典对数据库进行了详细的设计。 论文最后对研究的内容进行了总结,阐述了本人的主要工作,也指出了论文存在的不足,对设计中需要提升的部分进行了总结,并对进一步的工作进行了展望。

关键词： Formal methods  

摘要： Creating software for controlling robotic machinery has unique challenges. This article describes a formal method called differential-dynamic logic (dL) that can help produce zero-defect algorithms for robotic systems. We take the reader through an example of applying dL to a version of a control algorithm used in an experimental surgical robot. This case study is a simplified variant of an existing control algorithm. It shows how this tool can be useful and illustrates general principles that readers can use when applying this technique to other systems. We describe how to model a control algorithm for the robot and are able to prove that it safely enforces tool movement for a single boundary. Our proof provides a guarantee of the control algorithm's safe behavior for all possible inputs and is far more comprehensive than what is possible by using testing alone.

关键词： UMLsec   形式化方法   线性时序逻辑   模型检测  

摘要： 由设计瑕疵引起的安全问题占据了系统开发过程中出现的安全性问题的50%,因此,无论在多么坚实的软件安全程序中,对于系统体系结构的风险分析都显得十分重要。安全性风险分析是一种将技术问题和数据考量等相联系的自然方法,是在软件系统开发生命周期的初期阶段就需要完成的步骤。安全风险分析的结果和风险类别同时也驱动了软件安全性需求分析和安全性测试。 系统安全性需求分析与建模是将风险分析的过程放在了软件生命周期的早期需求层,这是进行软件体系结构风险分析的最佳选择。现有的软件安全分析与建模方法主要包括：创建安全对象及分析评估故障树；在软件生命周期的整个个过程中跟踪关键安全需求；在软件质量模型基础上添加安全标准和度量等。而这些方法和模型与传统的软件设计模型存在一定差异。系统的安全模型往往需要进行严格的形式化分析与验证,因此有必要使用更为严格的过程管理及形式化的设计与分析方法对软件安全性进行验证。 使用Unified Modeling Language (UML)统一建模语言来对软件系统进行建模是现在最流行的建模方式,但是对于要求严格的系统安全模型,有必要对UML建立的模型进行形式化来分析其可行性。论文在自动机理论基础上提出了描述UML视图的形式化机制,并将其映射到模型语言Promela,从而实现对使用UML建立的软件安全模型的形式化,使得由非形式化的UML语言建立的软件安全模型能够得到更清晰严格的描述。过程中使用线性时序逻辑语言LTL定义软件安全属性,描述直观并具有良好的兼容性。最后以形式化后的模型和LTL语言描述的系统安全属性作为输入,使用目前流行的模型检测工具Spin来验证安全模型的可行性。论文基于实际的系统设计过程,针对面向客户的风机选型软件的继续开发,使用UMLsec建立了在线选型服务系统的安全模型,使用线性时序逻辑语言定义了系统相关安全属性,经过模型检测工具Spin验证通过。实践证明实现过程能够较好地描述并检测软件模型安全性,使系统安全性在设计阶段得到较好的优化验证