Loet Leydesdorff与科学计量学

运用引文分析和信息可视化等计量学方法,通过对信息计量学家雷迭斯多夫(Loet Leydesdorff)学术成果的了解,从发表时间、相关学科、发表出版物等多个方面进行了定量分析,阐述了其在信息计量学、信息科学、社会学等多学科的科学成果,并讨论了雷迭斯多夫的科学影响力及影响范围。可以看出,作为2003年普赖斯奖获得者,雷迭斯多夫在多学科都具有较高的造诣,尤其信息计量学和科学计量学等方面具有广泛的国际影响力。

见微知著:一位优秀科学计量学家采用的研究方法之分类编码分析

研究方法是学科体系的重要组成部分,具有系统的、有效的科学研究方法是一门学科成熟的标志之一。图书情报学一直重视研究方法的丰富与创新。本文对科学计量学家莱兹多夫发表的231篇学术论文中的研究主题和研究方法进行了分类编码分析。研究结果将有助于了解本学科研究方法应用的主题场景、类型及趋势。最后讨论了莱兹多夫的研究方法应用经验所带来的启示。

追根溯源:优秀科学计量学家引用的重要文献识别及引用内容特征研究

具体分析优秀科学家在学术论文中所引用文献的内容特征,可以客观反映其掌握科学知识的深度和广度,也可以揭示其研究的学术背景、科学依据与演进脉络。本文利用引文出版年光谱和引用内容分析方法,识别了莱兹多夫教授在269篇学术论文中引用的不同时期重要文献。研究结果将有助于了解他的学术思想根源及对科学计量学发展的贡献。最后讨论了莱兹多夫教授的引用行为所带来的启示。

基于事件逻辑的PUFs认证协议形式化分析

提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.