地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

高速列车外形计算机辅助设计

介绍了一种自行开发的用来进行高速列车头尾部流线型外型方案设计的计算机辅助几何造型软件,并给出了一个利用该软件进行设计的实例。     

测量误差平稳性检验的数据预处理研究

在航天飞行器测量中,测量噪声是不可观测的。这就需要对含有误差的测量数据进行预处理以获得测量噪声的信息。本文从理论上对广泛应用的两种模型进行了系统性的研究,为处理方法的合理性提供了理论依据,并用仿真结果进行了验证。     

再入机动弹头滚动回路鲁棒姿态控制系统设计

根据经典控制理论,引入姿态角加速度反馈,采用零、极点相消,变增益补偿等设计方法,所设计的再入机动弹头滚动回路姿态控制系统具有良好的快速性、稳定性和很强的鲁棒性。     

基于分维特性的舰船雷达目标的检测

在强杂波背景下设计有效的海上雷达目标检测器是相当困难的。本文提出了一种基于海面散射的分维持性的雷达目标检测方法。它利用海上目标雷达回波与海杂波在分维持性上的差异来对海上舰船目标进行检测。将该方法用于实地录取的舰船雷达弱目标的回波,取得了较好的检测效果。     

再入飞行器高超声速三维粘性流场的数值模拟

用数值方法研究大钝头倒锥体再入飞行器高超车速完全气体有攻角绕流的流场特性。控制方程为完全气体三维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程,数值方法采用激波捕捉的ＮＮＤ隐式算法,计算区域为含底部的全流场。文中给出了流场特性和气功力系数,并与实验结果进行了对比。     

正则有理 Bé zier 曲线的等距曲线算法

通过利用改进的有理德卡斯特里奥算法求得正则有理n次Bé zier 曲线各点处的切矢,由此得到各点的单位法矢量,应用于求原始曲线的等距曲线.从而巧妙地解决了原始正则有理n次 Bé zier 曲线上各点的单位法矢量难求的困难。该方法几何意义明显,算法简洁,实践效果比较好,最后本文给出了两个实例。     

拟共形映照和 Hölder 连续性

设 f 是 R" 中的域 D 到有界的 M-QED 域上的 K-拟共形映照,0<α≤(KM)^1/1-n在本文中作者证明了f∈Lip_α(?D)的充要条件是 f∈ Lip_α(D)。     

MPP Fortran 程序中串行循环的优化

在大规模并行处理系统中,通讯开销是影响程序性能的一个重要因素。本文提出了一种ＭＰＰＦｏｒｔｒａｎ程序中串行循环的优化技术：在串行循环中加入同步控制、将串行循环转换成共享循环。该技术能减少通讯开销、提高程序的性能。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。