RB模型实例集上置信传播算法的收敛性

置信传播算法求解RB（k,n,α,r_c,p）模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础的信息传播算法,对置信传播算法的收敛性分析是其他信息传播算法收敛性分析的重要基础.在RB（k,n,α,r_c,p）模型中,取k=2,α>（1/k）,r_c>0均为常数,且满足ke^{-（α/（r_c））}≥1.证明了如果p∈（0,n^-2α）,则置信传播算法在RB（k,n,α,r_c,p）模型产生的随机实例集上高概率收敛.最后,在RB（k,n,α,r_c,p）模型上选取了几组不同的数据进行数值模拟,实验结果表明该结论有效.当问题规模n增大时,在RB（k,n,α,r_c,p）模型的可满足区域,实验收敛区间趋于一个固定范围,而理论收敛区间逐渐变窄.原因在于,RB（k,n,α,r_c,p）模型是一个具有增长定义域的随机CSP实例产生模型,不协调赋值的数目与参数p及问题规模n有关.     

2020年第2期目次

图 学 学 报 Tuxue Xuebao  第 41 卷  第 2 期 (总第 150 期)  2020 年 4 月                                                                            目  次 计算机图形学与虚拟现实 真实感水力侵蚀地形建模与绘制 ············································ 郑顾平, 张  萌, 邵绪强, 伍朝辉 (169) DPC：基于增强现实儿童绘本的多视角评估框架 ··············································· 侯文军, 唐力行 (178) 一种基于螺旋摘要的监控视频可视分析系统 ····························· 姜红涛, 陈晓华, 石  玥, 马翠霞 (187) 基于卷积神经网络的蜡染染色模拟 ···································································· 黎  智, 徐  丹 (196) 基于 SEM 的交互式公共导识系统体验设计研究  ····························································· 胡  珊, 蒋  旭, 符凯杰, 周明煜, 罗亦鸣, 乔忠林 (204) 基于深度学习的个性化对话内容生成方法 ···················· 王  豪, 郭  斌, 郝少阳, 张秋韵, 於志文 (210) 基于 BCI 的虚拟现实模拟驾驶教学系统设计 ·········································· 滕  健, 黄佳慧, 宫  凯 (217) 一种面向无人机视频的多尺度摘要的设计与实现 ·································· 杨大慎, 陈科圻, 马翠霞 (224) 污水处理厂虚拟现实教学软件开发及应用 ················· 邱远航, 孙贤波, 刘勇弟, 蔡正清, 徐宏勇 (233) 基于贪心策略的多结点并行光线跟踪负载均衡算法 ····· 刘云彪, 陈纯毅, 胡小娟, 邢琦玮, 杨华民 (237) 基于安德森加速的快速 B 样条拟合算法 ·························································· 秦文杰, 张举勇 (246) 图像处理与计算机视觉 局部二值描述子的研究进展综述 ······················································· 边后琴, 张皓霖, 黄福珍 (254) 基于 CNN 的彩色图像引导的深度图像超分辨率重建 ················· 王紫薇, 邓慧萍, 向  森, 杨建帆 (262) 基于模板替换的室内场景建模方法研究 ········· 张肇轩,王诚斌, 杨  鑫, 朴星霖, 王鹏杰, 尹宝才 (270) 基于 ResNeXt 的人体动作识别 ··········································· 蒋圣南, 陈恩庆, 郑铭耀, 段建康 (277) 数字化设计与制造 猪皮对球形弹丸阻滞作用的仿真研究 ··································· 汤成莉, 刘苏苏, 杨玉萍, 房佳恒 (283) 拉伸载荷下钢芯铝绞线的力学特性仿真分析 ·············· 周昕恺, 瞿  畅, 刘苏苏, 姚建南, 汪晶晶 (288) 几何要素误差传递关系图的建立方法 ···························································· 杨灵锋, 吴玉光 (295) 建筑与城市信息模型 基于属性相似性度量的 BIM 构件聚类 ······················ 王万齐, 马宝睿, 李  倩, 卢文龙, 刘玉身 (304) 基于图论的建筑机电设备逻辑关系自动提取方法 ································· 璟许 琳, 高  尚, 余芳强 (313) 工程图学 土木工程计算机绘图教学改革研究与实践 ·········································· 杨万理, 王  宁, 王广俊 (319)       期刊基本参数：CN 10-1034/T * 1980 * b * 16 * 156 * zh * P * ¥30.00 * 400 *21* 2020–2     

