一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

基于知识图谱的智能信息推荐模型构建仿真

网络大数据之间独立性较强,导致信息推荐难度较大,无法满足用户个性化要求.提出基于知识图谱的智能信息推荐模型.扩展与改进单元模型,设计领域知识模型,并动态更新知识图谱,设计学习者模型架构.利用牛顿-拉夫逊迭代法求取认知水平,界定信息推荐达成度,实现最优路径的智能信息推荐.仿真结果证明,所构建的模型信息推荐路径更优,且推荐...     

n值命题逻辑中公式列的收敛性

在[n]值[R0]命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。     

板带钢表面质量实时监测体系研究

板带钢市场竞争的日益激烈,传统的检测方法正逐渐退出应用舞台,更稳定高效表的面检测解决方案成为国内外钢铁企业的找寻目标.针对实际应用的需要,从表面缺陷采集系统,缺陷处理和识别系统、质量智能评价与推理系统等3个方面首次系统地阐述了板带钢表面质量实时监测体系,以期推动目前我国板带钢表面缺陷的在线监测研究水平.     

板书书写能力智能测评平台的研究与设计

以流媒体硬件平台为基础,以师范生板书设计与书写能力培养理论和要求为依据,文中基于ASP.NET技术设计实现集学生板书训练测试的自动管理、老师在线和离线点评、老师和学生以及学生之间点评互动、学生针对训练和测试结果进行反思等功能为一体的板书书写能力智能测评平台。该平台的应用为师范生提供了高效、便捷的板书练习及测评方法,满足师范类院校学生进行教师基本技能训练、评价的现实需求;使测评不受时间和空间的限制,从而极大地提高了师范生的板书学习效率和效果。     

一种P2P流媒体内容分发过程中节点间的合作机制

本文针对目前大部分已经投入到实际应用中的Peer-to-Peer(P2P)流媒体技术都假设系统中的节点是相互合作的,因此如果系统中存在自私节点系统性能则会受到影响的问题,结合信誉系统和在线节点行为监控方法设计了一种新的节点间合作机制。模拟结果显示该机制能迫使系统中的自私节点参与合作,从而使系统中各节点接收到的流服务质量得到较大提高。该机制可以应用和集成到现有的流媒体解决方案中。     

基于支持度理论的广义Modus Ponens问题的最优解

为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.     

基于网格技术的全国社会保险网络系统联网的研究

社会保险业务涉及劳动保障、民政、财政、税务、金融、公安等多个部门,需要实现跨地区、跨部门之间的高效、协同工作;网格(Grid) 作为建立在互联网之上的新一代基础设施,近年来在国内外引起了广泛关注。通过网格技术整合社保信息的各种资源,研究全国社会保险网络系统联网的实现。     

支持依赖修复的热部署技术

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。为了解决这个问题,介绍一种支持依赖修复的热部署技术。在首次部署应用的各模块时,用该技术建立模块之间的依赖关系。而在其更新时,通过查找依赖关系,找出受到更新影响的模块,修复依赖并进行局部的热部署,避免重启应用服务器的代价。最后通过实验表明,该热部署技术可以保证依赖注入下的应用正确性;在实际工程应用的场景下,该技术也能够大幅度提升应用服务器的性能和运行效率。     

基于ARM-COTEX A9的物品检测系统设计

伴随着RFID技术的发展,其应用于物联网的场景更加多样。ARM-COTEX A9具有处理速度快,支持安卓系统,从而可以实现基于安卓系统的设计开发。文章以ARM-COTEX A9为硬件平台,以安卓操作系统为基础,设计出物品检测系统。