【摘 要】
：
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室,中国科学院软件研究所信息安全国家重点实验室
论文部分内容阅读
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应的抽象特征体系,并在该体系下分析了有代表性的模型,指出了这些模型的优缺点及进一步改进的思路.抽象体系的提出不仅使模型的本质变得清晰,而且还使同类模型中的不同模型之间的联系变得易于理解;分析了不同类型模型之间可能存在的联系,特别是用基于规则推理的模型的思路改进了Woo-Lam模型,在提出B
其他文献
随着高速公路建设的飞速发展,＂先损坏后维修＂的传统路面养护方式已经不能满足当前路面养护工作的需求。与矫正性养护相比,预防性养护具有能提升路面使用性能、提高路面行驶舒适
拥塞窗口算法对网络稳定性和效率的影响表现在平衡状态附近。分组级递增量越小网络稳定性越强；往返时间级递增量的一阶导数越小网络效率越大．在以上研究的基础上，进而提出一种新
为设计出满足特定气候分区的沥青混凝土功能性级配,本文结合以往工作经验设计了三种级配。从不同级配混合料马歇尔试验和有关性能检验结果来看,AC-13C改性沥青混凝土的路用性
支撑向量机是近年来新兴的模式识别方法,在解决小样本、非线性及高维模式识别问题中表现出了突出的优点.但在支撑向量机中,支撑向量的选取相当困难,这也成为限制其应用的瓶颈
球面参数化是一种应用价值很广的几何参数化方法.对于封闭且亏格为零的三角形网格,该文提出了一种新的球面参数化方法.通过引入多个球面坐标覆盖,在球面坐标系下,用凸组合方法,得到了接近线性的球面参数化求解方法.与已有的直角坐标系下的凸组合参数化方法相比,该文所提出的方法大大降低了求解方程组的非线性程度,因此求解时间大幅度降低.此外,还避免了直角坐标系下求解的多种退化情况.最后,给出了实验结果,并对凸组合
提出一种以网关为中心的满足QoS约束的自适应多径路由协议GC-AQMR.该协议不仅保证建立从源节点到网关的链路不相交的多条路由,同时使中间节点也保留到网关的多径路由信息,当
本文用光学显微镜和扫描电镜对国产４４种２变种蓼属植物的花粉形态进行了观察，除了前人报道的３１种外，其中１５种为首次报道。本属花粉形态多类型，有球形，近球形、近扁球形、近长球形及长球形
本文主要介绍了地铁车辆空气制动系统所配置的空气干燥器的工作原理、常见故障及对策,对深入了解制动系统,有效解决现场问题提供有益的借鉴。
传统计算机免疫系统检测器训练效率低下，自体／非自体定义缺乏动态的演化机制，适应性较差，不能满足真实网络环境下网络监控的需求．有鉴于此，该文提出了一种新型的基于免疫的网络监控
本文采用现代质量管理风险评估设计手段,分析并确定风险源等级,从而制定对策。通过国高网莆炎高速岐山特长隧道设计的具体案例,针对工程存在的通风、洞口失稳、地应力、塌方