2020年第1期目次

图 学 学 报 Tuxue Xuebao  第 41 卷  第 1 期 (总第 149 期)  2020 年 2 月                                                                                目  次 计算机图形学与虚拟现实 复杂开曲面的鲁棒布尔运算 ········································································ 刘凯正, 刘利刚   (1) 对称区域边界处理方法及基于表面粒子提取的表面张力计算 ················· 朱晓临, 张义群, 郭清伟  (10) 散乱数据拟合的自适应分片逆尺度空间算法 ··················································· 钟轶君, 李崇君  (18) 基于 GAN 的树叶飘落模拟 ······························································· 冯乾泰, 杨  猛, 付  慧  (27) 基于物理的雾凇生长模拟算法 ············································ 李  晔, 杨  猛, 上官大堰, 杨  刚  (35) 高维数据聚类可视分析方法综述 ··········································· 章  蓉, 陈  谊, 张梦录, 孟可欣  (44) 基于 Leap Motion 的虚拟现实陶艺体验系统 ············· 林莹莹, 蔡睿凡, 朱雨真, 唐祥峻, 金小刚  (57) 图像处理与计算机视觉 基于低秩稀疏矩阵分解的非接触心率估计 ····························· 黄继风, 白国臣, 熊乃学, 魏建国  (66) 结合暗通道先验与 Hessian 正则项的图像去雾 ························ 高珠珠, 魏伟波, 潘振宽, 赵  慧  (73) 基于 CNN 的银行卡数字识别方法 ····················································· 李尚林, 王鲁达, 刘  东  (81) 基于离散余弦变换基函数迭代的人脸图像识别 ···································· 于万波, 王香香, 王大庆  (88) 多阶段优化的小目标聚焦检测 ············································· 周立旺, 潘天翔, 杨泽曦, 王  斌  (93) 一种改进 FCN 的肝脏肿瘤 CT 图像分割方法  ···························································· 段  杰, 崔志明, 沈  艺, 冯  威, 吴宏杰, 冯雨晴 (100) 基于改进分段铰链变换的人体重建技术 ·················· 张小蒙, 方贤勇, 汪粼波, 田利利, 孙有为 (108) 数字化设计与制造 求解包含复杂关联约束的 JSSP 的二级嵌套混合算法 ······································ 罗亚波, 余晗琳 (116) 一种基于线性反馈移位寄存器的轻量级强 PUF 设计 ·················· 侯  申, 郭  阳, 李  暾, 李少青 (125) 工业设计 基于实验分析与数值模拟技术的产品概念设计方法 ················ 李天赠, 黄红梅, 陈家静, 赖春敏 (132) 基于参数化逆向建模的踝足矫形器设计 ···················· 张芳兰, 陈瑞营, 邵  帅, 张俊瑶, 冀文嘉 (141) 建筑与城市信息模型 BIM 和 GIS 的空间语义数据集成方法及应用研究 ············································ 翟晓卉, 史健勇 (148) 工程图学 教师视角下的课程有效教学质量保障策略 ················ 张秀芬, 蔚  刚, 胡志勇, 薛俊芳, 骞绍华 (158) 新工科背景下工程图学课程改革研究 ················································· 栾英艳, 王  迎, 何  蕊 (164)       期刊基本参数：CN 10-1034/T * 1980 * b * 16 * 168 * zh * P * ¥30.00 * 400 *21* 2020–1     

排序的相互k-Skyband查询算法

