教学课程资源库 更多>>

关键词： 云南林业厅   固定资产管理   信息管理系统   UML建模   MVC架构   业务流程图  

摘要： 论文首先介绍了固定资产管理系统的研究背景，对所需要解决的问题进行了概述，讨论了项目的研究意义与重要性，阐述了系统的开发方法和相关关键技术，包括MVC架构技术、UML建模技术以及J2EE技术;在系统需求分析过程中，论文提出了系统的设计目标，对系统进行了详细的需求分析，包括业务需求、功能需求、数据需求和非功能需求，给出了系统的业务流程图、用例图和概念类图，并进行了用例描述;接下来，在系统设计和开发过程中，对系统进行了总体设计与相关功能模块设计，给出了模块设计的功能结构图（包图）、类图、顺序图（协作图）和处理流程图，详细阐述了设计内容，进行了相关界面的设计，并使用实体类图、E-R图和数据库表结构对数据库进行了详细说明;论文最后对研究的内容进行了系统性地总结，阐述了本人的主要工作，指出了论文存在的不足，并对进一步的工作进行了展望。

关键词： 工业企业   碳排放数据   预警分析   管理信息系统   UML建模  

摘要： 为了实现工业碳排放的碳排放量监测分析和预警，促进低碳社会的发展，设计本系统。本次设计分前后台，前台供企业使用，后台供环保部门使用，实现了对岱山县各个企业碳排放物（水，电，煤气）使用量的数据登记和增删改查管理，由设置的计算公式转化为碳排放量数据，通过对岱山县各企业数据信息进行累积统计和比较达到对企业的预警目的，督促企业改进生产方法，为环境保护、低碳排放做出贡献。\n 首先，介绍了浙江省舟山市岱山县作为一个依托于海洋发展经济的海岛地区，其所受碳的排放量影响巨大，由于人类经济活动造成了大气中温室气体逐年增加，阐述了环境污染问题成为世界关注的焦点问题，也成为制约岱山县海岛地区经济发展和环境问题的突出因素;为了帮助政府和企业更好更全面地了解和掌握碳排放量数据，本文采用软件工程的原理和方法，对系统进行了需求分析和系统设计。在需求分析中，采用UML建模中的“活动图”，明确地指出了各模块详细流程图，每一步的活动内容;采用UML建模中的“用例图”，告诉我们主角、用例以及它们之间的关系构成;采用了UML建模中的“类图”，显示了模型的静态结构，特别是模型中存在的类，类的内部结构以及它们与其他类的关系等。在系统设计中，设计了包括“用户注册”、“数据上报”、“数据管理”、“数据统计分析”、“数据产生”、“预警分析管理”功能的系统，给出了数据库关于用户、上报的数据、查询的数据、碳排放量计算公式等多个实体的概念设计和逻辑设计。最后文章对所做的工作进行了总结和展望。

关键词： 陶瓷烧制   无线传感器   窑炉温度监测   UML建模   自动预警系统  

摘要： 论文在调查了如今陶瓷烧制过程中存在的问题的基础上，对智能化无线测温预警系统所处的研究背景进行了介绍，分析了本文所需要解决的问题，讨论了本文项目研究的重要性与研究意义;随后，论文阐述了智能无线测温预警系统所需要用到的两大技术:UML建模技术和无线传感技术。本文的目的是针对智能无线测温预警系统应该满足当今陶瓷烧制过程中窑炉温度的监控、自动预警等需求。在对系统改进型需求分析的基础上，对系统进行了设计，本文把系统划分为窑温数据采集、窑温数据监测及预警、窑温数据统计分析、报表生成、工艺标准管理等五大模块，并给出系统功能模块图。窑温数据采集模块是对窑炉温度进行采集和传输的模块，窑温数据监测及预警模块对系统采集到的数掘进行分析处理，分为窑温数据监测模块和预警模块两个子模块。窑温数据统计分析模块是通过分析窑炉的温度来得到窑所处的状态。为了完成日常的数据管理和数据操作功能，系统需要为用户提供自动生成报表的功能。\n 在软件设计过程中，我们给出了系统数据库的实体关系图和物理结构图，然后基于.NET框架的三层开发模型设计了系统的软件;分别针对系统各模块的子模块进行详细的分析，设计了相应的界面，并且设计了系统的数据统计功能;最后阐述了本人在该项目中的主要工作，并且指出了论文中存在的一些不足，对进一步的工作进行了展望。

关键词： 实时系统   顺序图   CCSL   形式化方法   模型转换  

摘要： MARTE对UML的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段。对象管理组织提出用模型转换的方法将依照MARTE构造的顺序图(记为A)转换成具有完备的验证方法和工具的形式化模型(记为B)。用B表示A的语义可以保证B能够完整且准确地模拟A的行为。提出了形式化模型——TTS4SD,用来描述MARTE顺序图的形式语义,并在此基础上展开了验证。首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD;然后用TTS4SD描述顺序图的形式语义,并给出从顺序图到TTS4SD的转换算法;最后对TTS4SD展开分析。通过一个实例说明了从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法。

关键词： Design   Verification   Event-B method   Language TLA(+)   predicate diagrams   model-checking   theorem-proving  

