教学课程资源库 更多>>

关键词： Safety and dependability analysis   Performance analysis   Model checking   AADL modeling language   Spacecraft  

摘要： The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labor-intensive as they rely on manual analysis, review and inspection. For future space missions, we developed - with challenging requirements from the European space industry - a novel modeling language and toolset for a (semi-)automated validation approach. Our modeling language is a dialect of AADL and enables engineers to express the system, the software, and their reliability aspects. The COMPASS toolset utilizes state-of-the-art model checking techniques, both qualitative and probabilistic, for the analysis of requirements related to functional correctness, safety, dependability and performance. Several pilot projects have been performed by industry, with two of them having focused on the system-level of a satellite platform in development Our efforts resulted in a significant advancement of validating spacecraft designs from several perspectives, using a single integrated system model. The associated technology readiness level increased from level 1 (basic concepts and ideas) to early level 4 (laboratory-tested). (C) 2014 Elsevier Ltd. All rights reserved.

关键词： 软件工程   实践教学   项目驱动   团队协作  

摘要： 软件工程是指导软件开发和维护的一门工程学科,是一门理论与实践并重的课程。该文分析了软件工程教学中存在的问题,结合软件工程课程的特点,提出了一个从项目选题、团队建设、教学过程管理到课程考核的软件工程实践教学改革方案。

关键词： 船舶电力推进系统   监控系统   体系结构  

摘要： 电力推进监控系统是船舶综合电力推进系统的重要组成部分,其运行性能直接影响到船舶的生命力,为确保电力推进系统安全有效运行,保障船舶的生命力,必须深入开展电力推进监控系统设计技术的研究。本文以船舶电力推进监控系统为研究对象,在归纳、总结系统组成和功能的基础上,对监控系统的体系结构设计技术进行了研究。

关键词： 语言   UML   建模  

摘要： UML统一的标准化建模语言,是用图形化的表示方式对系统进行设计与分析的建模语言。它为软件工作者和客户之间、软件工作者自身之间的交流与沟通建立了"桥梁"。本文先简要的介绍了UML的相关基础知识,然后介绍利用UM L设计分析一个相对完整的案例——学生选课管理系统。

关键词： XML数据   DOM对象   半结构化数据   抽取   装载   ETL工具   数据仓库  

摘要： 通过分析半结构化数据的特点,以实际的采购退货数据(***)为例,利用DOM对象对基于XML的半结构化的数据进行抽取,设计并实现了一个基于半结构数据的数据仓库ETL工具,解决了商用ETL工具不能直接加载抽取XML文件进行数据仓库数据加载的弊端,为XML半结构化数据的抽取并装载到数据仓库当前细节级中的这一问题的解决进行了有益的探索。

关键词： UML   信息系统   设备管理   炼化企业  

摘要： 中国石油炼油与化工分公司于2006开发建设了适用于25家地区炼化企业设备管理的信息化系统——设备综合管理平台,共计16个功能模块,动设备管理模块是其中之一。由于建设初期功能设计以账表单为主,无法满足各级设备管理人员对设备管理信息化的需求,因此对动设备模块进行了专业深化升级。升级工作以UML建模的方式进行,实现系统功能覆盖、流程优化、专业深化的目标。

关键词： 当代旅游   电子地图   设计过程   交互技术   地理参数   体系结构设计   便捷式   参数数据   定位信息   当前位置  

摘要： 为了社会的使用需求,便携式智能导游系统的设计与实现随之而来。便携式职能导游系统是从用户的实用性和便捷性方面入手,结合全球定位系统、地理信息系统级多通道交互技术等多种系统技术,设计出的适应当代旅游方式的新型导游系统。本文介绍了便携式智能导游系统的设计要求和便携式智能导游系统的设计过程,希望读者可以对便携式智能导游系统有一个更加全面的了解。

关键词： SPOCs   MOOCs   UML   课程改革  

摘要： SPOCs即小规模限制性在线课程,相对于MOOCs说,学生规模小,并且设定了学生的准入条件。更有针对性的教学设计使得SPOCs更有助于提高大学自身的教学质量,而且因其建设成本较低,也更容易开展。在实践中,可以先建设SPOCs,待课程材料和教学组织更为成熟时,再将其发展为MOOCs。"UML建模工具"是软件工程专业的一门专业必修课程,也是理论和实践并重的课程,传授式的教学方式学习效果相对较差,因此借鉴SPOCs的模式进行课程改革,以提高学生的学习兴趣和学习效果。

关键词： OSGi   SOA   软件体系架构   统一服务结构平台  

摘要： 为了实现企业级应用的基础架构、开发方式和部署方式的统一,文中研究了O SGi服务组件模型。O SGi提供了一种面向服务的组件开发框架,具有高度模块化和动态化特点。根据SOA架构思想和OSGi框架特性,设计一种基于OSGi规范的面向服务的软件体系结构,开发了统一服务架构平台,并通过组件化、图形化为设计、开发及调试等过程提供全生命周期的支持,实现了企业应用即插即用的模块化管理,能够有效提高软件模块复用能力和复用程度。

关键词： 资源共享平台   UML   用例图   统一建模语言   审核人   后台管理   身份验证   用密码   登录信息   数据共享  

摘要： 本文介绍了精品资源共享课网络资源共享平台通过UML的主要建模过程,具体涉及UML建模中的用例图。