教学课程资源库 更多>>

关键词： 形式化方法   PLC系统   FBD语言   时间自动机   UPPAAL  

摘要： 可编程逻辑控制器(PLC)是一类拥有感应器和触发器的特殊装置,它能够实现对外界的控制、模拟和交互的功能,随着PLC系统在各个领域的广泛应用,PLC指令集的不断扩展,系统变得越来越冗杂,由于PLC系统通常对可靠性和实时性方面需求严格,因此寻找一套有效的系统建模和验证的方法是非常有必要的。本文通过研究发现以往在保证PLC系统设计正确性的方法中存在很多缺点。比如传统的PLC程序验证测试,依赖于大量的人工劳动,在整个调试过程中没有一条准确的反馈信息,最主要是人为测试无法发现全部的逻辑错误,比如竞态和死锁。形式化方法是以数学理论为基础的特殊方法,它可以采用遍历的特点的来验证系统的性质和实事性等,而且可以给出反例的路径。因此本文分析了PLC系统下标准化的FBD编程语言的语法和语义,采用面向模型的形式化方法提出一套相对完整的从FBD语言各指令到时间自动机的转换步骤。在完成了对控制器编程语言指令的建模后,还抽象建模出PLC系统其余三大模块(协调模块、外部环境模块、循环控制模块)的时间自动机表示形式。在模型选取方面放弃了原有只关心功能性(例如系统经过一些操作,最终到达一些状态)的目标模型(petri或smv等),采用了时间自动机模型,添加了对时间因子的建模,着重考虑了系统实时性的因素。在完成对单一指令模块的建模之后,本文结合FBD顺序控制特点和程序逻辑的相关概念,给出了模块组合算法,并通过UPPAAL工具证明了该算法的可靠性。文章的最后,通过传送带实例,将原系统统一建模为时间自动机网络,借由验证工具UPPAAL对实例进行验证,并在验证不通过的性质下,反向说明原有系统设计时出现的一些漏洞,能够在程序设计初期就进行形式化建模验证和分析,可以防止设计漏洞致使出现的反复代价,确保原有系统的正确性和健壮性。

关键词： 信息化   惩防体系   UML建模  

摘要： 随着计算机技术和网络技术的快速发展,信息化在各个行业中的应用越来越广泛。云南省烟草专卖局(公司)围绕中央关于惩防体系建设的规划要求结合行业反腐倡廉工作特点,充分利用信息技术手段构建惩防体系动态监管平台,为“推进卷烟上水平,做优做强云南烟草”提供坚强的纪律保障。 论文介绍了云南省烟草专卖局(公司)惩治与预防腐败体系动态监管平台项目研究的背景和目前国内同类研究与应用现状,阐述了本文主要的研究内容是案件举报办理,其中包括信访管理、初核管理、案件管理、申诉管理、处分管理。论文对系统进行了详细的需求分析,应用UML建模语言,使用Enterprise Architect建模工具给出了系统在各个分析环节需要的图形。Enterprise Architect为用户提供 一个高性能、直观的工作界面,联合UML最新规范,为桌面电脑工作人员、开发和应用团队打造先进的软件建模方案。在业务分析中,论文对传统案件举报办理存在的问题、云南省烟草专卖局的组织机构、原有业务流程等进行了分析,给出了改造后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；最后,本文做了研究和分析总结,并阐述了进一步的工作。

关键词： 红河学院   实验教学   管理系统   需求分析   UML建模  

摘要： 高等学校实验室是科研、教学的重要组成部分,是实现素质教育的基地,是人类的摇篮培养创新意识和实践能力的人才。实验室的建设、实验室管理,实验室设备配置和科学利用,实验内容的设置,实验室人员的质量不仅影响着学校的教学,科研水平,并在未来学校发展事件相关。因此,在所有高校实验室是改革传统的实验室管理方法的迫切需要,实验室的现代化管理。本论文针对目前我校电气工程及其自动化专业实验室管理存在的问题,提出了实验教学管理的解决方案,并对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求及非功能需求。在系统设计中,对系统进行了总体设计与模块设计[1],详细阐述了设计内容,并对数据库进行了详细设计。实现了实验室管理人员对实验设备、每个实验室的课时、学生课余自行申请实验等多方面的管理。

