教学课程资源库 更多>>

关键词： 联锁系统   形式化方法   有色Petri网   消息驱动   B语言  

摘要： 作为基于通信的列车控制（Communication Based Train Control,CBTC）系统的安全关键设备,联锁系统的结构、功能逻辑复杂,软硬件集成度较高,是典型的复杂安全苛求系统。如何保证联锁系统开发的正确性和安全性,寻求一套全面、有效的建模与验证方法已经成为CBTC系统中亟需解决的问题。近年来,基于严格数学定义的形式化方法越来越显示出它的优越性,不仅能够准确、清晰地描述系统的结构与功能,而且能够对系统特性进行验证,已经成为CBTC联锁系统建模与验证的一种重要理论方法。基于此,针对CBTC联锁系统形式化建模与验证的关键问题,本文从模型可重用性、并发性、模型转换方法,以及组合形式化方法四个方面展开了深入研究。本论文的主要成果和创新点如下:（1）针对CBTC联锁系统模型状态空间复杂、重复构件模型成本巨大的问题,本文提出并实现了一种基于分层有色Petri网（HCPN）的CBTC联锁系统模型模板。该模板属于分层的参数化模型,可重用性较强,适用于不同的CBTC车站,提高了联锁系统的建模效率与普适性,并且该模板通过分层建模思想解决模型的状态空间爆炸问题。（2）针对CBTC联锁系统的HCPN模型的同步触发和并发性问题,本文引入了模型的消息驱动机制,解决了HCPN模型无法支持各网络层之间并发行为以及同步触发的问题。该方法在现有HCPN框架的基础上,增加消息驱动机制,能够实现模型中信号机、道岔等控制对象的同步触发,弥补传统HCPN的不足。（3）针对模型转换以及代码生成问题,本文给出了由HCPN模型至B语言符号的转换方法。该模型转换方法优化了模型转换机制,能够兼容HCPN多种类型的颜色集。该方法实现HCPN模型转换至B抽象机的转换,生成的B抽象机能够通过Atelier B软件的模型验证,为代码的自动生成提供了保证。（4）针对单一形式化建模方法的不足之处,本文提出了一种融合基于函数的建模方法与基于逻辑的建模方法的组合建模方法。该建模方法克服了单一HCPN建模不能反映时间的问题,使得模型更易于发现系统设计中的错误、不一致性、模糊性和不完备性。将时间自动机的建模方法运用到CBTC联锁系统模板中,增强了联锁模板的通用性。

关键词： 净水系统   UML   面向对象建模   仿真  

摘要： 净水车净水系统仿真是净水系统设计、净水工艺优化、净水工况分析等方面的一种经济、高效的方法。对现有净水车净水系统及其工艺流程进行分析;明确了系统仿真需求;在构建系统仿真框架基础上运用可视化UML建模语言建立了系统的静态模型;最后利用Matlab仿真工具,对净水系统进行仿真实验。并对仿真结果进行了分析,验证了面向对象净水系统仿真模型的可行性和有效性。

ISBN: (纸本)9787111571438

关键词： 纳税管理   税务登记   UML建模  

摘要： 纳税管理信息系统是云南省税务机关“一个系统、两个门户、三级覆盖”信息化建设思路的重要组成部分,该项目建设旨在消除云南省已有信息化系统之间存在的数据壁垒,整合现有的税务机关人力资源和数据资源,最终实现税务登记申请和纳税申报的网络化操作,以及税务工作和纳税评估的信息化处理。本文采用UML建模工具,深入分析了系统的业务流程和功能需求,在此基础上,完成了系统技术架构、网络结构、功能结构、数据库结构的设计工作,并通过类图和时序图,详细探讨了系统主要功能模块的内部逻辑结构和功能实现流程。本文讨论的纳税管理信息系统采用了 JavaEE技术和MVC框架,基于MyEclipse程序开发平台和Microsoft SQL Server数据库平台,利用Java语言开发完成。系统共包括税务登记、发票管理、纳税申报、纳税评估等核心业务模块。其中,税务登记模块面向纳税人和税务人员提供税务登记申请、登记申请审核和税务登记的功能;发票管理模块实现发票领用管理和发票单据的维护;纳税申报模块实现了正常申报和延期申报的网络化、信息化处理;纳税评估模块依据评估指标和评估任务,实现对纳税人的纳税评估,并对可疑的评估结果进行处理。本文在系统测试部分重点讨论了纳税管理信息系统的功能测试和性能测试,表明该系统设计和实现达到了预期目标。本文设计的纳税管理信息系统针对的是云南税务机关的实际业务流程,与该单位已有的税务系统相比,在技术方案上,采用了当前流行的Web开发技术,如MVC框架,体现了系统的灵活性和可维护性,同时,该系统整合了云南全省范围内的纳税人信息和纳税数据,实现了对税务数据资源的集中利用和管理。目前,该系统已投入试运行,在一定程度上简化了税务登记和纳税申报流程,提高了纳税管理工作的效率。

