Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

大学生弱势群体的认知误区及对策探析

由于认知存在误区,大学生弱势群体的情绪和行为多表现为消极负面.通过对大学生弱势群体认知误区的梳理和分析,引导他们学会运用马克思主义的立场、观点和方法分析问题,引导他们树立科学的世界观、人生观和价值观,从而使他们走出认知误区,摆脱弱势,促进他们自身的发展和社会的和谐.     

大学生弱势群体的认知误区及对策探析

由于认知存在误区,大学生弱势群体的情绪和行为多表现为消极负面。通过对大学生弱势群体认知误区的梳理和分析,引导他们学会运用马克思主义的立场、观点和方法分析问题,引导他们树立科学的世界观、人生观和价值观,从而使他们走出认知误区,摆脱弱势,促进他们自身的发展和社会的和谐。     

一种基于LTCC技术多层带通滤波器的仿真设计

文章从耦合矩阵出发,用发夹型谐振器实现了一种多层LTCC三级带通滤波器的结构,并通过将电磁场数值计算与电路结构仿真相结合,引入了一个适合于多级LTCC带通滤波器的设计方法。在利用电磁场仿真软件对滤波器中的谐振器及其耦合结构做出详细分析的基础上,得到三级切比雪夫响应带通滤波器;进一步在谐振器之间引入源耦合,在阻带位置中产生传输零点,从而增大传输零点附近的衰减。     

一种基于视频序列的运动目标检测方法

文章提出了利用帧差分法和背景差分法结合块匹配对运动目标进行检测的方法,该方法实现简单、速度快。块匹配方法的引入有效地抑制了光照变化和背景扰动的影响,提高了整个系统的自适应性。实验证明,该方法能够满足运动目标的实时检测要求。     

一种新的基于椭圆曲线的代理签名方案

数字签名和消息加密是信息安全的关键之一。文中利用椭圆曲线密码体制的高可靠性和短密钥等良好特性,提出一种指定接收者恢复消息的代理签名方案,并进行安全性和性能分析。该方案不需要使用专门的安全传输通道及分发代理签名密钥,而且将签名和加密较好地结合起来,可应用于电子现金和移动电子商务等场合。     

一种基于症候模式匹配的FDIR方法

作为航天器平台的重要设备,综合电子产品的作用显得越来越重要。文章在介绍FDIR方法的发展和内涵的同时,从FDIR技术的各个角度进行了详细的阐述。同时提出了症候模式匹配的方法,给出了该方法的流程和应用的例子,并分别从应用效果、占用资源、可实现性等角度进行了分析,最后展望了其应用前景。     

基于WebGIS的卫星观测计划编制系统

用户在制定卫星观测计划时,需要知道卫星的星下点位置以及遥感器对地扫描区域的信息。通常这些信息是以数值描述的形式发给用户的,不够直观。本文介绍了一种基于WebGIS的卫星观测计划编制系统,介绍了WebGIS在计划编制系统中的应用,并从系统设计、功能、利用WebGIS进行计划策略判断方案等方面进行了深入讨论。     

基于Matlab语言的系统可靠性仿真

Matlab是一种高性能数值计算语言 ,本文用Matlab语言编制系统可靠性仿真程序 ,并给出了具体实例。此方法比其他方法简单有效 ,可适用于复杂系统。     

基于ADS仿真的锁相环设计与实现

文章利用MAX2620构造宽带可调VCO并用ADS建模进行参数优化,在此基础上与MB15E03频率合成芯片构造锁相环,并利用ADS对暂态响应和相位噪声性能进行分析,在仿真分析的基础上建立实际的锁相环电路。     

一种基于多模分布的SAR图像分割算法

SAR图像目标、背景、阴影的不同散射机理使得这三部分具有不同的统计特性.分析SAR图像三部分统计性质分别建立统计模型,并给出了一种基于这三种模型组合的多模分布的SAR图像分割算法,对于目标分割和阴影分割分别采用不同的预处理方法,分别提出了快速Otsu分割算法分割目标和基于背景均值保留的冲击滤波算法分割阴影.分割结果表明,这种基于多模分布的SAR图像分割算法与传统的基于单模分割算法相比,能最佳地利用各部分统计特性的差异,得到准确的分割结果.     

