教学课程资源库 更多>>

关键词： 招标采购   UML建模   分析与设计  

摘要： 为规范贵州理工学院物资采购行为,提高采购资金的使用效益,加强学校对采购活动的监管与监督,本文从贵州理工学院的实际情况出发,建立高校招标采购流程监管系统,采用信息化的管理方法对高校的自主招标采购过程进行监管与控制,从而让高校的自主招标采购过程逐步走向规范化和自动化。 论文首先对系统开发的理论知识和实践技术进行了简要介绍;其次,以“贵州理工学院招标采购流程监管系统”为依托,以校方自主招标的招标采购监管流程为主线,对业务处理流程做了详细的阐述,详细研究了招标的过程与项目采购的管理过程;根据软件工程的设计思想,采用UML建模语言对本系统进行了详细的需求分析,使用活动图对业务流程进行了分析,根据不同的用户角色使用用例图进行功能需求分析。在系统设计中,根据需求分析的结果对系统进行了总体架构设计与功能模块设计,本系统共分为6个功能模块：采购计划管理、招标流程管理、采购合同管理、专家库管理、报表管理和系统管理。本文使用面向对象的方法对各个功能模块进行了设计,利用静态建模说明系统的功能架构,通过顺序图和活动图阐述各功能模块之间的数据流过程。在数据库设计方面,采取实体类关系图描述各实体之间的关系,并创建相关数据库表结构,为实现一个规范化与自动化的高校招标采购监管系统的提供了一个切实可行的解决方案。 论文所提出的系统设计方案能够全面、有效的管理招标采购过程中的各项业务,不仅规范了招标采购的各项业务流程,而且提高了各相关部门之问的资源共享效率,大大推动了高校招标采购监管工作的高效执行,在实践中有一定的参考价值。

关键词： Software testing  

摘要： In the research on automatic generation of testing cases, there are different execution paths under drivers of different testing cases. The probability of these paths being executed is also different. For paths which are easy to be executed, more redundant testing case tend to be generated;But only fewer testing cases are generated for the control paths which are hard to be executed. Genetic algorithm can be used to instruct the automatic generation of testing cases. For the former paths, it can restrict the generation of these kinds of testing cases. On the contrary, the algorithm will encourage the generation of such testing cases as much as possible. So based on the study on the technology of path-oriented testing case automatic generation, the genetic algorithm is adopted to construct the process of automatic generation. According to the triggering path during the dynamic execution of program, the generated testing cases are separated into different equivalence class. The number of testing case is adjusted dynamicly by the fitness corresponding to the paths. The method can create a certain number of testing cases for each execution path to ensure the sufficiency. It also reduces redundant testing cases so it is an effective method for automatic generation of testing cases. © 2013 ACADEMY PUBLISHER.

关键词： 软件生产线可变性   UML建模   GMF   Profile弱扩展   MOF扩展  

摘要： 软件生产线是一种有效的、系统化的软件复用方法。软件生产线的可变性是指应对产品的独特功能和特定需求，通过重用预先定义的、可配置的构件来定制软件，有助于提高软件的复用率，降低成本，缩短开发时间，提高软件质量。因此对可变性进行建模意义重大。 本论文主要是对软件生产线体系结构框架和可变性进行分析研究，将软件生产线可变性理论与UML建模相结合，利用EMF、GEF、GMF等模型框架及图形化建模框架，分别通过Profile弱扩展机制和MOF强扩展机制设计实现软件生产线可变性建模。本文主要研究内容包括以下几个方面： 1.对软件生产线体系结构框架和软件生产线可变性进行分析研究。首先对现实系统的可变性进行系统地识别和定义，然后对可变性中的变化点、变量以及它们之间的约束依赖关系进行分析。 2.将软件生产线可变性理论与UML建模相融合，建立基于UML的可变性建模扩展理论，并设计定义可变性建模过程中所需的元模型。 3.进行可变性Profile弱扩展研究并初步实现可变性Profile建模。利用UML标准元模型，结合可变性建模理论，建立可变性Profile视图，并将其引用至其他UML视图中，实现各UML视图对应的可变性建模。 4. MOF强扩展机制实现可变性建模。首先基于MOF元元模型，结合可变性建模理论，利用EMF模型框架设计定义独立的可变性元模型。然后通过GMF建模框架实现可变性建模，并利用GEF图形框架和插件技术对建模工具进行功能的扩展和完善。