不同于传统的k-Skyband 查询方法,提出一种相互k-Skyband 查询(MkSB),它从对称角度执行Skyline查询,找出所有既在q的动态k-Skyband(DkSB)中又在q的反向k-Skyband(RkSB)中的数据对象.进一步地,为了更好地支持用户决策和数据分析,排序操作被引入到MkSB算法中.因为MkSB 需要执行q的DkSB 和反向RkSB,故它需要遍历索引多次,从而导致了大量冗余的I/O 开销.利用信息重用技术和若干有效的修剪方法,MkSB 将多次的索引搜索合并成单次,极大地降低了I/O访问次数.同时,证明了基于窗口查询的MkSB(WMkSB)算法具有最低的I/O 代价.在真实与合成数据集上的实验结果表明,所提出的算法是有效的且明显胜过基于BBS 的算法,尤其WMkSB 算法具有极少的I/O 开销,通常能够减少95%以上的冗余I/O.     

具有平衡点漂移的非线性系统参数H∞ 控制

针对具有参数不确定性的非线性系统, 研究其参数H_∞ 控制问题. 首先, 当外界扰动输入为零时, 利用非线 性代数方程给出非线性系统平衡点存在区域; 然后, 当外界扰动输入不为零时, 设计状态控制器, 通过Lyapunov 函数 法, 推导出使闭环系统参数稳定且满足H_∞ 性能指标的充分条件. 仿真结果表明, 所设计的H_∞ 控制器能有效地稳定 非线性系统, 并且具有一定的H_∞ 性能指标.

     

SP-上阶梯知识挖掘及状态识别算法

单向S_p-粗集中,具有属性集α的知识[x]（R-元素等价类[x]）具有这样的特征：若α内被补充属性,则[x]内的元素个数被减少。利用这一特征,考虑属性补充的随机性,给出S_p-上阶梯知识,S_p-上阶梯知识的依信度生成,S_p-上阶梯知识属性依赖的原理,给出S_p-上阶梯知识的属性依赖挖掘定理,S_p-上阶梯知识的状态识别算法。     

有Mate-Pairs的个体单体型MSR问题的参数化算法

个体单体型MSR(minimum SNP removal)问题是指如何利用个体的基因测序片断数据去掉最少的SNP(single-nucleotide polymorphisms)位点,以确定该个体单体型的计算问题.对此问题,Bafna等人提出了时间复杂度为O(2^kn²m)的算法,其中,m为DNA片断总数,n为SNP位点总数,k为片断中洞(片断中的空值位点)的个数.由于一个Mate-Pair片段中洞的个数可以达到100,因此,在片段数据中有Mate-Pair的情况下,Bafna的算法通常是不可行的.根据片段数据的特点提出了一个时间复杂度为O((n-1)(k₁-1)k₂2^2h+(k₁+1)^2h+nk₂+mk₁)的新算法,其中,k₁为一个片断覆盖的最大SNP位点数(不大于n),k₂为覆盖同一SNP位点的片段的最大数(通常不大于19),h为覆盖同一SNP位点且在该位点取空值的片断的最大数(不大于k₂).该算法的时间复杂度与片断中洞的个数的最大值k没有直接的关系,在有Mate-Pair片断数据的情况下仍然能够有效地进行计算,具有良好的可扩展性和较高的实用价值.     

多值Łukasiewicz逻辑公式的范式表示和计数问题

将符号化计算树逻辑中的Shannon展开式做了推广,在n值Łukasiewicz逻辑系统Łn中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值Łukasiewicz逻辑系统Łn中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.     

参数不确定的供应链传递函数H∞保成本计算与分析

针对参数不确定的供应链传递函数系统,提出基于H_∞保成本计算的订货策略优选方法.首先,通过遗传算法(GA)和线性矩阵不等式(LMI)相结合的H_∞保成本计算,搜寻参数不确定的传递函数H_∞范数;然后,根据传递函数H_∞范数的大小,比较其对于扰动抑制的能力,确定供应链订货策略的选择;最后,对参数不确定的补货系统和基于生产控制系统的库存和订货系统两类供应链进行了仿真,并进行了最优订货策略的选择与分析.

     

