教学课程资源库 更多>>

关键词： 软件工程专业   创新能力   培养措施  

摘要： 步入信息时代以来,软件工程产业发展迅速,对人才要求也不断提高,不单单注重专业技能,更注重创新能力和综合素质.如何培养软件工程专业学生的创新能力是高校必须重视和解决的问题.本文从培养创新型人才的意义出发,系统探讨软件工程专业学生创新能力的培养措施.

关键词： 保山学院琴房教学管理   信息系统   UML建模   数据库设计  

摘要： 随着教育领域的飞速发展,关于管理学校这些方面,优化管理教学场地逐渐引起了人们广泛的重视。在很多的院校里面,以往模式中运用琴房教学管理场的效率比较低,而且在实行管理方面存在着很大的障碍,采用新的思路以及在技术方面运用新型的,管理方法方面也需要进行改善,这是目前管理者急需解决的难点。本文采用面向对象的方法对保山学院音乐学院琴房教学管理系统进行分析与设计。传统的保山学院琴房教学的管理方式采用的是手工的方式实现的,通过流程图进行分析原有业务流程,并在原有业务流程基础上引入计算机进行优化业务流程。功能分析中,通过功能用例图与功能包图对各功能模块进行分析,包括琴房乐器管理、教学计划管理、课程开设管理、教学考核管理、琴房自习预约管理、基础信息管理与系统管理。数据分析中,通过控制类关系图、缩略类图以及实体类关系图分析出系统依赖的实体类,并用数据库表进行表示。

关键词： 工装设计   本体技术   MBD   模板   CAA  

摘要： 随着对飞机轻量化低能耗目标的追求,具有高比强度、高比刚度、耐腐蚀性强等优良特性的复合材料被广泛应用于飞机的结构件。复合材料构件需要大量的成型模具、装配型架、夹具等工装保证其制造精度和装配质量。随着MBD技术在飞机产品上的成功应用,工装的研制工作对MBD技术也有迫切的需求,完整准确地设计表达工装MBD模型信息是有效应用MBD技术的基础。基于此,本文对基于MBD模板的复合材料构件工装设计技术进行了研究,主要研究工作和研究成果如下:(1)基于国家标准GB/T 24734-2009和国际标准ASME Y14.5-2009,搭建了复合材料构件工装MBD模型的组织结构,利用Protégé工具建立了工装MBD模型信息集的本体模型,制定了工装MBD模型信息的表达格式。(2)基于CATIA的工装设计环境,根据复材构件工装MBD模型的设计需求,提出了利用MBD模板进行工装设计的思路,根据复材构件工装MBD模板的构建原则,建立了复材构件工装MBD模板,并阐述了其具体的表现形式。根据复材构件MBD模板的设计需求,构建了复材构件工装MBD模板库,并设计了工装MBD模板库分级检索和模糊检索的检索调用方法。(3)在CATIA环境下,基于CAA开发了复合材料构件工装设计系统,系统可对工装MBD模板及信息进行管理,实现了工装MBD模板的制定和利用。

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

摘要： 随着社会不断进步,经济飞速发展,我国道路桥梁事业已步入展现的阶段,促进了社会经济发展。道路桥梁属于交通系统的核心组成要素,在新形势下,交通工具日渐增多,对道路桥梁各方面提出了新的更高要求,道路桥梁设计的重要性日渐显现,特别是结构化设计。因此,本文作者从不同角度入手,客观分析了结构化设计的重要性,多层次探讨了道路桥梁设计中结构化设计的应用。

关键词： 实验室设备与材料管理   数据库建模   UML建模   保山学院  

摘要： 随着当前计算机技术和互联网技术的发展成熟,使得保山学院工程技术学院实验设备与材料管理事务的信息化和自动化管理成为可能。保山学院工程技术学院实验室每年都会引进大量的实验设备和材料,因此,迫切需要研究与分析一款针对实验室设备与材料管理的信息系统。通过该系统的使用,将设备、材料的管理方式向规范化、程序化、标准化转变,同时对系统与学院其他管理系统进行整合优化,以实现各个部门工作流程共享相关数据信息。论文从保山学院工程技术学院实验室的实际需求出发,将先进的信息管理技术与设备材料管理业务相结合,采用面向对象的程序设计方法,开发处理一套功能完善的实验设备与材料管理信息系统。首先针对系统业务需求、保山学院工程技术学院各部门职能结构、软件用户角色展开全面研究,接着利用具体的流程图剖析系统之前已有的业务模块,基于此,对实验设备与材料管理信息系统的业务进行优化再造,分析和设计了基本信息管理、设备使用管理、设备维修管理、材料消耗管理、设备与材料采购管理、基础数据管理、系统管理七个主要的业务模块及其子模块。在功能分析中,阐述了开发系统不同结构单元的功能用例与包图设计。在数据分析中,研究了系统数据库所含实体类之间的关系,完成了数据库表设计工作。通过该系统的应用,能够有效改善学院实验设备与材料管理的工作效率和实验室运转效率,改变了传统落后的管理方式,节省了人力成本和办公开支。

