自由飞行环境下碰撞风险研究

自由飞行是解决航路拥挤问题的一种有效方式,因此在自由飞行环境下对飞行碰撞风险进行研究显得尤为重要。提出了自由飞行环境下影响飞机定位误差的主要因素;以概率论为工具,建立了自由飞行环境下的碰撞风险评估模型;分别量化评估了各个主要因素对自由飞行环境下碰撞风险的实际影响度。得到的评估结果表明,碰撞风险模型能有效地对自由飞行环境下的碰撞风险进行评估,验证了模型的可行性。     

认知无线电网络中基于几何规划的分布式功率控制

功率控制对于允许次用户和主用户之间频谱共享的认知无线电网络来说是关键的,针对具有干扰限制的认知网络最大总容量得到一种最优的分步式功率控制策略,对于系统效用的非凸性,引入几何规划把非凸最优化问题转换为凸最优化问题,引入辅助变量和额外等式约束,把效用之间的关联转化为约束之间的关联,提出了功率控制策略的解决方法,显示了整体最...     

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.     

Learning to Reach to Locations Encoded from Imaging Displays

We examined the use of hand gestures while people solved spatial reasoning problem in which they had to infer motion from static diagrams (mental animation problems). In Experiment 1, participants were asked to think aloud while solving mental animation problems. They gestured on more than 90% of problems, and most gestures expressed information about the component motions that was not stated in words. Two further experiments examined whether the gestures functioned in the mechanical inference process, or whether they merely served functions of expressing or communicating the results of this process. In these experiments, we examined the effects of instructions to think aloud, restricting participants' hand motions, and secondary tasks on mental animation performance. Although participants who were instructed to think aloud gestured more than control groups, some gestures occurred even in control conditions. A concurrent spatial tapping task impaired performance on mechanical reasoning, whereas a simple tapping task and restricting hand motions did not. These results indicate that gestures are a natural way of expressing the results of mental animation processes and suggest that spatial working memory and premotor representations are involved in mental animation. They provide no direct evidence that gestures are functional in the thought process itself, but do not rule out a role for overt gestures in this type of spatial thinking.     

A Formalism Supplementing Cognitive Semantics Based on Mereology

ABSTRACT

This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM ₀) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informal analyses of Cognitive Semantics by formal models. Since Gestaltists have talked about Gestalts in terms of parts and wholes, it is a natural step to make use of mereological techniques.     

基于认知无线电的空间S频段测控新途径

针对空间S频段频谱资源紧缺问题,文章提出基于认知无线电的空间S频段测控方案初步设想,阐述相关的技术原理、构成与数据流和网络构架设计,并对方案前景效益进行了分析。     

从空战制胜机理演变看未来战斗机发展趋势

制空权是当代战争一切空中行动的前提条件,而承担空中优势重任的战斗机的研发工作长期以来为各军事大国所重视。数十年来,美军在空战理论、战斗机研发和空战实践等方面具有领先优势,已率先完成由能量机动制胜向信息机动制胜的空战能力转变。随着自主、人工智能、无人、通信、计算等技术的快速进步,美军正在塑造以下一代战斗机为核心,以复杂空战系统为基本空战单元的新空战形态,认知机动制胜将是未来空中对抗的制胜机理。本文将系统梳理空战制胜机理的演变历程,结合当前技术发展与布局,研判未来战斗机发展趋势。     

网电空间认知电子战技术

首先探讨了网电空间与认知电子战的内涵与联系,阐述了认知电子战属于网电对抗领域的观点,即认知电子战通过学习、评估、决策的融合,构建信息对抗的闭环,进而引导网电空间内的感知与攻防;随后,结合认知电子战技术发展现状、趋势以及闭环的特点,提出了一种适用于战场网电认知的信息对抗平台架构,分析了平台功能需求与关键技术;最后,展望了研究成果在网电对抗中的应用前景。     

认知无线电网络中的喷泉编译码技术研究

针对认知无线电网络（CRN）中授权信号时间和频率的不确定性导致CR用户工作频率甚至链路质量具有严重的时变性等特点,提出利用喷泉码的编解码技术解决上述问题。阐述了喷泉码的编解码原理,对喷泉码应用于认知无线电的系统性能进行了仿真分析．仿真结果表明．由于喷泉码无需反馈以及编解码复杂度低的特性,在CRN网络的时变信道环境下能实现链路维持,提高了系统的传输性能。