教学课程资源库 更多>>

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

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

关键词： 实验室设备与材料管理   数据库建模   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思想)，可以对所有的数据进行简单，快速的增删改查操作。系统界面设计大方、简洁，功能点明确，操作简单方便，可以轻松实现对房产、业主、设备的智能化管理，符合物业管理公司的工作需求，显著提升物业管理的效率。

关键词： formal methods   aspect-oriented   systematic review   Z language   AOSD   AOFM  

摘要： Aspect-oriented modelling is used in a growing number of business and software development projects. However, the plethora of unstandardised aspect-oriented approaches is preventing companies from adapting aspect-oriented software development methods into a formal method. Both aspect-orientation and formal methods have evolved separately and little has been done to investigate the benefits of the possible integration of these two fields. Therefore, in this paper we aim to present a survey of the approaches used to date in the application of the aspect-oriented paradigm to formal methods of specification. We also systematically review some of the techniques and approaches that combine both concepts together and discuss the problems and issues that arise in relation to the combination of formal methods and aspect orientation. In addition, we identify the open research questions to highlight potential areas of future research.

关键词： Surveys   Validity   Measurement Techniques   Methods   Input Output Analysis   Psychological Testing  

摘要： Click to increase image sizeClick to decrease image size

关键词： 大工程观   软件工程   实践教学体系  

摘要： 高等工程教育的传统模式不符合现代工程人才的培养要求,本文分析当前工程教育存在的问题,借鉴'大工程观'教育模式构建了新的实践教学体系,并列举具体工程为例,详细阐述了大工程在实践教学体系中应完成的任务.

关键词： 电子商务   网上商城   UML建模   PHP开发   MySql数据库  

摘要： 电子商务的蓬勃发展,使得互联网+思维模式日益风靡,现在越来越多的商家也推出了自己的电子商务销售平台。经过对国内外图书电子商务平台发展近况的深入分析后,本文设计和实现了一套书香易购商城网站系统。系统基于主流的三层框架技术,采用PHP语言和My SQL数据库进行开发。系统设计中基于UML建模思想,使用用例图和用例文本定义用户需求,明确系统边界和业务功能;使用数据字典和ER图分析系统数据,设计数据库;使用系统顺序图描述业务逻辑,定义系统架构和核心功能;使用流程图进行详细设计,展示事件流程和核心业务模块。系统主要功能有:1.图书业务管理。包括在线图书展示:对于图书产品进行封面、目录的细节展示;在线业务洽谈:买家可以通过在线客服窗口进行具体问题的沟通、洽谈;图书购买:对于合适的产品先添至购物车,接着结算并在线支付;图书管理:系统管理员及超级管理员可对系统进行图书信息更新及维护。2.会员管理。包括会员级别设置:系统根据用户消费额度升级用户为一定级别的会员,级别高优惠多;打折促销管理:管理员可以通过系统对商品进行打折促销设置。3.配送方式管理。管理员可以根据不同区地设置不同的物流配送价格和时间,为用户提供参考。4.其他管理。包括投票调查:用户投票选择自己喜欢的书目类别,便于企业下一步的市场调整;信息发布:系统超级管理员通过网站的通告模块可以发布活动通知。系统测试及用户使用表明,该商城满足了图书网上销售用户的需求,能节约销售成本和增强顾客体验。