基于DS-Adaboost算法的人脸检测

针对连续Adaboost算法中平滑因子选取的不足,提出了一种动态选取平滑因子的DS-Adaboost算法,该算法对弱分类器输出中的平滑因子ε进行了动态选取,根据W^j₊₁W^j－1比值的大小动态地选择平滑因子,当W^j₊₁W^j－1>1时,ε_j=W^j₊₁,当0j₊₁W^j－1<1时,ε_j=W^j－1。实验表明,DS-Adaboost算法能较好地起到平滑的作用,使得落在同一个区间里面的正样本和负样本的比例都在可以比拟的范围内。     

基于混合光场描述符的三维目标检索研究

针对三维目标（3D object）检索问题,提出了一种基于新型描述符的3D目标检索方法。首先,在分析现行基于视图的3D模型描述符在描述方法上不充分的基础上,提出了混合描述符H_D的总体思路。进而讨论了H_D总体框架,即在光场图像阵列自适应的基础上,实现了直方图颜色描述符H_CD,shock图形状描述符H_SD及贝叶斯网络（Bayesian Network,BN）纹理描述符H_TD的优化组合。其次,讨论了H_D各部分的具体实现及度量机制,最后,对H_D检索性能进行了实验分析,结果表明提出的方法是优于其他基于视图的检索方法。     

网络经济如何治理——关于新经济调控机制的思考

AT&amp;T把政府搞被动了,把世界搞糊涂了。 10月25日,美国电话电报公司(AT&amp;T)正式宣布分拆公司业务的计划,拟在2002年将公司分拆成4家独立上市公司:AT&amp;TWireless(流动电话业务)、AT&amp;TBroadband(有线电视业务)、AT&amp;TConsumer(消费者长途电话业务)、AT&amp;TBussiness(企业客户电讯业务)。 表面上看起来,情况很简单:AT&amp;T要把无利可图的长话业务与有利可图的互联网业务分开,以取悦于股东。但看一看AT&amp;T的历史,就会发现问题没有那么简单。从历史上看,AT&amp;T想合的时候,政府要它分;AT&amp;T想分的时候,政府却要它合。这次也不例外。FCC主席威廉&#183;肯拉得发表讲话说:“现在有超过6000万人在使用AT&amp;T的长途电话业务,我会同AT&amp;     

基于连续故障模型的Ｄｅｌｔａ算子系统可靠鲁棒H∞ 控制

研究具有执行器故障的Ｄｅｌｔａ算子线性不确定系统的可靠鲁棒H_∞ 问题．设计控制器,确保在执行器发生故障时闭环系统仍能保持鲁棒稳定,且满足给定的H_∞ 指标．针对执行器连续故障模型,运用线性矩阵不等式方法,得到Ｄｅｌｔａ算子系统α-次优可靠鲁棒H_∞ 状态反馈控制器的存在条件和设计方法,并进一步给出了Ｄｅｌｔａ算子系统最优可靠鲁棒H_∞ 控制器的设计方法．数值算例表明,该设计方法是有效而可行的．

     

P-集合的信度特征

利用P-集合的结构,给出属性迁移的信度特征：属性集α的内P-集合信度特征,属性集α的外P-集合信度特征,利用这些结果,给出内P-集合的信度特征,外P-集合的信度特征,提出内P-集合的随机结构与随机定理,外P-集合的随机结构。普通集合的结构是P-集合的随机结构的特例,P-集合的随机结构是普通集合结构的一般形式。     

基于opencv的单目视觉测量系统的研究

_{介绍一种基于机器视觉的测量工件宽度的新方法,在开源计算机视觉库OpenCV的支持下,设计并实现一种对工件宽度进行动态实时测量的系统。为了降低其它光的影响,在CCD镜头下面固定一块红光滤光片,系统通过采集经红光线激光器投射的工件图像,对图像进行二值化、截取感兴趣区域、轮廓提取等处理,最后实现工件宽度的自动测量。对不同尺寸的工件进行了自动测量实验,实验结果表明,采用的测量方法在实际工件测量中是可用的,整个测量过程用时在100ms左右,最大相对误差不超过1.5%。}     

