String theory,Einstein, and the identity of physics: Theory assessment in absence of the empirical

String theorists are certain that they are practicing physicists. Yet, some of their recent critics deny this. This paper argues that this conflict is really about who holds authority in making rational judgment in theoretical physics. At bottom, the conflict centers on the question: who is a proper physicist? To illustrate and understand the differing opinions about proper practice and identity, we discuss different appreciations of epistemic virtues and explanation among string theorists and their critics, and how these have been sourced in accounts of Einstein's biography. Just as Einstein is claimed by both sides, historiography offers examples of both successful and unsuccessful non-empirical science. History of science also teaches that times of conflict are often times of innovation, in which novel scholarly identities may come into being. At the same time, since the contributions of Thomas Kuhn historians have developed a critical attitude towards formal attempts and methodological recipes for epistemic demarcation and justification of scientific practice. These are now, however, being considered in the debate on non-empirical physics.     

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

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

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

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

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

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

激光快速成型TC4合金显微组织及力学性能

采用金相显微镜、扫描电镜、电子拉伸机等，研究了激光快速成型TC4合金沉积态在平行沉积方向和垂直沉积方向的组织和力学性能.结果表明:激光快速成型TC4合金沉积态宏观组织沿沉积方向生长的粗大β柱状晶呈明暗相间的条带状结构，具备典型的魏氏组织特征;垂直沉积方向的强度比平行沉积方向的强度高，但塑性低;合金断口为韧窝状断口，垂直沉积方向的断口韧窝尺寸比平行沉积方向的小.     

四-对羟基苯基卟啉的自组装及光电特性

利用X射线光电子能谱(XPS)测试5,10,15,20-四-(对羟基苯基)卟啉单体和5,10,15,20-四-(对羟基苯基)卟啉自组装二聚体,并通过化学模拟得到卟啉自组装二聚体分子的最优构象.结果表明:两种卟啉化合物中氧原子的类型不同;在单体卟啉中未检测到瞬态表面光电压信号,卟啉自组装二聚体表现出较好的瞬态表面光伏特性;卟啉自组装二聚体的光限幅性质优于卟啉1单体.     

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

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

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

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

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

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

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

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