关键词： 公务员   考核   UML建模   数据建模   B/S模式  

摘要： 考核是公务员绩效管理的核心功能之一,对于改革与完善公务员制度、提高公务员整体素质、保证政府工作的高效协调运转,都具有重要的推动作用。近几年来,保山市在公务员管理和队伍建设方面取得了较好成绩,在公务员考核制度、考核方法、建立平时考核机制上也进行了一些积极探索,针对考核工作中存在的平时考核机制建立难到位,考核内容标准针对性不强,定量考核难,操作周期长,工作量大等问题,着手研发了保山市公务员考核管理信息系统。本文以保山市公务员考核管理为选题对象,基于对保山市公务员考核现状的调研,阐述了系统的研究背景、意义、重要性及系统开发方法和相关技术,对系统进行了详细的需求分析,给出了系统的业务流程图、用例图和概念类图,进行了用例描述,在系统设计中,对系统进行了总体设计与模块设计,包括人员信息管理、平时考核、年度考核、用户身份管理、日志管理等功能模块,给出了模块设计的功能结构图(包图)、类图、顺序图和处理流程图,详细阐述了设计内容,进行了界面设计,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计。保山市公务员考核管理信息系统解决了当前公务员考核中的一些难点问题,提高了考核工作的效率和质量,促进了考核在公务员管理工作中的基础性、导向性作用的发挥,一定程度上调动了公务员工作的主动性和积极性,提高了机关工作效能。

关键词： 模板支撑   支撑结构   钢管扣件   模板支架   扣件式   地基承载力设计值   水平杆   立杆稳定性   剪刀撑   体系结构设计  

摘要： 目前,建筑施工中常用的模板支架多为钢管扣件式模板支架,其加工简单、搬运方便、通用性强,是当前我国使用最多、应用最普遍的一种模板支架。随着建筑业的不断发展,房屋建筑都朝着空间方向的高层发展,为适应建筑市场高层建筑的不断变化,模板支架应选择装拆简单、移动方便、承载性能好、使用安全可靠的多功能支架,才能更好的确保工程安全、质量、工期和降低施工成本。 传统的钢管扣件式模板支架施工效率较低,比较耗费人工,从工期和降低施工成本方面存大较大的不足；由于钢管扣件式模板支架的作用力偏离中心,依靠扣件的抗滑力来传递荷载和内力,支架的整体安全很大程序上依靠扣件,如扣件本身质量缺陷、工人不当的安装和扣件螺丝拧的松紧都会对工程质量和安全留下隐患。因此,改进和开发新型模板支架是加快施工进度、节省劳动力、解决施工质量和安全的重要途径和根本措施。 为解决钢管扣件式模板支架存在的问题,山东天齐集团股份有限公司技术中心本着从源头上对模板支架进行全面升级,推动新型模板支架在节能减排、绿色环保方面和充分体现工具式产品的先进性方面,结合2010版建筑业十项新技术应用中插接式支撑架技术和盘销式支撑技术,通过对两种模板支撑架的消化、吸收,根据中国建筑市场的特点形成了独立完整的直插盘销式模板支架体系,并对该体系中的承载力、抗拔力、节点转动刚度等节点进行了一系列的实验,结合实验数据用概率极限设计法的要求,采用分项系数设计表达式的方式对其进行结构设计计算,针对本支撑组合系统的独创性、先进性和高科技性,且该组合体系具备节能、节材、提高工程质量、提高施工效率等优势,推广建筑模板支撑组合结构的施工使用,彻底解决扣件式模板支撑体系体系带给我国建筑业多年存在的耗材量较大、操作较复杂、工时长、造价高且工程质量得不到有效保证的问题,该支撑组合系统将是一次重大的技术革新,它将产生巨大的经济效益、社会效益。

