素超代数上交换映射

本文给出了一个素超代数上交换映射的结果.     

本刊入选RCCSE中国核心学术期刊(扩展版)

2011年5月,据武汉大学中国科学评价研究中心"关于第二届中国学术期刊评价结果"的通知,《信阳师范学院学报:自然科学版》在第二届中国学术期刊评价中被评为RCCSE中国核心学术期刊(扩展版).     

钢桥面板疲劳裂纹钻孔止裂分析及实验验证

对紧凑拉伸试样进行有限元分析,考察止裂孔边缘的应力分布情况,对比不同状况下裂纹尖端的力学特性,研究了孔径及附加孔对止裂效果的影响.结合钢桥面板局部模型实验,对开裂试件打孔止裂后进行疲劳实验,通过比较不同试件的疲劳寿命,对有限元分析结果进行了验证.分析和实验结果表明,经过止裂孔钻孔处理后,应力集中点位于试样预制裂纹直线延伸方向与止裂孔孔边缘相交处,相对于未打孔,裂纹尖端应力显著下降.裂纹尖端打孔止裂,能够提高构件疲劳寿命,且孔径越大,止裂效果越明显,孔径8mm以后,增大孔径所产生的止裂效果逐渐降低.不同孔径钻孔处理的疲劳试件,各阶段裂纹再次扩展速率相当,属于裂纹中速率扩展区,附加孔并没有影响裂纹扩展速率,但使疲劳寿命显著地提高.     

基于真实三维结构的玉米冠层生化参数垂直分布的定量化分析

为了定量研究作物生化参数在冠层中的垂直分布情况,本文以2000年栾城实验测量的玉米冠层自上而下不同叶位叶片的光谱数据为基础,利用PROSPECT模型进行反演,获得每层叶片的叶绿素(a b)含量、等效水厚度、干物质含量等叶片的生化参数.通过比较发现:玉米冠层叶绿素等含量生化参数具有明显的随高度垂直分层现象,最明显的就是叶片的叶绿素含量,最大和最小叶绿素含量的相对差值甚至可以达到最大值的79.1%.在此基础上,根据实测玉米冠层结构,利用扩展L系统生成玉米真实三维结构冠层场景.通过统计计算每层叶片的生化参数,进而得到冠层生化参数的垂直分布.这为进一步基于冠层光谱的参数反演和定量分析以及农业应用等研究奠定了理论基础.     

基于陀螺星光加激光交会雷达的相对姿态确定

针对编队飞行中从飞行器与主飞行器的相对姿态确定问题,提出了基于扩展卡尔曼滤波(EKF)的相对姿态确定方法. 采用修正罗德里格参数(MRPs)作为姿态描述参数避免奇异点. 姿态敏感器采用陀螺 星敏感器 激光交会雷达的配置模式,并且结合相对姿态动力学方程得到相对姿态确定的状态方程,建立起相对姿态确定的EKF模型. 仿真实例表明,EKF状态能在最慢300 s内收敛,MRPs的估计误差在10-5范围以内,该方法正确有效.     

基于双极性多脉冲的UWB调制方案及性能分析

针对普遍单脉冲位置调制的不足,在已有的UWB(Ultra-Wideband)脉冲位置调制研究基础上,提出了一种改进的双极性多脉冲位置调制(AMPPM:Ambipolar Multi-Pulse Position Modulation)的UWB跳时调制方案,并对其加性高斯白噪声(AWGN:Additive white Gaussian Noise)下的信道容量,最大可靠通信距离等性能指标进行了理论分析。理论分析及实验数值结果表明,在相同的条件下,与普通的单脉冲位置调制(PPM:Pulse Position Modulation)相比,AMPPM能获得较高的容量,即在给定可实现脉冲宽度下可获得更高的通信速率。仿真结果表明,当脉冲宽度为0.5 ns时,L进制AMPPM可达到333 Mbit/s的速率,而同等条件下的L进制PPM仅能达到167 Mbit/s的速率。同时AMPPM在最大可靠通信距离指标方面也较相应的PPM及脉冲幅度调制(PAM:Pulse Amplitude Modulation)有改善,在100 Mbit/s及10-4的误码率下可达到8 m的通信距离。     

典型场景下EKF-SLAM估计一致性分析

分析了典型场景下基于扩展卡尔曼滤波的同步定位和地图创建(EKF-SLAM)算法的估计一致性.通过理论分析证明了在移动机器人保持静止并持续对一个路标进行观测的场景下,如果机器人的初始位姿协方差矩阵为对角阵,则机器人位置估计的均值和协方差保持不变,而朝向估计将逐步失去一致性.此外,通过蒙特卡罗仿真给出了机器人朝向和路标估计下界的分布情况.结果表明,两者均服从正态分布,因此EKF-SLAM算法在概率意义下给出SLAM系统状态向量的无偏估计.     

语篇连贯的扩展——互文性与连贯的超语篇认知阐释

连贯是语篇分析的重要课题之一。从互文性角度对连贯现象进行重新审视,一方面,展示出了互文性与连贯的紧密联系,另一方面,更揭示了语篇连贯的实质,即语篇的连贯是与当前语篇相关的主客体在语篇交际中的认知整合性连贯,是超出单个语篇范围、诸因素间的理据性关系。连贯的互文分析法,能给研究语篇连贯提供一个新的视角。     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

变系数mKdV方程的椭圆函数周期解

通过引入一个波变换,将变系数mKdV方程约化为常微分方程.假设方程的系数满足特定的约束条件,借助符号计算软件Mathematica和扩展的F-展开函数法,在拟设法、齐次平衡原理和Jacobi椭圆函数展开法的基础上,求得了精确解的浓缩公式.利用第一类椭圆方程中P,Q,R的不同取值与相应的F(ξ)值之间的关系,从解的浓缩公式中,得到了丰富的显式精确解,特别是以两个不同的Jacobi椭圆函数表示的精确解.在极限的情况下,即当模疗m→1或m→0时,这些解退化为相应的类孤立波解和三角函数表示的精确解.该方法具有直接、简洁的特点,可以用来求解更多的在数学物理、自然科学和应用科学等领域出现的非线性偏微分方程的精确解.