排序方式: 共有96条查询结果,搜索用时 15 毫秒
21.
22.
开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。 相似文献
23.
李雄伟 《军械工程学院学报》2007,19(2):47-50
分析了协议识别的概念,提出了用于ATM协议识别的策略及其状态机模型,建立了系统误码的分布模型,通过理论公式推导与仿真,重点对δ、α的取值及其对ATM协议识别概率的影响进行了分析。 相似文献
24.
通过对坦克车内局域网1553B协议的分析,并与一般计算机通信标准局域网做对比,指出不能用标准局域网协议和纶构取代1553B协议。参考 ISO开放系统互连的协议模型,对1553B协议进行了分层设计和进一步构想。 相似文献
25.
随着Internet规模的扩展和连接密度的增加,作为域间路由标准的BGP协议面临严峻挑战。集群路由器的出现,其分布式的计算资源、存储资源以及体系结构上的高度可扩展,有利于解决BGP协议面临的这些问题。在分析BGP协议体系结构无法适应集群路由器分布式特点的基础上,通过对BGP协议功能的解耦合,提出一种新的、分布式的BGP协议体系结构。与传统方式相比,分布式BGP体系结构能够充分利用集群路由器的分布式的计算资源和存储资源,在协议可靠性、管理维护成本、协议多维可扩展性和简化BGP网络设计等方面具有极大优势。 相似文献
26.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
27.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
28.
29.
设计的无人作战飞机地面控制系统操作员控制台是为进行未来无人机编队作战需求,通过仿真手段进行验证的某大型无人机作战演示系统的一个子系统,采用了二维、三维图形显示技术、TCP/IP网络技术、数据库技术,完成了实时无人机状态监控平台、无人机多机任务监控平台、无人机信息监控平台、三维虚拟环境仿真平台、网络数据传输与管理、飞行数据处理、无人机平台等模块的编制工作.从软件工程的角度分别对各个开发阶段的工作及其功能实现做了具体的阐述.最后,对本系统进行了仿真测试,获得了较好的效果,为实际应用提供了有力依据. 相似文献
30.