教学课程资源库 更多>>

关键词： 时序逻辑   MSVL   形式化方法   仿真验证   CTCS-3系统  

摘要： 随着计算机和互联网技术的快速发展，各种软、硬件系统已经广泛渗透到人类生产和生活中，如何保证计算机系统严格按照人类设计的方式进行工作已经成为当前计算机相关研究课题之一。采用形式化方法来描述软硬件系统，能够有效地减少系统设计中的错误，提高设计的可靠性。时序逻辑作为一种形式化方法已被广泛的应用于系统的仿真和验证中。 建模仿真和验证语言(Modeling, Simulation and Verification Language，MSVL)是一种基于投影时序逻辑(Projection Temporal Logic，PTL)的时序逻辑程序设计语言，它可以用于对计算机软硬件系统进行建模、仿真和验证。本文主要讨论Linux环境下基于MSVL的仿真和验证。文中首先介绍了PTL和MSVL的语法和语义，并讨论了MSVL解释器的实现原理和功能，接着介绍了MSVL对系统进行仿真和验证的原理，然后基于系统层次化设计理论详细介绍了MSVL对系统的形式化描述方法，最后给出了一个用MSVL对CTCS-3列控系统进行形式化描述的实例，借助解释器MSV实现了对CTCS-3系统的仿真和验证，并给出了仿真和验证的结果。实例结果表明，此方法可以有效地检测系统设计上的缺陷。

关键词： 网上购书系统   UML建模   数据建模   B2C  

摘要： 21世纪以来,人类社会经济高速发展,人们的生活发生了日新月异的变化。伴随着计算机技术在各行各业日益广泛和深入的应用,网络的概念早已深入人心。为了让消费者购物过程变得简单、方便、安全、快捷,网上购物成了一种新型而热门的购物方式。此外,网络已成为商家展示自己的另一个舞台,商家建立网站,将商家各方面的宣传与服务展现于网络中,客户通过网络便可实现如网上购物、信息查寻等功能,这些在改变我们原有经营方式与经营理念的同时,也为商家带来了更高的效益。笔者以网上购书系统的设计和实现为题,旨在开发一个网上购书系统,实现企业与客户之间的网上图书交易。 论文首先介绍了网上购书系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了系统开发方法和相关技术。论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述。 在设计方面,本系统采用B/S三层结构,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计。本系统共分两个部分：网上购书子系统和管理子系统。在网上购书子系统中,包括用户注册、用户登陆、图书选购、网上支付、图书发货、图书退货、购物车管理等操作；管理子系统包括：图书管理、订单管理等。 论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 招聘   管理   UML建模   数据建模  

摘要： 目前,大中专毕业生就业压力大,就业形势严峻,促进就业已经成为了社会关注的问题。如何能更加合理、更加充分的促进大中专毕业生就业更是求职人员所关心的问题。因此本论文设计的“保山市人才市场招聘管理系统”,旨在引入信息化手段辅助就业管理工作,切实有效的从流程管理、数据处理能力等方面帮助大中专毕业生的就业和招聘单位的人才录用。 本文从我市人才市场大中专毕业生就业工作实际出发,对“保山市人才市场招聘管理系统”进行了分析与设计。首先,对大中专毕业生就业工作的重要性进行了阐述；其次,对注册管理、登录管理、简历管理、岗位管理、留言管理、面试管理等七项业务需求进行了分析,并用流程描述业务过程。之后,论文分析了系统的功能需求。在此基础上,论文给出了系统设计,包括功能设计和数据库设计。论文给出了系统功能结构图,用IPO图和处理流程图对所列功能逐一进行功能设计,用E-R图进行数据库概念设计,论文还给出了主要数据表的设计。 与传统的招聘系统相比,本文设计的系统依托网络,超越了时间和空间的限制,为大中专毕业生和招聘单位提供了更为快捷的服务。

关键词： 安全管理   追溯系统   供应链   UML建模  

摘要： 危险化学品作为一种特殊的商品,不仅广泛应用于工业生产,也在平时的生活中有着多种作用。由于危险化学品不同于一般商品,具有易燃、易爆等特性,所以在生产、存储、运输、销售以及销毁方面,都有着严格的规定。基于上述背景,本文重点研究危险化学品的安全管理与全程信息可追溯系统的建立。 论文的主要内容如下： 1)研究了安全管理追溯系统实现所必需的关键技术和方法,即关于危险化学品由生产到销售整个供应链模型的建立、危险化学品供应链各阶段关键溯源因素的分析,进行了识别异常数据的神经网络算法及统计学算法的研究。 2)建立了危险化学品安全管理系统的整体框架,对系统进行了整体结构设计和子系统的设计,并详细的分析各个系统的功能,在系统整体设计的基础上对系统进行基于UML方法的建模,并对整体和子系统进行静态和动态建模。 3)开发了危险化学品安全管理追溯系统的软件客户端,分析软件开发的编程环境,对系统及其子系统的界面和功能进行设计,并以实例来对系统进行软件测试。

关键词： Android   AnRom   安全保护机制   UML建模  