关键词： DO-178C   安全性验证   形式化方法   Petri网   适航审定  

摘要： 飞机作为一种工作在空中的交通工具,对安全性的要求极高,任何细微的差错都可能造成灾难性的后果,保障飞机的安全至关重要。现代飞机的各项功能都越来越依赖软件系统,然而现代机载软件功能繁多、结构复杂、构件众多,且影响因素多,设计阶段不能完全排除构件间相互影响尤其是软件安全性等级相互依赖而导致的整体安全下降的情况,为保证软件安全,开发人员需要在设计阶段就确保系统设计满足安全性要求。然而目前的方法不能完全满足安全性验证要求,因此亟需一种高效率地系统构件安全性验证方法以确保系统设计满足适航标准安全性要求。SysML语言被广泛用于系统工程建模,借助SysML语言可较好的描述机载软件架构及属性,但是SysML是半形式化的工具,缺乏精确语义的支持同时自身不具备验证的功能。Petri网是一种既有图形化特征也有精确语义的形式化工具,在形式化验证领域得到了广泛应用。通过适当的途径将SysML转化为Petri网模型,在此基础上可进一步验证软件的安全性,从而找出软件设计上的不足避免了后期返工及安全隐患,保证了系统的安全。本文分析了机载软件安全标准,在此基础上定义了一种适于描述机载软件安全一致性验证的扩展Petri网,其次基于SysML块图建立带安全属性的系统静态结构模型,构建SysML到Petri网的转换规则可将SysML块图转化为Petri网从而进行精确的形式化建模。然后,利用可达树图分析了系统安全状况的所有传递路径和所有的安全状态组合,在此基础上给出了安全性验证算法方法,验证软件构件安全等级设计是否符合适航标准。最后通过具体事例说明了方法的可行性,同时通过对比分析了基于Petri的安全验证方法的优势。

关键词： 火车轮对   选配方法   UML建模   ANSYS仿真   过盈量  

摘要： 火车轮对作为机车的核心部件,其质量严重影响列车的运行安全和运输能力。目前轮对压装一般依赖人工经验进行轮轴的选配,效率不高且容易产生预估误差,导致压装配对成功率低,修配轮或轴的数量大。因此企业迫切需要借助计算机技术实现轮对依据压装参数进行自动合理地选配,以期提高选配效率。针对火车轮对压装开发一个结合数据库的选配系统,以便能够自动完成其选配工作,并对配对结果实现高效管理,自动生成未配对的配轮卡或配轴卡。本文首先简介了压装原理,根据企业的需求及生产加工实际,确定了最大量选配原则的轮对选配原理与方法,以达到将已加工好的本批次车轮和车轴在满足压装曲线的前提下尽量配完的目标。分析列出了选配系统的功能需求,据此提出了火车轮对压装选配系统的总体功能框架。基于系统目标,完成了选配系统各功能模块的结构设计,主要功能模块包括:订单信息模块、轮轴尺寸参数模块、选配模块、配轮卡模块、配轴卡模块等,对系统各模块开发方案进行了论证。利用UML统一建模语言工具,对选配系统进行了动态建模,给出了其动态活动图。针对系统的管理功能任务,探讨了相关的管理功能实现途径。针对系统数据管理需求,提出并建立了数据库组织结构与相应的产品数据对象E-R模型,利用SQL Server对系统进行了数据库结构设计,并建立了相应的数据库。运用Visual Basic 6.0的ActiveX Automation技术和SQL Server数据库技术,开发出了火车轮对压装选配系统。压装过盈量是本压装选配系统中用于选配的主要参数,它的合理确定对于提高压装选配系统的使用价值至关重要。对于新的轮对产品,压装过盈量的确定一般依据经验和计算机仿真。本文在压装工艺研究的基础上,利用现场数据进行ANSYS仿真估算与分析,通过反求的方法求得某已压装轮对压装时在某种润滑状态下的摩擦系数,据此平均摩擦系数进行仿真得出压装曲线和最大压装力,再与现场数据进行比较并总结分析。对于新轮对,对照参考上述仿真结论参数(应多积累该数据库),确定初步工艺参数,试压装成功后,将此参数应用到开发的选配系统中。本文设计开发的选配系统操作简便,结合对压装参数的仿真研究,技术人员可按功能需求快速完成轮对选配工作,大大降低了技术人员的劳动强度,提高了火车轮对压装配对成功率,并为企业的数字化车间建设提供了有力支撑。

关键词： 科研项目   管理系统   需求分析   UML建模   数据库设计  