关键词： 乡镇药品   进销存管理   信息系统   需求分析   UML建模  

摘要： 本文以乡镇药品进销存管理研究和分析为例,首先对项目开发的背景和同类项目的开发和应用现状进行了文献综述;在业务分析中,先是对乡镇药品进销存原有的传统的业务流程进行了分析,给出了业务优化和再造流程。乡镇药品进销存管理系统共包括七个功能模块,分别为采购管理、销售管理、库存管理、期初管理、药品拆零管理、基础数据管理以及系统管理。在功能分析部分,首先针对系统中的用户角色进行了划分和描述,对系统的功能模块进行了用例分析,并对主要用例进行了描述;在系统功能用例分析的基础上,给出了系统总体功能包图和子功能包图。在数据分析部分,对系统功能所依赖的实体类及其属性信息进行了分析,同时也对乡镇药品进销存系统中的实体关系进行了分析,给出了数据库表结构的设计;论文最后对所做的工作进行了总结。

关键词： 软件工程   教学模式   实践课程   案例教学   课程优化  

摘要： 随着计算机应用领域的不断扩大及经济建设的不断发展的需要,软件工程的领域涵盖了数据库、程序语言设计、设计模式等,软件工程专业成为一个新的热门专业,软件工程专业也成为一门培养高素质人才的关键课程。本文分析了软件工程实践课程现状,探讨了如何优化软

关键词： 烟草专卖   市场稽查   管理系统   需求分析   UML建模  

摘要： 在怒江州烟草专卖局市场稽查管理工作中,怒江州烟草专卖局市场稽查管理是怒江州烟草专卖局日常工作管理的重要组成部分,是保证怒江州烟草专卖局管理工作正常进行的关键因素之一。采用传统的怒江州烟草专卖局管理模式,浪费了大量的工作时间,同时导致工作人员在工作中容易出现差错。针对于传统对烟草专卖局市场稽查管理模式中存在的问题,采用烟草专卖局市场稽查管理系统,节约了大量的时间,使得烟草专卖局市场稽查管理合理化、科学化、规范化。论文主要介绍了怒江州烟草专卖局市场稽查管理的研究与分析,系统业务分析部分包括日常检查原有业务流程分析、指派任务原有业务流程分析、专项任务原有业务流程分析、现场检查原有业务流程分析;针对原有业务流程在业务分析过程中存在中的问题,对相应原有业务流程进行了优化,优化内容包括日常检查业务流程优化、指派任务业务流程优化、专项任务业务流程优化、现场检查业务流程优化;系统功能分析部分包括日常检查用例分析、指派任务用例分析、专项任务用例分析、现场检查用例分析,以及与用例相对于的包图分析;系统数据分析部分包括日常检查缩略图、指派任务缩略图、专项任务缩略图、现场检查缩略图,以及实体关系分析和数据库表分析。

关键词： 系统   预约挂号   UML建模   面向对象   安卓系统  

