教学课程资源库 更多>>

关键词： 面向服务   信息中心网络   服务会话   服务中继  

摘要： 本文主要介绍了SOFIA(Service-Oriented Future Internet Architecture)。在SOFIA中,应用程序通过服务会话处理服务请求和服务数据。一个服务会话可以对应多个服务连接,每一个服务连接绑定两个特定的通信节点(可以是客户端主机、服务器、中间节点等)。客户通过请求服务(服务名字)对服务会话进行初始化。接收到服务请求后,路由器根据服务转发表的相应规则处理请求。这些规则可以是转发规则(如负载平衡),也可以是处理规则(如缓存),而规则可以由集中控制器下发,以满足网络运营者的特定要求。为了解决服务转发表规则频繁更新的问题以及复杂的转发规则带来的查找性能问题,并与现有网络兼容发展,SOFIA服务核心构建在网络层(例如IPv4/v6)之上,在两个层之间实现了服务处理的解耦:服务层提供灵活的服务处理,而网络层提供高效的数据传输。

关键词： Rhapsody平台   装备体系   体系结构设计   信息流分析  

摘要： 紧密结合装备体系信息流分析存在的现实问题,分析了装备体系信息来源,提出了装备体系信息流模型构建流程(流程分为用例分析、构建作战活动流程和导出作战信息流模型3个阶段),立足于IBM Rational Rhapsody建模工具中时序图的信息流模型构建和分析功能,提出了基于Rhapsody的装备体系信息流分析与验证的方法。

关键词： 失物招领   面向对象分析  

摘要： 目前,大部分高校还没有一个集中统一的失物招领平台,传统的张贴寻物启事和失物招领启事方式信息扩散的速度太慢,容易给失主造成一定的经济损失。随着信息技术的迅速普及,高校也慢慢地利用信息化技术进行校园管理。本文利用面向对象分析方法,结合失物招领管理的实际需求,对高校失物招领管理系统的业务、功能模块与数据进行了分析,为高校失物招领系统的设计和开发奠定了基础。

关键词： 可拓学   可拓基元   拓展分析   可拓变换   优度评价   形式化方法   自适应软件  

摘要： 可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。

关键词： UML   多媒体资源   项目管理   系统建模  

摘要： 多媒体资源项目管理系统具有系统性和科学性特点,适应了大规模资源建设项目管理的实际需求。设计了UML的用例图、类图、序列图和状态图,为系统开发提供理论基础,同时提高了系统开发人员和用户之间的沟通效率。

关键词： 单片机   汇编语言   结构化程序   设计方案   验证解析  

摘要： 随着我国科研竞争实力的不断提升,涉及单片机技术开始得到大范围推广沿用。须知此类设备型号类别繁杂,特别是在编程规则方面,主张使用多汇编语言,至此相关程序通用、移植,以及维护性能条件等,都产生本质性的变化结果。因此,笔者决定联合现阶段我国结构化程序设计理念,进行既有单片机汇编语言的结构化程序设计方案系统化制定实施,希望能够借此为相关工作人员,提供相对可观的指导性建议。

关键词： 模型检验   路由协议验证   形式化方法   SPIN   CBMC  

摘要： 模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据库同步的OSPF模型,设置攻击者路由器伪造消息,找到攻击成功的反例;实验二建立关注节点加入、失效和相应处理的Chord模型,寻找协议缺陷.两个模型都用显式模型检验工具SPIN和有界模型检验工具CBMC实现验证,实验结果表明SPIN解决此类问题更有优势.

关键词： 硬实时系统   工作流建模   元模型   统一建模语言  

摘要： 针对硬实时系统工作流描述在活动间数据交互的关系、时间约束等方面的不足,研究硬实时系统的工作流建模技术。定义硬实时约束的工作流元模型,给出元模型的组成元素及其相互关系,对具有硬实时约束的相关元素进行说明;在此基础上,使用UML的profile机制,通过对UML建模元素的扩展定义一种硬实时约束的工作流描述语言,称为HRTWDL(hard real-time constrained workflow description language);结合应用案例对HRT-WDL的使用进行说明。

关键词： 统一建模语言   UML   面向对象Petri网   网络协议  

摘要： 网络协议的形式化描述与验证技术是整个协议设计与实现的基础,目前所采用的形式化描述与验证技术各有优势,本文综合了UML(the Unified Modeling Language)和面向对象Petri网各自的优势,提出了UML和面向对象Petri网相结合的建模方法。并以停等协议为例进行说明。

关键词： 信息网络   信息中心网络   形式化方法   身份认证   授权  

摘要： 信息中心网络(information-centric networking,ICN)已经成为下一代网络架构研究的新热点。针对NetInf(network of information)架构下,由于无效的数据注册,NRS在发布阶段容易受伪装和内容投毒攻击,提出在发布和检索之前增加一个注册阶段,并集成认证和授权方案;该阶段在主机访问Net Inf系统之前,对其进行身份认证并采用基于能力的访问策略来解决未经授权的访问问题。通过形式化方法验证,该方法提高了Net Inf框架的安全性。