论文部分内容阅读
协议验证是一个时空耗费很高的问题，本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。本文还提出了一个基于知识的协议验证算法Ｚ，并分析了其复杂度。
基于知识的协议验证方法
【摘 要】
：
协议验证是一个时空耗费很高的问题，本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。本文还提出了一个基于知
【机 构】
：
辽宁大学计算机系,东北大学计算机系
【出 处】
：
通信学报
【发表日期】
：
1993年5期
其他文献
本产品以51单片机为核心控制元件,应用雨水传感器、气敏传感器等,分别对雨水、室内气体浓度进行检测,并利用红外感应器对人体进行红外探测.电开关判断窗户是否全开或全关,探
通过对13所体育院校运动训练专业课程设置的调查研究、比较分析,提出相应对策,以求对课程改革提供参考。文章采用专家访谈、问卷调查等方法,指出在培养目标、课程设置等方面
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
重建一种诗性尺度（走向大文学理论的时代）毛峰纵观今日的中国文坛，可以用下列词语加以概括：丧失了灵魂的文学、丧失了尺度和趣味的批评、丧失了基本洞察力的理论。文学，作为一个民
在国家和运营商规模部署的推动下,许多家庭都使用了FTTH技术,FTTH技术在世界各地形成了热潮,国家才出台有效的鼓励政策,推广FTTH技术的实施、应用。FTTH技术很大程度上便利了
近年来,我国公共图书馆文化志愿服务明显表现出不同于以往的新变化和新特点。这标志着我国的公共图书馆文化志愿服务进入全新的发展阶段。笔者对现阶段我国公共图书馆文化志
目的:分析优质护理在腹股沟斜疝手术患者护理中的应用效果。方法:选取本院2016年10月至2018年10月收治的32例腹股沟斜疝手术患者作为研究对象,分成对照组16例和观察组16例患
说“讲”烟台一中赵方在语文教学过程中，教师“主导”作用的发挥，充分体现在“讲”上。怎样才能发挥好“讲”的先导作用，提高“讲”的效果呢？一、“讲”，要“导”不要“灌”“导”
亚取样——内插是高分辨率电视压缩编码中的一项重要技术。本文提出一种新型的用于亚取样高分辨率电视信号的二维自适应内插算法。其本质是对行、列方向的线性内插结果进行加权平均,加权系数依图像局部水平和垂直方向的相关程度自适应调整。计算机模拟实验表明,这种内插算法较已知的其它内插算法具有更好的性能。算法考虑了硬件实现的简易性,只涉及内插点的四个最近邻像素。
将区板焦区场作为散射问题处理，得到区板感应面电流分布和焦区场分布后，本文利用场相关定理研究区板与馈源的耦合问题，并就主模激励下开口圆波导情形进行了计算和讨论。文中还采用矢量场绕射分析模型进行区板设计，给出了设计曲线