摘要： This article deals with the use of two verification approaches: theorem proving and model checking. We focus on the Event-B method by using its associated theorem proving tool (Click_n_Prove), and on the language TLA(+) by using its model checker TLC. By considering the limitation of the Event-B method to invariance properties, we propose to apply the language TLA(+) to verify liveness properties on a software behavior. We extend first the expressivity and the semantics of a B model (called temporal B model) to deal with the specification of fairness and eventuality properties. Second, we give transformation rules from a temporal B model into a TLA(+) module. We present in particular, our prototype system called B2TLA(+), that we have developed to support this transformation;then we can verify these properties thanks to the model checker TLC on finite state systems. For the verification of infinite-state systems, we propose the use of the predicate diagrams. We illustrate our approach on a case study of a parcel sorting system.

关键词： Eco-design   Functional requirement   Regulation   Design space   Product design   UK  

摘要： Environmental design (eco-design) has been identified in both academic and policy circles as a point of intervention in the product lifecycle to promote environmental performance. The benefit of eco-design would be enhanced by rooting it firmly within theoretical design principles and establishing 'sustainability' as a functional requirement within a regulatory framework. Formulating such an innovative approach requires first understanding current practices of eco-design in industry. This paper, therefore, addresses three questions: 1) To what extent is the design process structured in practice as suggested by design theory? 2) What, if any, environmental issues do designers consider to be relevant to their products? and 3) To what extent are environmental issues incorporated into product design? Targeting primarily large UK based companies, the authors conducted open ended interviews in conjunction with a postal survey of a sample of manufacturing companies incorporating a wide range of industrial sectors. Critically, many designers are not following good design practice, which limits the possibilities for radical environmental innovation. The environmental design behaviour of companies reflects a complex balance of designers' understanding of environmental issues and the extent of the design space, influenced by legal requirements, economic and supply chain constraints. A more effective regulatory strategy informed by good design practice is required to assist companies in achieving an effective implementation of eco-design. (C) 2012 Elsevier Ltd. All rights reserved.

关键词： UML建模   数据建模   选课系统  

摘要： 高中新课程改革,对高中的课程结构进行了调整,校本课程作为新课改的重要一环,为越来越多的学校所重视。选课系统在我国高校虽然已经较为普遍,但在高中仍然是一个新的领域。如何根据高中新课改要求,结合学校实际,提高学生选课的自主性,方便学校进行选课的管理,是校本选课系统的意义所在。 本论文针对贵阳市第三实验中学对校本课程选课管理的具体需求,采用面向对象的思想进行分析和设计,使用UML建模的方式,从业务需求、用户需求、功能需求和非功能需求等方面对选课系统的需求进行了分析,并采用活动图、用例图、类图、顺序图等对系统的功能模块、数据库进行了设计和分析。对主要涉及的UML建模技术、数据库技术等进行了阐述。 通过本课题的研究,利用信息技术的手段,提高了学校相关管理部门工作质量和工作效率。为学校高中新课程改革的顺利进行提供技术保障,使得校本课程的选课教育教学工作更加科学化和规范化。

ISBN: (纸本)9787302307884

关键词： 形式化方法   知识表示   铁路信号  

摘要： 铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻.而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础.提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式.

关键词： 手术麻醉   临床医学   信息管理   UML建模   C/S模式   B/S模式  

摘要： 在科技高速发展的今天,随着计算机技术和网络技术的发展以及数据库的广泛应用,为医学的发展提供了坚实的基础,同时也给医学诊断和分析提出了新的挑战。将计算机技术、网络技术和数据库技术应用到医学中,可以更好的改善医学诊疗模式、提高医学发展水平,建设高效、便捷、准确的手术麻醉信息管理系统成为提高现代医学诊疗水平和医院提高了医疗服务质量的有效手段之一。 近几年来随着我国的医疗卫生信息化不断深入,医院的信息化已经逐步从“医院管理为中心”的医院信息系统(HIS系统)向以“患者诊疗为中心”的临床信息系统发展。手术麻醉信息管理系统是临床信息系统发展重要的信息系统之一,它可以以替代麻醉医师艰苦工作,同时能够更加方便准确的管理和共享这些数据量巨大的麻醉医疗信息。 本文中,在分析研究国内外临床医学系统和手术麻醉医学的理论和技术的基础上,重点研究了目前在临床医学中手术麻醉现状和满足用户需求方面存在的不足,给出了课题的设计目标和任务,并根据聊城市人民医院对临床手术麻醉的需求,结合聊城市人民医院临床手术麻醉的实际情况和麻醉流程,设计了聊城市人民医院手术麻醉信息管理系统。实现了临床医学中手术麻醉信息的科学化、规范化、系统化、自动化、便捷化管理。 首先,分析研究了手术麻醉的相关知识,包括手术麻醉的流程,麻醉前需要准备的工作,麻醉过程中需要记录的信息,麻醉后需要进行的工作等。其次,分析了在手术麻醉信息管理系统开发中用到的主要计算机技术和数据库技术,确认使用这些技术可以快速的进行系统开发和系统维护。在系统分析的基础上,采用了C/S和B/S相结合的架构模式,保证了系统模块化和代码的可读性。后台数据库使用了流行的Oracle数据库,保存麻醉信息,支持海量数据。利用UML完成了手术麻醉系统的系统设计与建模,并对手术麻醉系统进行了详细设计,设计了系统的功能模块。在系统分析和建模的基础上,结合数据库相关理论以及手术麻醉信息的实际情况,进行了系统数据库的概念结构和表结构设计,并对系统的各子模块分别进行了详细设计,以及系统集成测试。最后对系统实现过程中的几个技术重点和难点提出了实现思路和解决方案,总结出系统主要优点和存在的不足,并提出了今后工作的发展目标。