贝叶斯网络推理分析的团树传播算法——以停车行为分析为例

介绍了贝叶斯网络的基本概念及其推理模式和推理算法,重点进行了团树传播算法研究,应用Matlab软件的jtree_inf_engine模块实现了团树传播算法编程,并以停车行为分析的贝叶斯网络为例进行了预测、诊断、原因关联和混合4种推理分析,根据推理结果总结了城市居民的停车决策行为特征。研究结果表明,团树传播算法可用于贝叶斯网络未知参数的推理和变量间的关系学习。     

针织物热定型质量因素的团树传播

首先,通过研究针织物热定型过程的生产流程、机械构造,采集生产过程质量数据、工艺数据和设备状态,并分析质量数据异常的原因.然后,通过相关分析确定对热定型克质量有影响的各环节及其对应变量,建立质量因素分析拓扑结构.最后,将各变量纳入具有因果关联的网络结构中,采用基于团树传播算法的贝叶斯推理规则,利用团树间的信息传递计算出各变量对克质量的影响程度.结合某企业实例进行分析,结果表明:文中方法可实现热定型质量指标影响因素的精确定量分析.     

门槛图中的一些优化问题

门槛图是一类结构比较特殊的图,本文给出了它的一个标准表示形式,并在此基础上建立了一个好的算法来构造它的中心树。利用中心树的结构性质,用多项式时间算法解决了这类图的一些优化问题,包括最大团、最大独立子集问题,染色问题,最小边割集问题和哈密尔顿性问题。     

华中科技大学学报(自然科学版) 2017年 第45卷 总目次

将最大团求解算法融入到极大团枚举算法中,提出了两种带极大团下限的极大团枚举算法及多种预处理筛选策略,通过迭代将不可能包含在极大团中的部分点与边删除,使得搜索空间大幅减小.在搜索策略上,将求解最大团问题的贪心染色算法、增量MaxSAT推理算法与极大团枚举算法相融合,并结合最佳筛选策略,提出了染色-关键点融合算法BKFC(Bron-Kerbosch with filtering and coloring)和基于增量MaxSAT推理的枚举算法BKFS(Bron-Kerbosch with filtering and MaxSAT).结果表明:在多个大型算例上,BKFC算法平均时间仅为加入预处理的改进经典算法的68.8%;由于经典算法无法在大型算例上运行,在小数据测试中,BKFC算法平均时间仅为没有预处理策略的经典算法的2.2%.     

两大类树是幸福树的新证法

树T称为幸福树，如果存在用集合{0,1,…，|E(T)|}中的不同整数分配给它的顶点的一个标号l，使得由l'(e)=l(u) l(v)mod|E(T)|定义的导出边标号l'分配给各条边以不同的标号。本给出了证明两大类树是幸福树的一个新证法，并提出了任意龙虾树是幸福树的猜想。     

用于水电厂设备的故障诊断的贝叶斯网络模型

通过分析水电厂设备故障诊断所面临的不确定性等问题以及当前常用诊断方法存在的局限性,研究基于贝叶斯网络的设备故障诊断方法,提出了适合于诊断问题的贝叶斯网络结构并阐述了基于贝叶斯网络故障诊断的团树推理算法.该方法综合考虑了多故障、故障症兆模糊以及电厂设备操作之间有依赖关系等情况.通过丰满水电仿真系统中水机调速器故障诊断的应用实例,证实了该方法在信息不确定条件下进行诊断决策的有效性和准确性.     

关于递推团图直径的PRS-猜想

本文证明了存在一个图G 使得它的直径与其n-次团图K~n(G)的直径满足关系。diamK~n(G)=diamG n其中n≥1为整数,这就是所谓PRS-猜想。     

贝叶斯网络中基于联合树算法的学生模型更新方法研究

在已建立的覆盖型贝叶斯网络学生模型的基础上,用联合树算法来实现推理更新.通过建立Moral图、构造三角化图、区分团节点,然后将学生模型转化为联合树的结构,最后通过消息传递来完成整个学生模型的更新.     

探讨无标度网络(图)的平衡集

无标度网络的无标度性导致其各顶点之间的连接状况(度数)具有严重的不均匀分布性,无法给出无标度网络的具体结构,不能直接观察信息传播的具体路径。基于利用生成树来研究无标度网络(图)的拓扑结构思想,尝试寻找与时间和次要节点无关的无标度网络(图)的普适性结构,研究与生成树密切相关的平衡集,给出一个寻找具有较多叶子生成树的算法。     

女子蹦床“811团”动作生物力学分析

蹦床是一项运动员利用从蹦床反弹中表现杂技技巧的竞技运动,"811团"即团身后空翻两周转体360°(180°+180°),是女子蹦床运动中非常常见的动作,也是很重要的连接动作(以下简称811团)。主要采用文献资料法、三维影像解析法对蹦床"811团"动作进行运动生物力学分析,为改进"811团"动作提供科学的参考依据。     