一种基于滑动库的多模自适应控制方法

针对系统参数跳变时常规自适应控制闭环系统暂态响应差的问题,论文提出了一种基于滑动库的多模自适应控制方法。该控制器由多个参数已知的固定模型,一个自适应模型和一个滑动模型库构成。固定模型由被控对象在特定环境下的特征模型直接映射获得,其参数和其邻域一起覆盖被控对象的参数集;自适应模型对被控对象进行在线参数辨识,其参数被用来动态更新固定模型库;滑动模型库根据当前的工作点从固定模型库中选择离工作点较近的部分模型参与控制,优化控制模型集,减少计算量。仿真实验的结果表明了该方法的有效性。     

一种基于模板匹配的目标识别方法

在基于模板的目标识别方法中,模板的精度是一个关键问题。由于合成孔径雷达成像机理的原因,在SAR图像中会出现迎坡缩短、顶底倒置和遮挡等现象。因此,SAR图像中的目标形状与一般光学图像中的不同。在进行模板匹配的过程中,其模板也会有相应的变化。针对该问题提出一种目标识别方法,使用新的模板生成方式,即利用OpenGL技术并根据特定目标模型生成符合SAR图像特征的目标模板,这是一种基于模型的识别方法。使用MSTAR提供的数据对该方法进行验证,试验结果证明了方法的有效性。     

基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon Virtual Register，基于虚拟寄存器的控制流检测）对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器，然后基于这些虚拟寄存器添加特定的控制流28．7％的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误，所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31．3％的存储代价，而对于控制流错误检测率平均为97．1％，优于目前已存在的各种方法，能够提高航天软件容错能力和可靠性。     

一种基于速度倾角的闭路制导方法

通过分析固定速度倾角时,需要速度求解的特点,结合闭路制导的基本原理和过程,提出了一种基于速度倾角的闭路制导方法.详细分析了运用此方法时需要速度的确定方法、导引信号求解和闭路制导的计算步骤.仿真结果证明,所提出的闭路制导方法能够有效的简化需要速度计算和导引过程,精度也较高,其在工程应用上具有较好的前景.     

一种基于TOA算法的UWB定位系统方案

定位系统在一定程度上决定了定位的精确度和定位算法的复杂程度,文章给出了一种基于TOA技术的UWB室内定位系统方案,该方案具有算法灵活、结构简单和实时性强等优点,并简化了传统的Chan定位算法,提高了定位的总体精确度。     

一种基于数据融合的加速度传感器的静态模型辨识方法

通过对现有加速度传感器静态模型参数辨识方法进行分析,指出传统的算术平均值法在实现加速度传感器静态模型参数辨识中存在的缺陷,提出了数据融合方法,并对其进行了讨论。数据融合方法是将来自同一目标的多源数据加以智能化合成,从而产生比单一数据源更精确更完全的估计和判决。通过分析表明,采用数据融合方法进行参数辨识得到的参数的离散度小于传统的算术平均值法所求参数的离散度,使模型参数的精度有明显提高。因此数据融合方法优于传统的算术平均值法,特别适合于加速度传感器静态模型参数的辨识。该方法的提出为控制系统的实时补偿提供了良好的条件。     

基于FPGA技术的GPS卫星数字中频信号模拟器设计

高精度的卫星信号模拟器是高动态GPS卫星信号接收机设计的重要辅助工具。本文在对GPS仿真技术理论分析的基础上,提出了一种基于FPGA技术的硬件设计方案,与通常的设计方法相比,这种GPS卫星信号模拟器具有逼真性、可编程性强、易于使用的特点,为GPS接收机的设计提供了必要的支持。     

一种基于二次组阵的DOA估计方法

提出一种基于二次组阵的信号到达方向估计方法,在阵列中通过划分相互重叠的子阵对指定的空间区域进行空域滤波波束设计实现对空间信号的干扰抑制,提高期望信号的信干噪比。根据子阵间的位置关系对阵列进行二次组阵,用空间谱估计方法实现对各子阵输出期望信号的到达方向（DOA）估计。仿真结果表明：与常规谱估计方法相比,基于二次组阵的DO...