On Embedding a Qualitative Representation in a Two-Dimensional Plane

Abstract

This paper discusses embedding in a two-dimensional plane a symbolic representation for spatial data using the simple objects, points (P), lines (L), circuits (C), and areas (A). We have proposed PLCA as a new framework for a qualitative spatial reasoning. In a PLCA expression, the entire figure is represented in a form in which all the objects are related. We investigate the conditions for two-dimensional realizability of a PLCA expression, and derive the relation that the numbers of objects in a PLCA expression should have. In this process, we use the well-known Euler's formula. We also give an algorithm for drawing the figure of the PLCA expression that satisfies this condition in a two-dimensional plane and prove its correctness. The algorithm generates a quantitative expression from qualitative expression.     

高线三角形有向面积的定值定理及其应用

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论 ,其中包括著名的三角形的高线定理     

24角形剖面的风洞试验研究及工程应用

为克服圆剖面在雷诺数临界区流动不稳定的缺点，对多种具有高边数多角形剖面的柱体进行了比较试验，优选出２４角形剖面。完成了２４棱柱体和圆柱体在亚、跨、超临界雷诺数下的测力、测压对比试验，揭示了２４角形剖面在全雷诺数范围的低速气动力特性。２４棱柱体的临界雷诺数只有圆柱体的三分之一左右。在临界区气动力变化没有圆柱体那么强烈，侧力小一半左右。在１．２×１０５＜Ｒｅ＜３．６×１０５区域，２４棱柱体的阻力比圆柱体低４０％。综合考虑减阻、减小侧力及流态稳定诸因素，２４棱柱体的有利工作雷诺数范围在２×１０５～４×１０５。该雷诺数范围正是３ｍ量级风洞常用风速支杆的工作雷诺数，２４棱支杆在３ｍ以上量级低速风洞中有推广价值。     

基于遗传算法的凸多边形区域航迹规划

提出了基于遗传算法的凸多边形区域航迹规划方法,针对飞行器转弯角和边界限制的航迹约束条件,改进了航迹编码方式,采用了基于方向编码的回溯方法生成航迹;同时改进了遗传算法的交叉算子和变异算子。仿真结果表明,该方法能快速有效地完成飞行器航迹规划任务,获得符合适应度要求的优化航迹。     

Geometric problem solving with strings and pins

Humans solve spatial and abstract problems more easily if these can be visualized and/or physically manipulated. We analyze the domain of geometric problem solving from a cognitive perspective and identify several levels of domain abstraction that interact in the problem solving process. We discuss the roles of physical manifestations of spatial configurations, their manipulation, and their perception for understanding problem solving processes. We propose an extension of the classical problem solving repertoire of constructive geometry to approach certain problems more directly than under the compass-and-straightedge paradigm. Specifically, we introduce strings and pins as helpful metaphors for a generalization of the constructive geometry approach. We present classical problems from spatial problem solving to illustrate the ‘strings and pins’ paradigm. Three case studies are discussed: strings-and-pins solutions to (i) the ellipse construction problem; (ii) the shortest path problem; and (iii) the angle trisection problem. Comparisons to formal solutions are drawn. Differences and similarities between the compass-and-straightedge paradigm and the strings-and-pins paradigm are analyzed. Features and limitations of constructive and depictive geometry as well as implications for computational approaches are discussed. The strings-and-pins domain is shown to be more general and less restrictive than the compass-and-straightedge domain.     

空间薄膜阵面预应力导入效应及影响因素

空间薄膜阵面结构由于其显著特点正得到日益广泛的研究和应用。首先以一个三角形薄膜 阵面为数值分析对象,论文给出了膜面预应力导入的分析方法,并分析了薄膜阵面的预应力 导入效应。在此基础上,提出边缘悬链线影响的分析方法,用五个应力特征参数描述阵面和 悬链线受力,引入应力波动系数描述阵面和悬链线受力均匀度。以四边形阵面为例进行数值 分析,结果表明：在合适的边缘
悬链线型及矢跨比下,阵面的导入应力分布更均匀,刚度更 大。论文所提出的分析方法和结论对薄膜阵面结构设计研发具有参考价值。     

顾及星像点分布的恒星相机在轨检校

由于卫星发射前后以及在轨运行过程中,环境因素的变化都可能引起恒星相机参数发生改变,从而导致星敏感器姿态测量精度下降.将多片空间后方交会方法应用于恒星相机的在轨检校.在利用该方法检校时,实验发现检校结果的精度受到参与检校的恒星影像上星像点分布的影响,由此进一步提出了凸包面积百分比准则,该方法自动选取分布较好的影像用于检校,有助于提高检校精度.实验结果证明:基于后方交会进行恒星相机在轨检校时,利用凸包法选取的影像片进行检校的精度明显优于未选片时检校的结果.      

高功率密度DC-DC模块电源设计与分析

通过对有源箝位单端正激变换器、平板变压器、热设计以及结构设计的分析与计算,详细介绍了高功率密度DC-DC模块的设计方案,并在此基础上成功研制了一款100 W DC-DC电源模块,其功率密度高达3.4 W/cm3。采用本方案有效解决了当前DC-DC电源模块小型化的关键问题。     

基于压缩感知的频率和DOA联合估计算法

波达方向（DOA）估计是阵列信号处理的一个重要问题,针对信号的DOA估计问题,本文基于压缩感知理论,提出了一种新的频率和角度联合估计算法。首先利用方向波数的空间稀疏性,建立过完备稀疏字典,然后利用压缩采样阵列结构通过求解最优化问题得到方向波数的高分辨估计,最后利用最优空域滤波实现信号到达角度和频率的配对。相对于传统算法,该算法能够实现多信号DOA的高分辨估计,且经过压缩采样后降低了运算量,仿真验证了该算法的正确性与有效性。     

空间非编码标记特征点中心定位方法与比较

归纳总结了应用于可见光测量的空间标记非编码设计原则,例举了棋盘格型、栅格型、圆型等3种典型的非编码标记图案设计,分别阐述了各标记特征点中心定位方法和计算过程,开展了对比试验,结果表明：圆型非编码标记图案设计及其特征点中心定位精度明显高于其他两种图案,其图案设计简捷、特征点突出易于识别、在像平面中呈现各向同性、点中心定位精度高、计算速度快、噪声抑制能力强。