关键词： 卷烟监管   UML建模   分析与设计  

摘要： 国家烟草专卖局把严格规范视为我国烟草行业生产和发展的生命线,通过对行业内部生产经营活动实施严密的监管,从根本上规范烟草市场秩序,从而实现维护国家利益和消费者利益的行业宗旨。为了实现监管工作的信息化,提高对卷烟生产经营行为的监管效率,贵州省烟草专卖局设计开发了贵州省烟草商业企业卷烟监管系统,本文对该系统的分析与设计开展论述。 论文首先介绍了贵州省烟草商业企业卷烟监管系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了系统开发方法和相关技术；论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求和非功能需求,给出了系统的业务流程图、用例图,进行了用例描述；在系统设计中,对系统进行了总体设计与模块设计,包括日常监管、内管流程办理、商业监管和系统管理等功能模块,给出了模块设计的包图、类图、时序图,详细阐述了数据库设计,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计；论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 全自动驾驶   时序图   时间自动机   模型检测   运营场景  

摘要： 全自动驾驶(Fully Automatic Operation, FAO)系统是一种解决高速度、高密度城市轨道交通系统的安全、节能、高效、灵活运输等问题的重要手段,其核心是将列车驾驶员、调度员执行的工作,完全由自动化、智能化的系统所替代,是未来城市轨道交通发展方向之一。针对FAO系统核心部分高安全苛求的列控系统而言,在运营场景设计开始阶段,采用形式化方法分析运营场景的需求规范并验证其实时性,排除功能和性能隐患,对保障FAO系统安全高效运行具有非常重要的意义。 本文综合分析了形式化方法在列控系统运营场景的应用状况,通过比较单独采用UML时序图或基于时间自动机理论和模型检测工具UPPAAL的优缺点,形成了基于UML和(?)JPPAAL的建模与验证流程,为FAO系统运营场景的形式化分析研究提供了重要参考和指导。论文的主要内容如下： 1、总结了FAO系统有别于现有CBTC系统三个具有代表性的典型运营场景：建立和取消保护区、自动折返、出段作业,并从信号系统角度,详细给出了场景的实现流程、信息交互的数据流、以及功能和性能需求。 2、采用规范描述的方法对三个典型运营场景的功能和性能需求规范进行整理和分类,分别从术语、功能、通信、环境、特性等方面提取实时动态行为,并整理出时序图模型元素对应图表,实现了需求规范与模型元素的跟踪管理。 3、构建三个典型运营场景的时序图模型,根据时序图模型元素到时间自动机的模型元素语义上的对应关系,分别进行了时序图模型到时间自动机模型转换,并得到时间自动机网络模型。由于人工模型转换的繁琐,本文开发了软件工具实现自动转换过程。 4、给出三个典型运营场景的功能和性能需求规范及安全属性的查询语句,采用UPPAAL验证器检测时间自动机网络模型,从可达性、受限活性、安全性三个方面分别验证分析了运营场景需求规范所反映的实时性的正确性,并举例说明了反例分析过程。

关键词： 特警   训练计划   考核   UML建模  