关键词： 丰泽区实验幼儿园   健康管理   信息系统   需求分析   UML建模  

摘要： 泉州市丰泽区处于沿海经济发展区,物质基础较夯实,但信息化进程——特别是幼儿园内的信息化建设相对较弱,因此,研究泉州市丰泽区实验幼儿园幼儿健康管理信息系统的开发,具有重要现实意义。论文采用面向对象的方法对系统进行了设计,并采用UML来对实现系统建模。论文首先介绍丰泽区实验幼儿园幼儿健康管理信息系统的研究背景,其后,对该管理信息系统进行了相应详细的业务分析、功能分析和数据分析。在业务分析部分,论文给出了本系统的原有业务的活动图及其业务优化后的活动图,并分别进行了阐述；而在功能分析中,则主要通过用例分析和用例描述,来明确本系统的主要功能,给出了系统的总体功能包图和子功能包图,包括健康档案信息管理、体弱幼儿信息管理、急救信息管理、体检信息管理、幼儿食谱信息管理、幼儿疫苗接种信息管理及系统信息管理这五个子包图；在数据分析部分,论文进行了幼儿园健康管理信息系统数据需求的分析,并画出了相应的概念类图、缩略类图及实体类关系图,并对系统所需的数据库进行了详细设计,给出了各数据库表的详细信息。论文最后对本人所做的研究与分析工作进行了总结,并就该课题日后进一步的工作进行了展望。

关键词： 服刑人员   信息系统分析与设计   UML建模   数据建模  

摘要： 为加强我省服刑人员的教育管理工作,充分发挥我省政法部门的信息化资源优势,将服刑人员服刑时的改造管理和出狱时的衔接管控工作纳入信息化管理。在省社会治安综合治理办公室的统一部署下,省公安厅、省监狱管理局共同开展了“贵州省某监狱服刑人员信息管理系统”建设工作。首先,论文介绍了贵州省某监狱服刑人员信息管理系统的研究背景及需要解决的问题；提出了系统的设计目标,对系统需求进行了详细分析,给出了系统的用例图、业务流程图和概念类图,进行了用例描述；对系统做了总体设计、模块设计,包括的功能模块有入监管理、服刑期间管理、离监管理、公安衔接管理、系统管理等,做出了模块设计的类图、功能结构图(包图)、处理流程图和顺序图(协作图),并使用E-R图、实体类图及数据库表结构进行了详细的数据库设计；最后,论文对研究内容进行了展望、总结。

关键词： 图书采访系统   UML建模   数据建模  

摘要： 随着全民阅读的持续升温,我国图书阅读率和阅读量在不断提升,为满足广大读者的阅读需要,图书馆需要不断更新馆藏图书,图书采访的工作任务愈加繁重。现有的采访工作手段难以满足不断增长的图书采访工作需要,亟需采用现代信息技术进行升级改造,提高图书采访工作效率。论文对现有的4种主流图书馆业务系统进行了分析和研究,认为它们的图书采访模块更多的是处于图书馆的角度进行图书采访,对图书推荐的管理、图书采购的管理、书商供货的管理考虑的不足,从而明确了论文研究的内容和主要工作是将图书采访工作涉及的各个环节、各个角色串联起来,更好的衔接各个环节的工作,提高图书采访的工作效率；在业务分析中,论文对系统存在的问题、组织机构、原有业务流程等进行了具体分析,给出了改造后的再造业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的各项功能,给出了系统的总体功能包图和子功能包图,包括图书推荐、制定采购计划单、图书采购、图书供货、图书验收等子包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 非税收入   需求分析   UML建模   管理系统  

