宇航中的一种基于线性约束数据库的GIS空时数据模型及其查询

地理信息系统(GIS)是一种计算机辅助工具。用于存储和分析在地理空间上和时间上发生的现象和事件。GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是GIS系统的核心，空时数据的存储和查询是GIS数据库中的两个重要问题。本文针对现有空时数据模型的不足，提出了一种基于线性约束数据库的空时数据模型。阐述了该模型与已有空时数据模型间的关系。本文进一步对关系数据模型上的Datalog查询语言的语法和语义进行了推广，使之能够对提出的GIS空时数据模型的数据进行查询。最后给出一个在飞船着陆场系统搜索救援中使用该数据模型的实例。通过该数据模型在实际系统中的使用。可以得出如下结论：(1)基于线性约束数据库的数据模型不仅可以替代现有的空时数据模型．而且克服了这些模型不能表示无限空时数据的缺点和不能描述空间、时间坐标关系的缺点；(2)针对该模型推广的Datalog查询语言与结构化查询语言SQL相比，具有更强的表达能力。可以描述诸如循环和传递闭包等复杂的应用语义。     

微型惯性测量装置的技术分析与发展建议

1.引 言 在惯性测量系统中,惯性敏感器件——陀螺仪和加速度计是其重要的组成部分,同时也是制约仪表小型化和微型化的瓶颈。长期以来人们一直在探寻使其小型化的途径和方法,基于微机电技术研究设计微型惯性测量系统一直是值得关注的领域。2.微型惯性测量装置的特征 2.1微惯性测量装置 微惯性测量装置包括微加速度计、微陀螺仪和微惯性测量组合。微惯性测量系统技术的基础     

单调线性互补约束的最优化问题

讨论了单调线性互补问题解的结构及性质，利用退化和非退化互补问题的误差界函数，给出了单调线性互补约束的最优化问题的精确罚函数求解的最优化定理。     

捷联惯性制导系统的电路设计

本文通过对捷联惯性制导与平台惯性制导之间差异的分析，讨论了在进行捷联惯性制导系统的电路设计时所应注意的问题，在此基础上，用C32DSP和可编程逻辑器件，设计了一个捷联惯性制导系统的电路。     

静电陀螺漂移误差模型的比较研究

本文对静电陀螺伺服测漂所得的试验数据进行分析处理,对常用陀螺漂移模型进行修正,结果表明,改进模型中陀螺转子变形的奇次谐波与电极碗横向错位耦合产生的干扰力矩,对高精度静电陀螺导航系统的影响是不容忽视的。与常用模型相比,用改进模型拟合试验数据,漂移速度残差将显著减小,因此改进模型进一步完善了陀螺漂移误差补偿模型,对提高导航系统精度具有实用意义。文中还根据静电陀螺的工作环境和伺服测漂的(?)验条件,对影响陀螺漂移精度的干扰源作了分析,并根据不同测试时间段漂移模型系数的变化趋势,提出了用时变参数漂移模型处理试验数据的构想。结果表明,与常系数漂移模型相比,它可以进一步减小漂移速度残差,得到更为满意的结果。     

应用对策理论的多目标气动优化设计

将经济学中的Nash均衡理论引入到气动优化设计中,探索一种新颖的处理互为冲突的多目标气动外形优化设计方法.基本的优化器为基于伴随方法的确定性优化算法,文中通过引入负反馈技术发展了约束最优控制理论,所有的约束条件都被自动的和隐含的满足.在对称Nash策略中,每一个优化器都力图优化自己的目标,而Nash平衡则提供了多个目标之间的一种妥协解.设计算例表明,文中的Nash竞争策略在多目标气动优化设计中是有效的.     

具有圆形极点和方差约束的不确定离散系统鲁棒控制

对一类具有不确定参数和扰动的线性离散系统，研究了使闭环系统的稳态状态方差小于某个给定的上界，同时闭环极点位于一给定圆盘中的状态反馈鲁棒方差控制器设计问题。导出了控制器存在的条件，并证明了该条件等价于一个线性矩阵不等式系统的可行解问题，进而用这组矩阵系统的可行解给出了一组所求控制器的一个参数化表示。最后通过一个算例说明了该方法的可行性和有效性。     

一类约束阻尼结构动力学建模及其应用

结构系统的劝控制是改善航天器动态特性的重要途径，本文分析了利用约束阻尼结构进行了振动抑制的基本方法，讨论了约束阻尼结构的动力学特性和有限元模型，作为应用实例，本文将约束阻尼结构应用于某大型航天结构，对比附经前后结构的试验莫大记结果，作为一种被动振动控制方法，对航天结构抑制是有效和可行的。     

约束阻尼尼板的振动分析

约束阻尼层结构是一类利用阻尼层的剪切效应达到减振目的结构。基于这一原理，本文分析了约束阻尼层板的振动，引入的位移模式中，考虑了附加部分对原结构运动的相对性和阻尼层的横向剪切效应，据此推导了约束阻尼层板的运动方程和边界条件，最后分析了简支矩形板的固有振动，讨论其振动特点。     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。