摘要： 本文针对特警人员训练及考核业务进行了需求分析,以解决现实中存在的具体问题、提高特警训练管理的工作效率为目标,提出了基于Web的特警训练系统。系统充分运用信息技术的成果,对特警人员训练计划的制定和执行实现了信息化管理,通过计算机手段完成特警训练业务的成绩统计、信息发布、数据存储、信息检索等工作,解决了传统手段的精确性、共享性、时效性、便捷性等问题,减少了人力物力的投入,提高了检索人员档案及相关考核资料的效率,为公安人事决策和目标调整提供有效的参考,以更好地实现优秀人才管理目标。 论文以东莞市公安局特警支队的特警训练业务为研究对象,分析了该背景下的业务需求,理清了业务流程,规划了系统角色,设计了基于web架构的特警训练系统。本文主要包括如下分析与设计工作：第一,对东莞市公安局特警支队的特警训练计划所存在的问题作出了详细的介绍,分析了系统建设的重要性；第二,对系统的编程技术、建模方法、数据库选型进行了介绍；第三,详细描述了核心业务,针对系统的业务需求、功能需求和非功能需求等进行了比较具体的需求分析,给出了主要业务流程图、用例图和缩略类图,并对核心用例进行了详细描述；第四,针对需求分析结果做出了详细设计,给出了总体功能结构图,并使用包图、类图、活动图和顺序图模型对包括基本信息维护、训练计划管理、考核结果登记、特警训练查询和报表统计查询等核心功能做出了详细功能设计。本文还对系统所涉及的业务进行数据库设计,绘制了数据库模型图,并对数据表做了具体描述；第五,对论文工作进行总结,指出了设计中的不足,并对以后的工作做出展望；最后,简单阐述了自己对论文工作的一些感想,对帮助过自己的人表示了感谢。

关键词： 警力资源管理系统   警力   数据库   UML建模  

摘要： 为进一步促进东莞公安机关严格、公正、文明执法,对公安警力资源进行规范管理,对现行的工作方法,工作流程进行完善。通过加大公安警力资源管理的科技含量,实现对公安警力资源的计算机管理,最大限度的提高公安机关监督、统计、分析能力,采用软件来管理警力事务,不但可以节省大量的人力物力,还能保证信息的完整性和可追述性,为警力管理提供了全面的解决方案。本文分析与设计了樟木头公安分局警力资源管理系统, 本文结合樟木头公安分局警力资源管理系统的需求,完成如下工作： ①简述系统开发所需的相关技术,并通过分析进一步说明开发本系统采用这些新技术的合理性和必要性,为系统的开发奠定坚实的基础。 ②根据系统工作的业务流程,并结合实际的工作情况,采用流程图和面向对象的UML模型,对系统进行业务需求、功能需求分析。 ③结合系统的实际特点将系统的表示层、业务逻辑层、数据层进行分层设计,完成系统的总体架构设计,主要包括了：用户注册、警员管理、岗位管理、人事管理、晋升培训、警衔晋升、系统管理等模块。 ④根据系统的实际需求进行模块划分和详细设计,总结了系统分析和设计过程中的不足,提出了系统进一步改进的空间和愿望。 本文的研究对信息化的公安分局警力资源管理系统具有良好的实用意义,能较好地适应目前警力管理的需求,对于提高公安部门的警力资源管理工作水平及效率有较大的帮助。

关键词： 无线传感器网络   UML   Agent   行为建模   活动图   状态图   形式化语言  

摘要： 无线传感器网络作为一种新型的信息获取技术具有广泛应用前景，软件建模是其构建高效应用系统的重要支撑技术。本文研究无线传感器网络协议行为过程，利用UML建立可视化的行为模型，描述无线传感器网络相应活动步骤和状态迁移，为无线传感器网络软件开发提供图形化工具。 本文将无线传感器网络看作多Agent系统，分析无线传感器网络典型拓扑控制和路由协议中的行为，构建出Agent角色模型和多Agent群体模型；利用UML活动图对无线传感器网络的基本行为进行建模，提出了一系列基于Agent的无线传感器网络活动图图形化符号和形式化规则，实现无线传感器网络基本行为的可视化表示；利用UML状态图对无线传感器网络的高级行为进行建模，提出了一系列基于Agent的无线传感器网络状态图图形化符号和形式化规则。上述方案能够解决活动模糊和状态迁移混乱等问题，实现无线传感器网络活动流程和状态迁移的形式化描述。 验证分析表明，本文提出的图形化符号和形式化规范有助于可视化描述无线传感器网络行为过程；为无线传感器网络的动态行为分析和软件应用开发提供了基础。