区间图上的并行算法设计

对区间图上的图问题并行求解,给出两种算法设计方法,利用这两种方法,对最小团覆盖,最大团,最大独立集,最小支配集,Hamiltonian回路,最佳道路覆盖,最小带宽和Steiner树的计算问题,在EREW PRAM模型上给出O(logn)时间,使用O（n)处理器的高效并行算法。     

面向应用的复制服务器动态组播选路算法

在组播选路树的代价函数中计入组播成员加入/离开组播连接的概率,使得移动成员尽可能成为组播选路树的叶节点,并根据代价函数动态选择最小代价树,仿真结果表明,该算法将能保证网络资源得以有效利用。     

C60-C70混合团簇的基态结构及其融化行为

采用Girifalco势和遗传算法优化计算了(C60)13-n(C70)n(n=0～13)混合团簇的基态结构，结果表明，它们都是二十面体；应用标准的蒙特卡罗方法对(C60)2(C70)11混合团簇的融化行为进行了研究，结果显示，当T=801K时，团簇开始融化，经过一较长的温度区间才达到完全融化．     

似双星树Dn,p,p-7由它的Laplacian谱确定

两个大小不一定相等的星图由一条路连接而成的图叫做似双星树.利用同谱图的性质及图的特征值与图的顶点的度之间的关系,通过比较图的最大特征值的大小和反证法,证明了似双星树Dn,p,p-7(p>13)由它的Laplacian谱确定.     

基于B+树的XML数据查询处理

基于B 树,并借鉴XB树的特点设计一种XM L文档的索引方法.索引关键字分为元素关键值和XM L编码的范围.利用元素编码的范围查询,不必在整XM L文档中搜索,提高了查询效率.对于复杂分支查询,提出了拆分成简单查询路径的规则.在结构化连接问题上,提出了不仅要进行祖孙(父子)关系的连接,还要进行兄弟关系的判断,以得到正确的匹配结果.     

BO2团簇超卤素特性的实验和理论研究

超卤素团簇特殊的稳定性和物理化学性质使得它特别适合作为制造新型团簇组装型材料的基元.BO2团簇的电子亲和能达到了4.46eV,同时它的中性团簇差一个电子达到满壳层,具备了成为超卤素的条件.采用光电子能谱与密度泛函理论计算相结合的方法,研究了BO2与Na,Cu原子的相互作用,以及所形成的NaBO2团簇的水溶性.结果表明,在BO2与Na,Cu原子相互作用所形成的CuBO2和NaBO2团簇中,BO2仍然保持直线型结构并且表现出与卤素相似的性质,所形成团簇的电子特性也与卤盐类似.另一方面,NaBO2团簇的水溶性也与卤盐的溶解特性一致,刚开始以紧密离子对(CIP)形式存在,在结合了3个水分子以后,光电子能谱有了很明显的改变,对应着Na+与(OBO)-的溶剂隔离的离子对结构(SSIP)的出现.并且,在实验过程中,还出现了电子亲和能更大的Cu(BO2)2团簇(5.07eV),为了与超卤素相区别,我们定义其为长链二级超卤素,该团簇由3种元素组成,使得人们将其用于团簇组装型材料的制备过程时有了更大的自由度.     

可变树长混合小波和子树自量化分形视频编码

对可变树长混合小波和子树自量化分形视频编码方案进行了探讨。通过金字塔小波分解,每一视频序列帧被分解为多频率子带,将它们按一定方式组织成小波子树结构来表示视频序列的运动特性。对这些小波子树进行运动检测,分成运动树和非运动树两类。非运动树的编码直接、简单;运动树则采用可变树长混合小波和子树自量化方法来进行编码。实验结果表明:在低比特率情况下,文中所述的方案在PSNR(峰值信噪比)和主观质量两方面均可获得较好的性能     

基于因果图的一种近似推理算法

在因果图理论中,采用图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已经发展成了一个能够处理离散变量和连续变量的混合模型.但由于因果图的精确推理是NP难的,不能完全适应实际问题的需要,因此给出了一种近似推理算法,削减了因果图精确算法的步骤和需要的一些苛刻条件,使得计算的复杂度与事件的节点数同阶,并用具体例子说明了算法推理过程.     

2-树的计数公式

根据2-树的递归定义,利用组合计数原理,通过建立递推公式,得到了标号2-树的计数公式.     

基于半定量SDG模型的化工过程故障诊断

符号有向图(SDG)能够直观地反映系统的复杂因果关系,可以看出故障传播的路径,但是定性SDG故障诊断模型缺少变量之间的定量信息,推理过程中会产生虚假解,分辨率不高。该文针对SDG的不足,引入模糊隶属度,形成半定量SDG模型,即模糊SDG模型。采用反向推理和正向验证相结合的混合推理方法,并把结论编写为"If-Then"形式的知识规则,以便于利用专家系统对系统进行在线诊断。