基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

"Human Library"与图书馆知识服务的策略研究

"Human Library"作为一种全新的知识服务理念与服务模式,在图书馆知识服务方面具有鲜活、独特的优势.阐述了"Human Library"与图书馆知识服务的概念,提出了"Human Library"与图书馆知识服务的策略,包括加强宣传以提高社会认可、增进共识以促进合作共赢、完善制度以推进规范管理.     

图书馆大流通服务模式的特点及对策

随着图书馆服务模式不断升级，新型服务管理模式得到推广与使用，既方便了师生查阅文献资料，也降低了管理人员的工作难度。阐述了大流通服务的概念，分析了大流通服务模式的特点，提出了推进图书馆大流通服务的对策。     

2008—2012年《中华实用儿科临床杂志》载文文献计量分析

目的:分析《中华实用儿科临床杂志》近5年发展情况,为提高该刊质量提供参考依据. 方法:通过"中国生物医学文献数据库"收集该刊2008—2012年的文献题录,采用文献计量学方法,对文献的时间分布、单位分布、作者分布、作者合作情况、单位合作情况、高频关键词、高频主题词等指标进行统计分析. 结果:2008—2012年《中华实用儿科临床杂志》共载文3 459篇,单篇论文的长度在逐年增长;涉及作者13 870位,每篇论文作者平均数量大于4,每篇论文的平均合作单位数量多于1.45,关键词和主题词符合本刊的主题.2008—2010年被引的文献为1 131条,占期间总文献量的62%.结论:2008—2012年发表的论文选择更具有针对性,向着更为合理性的方向发展,研究方法也多采用定量分析方法,并且论文形式多样,文献被引次数越来越多.     

市级党校图书馆功能转变研究

为了更好应对信息技术发展带来的挑战，市级党校图书馆应明确功能定位，确定图书馆功能转变的路径方式，客观分析影响图书馆功能转变的不利因素，制定具体措施，实现市级党校图书馆的功能转变。     

论高校图书馆学科馆员个人素质和业务能力的提升

学科馆员是图书馆馆藏资源的重要载体,也是图书馆提供读者服务的关键。阐述了学科馆员的定义与内涵,介绍了学科馆员的工作内容,探讨了学科馆员个人素质和业务能力的提升空间。     

浅论高校图书馆的财务管理

结合工作实际,阐述了图书馆财务管理的基本内容及其重要性,探讨了图书馆财务工作的基本规范化管理,强调了加强馆内财务预算管理的问题.     

基于期刊阅读群划分的期刊服务探索——以北京青年政治学院图书馆为例

新媒体时代的到来,使图书馆传统的期刊服务面临着新的挑战。为更好地做好期刊服务,分析了期刊阅读群各自的特点,探讨了基于期刊阅读群划分的期刊服务,包括面向教学科研期刊阅读群的深层次服务、面向学生阶段性阅读群的引导型服务以及面向休闲浅阅读群的灵活性服务。     

基于社会资本视角的图书馆知识营销研究

社会资本对图书馆知识营销具有提供交易场域和情感支持、降低交易费用、提高抗风险能力、减少信息不对称等作用,但网络状况、信任程度、个体调用能力、社会结构稳定程度、意识形态类型、规范与惩罚程度等因素对资本积累具有重大的影响.从社会资本视角,探讨了社会资本理论在图书馆知识营销中的应用,并提出了应对各个影响因素的策略.     

基于ESI和InCites的学科发展预测研究--以中国地质大学为例

基于汤姆路透公司的ESI和InCites数据库，分析了中国地质大学各学科的特征，探讨了高被引论文、热门论文、顶尖论文与学科发展的关系，并预测后续最有可能入围ESI世界前1％的学科。