教学课程资源库 更多>>

关键词： 结构化设计   安全保障   强制访问控制  

摘要： 针对GB 17859-1999结构化保护级的安全保障要求,探讨了对高安全级播出系统进行结构化改造的关键技术和方法,从安全保护部件结构化、安全保护部件互联结构化、重要参数结构化三方面确保播出系统安全功能的正确实施,为实现系统结构化保护、进一步建立可信制播体系提供了一种有效途径和手段。

关键词： 形式化模型   集成方法   元模型  

摘要： MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形式化方法,该集成模型PTA-OZ能够分别对软件系统的静态结构和动态语义进行验证和分析。在MDA架构下,基于XMI建立了MARTE模型和集成模型之间静态结构的转换框架。最后,通过实例分析了MARTE模型和PTA-OZ模型之间的转换。结果表明,该方法有利于实现图形化模型和形式化模型之间的转换,便于软件开发人员的使用。

关键词： 军事物流   标准体系   空间结构   层级结构  

摘要： 为给"十三五"军事物流标准体系表的编制工作提供参考,根据军事物流要素以及要素之间的关系,提出制订军事物流标准体系的依据和原则。使用由上至下逐层分解建立军事物流标准体系的结构化方法,初步设计出军事物流标准体系的空间结构和层次结构,最终形成军事物流标准体系框架结构。

关键词： UML建模   客户关系   设计   忠诚度  

摘要： 针对企业客户关系管理提高客户忠诚度的问题,以银行作为应用案例,提出借助UML建模技术和B/S架构访问模式,设计出可应用与银行和储户之间沟通的客户关系管理系统,从而实现对客户管理的信息化,提升了企业对客户维护的能力。

关键词： 路由协议   M—AODV   十字路口   UML建模   NS2仿真  

摘要： 为了优化城市交通环境中车载自组织网络中路由协议的链路存活时间、吞吐量等性能指标,在拓扑反应式路由协议的基础上,引入车载网络节点的位置信息,设计基于动态实时位置信息变化的车载路由协议优化模型M-AODV。该模型按照十字路口车辆优先和相对位置为同方向节点优先转发的原则,根据路由信息表中位置信息区分转发控制包,并给出该路由算法的面向C++语言的UML建模图及其算法流程图。通过NS2仿真平台仿真表明,与传统的路由模型相比,该模型优化了VANETs网络中链路存活时间、时延、吞吐量等性能指标。

关键词： UML网络安全   建模分析   方法   介绍  

摘要： 在我国目前的法律法规条件下,基于构建一种安全的网络体系,主要从安全的目标以及体系和边界等等情况下进行分析,对安全服务以及安全风险进行评估。基于UML网络安全体系中,运用统一建模语言进行建模,并验证这种安全体系的框架有没有合理性和科学性,同时对这种宁建模方法也进行分析,文章主要是对这种建模分析方法进行全面介绍,并得出科学的指导结果。

关键词： UML建模   Rational   Rose母线冲压机床  

摘要： 统一建模语言UML是一种定义良好、易于表达、功能强大的图形化建模语言,它的目标是以面向对象的方式来描述任何类型的系统。由于它得到Rational Rose等Case软件的支持,不但用于建立软件系统的模型,还可以用于描述非软件领域的系统,如机械系统、企业机构或业务过程等。基于UML,以昆明昆开专用数控设备有限责任公司研发的数控母线冲压机床的设计要求为对象,对数控母线机床系统进行建模,并对其进行需求分析,以利于机床的后续研发。

关键词： 安全协议   安全性分析   形式化方法   网络安全  

摘要： 协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。

关键词： 结构化   产科门诊电子病历  

摘要： 随着医院信息化建设的不断完善，住院电子病历和普通门诊电子病历已被广泛应用。但在产科这一专科领域的结构化门诊电子病历的研究和应用还存在空白。为提高产科门诊专科病历的信息化水平，我们建立了一个内容全面、结构科学、应用方便、资源共享且有利于资料累积和研究的结构化产科门诊专科电子病历管理信息系统，本文详细介绍了该系统的设计和主要特点。

关键词： 面向对象   软件测试   方法   分析  

摘要： 近年来,随着各种软件应用的增多,软件开发发展的越来越迅速,由此,使得软件测试受到人们广泛的重视。在传统的软件测试中,通常由程序员来自行完成。在软件开发技术发展的过程中,软件开发开始应用面向对象法,虽然这种方法带来了很大的便利,但是对于软件测试工作来说,难度也增大了许多,因此,本文介绍了面向对象的软件测试模型,同时分析了面向对象的软件测试方法。