《延安大学学报(自然科学版)》2015—2019年文献计量统计分析

为进一步提高《延安大学学报(自然科学版)》的办刊质量和学术水平,以《延安大学学报(自然科学版)》2015—2019年刊发的论文为数据源,运用文献计量的方法,对其载文量、基金论文、核心作者、载文的学科分布及引文量5个方面进行统计分析.结果表明:近年来《延安大学学报(自然科学版)》载文量有下降趋势;基金论文率有所提高;拥有...     

有限域F2n上一类二项式的密码学性质

研究了有限域F2n上一类二次函数F(x)=(x22t+1+x2t+1)的密码学性质,其中gcd(n,t)=1.基于有限域上线性化多项式和二次型的理论,确定了F(x)的差分谱,并计算其非线性度.特别地,当n为奇数时,计算出了它的Walsh谱.作为应用,利用F(x)构造了两类线性码,并确定了它们的重量分布.     

拟可微约束优化的次线性Lagrange乘子法则

约束拟可微优化的Lagrange乘子型最优性条件．往往与某些特殊对象（超梯度,方向）的选取有关．这是拟可傲优化的核心问题之一,应用凸紧集与次线性函数的Minkowski对偶．利用次线性泛函产生的非线性Lagrange函数．对于具有有限个等式和不等式约束的拟可微优化,给出了一个与特殊对象选取无关的次线性的Lagrange乘子法则,推广了已有的结果．     

利用扫描电镜分析砍创性骨外伤的研究

在大型显微镜下,对锐器（单刃刀）和钝器（短柄斧）形成的骨外伤的微观形态进行了分析研究．结果表明：通过特征识别骨外伤的砍切痕迹,往往误差较大,某些肉眼看不见的三维特征通过微观分析可以清晰地识别．着重强调扫描电镜（SEM）在骨外伤鉴定中,具有重要的使用价值．     

几类有关次对角型矩阵逆的求法

给出了几类有关次对角矩阵是否可逆的判定及逆矩阵的简便求法．     

基于特征值反问题下的图像修复

图像的分割与修复是图像识别技术的关键所在。图像数据在计算机中以矩阵的形式存在,结合特征值反问题对缺损图像所生成的缺损矩阵进行修复。首先提出两类新的特征值反问题,提供唯一解证明的方法;其次将问题的解法应用于缺失图像的修复并分析图像修复的效果。     

含Nb多元微合金钢的应变诱导析出行为

利用松弛法,在Gleeble-1500热模拟机上测定了多元微合金钢的应力弛豫曲线,并采用萃取复型技术跟踪了析出物的长大过程。实验结果表明：应力弛豫曲线分为三个阶段,分别对应析出的形核、长大和粗化：在850℃变形后等温弛豫60-200s时,应变诱导析出颗粒的尺寸仍然小于10nm,析出相为复杂的（Nb,Ti,Mo）（C,N）。     

科技工作者建议

第十届全国人民代表大会第五次会议交付教科文卫委员会审议的代表提出的议案共131件,涉及57项立法项目(要求制定法律或决定的39项,要求修改法律的18项),突出反映了代表们为促进我国科技发展、提升自主创新能力的愿望和要求。为了让科技工作者了解代表们的建议,本刊对部分提案内容进行了整理(摘自《第十届全国人民代表大会第五次会议代表提出的议案、建议目录汇编》,简称《汇编》),以飨读者。     

基于捷联惯导系统/差分全球定位系统的航空重力测量技术

地球重力场资源对促进大地测量学、空间科学、地球物理学、地球动力学、海洋学、资源勘探以及现代军事学的发展具有重要作用。在阐述了航空重力测量基本原理基础上,详细分析了基于捷联惯导系统的航空重力测量原理及其关键技术,以及我国航空重力测量技术发展的技术基础。     

一类非线性Schr(o)dinger方程组Cauchy问题的爆破解

运用能量方法证明了如下非线性Schr(o)dinger方程组Cauchy问题{iut=△u+|v|2u,x∈Rn,t＞0,iut=△v+|u|2v,x∈Rn,t＞0,u(x,0)=ψ(x),v(x,0)=ψ(x)存在有限时间T,使得当t→T-时|| gradu(t)|| L2(Rn)+|| gradv(t)|| L2(Rn)=+∞.