ARM指令中合法立即数的判断方法

ARM指令集指令数量多且在不断地扩展,对数量众多的ARM指令进行了合理分类,介绍了ARM指令的两种格式,重点分析了ARM数据处理类指令的第2操作数的编码格式;对于第2操作数是立即数的指令（立即数寻址指令）,提出了一种判断合法立即数的方法,并对一些情况下立即数寻址指令中如涉及不合法立即数,ARM汇编器无法编译该条指令的问题,给出了有效的解决方法。     

加权源伪抛物型方程解的爆破时间的上下界

研究了一类带加权源的伪抛物型方程的爆破现象，得到了这类问题解的爆破时间的上下界估计.     

广义Fermat数与伪素数

设m是正整数,b是正偶数,Gm=bbm+1。本文运用初等的方法证明了:i)Gm必为素数或者底为b的伪素数;ii)对于适合m1<m2<…<mk的正整数m1,m2,…,mk,乘积Gm1Gm2…Gmk是底为b的伪素数的充要条件是mk≤bm1-1。     

一类伪不变凸极值问题解集的刻画

有研究对可微的无约束伪不变凸极值问题的解集进行了刻画。本文在此基础上,在广义不变凸性假设下,利用广义Clarke梯度和Lagrange乘子研究了一类不可微的带约束的伪不变凸极值问题的一些性质。首先在广义Clarke梯度的基础上,给出了此类带约束的非可微伪不变凸极值问题的一些性质;然后在一定条件下证明了此类问题的可行集和最优解集是不变凸的;最后利用广义Clarke梯度和Lagrange乘子得到了最优解集的一些等价刻画。
     

基于阈值的平板探测器增益校正方法

为了更好地提高平板探测器在齿科CT中采集图像的质量,去除由于探测器制造缺陷等因素而导致的CT重建切片中的条状和环状伪影,提出了一种基于阈值的平板探测器增益校正方法.利用采集的相同放射条件下的空气数据,通过归一化方法计算得到增益系数矩阵.考虑到物体对射线的衰减性,先通过阈值区分出图像的不同部分,然后根据增益系数矩阵和阈值判断结果,对图像的每个像素逐一进行校正.实验结果表明:在校正后的图像中,由于探测器制造缺陷等因素所引起的重建切片中的大量条纹以及环状伪影被有效地清除,且未出现新引入的条纹,重建切片的图像质量得到明显改善.     

利用伪速度方法压制浅海鬼波

采用基于用传统方法获取的海上单分量地震资料, 估算出同一位置速度的垂直分量(伪速度), 再与单分量压力数据联合, 达到压制鬼波的目的。将稀疏约束的反卷积方法作为鬼波压制的关键环节, 使得在浅海环境下, 由海水表面引起的检波器端上、下行波干涉产生的陷波问题得到改善, 同时低频能量得到增强, 提高了数据的分辨率。该方法可用于海上单分量压力数据的再处理, 拓宽数据的频带范围。     

重庆市伪叶甲亚科5新纪录种记述

近年来笔者所在研究团队对重庆市昆虫进一步的区系调查和分类研究发现了重庆市5个伪叶甲亚科新纪录种,分别是紫蓝角伪叶甲(Cerogira janthini pennis(Fairmaire,1886))、齿角伪叶甲(Cerogria odontocera(Fairmaire,1886))、蓝背绿伪叶甲(Chlorophila cyaneaPic,1915)、崇安外伪叶甲(Exostira schroederi Borchmann,1936)、莫氏台湾伪叶甲(Taiwanola gria merkli Masumoto,1988)。研究了采自其他省份的伪叶甲亚科标本,发现其中2种也是其他一些省份的新纪录种。本文对这5个重庆新纪录种作了详细描述,提供了整体图及雄性阳茎图,更新了这5种的地理分布。本文的记述对于伪叶甲亚科昆虫的系统分类和生物地理学研究具有一定的科学意义。
     

具有平行平均曲率向量的伪脐子流形

研究局部对称空间中具有平行平均曲率向量的n+p维伪脐子流形,得到这类子流形关于第2基本形式模长的平方σ和Ricci曲率的一个拼挤定理。     

新年,你好

<正>新年,2014年,你好!新年是一匹骏马,得意地甩起头,踩着全面深化改革的步伐,踏着365个节拍,"嗒嗒"地奔到祥和的春光里。新年是一间驿站,提供舒适的房间,盛满虔诚的祝福和美好的愿望,供疲惫的身心暂时休憩。新年,永远是崭新的开始。对于小朋友,每一个新年都是一次大跨步。走进新年,一切都是新景象:新目标、新课本、新思维、新机会、新行动、新气象……五彩缤纷的"新"扑面而来。     

追寻极光的舞步

<正>极光(aurora)是常常出现于纬度靠近地磁极地区上空大气中的彩色发光现象,被称为"欧若拉女神的舞蹈"。它究竟是怎样发生和变化的?对于没有亲身体验过极光的人常常会有这样的疑问。在201 3年国庆节期间,笔者有幸带领一支由二十余名天文爱好者组成的极光观测团队,前往加拿大的黄刀镇去追随那"欧若拉女神的舞步"。