摘要： 非税收入是政府财政收入的一个重要组成部分,是地方政府正常运转,促进社会经济事业发展的财力之一,我国非税收入管理的突出问题是数额大、征收主体多元化、管理规范性差,带来严重负面效应。规范政府非税收入管理是党中央、国务院为完善公共财政体制做出的重大决策。建立科学有效的非税收入管理机制不仅是政府及财政管理的需要,而且是经济发展的客观要求。近年来,公安财政部门在加强非税收入管理方面进行了积极探索,如规范清理了非税收入,逐步将非税收入纳入预算内管理等,这些措施对规范收入分配秩序、提高资金使用效率、防范腐败等方面起到了积极作用。针对当前各地各级开展非税收入管理工作中存在需求不一致,开发利用非税收入管理系统平台不统一,功能不尽完善和规范的问题,本文根据中山市公安局的实际,研究并分析了非税收入管理系统的研究背景、项目意义和目前的研究与应用现状,对系统存在的问题、组织机构、原有业务流程等进行了分析,主要实现对开票管理、收缴管理、票据管理、资金管理、系统管理和报表管理六大功能模块的分析。给出了改造后的业务流程,通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,同时对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；最后对所做的研究与分析工作进行了总结和展望。

关键词： 软件生产线   UML模型   可变性建模   仿真验证  

摘要： 随着武器装备系列化、信息化、自主化和智能化的发展，软件作为武器系统不可缺少的组成部分，其作用越来越重要、功能越来越复杂、规模越来越大、质量和可靠性要求也越来越高。传统的V型软件研制流程已不能适应型号软件在质量、安全性与开发效率等方面的要求。　　本文针对上述问题研究了一种基于UML的软件生产线可变性建模与仿真验证方法，设计实现了一体化软件建模与仿真验证平台，可视化地实现了系列化软件的基于UML的软件生产线可变性建模;并在UML状态机图的基础上实现了基于SMV语言的模型仿真验证功能;此外，还初步研究了软件生产线模型的仿真验证理论。　　本文首先通过研究基于UML模型的形式化方法，实现了软件研制的可视化需求分析以及概要设计;在形成软件的规格化描述的基础上，通过将描述软件动态执行过程的UML状态机模型转换为可仿真验证的形式化模型，并使用基于SMV的仿真验证语言完成对软件模型仿真验证，实现了软件功能正确性及完备性的检验;此外，本文研究了基于软件生产线可变性的系列化软件研制的可视化建模技术，并通过基于UML软件建模的扩展机制，研究了针对软件生产线建模的UML Profile弱扩展及MOF强扩展方法，实现了基于UML的软件生产线可变性建模;最后，本文还初步研究了对软件生产线模型仿真验证理论与方法，为实现系列化软件模型的仿真验证打下基础。　　本文基于Eclipse插件开发平台，设计了一种采用GEF图形编辑框架、EMF模型持久化框架以及GMF图形建模框架的UML软件建模工具，实现了基于SMV语言的UML状态机图模型仿真验证功能，并采用扩展建模的方式实现了基于UML的软件生产线建模，以插件形式集成于一体化建模与仿真验证平台。

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

摘要： 随着我国的经济不断发展，交通建设也在不断完善。道路桥梁设计是交通建设的重要组成部分，对交通环境具有重大意义。本文主要针对道路桥梁设计中的结构优化设计展开探讨，并阐述了其设计重点和相应的改善措施。

关键词： 龙岩农校   公文管理   信息系统   需求分析   UML建模  

摘要： 随着信息技术的快速发展,办公自动化已得到广泛应用。公文数量的大量增加,改变传统的公文处理方法,以适应信息时代要求势在必行。龙岩农校在公文管理方面,还是使用传统的纸质公文与人工流转的方法,管理过程耗时、耗力、低效。公文管理系统的研发与应用,校领导和有关职能部门将可以随时随地督查、跟踪公文上传下达的落实情况,管理过程将省时、省力、高效。 论文首先介绍了龙岩农校公文管理系统的项目背景、项目意义和研究现状,明确了论文研究的内容和主要工作；在业务分析中,论文对系统存在的问题、组织机构、原有业务流程等进行了分析,给出了改造后的业务流程。在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,包括收文管理、发文管理、公文归档管理、借阅管理、个人事务和系统管理六个子包图；在数据分析中,论文对系统各功能需要处理的数据作了分析,给出了实体类关系图,建立了数据库表结构。论文最后对所做的研究与分析工作作了总结,并对进一步的工作进行了展望。