相关文献
1前言图模型(graphical model)结合了图论和概率论,是建立在图结构上的概率模型,是人工智能学科表示和处理不确定性知识和复杂知识的重要方法[1]。Ising图模型(Ising graphicalmodel)是定义在Bernoulli离散变量集及无向图结构上的图模型,为图像处理、空间统计和社会网络等领域提供了简洁有效的建模方法[2]。图模型概率推理问题通过对联合概率分布进行变量求和来计算模型的对数配分函数、变量边缘概率分布、条件概率分布等[3,4]。图模型概率推理的计算复杂性和近似概率推理的计算复杂性是概率推理领域一重要的理论问题,也是设计概率推理算法和近似概率推理算法的理论基础[5,6]。已有工作利用可满足性问题的计算复杂性、计数可满足性问题的计算复杂性及可满足性问题到图模型概率推理问题的归约关系,研究了图模型概率推理的计算复杂性及近似概率推理的近似计算复杂性。具体地,Cooper通过构建可满足性问题到贝叶斯网上概率...
(本文共5页)
阅读全文>>
20世纪50年代以来,莫斯托韦斯基(Mostowski)和林兹卓姆(Lindstr?m)等一些逻辑学家,开始对一阶逻辑中的标准量词(即全称量词和存在量词)的范围进行扩展,引入并定义了广义量词(generalized quantifiers)。广义量词包括:(1)一阶逻辑中的全称量词和存在量词;(2)由限定词a,an,the或其他量化关系指称所形成的所有名词短语;(3)限定词,比如:“所有的、有些、正好五棵树、张三的卡、所有的投资者、没有、两者都不、几个、两打的、不超过五个的、大多数的、不到一半的”都是广义量词。可见:广义量词实则是一阶逻辑的全称量词和存在量词的扩展,而一阶逻辑的全称量词和存在量词则是广义量词的两个特例。表示广义量词的名词短语被称为量化表达式,包含量化表达式的语句被称为量化语句。20世纪80年代以来,在巴怀斯(Barwise)、肯南(Keenan)、库伯尔(Cooper)、魏斯特斯塔尔(Westerst?hl)、特...
(本文共5页)
阅读全文>>
1概述按分析目的可将序列密码的分析方法分为密钥恢复攻击和区分攻击2大类。随着序列密码设计的复杂程度的不断提高,密钥恢复攻击的难度也变得越来越大,因此,密码分析者把注意力转向了看似更为容易的区分攻击。对序列密码的区分攻击是要找出t,并利用第i个乱数至第i+t个乱数,构造出一个不在{0,1}m上均匀分布的m维二元随机向量ξi(k,IV),并借助于此将乱数序列与随机序列区分开来,这里ξi(k,IV)独立同分布。区分方法主要有2类:(1)对固定的IV和密钥k,变动i,借助{ξi(k,IV)}i∞=1进行区分;(2)对固定i,变动(k,IV),借助{ξi(k,IV):(k,IV)∈Ω}进行区分。Py算法[1]是eSTREAM工程的候选算法之一,它是同步流密码算法,包含1300Byte的内部状态,每一步输出8Byte,将其作为2个32比特字来加密明文。Py算法是eSTREAM工程中软件实现最快的候选算法之一。文献[2]定义了事件L(给定的6...
(本文共2页)
阅读全文>>