任意阶参数连续的形状可调过渡曲线

目的 针对现有研究未能给出可以使过渡曲线在端点处与被过渡曲线之间达到C^k（k为任意自然数）连续的多项式势函数统一表达式的问题展开研究,以期用简单有效的方式解决这一问题。方法 从过渡曲线的方程出发,借助莱布尼兹公式得出其k阶导矢表达式,根据预设的连续性目标,反推出可使过渡曲线在端点处达到C^k连续的势函数需满足的基本条件。由这些基本条件中所含条件的数量,以及对势函数、过渡曲线的其他期望所对应的条件个数的总量,确定多项式势函数的次数,将势函数表达成相同次数的Bernstein基函数的线性组合,组合系数待定。由势函数需满足的基本条件、其他预期条件,以及Bernstein基函数在端点处的函数值、导数值等信息,得出关于待定系数的方程组。解该方程组,得出满足所有预期目标,并含一个自由参数的多项式势函数的统一表达式。结果 势函数中存在两个参数k和λ,k用于控制过渡曲线与被过渡曲线在端点处的连续阶,在k取定以后,λ可用于控制过渡曲线与被过渡曲线的贴近程度。势函数具有对称性、中点性、有界性,分析了当k固定时,势函数关于变量t和参数λ的单调性,分析了使势函数图形只存在唯一拐点时,自由参数的取值范围。由该势函数构造的过渡曲线,取一般参数时在端点处可达C^k连续,取特殊参数时可达C^k+1连续。分析了过渡曲线的形状特征,当k取定时,λ的值越大,过渡曲线越贴近被过渡曲线。结论 实验数据验证了理论分析结果的正确性,同时直观显示了所给方法的有效性。     

Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质

本文首先对n值Goguen命题逻辑进行公理化扩张,Goguen_~,△,记为Π_~,△.利用公式的诱导函数给出公式在k（k任取~或△）连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了Π_~,△中Γ-k真度的MP规则、HS规则等相关性质;最后,在Π_~,△中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.     

施耐德－电梯专用变频器ATV71－Lift

特点： &#183;可快速静态自学习磁极角度,省却客户吊轿箱的烦恼; &#183;无需称重补偿即可达到满意的舒适度,节约客户购买和维修的成本; &#183;两路模拟量输入,可实现直接停靠,提高电梯工作效率; &#183;驱动同步和异步电机的变频器软,硬件完全相同,利于客户调试和备货;     

k-Median近似计算复杂度与局部搜索近似算法分析

k-Median问题的近似算法研究一直是计算机科学工作者关注的焦点,现有研究结果大多是关于欧式空间和Metric空间的,一般距离空间k-Median的结果多年来一直未见.考虑一般距离空间k-Median问题,设d_max/d_min表示k-Median实例中与客户点邻接的最长边长比最短边长的最大者.首先证明d_max/d_min≤ω+ε的k-Median问题不存在近似度小于1+ω-1/e的多项式时间近似算法,除非,由此推出Metric k-Median问题不可近似到1+2/e,除非NP(∈)DTME(N^{O(log logn)}).然后给出k-Median问题的一个局部搜索算法,分析表明,若有d_max/d_min≤ω,则算法的近似度为1+ω-1/2.该结果亦适用于Metric k-Median,ω≤5时,局部搜索算法求解Metric k-Median的近似度为3,好于现有结果3+2/P.通过计算机实验,进一步研究了k-Median局部搜索求解算法的实际计算效果和该算法的改进方法.     

P2-Packing问题参数算法的改进

P₂-Packing问题是一个典型的NP难问题.目前这个问题的最好结果是时间复杂度为O^*(2^5.301k)的参数算法,其核的大小为15k.通过对P₂-packing问题的结构作进一步分析,提出了改进的核心化算法,得到大小为7k的核,并在此基础上提出了一种时间复杂度为O^*(2^4.142k)的参数算法,大幅度改进了目前文献中的最好结果.