教学课程资源库 更多>>

关键词： 五视图   仿真训练系统   体系结构设计  

摘要： 体系结构设计是装备仿真训练系统的顶层设计,对于仿真训练系统的可靠性、一致性有重要影响。本文在全视图的基础上,根据装备仿真训练系统特点,提出了基于一种装备仿真训练系统体系结构五视图设计方法。五视图包括全视图、业务视图、物理视图、逻辑视图、技术视图。给出了各视图之间的总体结构图。五视图方法已经应用于潜艇作战系统仿真训练系统的体系结构设计,保证了系统的一致性、稳定性和可靠性。

关键词： UCM   活动图   UML   建模  

摘要： UCM是1995年出现的一种建模技术,它可以使设计人员不用结合多种不同的图而更容易地了解整个系统,目前广泛应用于复杂系统行为的描述。但UCM缺乏统一和可广泛认知的工具支持,限制了UCM的推广应用。基于此,提出了在UML中,使用活动图的符号和语义表示UCM中的概念和关系,使UCM模型能够很好地集成在UML模型之中。

关键词： 网上花店   UML建模语言   用例图   类图  

摘要： 网上花店是电子商务的一种具体形式,其具有传统商店无可比拟的优势,本文分析了网上花店的具体需求,采用用例驱动的思想,利用UML建模语言完成了整个网上花店的功能抽象,需求建模,并用类图描述了系统的整体架构。

关键词： Reconfigurable architecture   Design space exploration   Real-time systems   Partial reconfiguration   Field programmable gate arrays  

摘要： In this paper, we introduce FoRTReSS (Flow for Reconfigurable archiTectures in Real-time SystemS), a methodology for the generation of partially reconfigurable architectures with real-time constraints, enabling Design Space Exploration (DSE) at the early stages of the development. FoRTReSS can be completely integrated into existing partial reconfiguration flows to generate physical constraints describing the architecture in terms of reconfigurable regions that are used to floorplan the design, with key metrics such as partially reconfigurable area, real-time or external fragmentation. The flow is based upon our SystemC simulator for real-time systems that helps develop and validate scheduling algorithms with respect to application timing constraints and partial reconfiguration physical behaviour. We tested our approach with a video stream encryption/decryption application together with Error Correcting Code and showed that partial reconfiguration may lead to an area improvement up to 38% on some resources without compromising application performance, in a very small amount of time: less than 30 s. (C) 2013 Elsevier B.V. All rights reserved.

关键词： distributed amplified array   fibre-optic sensor array   acoustic sensing   EDFA   multiplexing   phase resolution   noise aliasing  

摘要： A distributed amplified dense wavelength division multiplexing (DWDM) array architecture is presented for interferometric fibre-optic sensor array systems. This architecture employs a distributed erbium-doped fibre amplifier (EDFA) scheme to decrease the array insertion loss, and employs time division multiplexing (TDM) at each wavelength to increase the number of sensors that can be supported. The first experimental demonstration of this system is reported including results which show the potential for multiplexing and interrogating up to 4096 sensors using a single telemetry fibre pair with good system performance. The number can be increased to 8192 by using dual pump sources.

关键词： 系统建模   UML   Rhapsody   VxWorks  

摘要： 以某实际项目开发为例,通过采用在嵌入式操作系统中基于模型设计的程序开发方式,实现了在VxWorks系统下使用UML建模的方式进行应用程序开发。具体包括使用UML进行项目需求分析、系统建模、开发环境配置、系统具体设计和程序调试等内容。目前这种自顶向下的迭代式开发模式已成功应用于多个项目中,可提高程序开发效率、缩短项目的开发周期。

关键词： UML   城市应急联动系统   体系架构   用例图  

摘要： 本文首先介绍了统一建模语言UML,根据城市应急联动系统(CERS)建设的要求,遵循软件工程领域内的模型语言规范,设计一个基于统一建模语言UML的CERS模型,包括决策指挥中心、应急联动中心、各联动单位的调度中心、联动单位的分支机构、处置力量部门和处置力量编组。该模型可以协助系统开发人员规范系统的开发与软件重用,优化系统结构,加快CERS的开发进度。

关键词： 电子商务   考试系统   结构化设计  

摘要： 电子商务涉及的内容广泛,各专业对本课程的学习目标不尽相同,但考试却采用统一试卷、统一考题模式,给教师在理论讲授和实验安排上带来很大不便。同时学生因为专业不同,对相关知识的理解和操作程度不同,不仅教师出题时难易度很难课程考试把握,而且造成本课程的成绩相差悬殊。从开发电子商务考试系统的必要性谈起,从理论上论述了开发该电子商务课程考试系统所需的技术工具、系统功能介绍、模块设计等内容,为今后进一步的开发设计作铺垫。

关键词： 银行贷款系统   用例模型   类图模型   UML  

摘要： 以银行贷款系统的开发为例,介绍了建立UML用例模型的基本步骤,在用例模型的基础上,运用语法分析从用例描述中进行了类的提取和筛选,并通过分析类之间的关系建立了银行贷款系统的类图模型,为银行贷款系统的开发提供了参考模型。

关键词： 安全性分析   状态事件故障树   交互马尔可夫链   定量分析   形式化方法  

摘要： 状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.