网络服务体系结构及其形式化模型的研究

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:moowoo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究
其他文献
试论我国高等教育经费的多元化唐衍硕我国高等教育如何改革才能更好地适应社会、经济发展的需要,是最近一个时期以来高等教育界讨论的热点。随着国民经济的发展,新科学技术的不
中国-东盟博览会(简称'南博会')从今年起,每年在南宁市举办一次,这将给南宁市带来前所未有的发展机遇,也将会大大促进南宁市国民经济和社会的全面发展,尤其是促进直
主/副版本备份技术是分布式系统常用的实时容错调度方法,然而传统的主动方式副版本即使在无处理机故障时也需要在备份处理机上完全运行,增加了处理机消耗.提出一种基于固定优先
尺骨鹰嘴骨折的手术治疗以应用克氏针钢丝张力带及螺钉者较多。随着交通、工业生产的发展,由强大暴力导致的粉碎性尺骨鹰嘴骨折逐渐增多。自2001年7月~2006年7月,笔者应用解剖型
目的探讨人骨发生蛋白2(hBMP-2)转染兔自体骨髓基质细胞(rMSCs)的骨生成诱导作用以及附和异体兔脱钙骨基质(DBM)后的成骨效能.方法取兔自体骨髓基质细胞培养扩增,用脂质体介
随着知识经济的兴起,人力资源才越来越成为企业成功的重要因素.中小企业在资金、企业文化、制度建设等方面存在不足.中小企业应扬长避短,加强企业管理,创造人才发展的环境,加
中介逻辑(medium logic, ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,
针对手语识别研究中训练样本缺乏,提出了一种衍生数据的方法,有效地解决了动态多数据流手语训练用样本合成问题.利用mean-shift算法可以方便、快捷地得到密度函数梯度的变化方向,从而控制衍生的方向和强度.算法同时考虑到合成样本尽可能包含非特定人的信息及其有效性,对数据所实现的变形不会被识别系统的初始化过程逆转.合成数据驱动的效果受模型的容量、合成的强度与方向影响.在多种实验环境下对驱动效果进行评估
指令调度是编译器中的重要优化阶段.如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一.目前微调度已
针对CMAC神经网络学习算法存在因使用Hash编码技术而产生的实际映射空间地址碰撞问题,提出了一种基于设置权值溢出区解决地址完全碰撞问题的方法,与传统的依靠增加实际映射空