PBSV-DDM在电大尺寸柱体电磁散射中的应用

提出了一种高效率的基于部分基础解向量的区域分解算法(PBSV DDM).它首先求出关于连接边界上节点的部分基础解向量,在迭代过程中,只需要对部分基础解向量作简单的线性组合就可以获得整个求解区域的最终解,极大地提高了计算效率,降低了存储量.PBSV DDM不但适合于快速高效地计算任意电大尺寸柱体的电磁散射,还特别适合于求解具有几何重复性特征的结构,如天线阵列、有限周期频率选择表面、PBG EBG等的电磁仿真问题.数值算例验证了该方法的准确性和有效性.     

线性离散动力系统的稳定性判定准则

首先对不可约矩阵A的模等于谱半径的特征值的分布情况给出了说明,用其证明文献[2]中定理2将变得十分简单,然后给出了系统(1)渐近稳定的充要条件.     

海口地区高校校园鸟类比较

2010-2011年,采用样点调查法,每月1次,对海南海口地区的3所高校海南大学、海南师范大学和海南医学院校园内的麻雀（Passer montanus）和其他鸟类进行了调查.结果显示,3所高校校园内的麻雀以海南大学最常见和最多（12只/km2）,海南医学院也有一些分布（5只/km2）,但海南师范大学校园没有发现麻雀.3所高校的优势鸟种均为暗绿绣眼鸟（Zosterps japoni cus）、白头鹎（Pycnonotus sinensis）和鹊鸲（Copsychus saularis）.麻雀作为与人共居的鸟类,广泛分布于中国各地乡村和城镇,尤其每个城市的高校校园鸟类调查中均以麻雀为优势鸟种.在海口地区的3所高校校园,麻雀均不是优势鸟种,这也说明海南岛麻雀稀少、局部地区甚至消失的事实.而在海南岛有麻雀分布的背景下,海南师范大学校园没有发现麻雀活动这一现象实属罕见,其原因有待进一步调查.     

机载视频中的仪表读数自动判读

针对某机型记录的飞行参数存在较大误差的现象,基于特定图像细化和Hough变换对机载视频中航空仪表的读数进行图像自动判读.实验表明判读稳健有效,可用于飞参的对照分析和自动校正.     

基于MAPC-RISR的MIMO雷达距离——角度二维超分辨率成像算法

MIMO雷达作为一种新型的雷达体制,其成像兼具实时性和高分辨率的特点,为了充分发挥MIMO雷达在成像方面的优势,提出一种高分辨率的MIMO雷达成像算法.首先将MIMO雷达成像过程分为距离向脉冲压缩和方位向聚焦成像两个过程,采用多波形自适应脉冲压缩技术(MAPC)实现距离向脉冲压缩和发射波形分离,然后在MIMO雷达虚拟阵列端利用超分辨率空间谱估计方法(RISR)进行方位向聚焦成像,得到了观测区域的距离—角度二维高分辨率的成像结果.理论分析表明,与已有的MIMO雷达自适应成像算法相比,所提方法降低了算法复杂度,提高了运算效率.仿真实验验证了所提MIMO雷达成像算法的有效性与优越性.     

穆勒的算术哲学

穆勒的算术哲学包含两个方面的内容:一方面是对先天论几何观和唯名论算术现的批判;另一方面是对数的性质和数的形成方式的阐明.尽管这种算术哲学通常被认为具有一种极端的或狭隘的经验主义特征而受到弗雷格和胡塞尔等人的严厉批判,但这些批判本身也都面临着各自的困难,而这使得穆勒的算术哲学至今都不能被彻底抛弃.     

人工智能:统治人类还是服务人类?——基于历史唯物主义的思考

人工智能引起了社会各界的高度关注,并正在广泛而深刻地影响着社会生活.人们在享受人工智能带来的好处和便利的同时,也对人工智能的风险产生了巨大的担忧.人工智能究竟会统治人类还是服务人类?历史唯物主义为这个问题提供了一个独特的思考视角.从历史唯物主义的视角看,人工智能的本质是人的本质力量的对象化,是人类实践活动的成果.人工智...     

区间套定理及其应用

给出了套定理一种 证明方法,并将区间套定理的条件强化或弱化,得到与之相应的若干定理,使区间套定理得到推广,同时还进上步讨论了区间套０定理在实际中的应用。