n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

eID与RFID技术对比分析

1引言随着智能ODN的不断发展,越来越多的设备商加大对智能ODN的研究和投入。智能ODN的核心是采用电子标签取代纸件标签进行链路信息的自动读取,所以电子标签的性能成为产品基础。主流标签技术包括二维码、RFID（RadioFrequency ID）及eID（electronic ID）等。从目前的相关讨论和实际应用来看,二维码技术相比传统的标签方式在ODN资源信息准确性和录入效率方面改善有限,目前业界争论的焦点主要集中在RFID及eID,以下基于项目实践和测试,对这两种标签技术进行剖析。     

5d电子掺杂的SmFe_(1-x)Ir_xAsO铁基超导体的合成及物性

通过在SmFeAsO中Fe位上掺入5d过渡金属Ir,得到了一种新的铁基超导体SmFe1-xIrxAsO,当x=0.05时,样品表现出超导电性,超导转变温度为8K,当x=0.15时,超导转变温度达到最大值17.3K.X射线衍射结果表明所有样品均属四方ZrCuSiAs-type结构,SEM结果表明SmFe1-xIrxAsO样品具有片层状形貌特征.随着Ir掺杂量的增大,晶格参数a增大而c减小,结合EDX数据,表明Ir掺入了SmFeAsO晶格当中.     

GdFeAsO_(1-x)F_x超导体的制备及其超导电性

通过先制备一种纳米尺寸的GdF3作为GdFeAsO1-xFx样品中F的反应原料,在相对较低的温度(1120℃)下成功制备出一系列GdFeAsO1-xFx(x=0,0.05,0.1,0.15,0.2,0.25)多晶样品.X射线衍射结果表明,超导样品属四方ZrCuSiAs-type结构,晶格参数随着掺F量的增加而减小.扫描电子显微镜测试结果表明,样品具有片层状晶体形貌特征.当掺F量x=0.1时,样品表现出超导电性,超导转变温度为22K,随着掺F量的增多,超导转变温度升高.和其他制备方法相比,这种制备方法更有利于F的掺入,而且可有效减少样品中杂质相的含量.     

利用磁谱仪研究原子核的β衰变

在原子核β衰变费米理论的基础上,利用近代物理实验中的磁谱仪测量了90Sr-90Y β放射源的动量分布,进而研究它的库里厄(Kurie)图.结合β衰变容许跃迁和禁戒跃迁的库里厄图特征,对实验数据进行了形状因子S1的改正,得到的数据能和90Sr-90Yβ放射源的跃迁性质、原子核能级自旋和宇称相吻合,有助于学生对原子核β衰变更深入的认识和进一步扩展近物实验的研究内容.     

逻辑系统L_3中公式的随机真度及近似推理

利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

基于互联网的全文搜索引擎模型

本文根据搜索引擎与信息获取的原理,提出了一种基于Internet的全文搜索引擎模型,该模型从技术上可以适用于任何有全文搜索需求的应用,并适于跨平台应用。模型采用数据库管理作业和多线程技术,从而使全文搜索的性能和效率得到了进一步的提高。     

莫让乱花迷人眼 iPone周边选秀

面对目前市场上层出不穷、林林总总的iPhone周边设备,你是否有一种乱花渐欲迷人眼的感觉,自己的采购计划也因此一再拖延。MI本期就为你解除这一困惑,通过给出我们的分类佳品推荐,助你心爱的苹累早日插上翅膀,自由地飞翔。     

Intransa安全备份架构防御数据的天灾人祸

继IBM、HP、EMC推出iSCSI磁盘阵列,iSCSI已经成为非常成熟的存储应用了。IPSAN作为SAN存储的新力量,带来了iSCSI技术的最新理念和产品。iSCSI不再是一半SCSI/FC,一半iSCSI的“半成品”,而是磁盘、存储控制器、主机全部采用高速以太网交换机连接的全交换IPSAN,实现了IPSAN性能和功能的飞跃。在备份应用中,IntransaIPSAN丰富的存储功能和强大的性能得到了充分的展示。Intransa融合存储、备份和容灾技术,共同在Intransa体系中构成了一个全新的安全备份存储平台。它具备以下两个特点。安全备份架构(D2D2D)。运用基于I…