Markov逻辑网在重复数据删除中的应用

为了解决和突破现阶段重复数据删除方法大多只能针对特定领域,孤立地解决问题的某个方面所带来的不足和局限,提出了基于Markov逻辑网的统计关系学习方法。该方法可以通过计算一个世界的概率分布来为推理服务,从而可将重复数据删除问题形式化。具体采用了判别式训练的学习算法和MC-SAT推理算法,并详细阐述了如何用少量的谓词公式来描述重复数据删除问题中不同方面的本质特征,将Markov逻辑表示的各方面组合起来形成各种模型。实验结果表明基于Markov逻辑网的重复数据删除方法不但可以涵盖经典的Fellegi-Sunter模型,还可以取得比传统的基于聚类算法和基于相似度计算的方法更好的效果,从而为Markov逻辑网解决实际问题提供了有效途径。     

一种互认证密码协议的设计和分析

为在不安全的网络中建立安全的通信，提出了一种用于网络管理互认证的具有较高效率的密码协议，介绍了该密码协议的相关设计背景。总结了若干关于密码协议设计的原则，通过运用经过补充的BAN逻辑对该协议进行形式化分析，并通过计算机对该协议的握手协议过程进行仿真。仿真结果表明，在被加密协议参数相同的条件下，该协议减少了系统开销，提高了协议效率。     

基于多属性分块决策的 5G 切换算法

为了解决5G异构网络在切换过程中单一处理切换参数的片面性问题,提出了一种适用于5G的新的切换算法,该算法基于多属性分块决策（modular multi-attribute decision making,M-MADM）理论,把切换参数分为2个模块,采用TOPSIS与层析分析相结合的方法选择最优网络QoS（network QoS,NQ）模块,其次利用模糊逻辑得到用户偏好（user preference,UP）模块,再对最终满意度（degree of satisfaction,DS）模块作一次模糊处理,选择最优结果执行切换。仿真结果表明,M-MADM算法与传统算法相比,可减少时延,降低切换失败率,并能快速准确地切换至最优网络,提高用户满意度。     

开放科学及建构的制度逻辑

科学与技术是两种不同的制度模式,前者属于科学共和国"Republic of Science",后者属于技术王国"Realm of Technology",两者具有天生的互补性。开放科学作为一种非市场化的激励制度,提出一套基于优先权的报酬体制,强调在知识产权保护前提下追求创新知识社会福利的最大化,对于催生高质量的研究和创新(Research&Innovation)至关重要。本文在阐述开放科学起源、发展与理论内涵的基础上,重点从公共资助、累积创新、知识产权保护和知识分工四个方面,深入探究了开放科学建构的制度逻辑。     

试论针对词语关系的类比推理

公务员应该具备良好的逻辑推理能力，逻辑推理有多种，而针对词语关系的类比推理是其中较为重要的一种。测试这种推理能力的题型大致有两种：一组完整词语和两组缺省词语。词语之间的关系可能体现在逻辑层面，也可能体现在语言层面，还可能体现在常识对应层面。解题技法主要有遣词造句法和纵横对比法。     

Vizrt在电视新闻类节目中的技术研发的探索与实践——Vizrt二次开发具体案例分析

Vizrt系统是一个比较开放的平台，具备优秀的设计制作功能，同时具有较为强大的二次开发扩展空间。本人通过近两年的经验积累，总结了一些对Vizrt进行二次开发进而提高制作效率、智能化操作流程、提升交互特性、解决系统故障、优化播控流程、扩展软件功能等方面的基本方法。鉴于目前在行业内对Vizrt二次开发方面进行探讨的资料并不多见，本人把相关程序思路与应用效果展示给同行业内人士，希望可以抛砖引玉，与诸位同行交流进步。     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

“比兴”走向“感兴修辞”的“内在理路”

中国传统文论中的＂比兴＂是一个富有包孕性和可阐释性的核心范畴,对其认识人们经历了由原初两种各不相同的诗体到诗歌表现手法和诗的特征等几个阶段,并进而发展为诗歌发生、创作、本体、接受和批评等各种＂比兴＂思想或观念。王一川提出的＂感兴修辞＂理论其实就是中国古代文论＂比兴＂理论在其＂内在理路＂上的发展与当今后现代语境下个体化理解的创造性出场。     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。