教学课程资源库 更多>>

关键词： 微信公众平台   微信银行   UML建模   瀑布模型  

摘要： 针对传统的瀑布模型开发微信银行存在的问题,结合UML建模技术,提出了一种模块化的分层设计方法,构建一个系统稳定、扩展性能好的微信银行应用系统。

关键词： 混燃安装管理平台   S2SH框架   UML建模   MVC设计模式  

摘要： 为了方便企业高效管理混燃设备的安装,设计了基于S2SH框架的混燃安装管理平台。该平台由Struts2+Spring+Hibernate三种轻量级框架组成。基于此框架开发安装管理平台,能够提高安装效率、规范安装流程、降低企业的总成本。该框架层次清晰,降低了系统的耦合性,提高了代码的复用性及系统的可靠性、安全性和可维护性;界面交互性良好,操作简单,应用前景广阔。

关键词： Web服务发现   社群关系   策略   形式化方法  

摘要： Web服务发现是Web应用研究中的关键问题。研究了多个用户彼此之间的社群关系对Web服务发现结果的影响,将用户之间的社群关系分解为偏好关系、聚类关系和信任关系,给出了这3个关系的形式化方法。基于形式化后的社群关系提出了一个差分式服务发现策略,构建了一个基于用户社群关系的Web服务发现系统框架,按照Web服务与用户兴趣背景相关性由强到弱的原则来逐步检索或推荐候选Web服务以产生最终结果。实验表明,该方法能有效提高服务发现的效率和查准率。

关键词： 高校   UML建模   订水  

摘要： 高校中的传统订水方式人工参与度高、效率低下,本文基于UML,分析设计了高校订水系统,并可简化业务流程,提高多种参与者的效率。

关键词： 计算机软件   无线传感器网络   路由协议   形式化方法   L-π演算  

摘要： 针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。

关键词： 复杂电子信息系统   体系结构   验证评估   群决策  

摘要： 针对复杂电子信息系统顶层体系结构模型的评估方法进行研究,提出基于群决策的体系结构验证评估方法,将复杂电子信息系统众多质量要素转化为体系结构设计方案评估指标体系,并建立基于不确定语言评估值的群决策综合与评估方法对基于指标体系的不确定评估信息进行综合,以得到相对精确的评估结果。算例分析表明该方法是有效的。

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

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

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

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

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

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