教学课程资源库 更多>>

关键词： 结构化设计   道路桥梁设计   应用  

摘要： 在当前的道路桥梁设计中，结构化设计是一种应用较为广泛的方法，能够结合道路桥梁目标的实际情况和特点，利用工程模型，增加设计的可靠度，使得设计方案更加切合实际，便于进行施工。本文对结构化设计的内涵和作用进行了分析，并对其在道路桥梁设计中的应用进行了讨论，希望能够为道路桥梁工程的设计提供一些参考。

关键词： 模糊关联规则   形式化方法   约束级别(RL)   一般一元假设自动机(GUHA)模型   支持度   置信度   确定性因子  

摘要： 模糊关联规则用于处理数据库中的不精确信息,并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则,通过约束级别管理模糊规则,并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法,在不同的约束级别上并行化挖掘过程,总结得到的结果。算法的复杂度分析以及实验结果表明该形式化方法是有效可行的,从而确立了模糊关联规则表示和评价的逻辑基础。

关键词： 水泵   远程控制   物联网  

摘要： 国民经济的现代化建设离不开水利现代化的保障,而水利信息化是水利现代化的基本标志和重要内容。针对洪涝灾害这一问题,本文提出了用于泄洪的基于结构化支持向量机(Structured Support Vector Machine)的联动技术。通过历史的洪涝信息训练学习模型,并根据观测到的水文信息对洪涝灾害进行预测,生成各水泵的工作策略向量。并根据该向量通过远程监控系统进行水泵的控制与调度,尽可能预防洪涝灾害。

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

摘要： 针对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,以昆明昆开专用数控设备有限责任公司研发的数控母线冲压机床的设计要求为对象,对数控母线机床系统进行建模,并对其进行需求分析,以利于机床的后续研发。