摘要： 近来,如何妥善处理患者预约挂号和排队就诊,为广大患者提供更加人性化的服务,避免不必要的医患纠纷,成为了许多医院亟待解决的一项重要课题。PC平台开发成本较高,疏于研发推广医疗就医系统,很多年长的群众患者对新生事物认知能力较弱,不能有效地使用现代化医疗预约工具,这就要求新开发的预约工具需要更加贴近使用者的日常生活。针对以上的一些问题,本文研究并设计了基于安卓移动平台的医院门诊预约挂号系统。首先根据查阅的国内外研究成果,梳理了安卓系统和移动客户端应用两方面的专业技术。而后基于JAVA框架和Oracle数据库体系的开发环境,对系统的受众群体进行了主体受众分析、功能需求分析、方案可行性分析,采用类图描述的方式构建了系统的静态模型,采用绘制时序图的方式构建了动态模型,用以满足患者对系统功能和性能两方面的需求,并设计完善了系统的数据库。最后,加入了具有院科室的介绍,医生信息的查询、分时段预约挂号、化验单查询、中医保健科普知识等特色服务功能模块,构建完成这款移动客户端平台。这款基于安卓移动平台的病人预约挂号系统结合黑龙江某中医医院的具体项目,经过数月的开发并与医院的相关人员共同测试,软件顺利的进行了验收工作,得到患者满意的反馈,能够满足患者基本就医需求、运行稳定、使用便捷、便于推广、成本低廉。不但能够有效解决上述医患纠纷,提升医院物资资源利用率,还能为医生创造一个相对有序舒适的诊疗环境,从而调动医生的职业积极性,提升医生的医疗效率。

关键词： 学籍管理   信息系统   需求分析   UML建模   数据库设计  

摘要： 云南经贸外事职业学院,作为一所民办普通高等专科院校,目前在校师生人数已经多达15000人。而随着全国各大高校招生人数及办校规模的不断扩大,我校师生人数必将进一步增加。而面对这一发展趋势,我校学生学籍管理工作仍旧依赖于人工手动管理方式。面对一万多在校学生的学籍管理工作,这种人工手动管理方式,不仅工作量巨大,而且极易出错。对于已毕业学生的学籍档案材料的查找,维护等,更是极其困难。而学籍管理工作作为我校教务教学工作中及其重要的一个环节,这种手动管理学生学籍的方式,也大大制约了我校教务教学工作信息化建设的步伐。所以对于我校而言,如何利用信息化手段来管理我校学生的学籍档案,加大我校信息化建设力度是我校目前所面临的一个亟待解决的问题。而本人以此为出发点,希望通过建设一套学生学籍管理系统,来帮助我校的学生学籍管理工作摆脱手工管理方式,提高我校教学信息化水平,从而更好的服务教学、服务师生,为我校早日实现升本目标做出贡献。该课题以本人日常的实际工作内容出发,结合软件工程相关知识,对云南经贸职业学院的学籍管理系统进行了业务分析,功能需求分析以及数据分析等。其中在业务分析过程中,首先对学籍管理工作中的原有业务进行了详细分析,并采用流程图对其进行了详细描述。之后,又对原有业务流程中的不足之处进行了相应的业务流程优化,同样也通过流程图对其进行了描述。在系统的功能需求分析过程中,首先分析了系统的角色,然后通过用例图对系统的主要功能模块进行了用例描述分析,接着又根据用例分析结果构建了系统的主要功能包图。在对系统的数据分析过程中,通过采用略缩图来对系统的功能数据进行了分析描述,并做出了系统的实体关系图,以及对系统的主要数据库表进行了详细设计。在论文最后,总结了本文的主要功能内容,并对后期的工作做出了展望。

关键词： Ubiquitous computing   Context aware   Context modeling   Heavyweight extension   Metamodel   UML  

摘要： Purpose - The development of context-aware applications in ubiquitous environments depends not only on the user interactions but also on several context parameters. The handling of these parameters is a fundamental problem in these systems. The key purpose of this work is to enrich the unified modeling language (UML) class diagram with new constructs to provide a universal model capable of coping with the context- awareness concerns. Design/methodology/approach - The authors provide a review of existing context handling approaches. Afterward, they relied on theUML extensibility mechanisms to propose a heavyweight extension for the UML class diagram. This generic approach allows describing the different context parameters since the modeling phase. Findings - Existing solutions for context handling apply the contextual constraints on finished applications or tend to be dependent on a specific development process. This paper presents a solution based on UML, which allows dealing with context since the modeling phase, and independently of development processes. This proposal is implemented as an eclipse editor and illustrated through a case study in the healthcare field. Originality/value - This paper addresses the problem of context handling, and it presents a review of the foremost existing solutions. The paper also presents a heavyweight extension for the UML class diagram, which consists in enriching it with additional constructs, capable of monitoring how applications are linked to context parameters and how the values of these parameters may affect the application behavior.