教学课程资源库 更多>>

关键词： TOP500   浪潮集团   国防科技大学   浮点运算   国防科大   二名   超级计算   体系结构设计   协处理器   异  

摘要： 由国防科技大学与浪潮集团共同研制的"天河二号"系统,以33.86千万亿次/秒的浮点运算速度,夺得最新的全球超级计算机TOP500排行榜冠军。由于"天河二号"性能远超第二名,有人预测,其冠军位置还将保持较长一段时间。

关键词： UML   Hazop   emerging risks  

摘要： Unified Modelling Language (UML) has a graphical notation for 13 different types of diagrams and can be used as a general modelling tool. Well-known examples of diagram types are class diagrams for modelling classes that can be instanced into objects, state machine diagrams for modelling states in systems and activity diagrams for modelling process flows. A literature survey shows that UML has been used to model concepts and methodologies of risk assessment and risk management. One example is the Coras Framework. The international standard CEI IEC 61882 Hazard and operability (HAZOP) studies describes concepts for investigating and detecting possible hazards in systems. In CEI IEC 6882, guide words like More' and Less' are applied to system parameters to invoke deviations in the system and assess possible hazards due to the deviation from the design intent. In this paper, we have used UML to model concepts of CEI IEC 61882 Hazards and operability studies. Diagrams of UML were used to show dependencies and relations between parts of the target system and concepts of CEI IEC 61882. Extensions of UML are suggested to better capture and display the concepts of CEI IEC 61882, the results of a HAZOP study and emerging risk. These extensions are referred to as UML for emerging risks (UML-ER).

关键词： 信息规范化   UML建模   XML  

摘要： 装备关键件制造过程中,质量信息量大,且存在大量非规范信息,使质量信息与车间其他系统之间的信息集成存在较大的困难。本文采用UML统一建模语言对质量信息进行建模,实现了车间质量管理系统数据库中数据结构规范化设计。在UML模型基础上,采用XML标准对可用于网络传输与交换的数据信息的规范进行描述,使质量信息以XML文件形式存在,应用Web Services技术,实现质量信息在数字化车间网络环境中的信息集成与共享。

关键词： 面向对象   设计开发过程   建模机制   教务管理系统   软件开发周期   系统开发过程   RUP   UML建模技术  

摘要： 本文基于面向对象思想,以UML、RUP等相关技术为背景,结合教务管理系统的设计开发过程,通过一个应用于整个软件开发周期的、可定制的最佳开发方案架构,给出了相应的模式分析和设计流程,提出了建模方案,以规范系统开发过程。本文在开发全过程中贯穿面向对象思想,引入设计模式并采用组件技术,研究这些技术的使用原则和方法,实现了UML在面向对象领域和组件、体系构架、设计模式的融合。实践证明,采用新的方法组织开发工作,取得了良好的效果,提高了系统的整体性能。

关键词： 内容管理平台   非结构化数据   数据迁移   数据校验   标准流程  

摘要： 国内大型企业开展内容管理平台的搭建,有效的整合了各个业务应用系统生成的非结构化数据,合理的实现了数据从分散存储到集中存储的巨大跨越,但是对于现有业务应用系统中海量历史非结构化数据迁移至内容管理平台的问题有待解决。保证业务应用系统和内容管理平台的安全稳定运行前提下,文中提出了通过第三方数据迁移工具和标准的数据迁移方案,从而保障各个业务应用系统非结构化数据的迁移工作有序的开展,并对迁移的历史数据的完整性和一致性进行校验,确保历史数据迁移后能够正常访问。

关键词： 十字轴式万向联轴器   参数化设计   数据模型   UML建模  

摘要： 分析十字轴式万向联轴器CAD系统的功能需求,提出了该软件开发的总体功能框架,主要包括用户管理、产品绘制、产品设计、文档管理和技术接口等功能模块。针对CAD系统产品数据的类型、属性和联系进行了概念建模,建立了E-R模型图。基于统一建模语言UML建模方法,对CAD系统进行了用例分析建模。利用Visual Basic 6.0的ActiveXAutomation技术和SQL Server数据库技术开发出了十字轴式万向联轴器参数化CAD设计软件,并给出了其应用实例。

关键词： RFID中间件   依赖倒置   抽象读写器   构件开发  

摘要： 在整合不同标准及不同协议的RFID应用时,为了从多变的流程中提高RFID中间件系统的重构效用和扩展性,提出.NET平台下的一种基于抽象模型的开发框架,该框架采用面向服务和基于构件方式的架构,通过调用相应的构件库函数获得所需的功能,使其动态发现和绑定可获取的构件服务,以方便企业对系统的快速开发和RFID部署。

关键词： UML   备件管理   制造执行系统  

摘要： 以焊管企业MES备件管理系统开发为背景,在需求分析基础上,运用建模工具Vi-sio创建了需求模型、对象模型和体系结构模型。需求模型反映了客户对系统功能的要求,为后续工作奠定了基础。对象模型揭示了类与对象以及他们之间的关系,有利于面向对象的编程实现。创建的反映模型特征的UML图,从不同层次、不同角度为系统的分析设计直至实现提供了有力支持。

关键词： 瞬时故障   程序安全性   类型化汇编语言   类型系统   容错  

摘要： 软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法,以及对该方法的形式化方法,包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证,只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。

关键词： 无线传感器网络   多点验证协议   安全定位   形式化方法  

摘要： 目前,无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作,对无线传感器的定位主要研究是集中在能够正常定位的前提下,对安全定位研究较少。本文首先介绍多点验证协议,并用形式化方法对其距离验证协议展开研究,然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位,并验证其安全性。