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

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

奇型抛物问题的有限元误差估计

本文引入带权的 Sobolev 空间,讨论了奇型线性问题:(?)((?)u)/((?)t)-1/x~(?)(x~aa(x)u′)′=f(t,x) (x,t)∈1×J(?)/((?)x)u(t,0)=u(t,1)=0 t∈Ju(0,x)=φ(x) x∈I式中 I=(0,1),J=[0,T],0<α<3的有限元方法,并在适当条件下,给出了最佳估计:‖u_(?)-u‖_(0,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}‖u_(?)-u‖_(1,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}     

实现任意全极点有界实函数的低灵敏度SCF的状态空间法

1 引言 Leapfrog sCF具有低灵敏度特性。但在低通情况下,由于开关电容模拟输人电阻的近似性,使得Lcapfrog scF的灵敏度特性变差二。文献[2贻出了设计低灵敏度scF的状态空间法,描述了满足低灵敏度和零灵敏度的矩阵条件,·但未给出寻求满足一定条件的变换矩阵的系统方法。本文在文献口汹基础上,导出了具     

空间查询语言中拓扑关系的定义

拓扑关系是一种重要的空间关系,被广泛应用于空间查询和空间分析中。因此定义一个完备、互斥且可以嵌入到空间查询语言中的命名拓扑关系集合有着非常重要的意义。当前,对拓扑关系集合的定义还不能描述那些由点、线或面等不同维几何对象构成的复杂空间对象之间的拓扑关系。针对目前拓扑关系研究的不足,引入了混合几何对象的概念,基于OpenGISSQL规范(OpenGISSimpleFeaturesSpecificationforSQL),定义了一个拓扑关系集合:{disjoint,touches,within,crosses,overlaps,contains,equal}。它扩充了OpenGISSQL规范中拓扑关系的定义和范畴,具有完备性和互斥性,为空间查询语言中的拓扑关系的定义提供了一个统一的框架。     

军事信息系统中台建设

随着国防信息化建设的快速推进,大量军事信息系统被开发,在开发过程中产生了诸如数据不统一、不标准以及服务重复建设等问题,既浪费了大量的建设和维护资源,也导致技术难以得到沉淀,数据不能被充分利用.中台在大型企业的成功应用,包括在电子政务发展中的规划,以及美军的全球信息栅格与军事云建设,都在着力解决类似问题.本文认为,军事信...     

ABDARDSS中基于候选消除学习算法的知识推理

飞机战伤评估和修理的知识表示与推理机制,是建立飞机战伤评估与修理决策支持系统(ABDARDSS)需要解决的一个关键问题.采用一种候选消除算法来提取战伤评估与修理样本数据的变型空间,以变型空间实现战伤评估与修理决策支持系统中的知识表示和推理.对于ABDARDSS来说,候选消除学习算法是一种新的有效的知识推理方法.     

基于双基点模糊推理的智能系统评估方法

针对现有面向智能系统的智能化水平评估方法存在的粗粒度评估、泛用性差、不可解释等不足,提出一种基于深度双基点模糊推理的系统智能化水平评估方法。该方法提出一套通用的智能化水平评估指标体系,并基于该指标体系搭建深度双基点模型,该模型首先根据多个维度的细粒度指标生成初步综合评价,随后使用自适应模糊推理网络进行模糊计算,最终输出智能化水平。该模型采用定性评估与定量评估相结合的评估策略,融合专家知识和模糊推理方法,使得评估结果具有可解释性且模型具有较强的泛用性。针对不同的信息系统,基于所提出的智能化水平评估指标体系,使用相关数据及相关领域的专家知识进行实验验证,结果表明所提出的评估方法能够稳定地进行智能化水平评估,评估结果可解释且评估模型具有良好的泛用性。所提出方法能够为大数据及人工智能系统的智能化水平评估提供方法和参考。     

信息时代指挥控制方式综述

历代战争中,指挥控制(C2)都是重要的赋能手段。信息化战争时代,未来战场对C2方式提出了新的挑战。通过分析信息时代网络赋能指挥控制的特点,对C2功能和方式空间进行了研究,定义了信息时代5种C2方式原型,并对各方式原型目标和要求进行了详细辨析,分析了其成熟度水平和成熟度迁移模型,最后讨论了未来战场对C2的挑战。对于帮助作战人员分析当前C2领域存在的问题,明确当前和未来需要的指挥控制能力,提升各级指挥员指挥控制、近实时管理复杂动态不确定作战使命的能力,具有一定参考价值。     

主星带伴随微小卫星编队SAR系统的空间分辨率分析

根据主星带伴随微小卫星编队SAR系统的结构特点,建立了双站SAR系统的几何模型,然后推导分析了距离分辨率和方位向分辨率的解析表达式,最后仿真分析了以ENVISAT作为主星、"干涉车轮"的距离分辨率和方位向分辨率随主星到编队小卫星的距离、相对轨道高度的变化情况,并且与主星SAR的分辨率进行了比较。结果表明:(1)空间分辨率大小随波束入射角的变化基本上与主星一致;(2)空间分辨率随主星与伴随小卫星的距离增大而增大;(3)空间分辨率之差随微小卫星相对椭圆轨道短轴的增加而增加。     

漫谈中国建筑艺术的空间的“隔”

“隔”在艺术上是创造空间距离的一种手段。中国传统艺术的各个门类都十分讲求“隔”,诗词戏曲、书画建筑,莫不强化“隔”的效应。本文以视觉思维和格式塔心理学为出发点,探讨了“隔”在中国建筑艺术空间中的应用,在另一层面上反映了“距离产生美感”的审美意识及中国“天人合一”的自然观。