摘要： 目前国家为了鼓励学校科技创新,出台了许多政策和资金来扶持高校的项目计划,通过这些项目的实施,推动我国各个领域的技术发展。过去科研项目管理手段是采用纸制等方式行项目的申报管理,时效慢,也不符合规范化管理。利用信息化手段设计的高校科技科研项目管理系统,可以大大减少管理的流程,便于操作。本文分析了三明学院科研项目管理系统的业务流程,给出了优化前后的业务流程。通过对科研项目管理系统的申报管理、项目立项管理管理、合同管理、实施过程管理、验收管理、基础数据管理等功能模块的用例分析和对应的包图进一步完善功能分析;通过数据分析,给出了三明学院科研项目管理信息系统缩略图和实体类图和各个数据库表。最后,对三明学院科研项目管理信息系统的不足进行了总结和展望。

关键词： 物业管理系统   MongoDB   UML建模   B/S模式   ASP技术  

摘要： 随着城市的兴起和人口的膨胀，现在的住宅小区并不单单是楼房，随着科技的发展，智能小区也逐渐兴起。当代智能小区需要将建筑赋予科技和生命，让优美建筑和舒适生活结合一起，在安全、便捷、舒适中找寻现代人自己的生活空间。物业是小区的标准配套，为小区的舒适生活增分添彩，为安全智能与信息化保驾护航。本文对智能小区物业管理系统进行研究设计与实现，以达到提高小区物业服务的自动化智能化为目标，对小区物业的安保、房屋、维修、缴费、公共设施等进行人性化的设计，以及统一智能化的高效管理，满足物业小区管理网络化、智能化、信息化管理服务等现代物业管理的技术要求。　　本课题首先分析了当今市面上主流的物业管理系统，并根据当下智能小区的需求实际，进行了调研和需求分析，适配各类差异化的小区服务完成系统的设计与实现。兼顾了为智能小区住户提供基础的物业服务，也对智能楼宇进行了管理和维护，使用信息化自动化的方式，提高了智能小区物业的管理质量，也降低了硬件设备的损耗，促使物业管理达到了保值的目的。本系统主要研究内容有如下几个方面，一是根据智能小区物业管理系统的具体开发进行软件工程的具体实践;二是对智能小区进行定制数据库设计;三是研究了智能小区物业管理的web框架构建;四是进行人与设备的交互性研究。　　本课题践行软件工程思想，完成了需求和可行性分析后，使用UML建模方法，对智能化住宅小区物业管理系统进行自顶向下的系统设计与实现。本系统使用ASP技术、B/S模式三层架构进行开发，采用图形化界面，数据库采用时下非常流行的MongoDB实现。MongoDB是一种灵活的非关系型数据库(NoSql)，很好的实现了面向对象的思想(OO思想)，可以对所有的数据进行简单，快速的增删改查操作。系统界面设计大方、简洁，功能点明确，操作简单方便，可以轻松实现对房产、业主、设备的智能化管理，符合物业管理公司的工作需求，显著提升物业管理的效率。

关键词： 安全关键系统软件   矿井机车无人驾驶系统   机车运行过程控制   形式化方法   Event-B  

摘要： 矿井机车无人驾驶系统在设计时具有较高的安全要求,属于典型的安全关键系统。然而,在安全关键系统软件的设计过程中,传统上基于软件工程的方法,一方面,在需求分析阶段,由于自然语言编写的需求文档难以保证需求的完备性和一致性,另一方面,仿真和测试的也无法保证软件分析和验证的完全正确,这些因素给系统的安全带来了隐患。目前,针对传统软件工程方法在开发安全关键系统中遇到的问题,科研人员采用形式化方法来保证安全关键系统软件设计的正确性,进而提高系统的安全性。Event-B作为一种全新的形式化方法,具有逐步精化的建模策略和基于定理证明的模型验证方式。通过采用Event-B方法对安全关键系统软件进行建模与验证可以更早发现并修复系统的漏洞,对于安全关键系统软件的开发具有重要的借鉴意义。本文针对安全关键系统软件——矿井机车无人驾驶系统研发中遇到的问题,提出了基于Event-B形式化方法的解决方案,并选取矿机机车无人驾驶系统的核心功能——机车运行过程控制进行了形式化建模与验证的探索研究。分别对只具有离散属性的机车模式选择过程,和既具有离散属性又具有连续属性的机车自主行车过程控进行了基于Event-B方法的建模与验证。本文的研究结果表明,基于Event-B形式化方法可以准确的描述机车运行过程控制中的离散属性和连续属性需求。同时,通过定理证明的方式可以有效发现需求文档中存在的需求不一致性、需求缺失和需求模糊等问题,进而提早发现并修正这些漏洞,有效的提高了系统设计的正确性,为矿井机车无人驾驶系统的研发提供了一种借鉴,同时也为安全关键系统软件的研发提供了一种新的思路。