对BAN逻辑中新鲜子的研究

来源 :电子科学学刊 | 被引量 : 0次 | 上传用户:liongliong419
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文从BNA逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。
其他文献
据笔者临床观察,约有11%的结核病患者因接受抗痨化疗导致肝功能异常,其中血清ALT、AST<100U/L者,可不间断抗痨治疗,而上述指标大于100U/L者,则宜暂停使用抗痨药物,采取护肝治
任意激励的零状态响应,可用冲激响应与该激励的卷积来求得.因此,能正确理解及求取冲激响应,是非常重要的,而有关冲激响应的求法及其物理解释是较难掌握及理解的一个知识点.本
目的:观察和探讨延龄草、何首乌对氟哌啶醇致痴呆大鼠抗氧化酶表达作用的影响。方法:雄性Wistar大鼠40只,随机分为对照组、模型组、实验1组和实验2组。除对照组外,其余大鼠均用氟
该文对传统的径向基函数(RBF)神经网络的结构和学习算法进行了总结,并在此基础上提出了广义径向基函数模型概念,使这种网络具有更好的应用灵活性与可扩充性。文章基于Mackey-Glass造血模型方程的数值解数据,对此广义模型与现有的RBF模型和梯度径向基函数(GRBF)模型对非线性时间序列预测问题的应用结果进行了比较与讨论,显示出这种广义模型的应用有效性。
目的了解四川省泸州市居民对健康城市建设的满意度与主观幸福感的关系,为我国健康城市建设提供科学依据。方法采用多阶段抽样的方法抽取了7964名居民,通过问卷调查了解其对健
创伤后发热,是小儿常见的症状。近3年来,我院收治骨折后伴高热的患儿58例,对其应用物理降温法调治,获效良好,现介绍如下。
在许多应用领域中,通常要对出现在不同尺度的现象进行分析和辨识,最近引入的多尺度框架使这一分析成为可能。该文简单介绍了多尺度系统理论的发展概况以及多尺度框架在估计和数据融合中的应用,分析了多尺度模型、平滑误差模型以及两类多尺度实现模型,并指出了目前急需解决的问题。
对浓度为CNK135-152g/l、αK1.54-1.66的铝酸钠溶液分解进行了实验室研究,建立了其分解过程数学模型。
对油、硼双改性酚醛树脂的化学反应和制备工艺进行了研究,TG和IR分析结果表明了产品具有较好的耐热性和油溶性.对油改性机理及分子油溶性与聚合程度的关系进行了初步探讨.
在节点竖向集中荷载作用和边界上、下弦节点约束条件下,采用空间梁单元分析了13个空腹拱架的算例。重点讨论了矢跨比和厚跨比对结构静力性能的影响。分析表明,空腹拱架的矢跨比