高校图书馆服务与MOOC融合发展研究

介绍了MOOC的基本概念及其发展情况，探讨了MOOC时代高校图书馆的角色定位，分析了MOOC时代高校图书馆的独特优势，指出高校图书馆只有与MOOC融合发展，才能适应信息化社会的需要。     

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

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

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

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

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

西部大开发与生态建设的关系

西部大开发是我国第三代领导集体为经济社会可持续发展和现代化建设目标全面实现而作出的重大战略部署,而生态环境的建设是实施西部大开发战略的根本和切入点,也是西部开发应考虑和解决的先决条件之一.     

Banach空间的K一致光滑性

对Banach空间给出了一种K一致光滑性的概念。证明了它与K一致凸性具有对偶性。同时还给出Banach空间成为K一致光滑空间的一个定量形式的充分条件．     

“信誉商品”哪里来?——中原大化集团公司改革与发展纪实

<正> 中原大化集团公司建于1987年9月,1990年5月投产。自建成投产以来,外部经营环境不断变化,企业面临的形势日益严峻。但公司与时俱进,开拓创新,不断深化企业改革,加快产品结构调整步伐,以承包经营、产权制度改革、完善法人治理结构、实行三项制度改革、全力开展合资合作,等等,使企业增强了适应市场的能力,出现了船大也好调头的喜人局面,促使国有资产不断增值,产品由原来单一的尿素发展到拥有双氧水、三聚氰胺、复合肥等多     

中国要不要"大科学"项目?

"大科学"项目是指国家投入巨大、有关方面认为意义重大的科学项目.一般说来,大科学项目的投入在1亿元人民币以上,需要动用大量人力.但关于某个大科学项目的意义是否重大,科学界常存在争议.时下,在一些学术网站的论坛上,一场关于中国有无必要进行"大科学"项目的论争"烽火"依然没有"熄灭".