Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).     

双辊薄带连铸温度场与凝固组织数值模拟研究

为了解决薄带连铸工业生产线调试过程中断带、铸带鼓包等问题,提高薄带连铸凝固组织表面质量,基于ProCAST有限元软件,建立双辊薄带连铸工艺的非稳态模型,对Q195凝固过程的温度场及凝固组织进行模拟,采用单一变量法,研究不同工艺参数,包括浇铸温度、拉坯速度、换热系数及熔池高度对凝固过程温度场与凝固组织的影响规律。结果表明,现有工况条件Q195钢双辊薄带连铸过程中在最优参数为浇铸温度1 590℃、拉坯速度为1.0 m/s、换热系数为2 000 W/(m²·K)、熔池高度为188 mm时,能够有效防止鼓包和断带,细化晶粒,提高薄带坯的质量。研究薄带凝固过程中的温度场、凝固组织及应力场的变化规律,对提高带材质量、推动薄带铸轧工艺国产化具有重要意义。     

对一个梅森素数分布猜想的质疑

梅森素数分布研究是数学中的一大难题。从目前已知的梅森素数出发,通过数据分析指出:猜想"梅森素数的指数p所形成的二阶差分序列按5项一组来划分,每组中都有3项非负值与2项负值"是错误的。     

梅森素数研究综述

梅森素数是数论研究中的一项重要内容,也是当今科学探索的热点和难点之一。本文介绍了梅森素数的概念、理论及算法;回顾了梅森素数的研究历史;介绍了由梅森素数引发的课题以及搜索梅森素数的分布计算技术;评述了梅森素数分布研究的成果;同时也对梅森素数研究的前景进行了展望。     

壁厚对厚壁圆筒的极限载荷的影响

应用双剪统一强度理论，同时考虑材料的拉压异性和同性，推导了在内压和轴力联合作用下的厚壁圆筒的极限载荷表达式，并且绘制了不同相对壁厚的极限载荷线图以及相对壁厚对相对极限载荷的影响曲线，不同的极限载荷线图说明了在厚壁圆筒处于屈服极限状态下，随着相对壁厚的变化，相对载荷变化的规律，相对壁厚对极限载荷影响曲线反映了相对壁厚对处于屈服极限状态下，受到不同的内压力和轴向力作用的厚壁圆筒的影响程度。     

关于《双生子佯谬的一个新模型》中的若干问题

本文对文献《双生子佯谬的一个新模型》的一些观点、计算过程和相关结论提出了异见,指出文献的论述中所提的“通常文献中出现的矛盾”实际上是不存在的。我们不应把这些文献中由不同假定的前提所得出的不同结论看作是矛盾。     

基于非平衡数据处理的管道泄漏检测与定位研究

针对管道运行状态数据的非平衡性会造成管道泄漏诊断准确率下降的问题,提出了一种基于非平衡数据的管道泄漏检测与定位方法.首先,将管道各工况非平衡数据采用基于K均值聚类的欠采样方法处理,使其达到数据平衡.然后,将Fischer-Burmeister函数引入到双支持向量机学习过程中,以避免目标函数求解时矩阵的求逆计算,并将平衡数据作为改进双支持向量机算法的输入,识别管道泄漏.采用相关分析法实现泄漏点定位.根据Flowmaster搭建的管道模型,运用该方法识别管道泄漏.仿真实验表明,与经典双支持向量机和拉格朗日双支持向量机相比,该方法能更快速识别管道泄漏孔径及定位.     

La1-xSrxMnO3体系中Mn3O4微孪晶表征

La1 xSrxMnO3(LSMO)锰氧化物由于具有显著的庞磁电阻效应而被广泛关注,但少量Mn3O4杂质相会破坏其磁电阻效应.采用透射电子显微术及其相关分析方法,系统表征了杂质相Mn3O4中的微孪晶结构,并分析其形成机制.研究发现,在具有锐钛矿结构的Mn3O4中,微孪晶的孪晶面为(112)面,且孪晶面附近含有少量Sr原子;孪晶面出现几率与Sr原子含量之间的关系表明,孪晶的形成归因于少量Sr原子降低了孪晶界面形成能,这有助于推测出从锐钛矿向钙钛矿发生结构演化的一般规律.     

两相区退火温度对高铝低硅TRIP 钢组织性能的影响

对高铝低硅TRIP钢进行两相区退火,通过分析退火后实验钢的微观结构和力学性能,建立了加工硬化指数与相组成的关系,探讨了残余奥氏体稳定性对力学性能的影响.结果表明,随着两相区退火温度的升高,实验钢中贝氏体含量逐渐降低,残余奥氏体含量先增大后降低,并在930℃退火时达到最大.随着两相区退火温度的升高,实验钢的抗拉强度逐渐降低,延伸率先增大后降低,930℃退火时抗拉强度为665MPa,延伸率达到最大,为30%,强塑积约为20GPa·%.EBSD统计和拉伸试验的结果表明,两相区退火温度为930℃时,残余奥氏体稳定性适中,从而在拉伸过程中不断地提供加工硬化,推迟颈缩的发生,大幅度提高塑性.     

四类基于支持向量机的多类分类器的性能比较

本文通过UCI数据库中的五个数据集,从分类准确性和运行时间两个方面,比较了四类基于支持向量机的多类分类器——多类支持向量机(MSVM),多元双生支持向量机(MTSVM),多生支持向量机(MBSVM)以及多元支持向量分类回归机(MSVCR)的性能.实验结果表明,MTSVM和MBSVM比MSVM和MSVCR更有效.