广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

基于SDTFM理论的平面问题广义超级单元

根据平面问题条形传递函数方法理论,提出了平面问题广义超级单元的概念,并推导了其刚度矩阵和结点力矢量表达式,从而将条形传递函数方法应用范围推广到任意几何形状的平面区域     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

一种基于统计参数映射融合独立成分分析的新的激活区探测方法

统计参数映射在某种程度上依赖于广义线性模型和高斯场理论。广义线性模型的缺陷在于这些假设不能很好地表示fMRI数据,并且脑活动分布模式和血液动力学模型也不能由广义线性模型回归方程来恰如其分地模拟。而独立成分分析不能够提供每一独立成分激活区的显著性估计,这使得实验者不能够很好地解释所获得的结果。提出一种将SPM和ICA技术进行融合的方法,此方法可以将ICA自身的某些优势和GLM的假设检验方法结合起来,互相取长补短。实验结果证明了这种方法在探测由运动任务所产生的激活区方面是有效的。     

沸腾阿克兰干

正阿克兰干(维吾尔语,意为寸草不生的不毛之地。)地处昆仑山北麓,被称为"死亡之海"的塔克拉玛干大沙漠南缘。10多年前,这里是一片连绵起伏的沙海。大风起处黄沙滚滚,遮天蔽日。如今,这里一座新兴的现代城镇拔地而起,幢幢新楼鳞次栉比,外观装饰现代时尚,楼宇之间,绿草和花卉相间,树木与亭台辉映,充分展现出兵团驻地的特色;这里道路宽阔笔直,四通八达;这里条田平整,林木茂盛,生态林纵横交织,形成网格,生态林是果木林的卫士,起到防风固沙,抑制地下水位上升的     

新冠疫情引发的动员思考

2020庚子年春节,突如其来的新冠肺炎疫情让中华大地瞬间凝结。在疫情面前,党中央、习主席发出最强音,全国军民闻令而动,齐心协力,快速形成了全面动员、全面部署、全面加强的疫情防控局面。但在这场与时间赛跑、与病魔较量的防控战中,我们也看到应急管理体系在处理急难险重任务中的能力不足、储备体系在储备效能上的短板、法治体系在公共卫生法治保障上的治理欠缺。国防动员系统担负国防动员建设的主责,我们要从这场没有硝烟的战争中得到启示和反思.坚决做到召之即来,来之能战,战之必胜。     

加强信息化建设管理人才培养

信息化建设管理人才,是胡主席强调要重点抓好的四类人才之一,是提高基于信息系统体系作战能力的重要智力支撑。怎样界定信息化建设管理人才的对象范围,应从广义和狭义两个层面来理解。广义上讲,在推进我军信息化建设实践过程中,     

机载MIMO雷达稳健非均匀样本选择方法

针对杂波训练样本中混入干扰目标,导致空时自适应处理技术的杂波抑制性能下降问题,提出一种基于目标知识进行局部稀疏恢复的稳健训练样本挑选方法。该方法利用先验知识确定待检测单元中的目标区域,对整个角度-多普勒平面进行遍历,获得稀疏超完备基。通过变换矩阵对超完备基中对应的目标区域进行"挖空"处理,局部稀疏恢复出超分辨的杂波空时谱,获得杂波协方差矩阵估计。结合广义内积算法,实现非均匀训练样本挑选的过程。与常规结合广义内积方法相比,该方法对于不同干扰强度的训练样本,均有良好的检测效果。经仿真验证,所提方法的检验统计量之间区分度更加明显,对于干扰样本的挑选更加彻底,从而有效地提高了空时自适应处理技术的目标检测性能。     

孔子论“勇”与践“勇”

“勇”是孔子思想体系的重要观念之一 ,寄托着孔子人格理想的重要内容。论述了孔子关于“勇”的人格观念的内涵 ,“勇”与“仁”及“礼”的关系 ,并对孔子身体力行把“勇”列为教育内容 ,培养和塑造弟子“勇”的道德人格的教育实践做了阐述。     

决堤放水灭晋军——话说“三家分晋”之战

春秋时期,群雄四起,争霸天下。韩国、魏国、赵国是在动乱中新出现的三个国家,受到了晋国的千般凌辱。为了摆脱势力较强的晋国的威胁和控制,以及保护各自的利益,几经曲折,三个后起国家的统治集团终于携手联合起来,共同打击晋国统治者,演出了一场震惊中国历史的“三家分晋”之战。这其中灭晋起决定作用的乃是决堤放水之策。