摘要： 随着移动互联网的发展和全球制造成本的降低,智能手机的需求有了极大的提升,Android作为用户群最广泛的智能手机操作系统,已经从最初的智能手机领域进入军事、教育、汽车、医疗等重要行业,在人们的日常生活中扮演着越来越重要的角色。然而Android系统由于其可开源、可编程软件框架、网络化设备的性质,容易受到安全攻击,本文所涉及的基于AnRom就是为了解决原生Android系统的安全问题,为用户提供更高级的安全保护机制。 本文主要论述AnRom需求分析、架构设计以及详细设计和实现方式,从宏观上说明项目的意义与可行性,微观上论证项目架构与设计实现的方法,详细说明了各个功能模块的设计与实现。 本人在系统开发过程中,对AnRom安全中心、应用沙箱、骚扰拦截、权限管理、备份中心、隐私密盘、优化配置以及场景模式八个模块完成了从需求分析、架构设计、详细设计与实现以及功能测试的完整流程。 由于系统性质是基于Android的第三方安全ROM,在设计开发中沿用Android系统的四层架构,在技术架构上采用分层的设计模式,在开发过程中使用UML建模,以提高软件质量和规范软件开发过程。

关键词： 服装企业   原材料采购   管理系统   分析与设计   UML建模  

摘要： 全球化的采购和供应是一个既定的地理环境和市场经济中的事实,也是一个服装市场主导的趋势,在产能过剩,企业合并和沮丧支出为特征的竞争环境里,进行全球化采购扩充是当今服装生产制造型企业生存的关键因素,服装原材料即主辅料全球化采购控管体系已成为服装行业许多企业公司的经营战略的核心部分,它已被证明是增加服装行业和服装企业公司营业、产值总额和净边际利润的关键。 本文则以宁波罗蒙服饰有限公司的全球化服装原材料实际采购管理业务为背景,以服装行业主要原材料即主辅料采购过程的大体管理运作模式作为参照,根据服装行业相关企业的采购管理信息化需求,按照企业管理软件信息工程的思想和方法、对服装企业整个采购过程控管的信息系统开发进行了分析和研究,对其应用系统进行了需求分析和设计,通过应用统一建模语言(u札)进行建模分析,提取系统的用例和参与者,以用例图的形式展现系统组成和各部分的关系[¨。在系统设计中,对系统的总体结构、各模块功能和数据库进行了设计,分别给出了系统总体结构图、各子系统程序流程图和E-R图,并详细设计了各关系表[2]。系统包括：基础信息管理子系统、采购价格管理系统、供应商信用管理子系统、采购业务管理子系统、采购账款管理子系统、系统管理子系统6个子系统,同时对本采购管理系统的开发实现等内容做出了思考,还在本系统的基础上对后续的功能扩充进行了展望。 本论文为服装行业的相关企业进行全球化采购控管的信息集成系统建设提供了重要研究和设计参考。

关键词： 法院   数字化庭审   管理信息系统   分析与设计   UML建模  

摘要： 人民法院的工作要求是“司法为民、公平正义”,做到这一点就要求法院的司法工作尽可能公开、公正、公平,让办案当事人、新闻媒体、广大群众能够对司法庭审过程进行监督。法院数字化庭审系统(以下简称：庭审系统)正是基于此目的进行分析与设计。数字化庭审系统的重点与难点在于将法院的实际工作情况与系统进行结合,既要方便法院工作人员使用,又要便于司法审判公开,还要注意保密安全性。 本文的研究内容主要介绍了在法院系统内部专用网络的基础上,通过WEB方式进行法庭的网上开庭、实时记录、视频采集、音频采集、网络直播、视频点播、数据备份、权限控制等多个功能。考虑到庭审过程中的涉密性,此系统还专门采用独立网络架设、服务器安全设定、防火墙保护等多种方式。法院数字化庭审是我国司法系统信息化建设的必经之路,也是人民群众对司法公开、司法透明要求的具体体现。网上开庭、网络直播、视频点播功能可以帮助法院审判委员会对一些大案要案和疑难案件进行直观了解,提高审判公正性。实时记录、视屏采集功能可以让当事人保留完整的开庭音像资料,避免了庭审笔录不直观、易修改、易损坏的弊端。同时,数据备份可以与法院的办案系统连接,丰富庭审资料,便于归档后的案件进行评查。 数字化庭审系统基于B/S架构设计,采用MVC模式开发,使用MYSQL数据库,将Web服务器、应用服务器、数据库服务器相分离,由表示层、应用层、和后台数据库三个服务层组成。实际应用运行表明,该系统功能齐全,性能稳定,界面友好,操作方便,提高了工作效率和质量。

关键词： 贵州久联   网络策划分析设计   UML建模   数据建模  

摘要： 论文首先介绍了贵州久联企业集团有限责任公司宣传网站系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了系统开发方法和相关技术；论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述；在系统设计中,对系统进行了总体设计与模块设计,包括信息发布、产品展示、网上留言、宣传策划管理、用户管理和日志管理等功能模块,给出了模块设计的包图、类图、顺序图和活动图,详细阐述了设计内容,进行了界面设计,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计；论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 人事管理   数据建模   UML建模  

摘要： 论文首先介绍了“东莞第二看守所普通聘员人事管理系统”的研究背景,对所需要解决的问题进行了概述,讨论了项目研究的意义与重要性,阐述了系统结构分析、UML建模技术、数据库技术等系统开发方法和相关技术。 论文提出了系统的设计目标,即通过对东莞第二看守所普通聘员人事管理的分析,论文对系统进行了洋细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,对每一个主要用例进行了用例描述。在系统设计中,对系统进行了总体设计与模块设计,给出了人事管理系统的功能模块设计,包括人事管理、招聘管理、培训管理、考勤管理、薪资管理、绩效考核、系统管理等模块设计的功能结构图、类图、顺序图和处理流程图,详细阐述了设计内容,并使用实体类图、E-R图和数据库表结构进行了详细设计。论文的最后,对东莞第二看守所普通聘员人事管理系统研究的内容进行了总结,阐述了本人所从事的主要工作,以及本人做这篇论文存在的不足,并对进一步的工作进行了展望。