国外图书馆科研支持服务研究

介绍了图书馆科研支持服务的背景,分析了国外图书馆科研支持服务的种类,举例说明了国外图书馆科研支持服务的具体实践.     

政府采购政策带动国内企业自主创新的积极性——兼述《关于实施〈国家中长期科学和技术发展规划纲要(2006—2020年)〉的若干配套政策》实施进展

政府采购是促进我国自主创新的一项重要政策o《国家中长期科学与技术发展规划纲要(2006—2020年)》(以下简称《纲要》)提出,要"实施促进自主创新的政府采购"。有关部委出台了多项实施细财和配套文件,形成了较完整的自主创新产品政府采购政策体系。地方政府也积极开展政府采购实践,较好地带动了国内企业自主创新的积极性。本文就《纲要》颁布以来,我国政府采购政策体系建设取得的进展与成效,以及领域专家提出的有关建议进行了综合报道。     

从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

刺山柑在吐鲁番地区维吾尔族民间药用价值研究

刺山柑(capparis spinosa L.)是全世界公认的民间药用植物,具有较高的药用价值.采用民族植物学的关键人物访谈法,对该物种在新疆吐鲁番地区维吾尔族民间的医药作用进行了调研.结果表明,刺山柑的叶、根、根皮、花、果实及种子在民间医药中的处方有3种单方和4种复方.其中的单用刺山柑能治疗风湿病、慢性关节炎及肩周炎;而刺山柑与14种植物混合用的4种复方能治疗11种疾病.初步揭示了刺山柑在吐鲁番维吾尔族的民间处方及医药作用,为新药品及保健品的开发提供理论资料.     

基于改进灰狼算法优化SVR的航天侦察装备效能评估

定量评估航天侦察装备效能是武器装备体系建设的重要环节之一, 对装备发展和作战应用具有重要的现实意义。针对评估样本数据少、效能在多指标因素影响下变化规律非线性等条件下的效能评估问题, 提出一种基于改进灰狼(improved grey wolf optimizer, IGWO)算法优化的支持向量回归机(support vector regression, SVR)评估方法(IGWO-SVR)。引入反向学习策略及余弦非线性收敛因子改进灰狼优化算法收敛性能及全局寻优能力, 并将其应用于基于支持SVR效能评估参数的优化。基于航天侦察装备特点, 构建评估指标体系及航天侦察装备效能评估模型。最后, 通过对一定作战想定背景下航天侦察装备效能进行仿真评估, 验证了所提方法的合理性及优化模型的有效性。     

外部治理环境与公司绩效:代理成本的中介效应

中国经济发展过程中存在区域发展不平衡现象,这种不平衡现象对公司绩效产生了重要影响。基于2003-2015年沪、深两市A股上市公司数据,以管理费用率度量上市公司管理层与股东间的第一类代理成本,以其他应收款占比度量上市公司控股股东与中小股东之间的第二类代理成本,采用多元回归和中介效应检验程序,实证检验了外部治理环境通过两类代理成本的中介作用对上市公司绩效影响的内在机理。研究结果表明,外部治理环境的提升能够显著的降低两类代理成本,进而提高上市公司的绩效,两类代理成本在外部治理环境影响公司绩效的过程中发挥显著的部分中介作用。     

我国股票市场行业间波动溢出效应研究——基于改进的EMD去噪方法

针对我国股市噪声交易能量较大、行业指数同步性较高的特点,提出改进的EMD(empirical mode decomposition,经验模态分解)去噪方法对行业数据进行处理,进而采用BEKK-GARCH模型分析金融危机前、金融危机期间、金融危机后三个阶段行业间波动溢出效应.研究表明,在降低股价同步性方面,改进的EMD去噪方法效果更佳;行业间波动溢出效应在金融危机期间显著上升,金融危机后回落;较之金融危机前,金融危机后传统制造业受产业链上游的波动溢出效应有所降低、受科研的波动溢出效应有增强的趋势.     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

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

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

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

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