基于动态分析的多面体模型非仿射扩展方法

摘要： 多面体模型只能表示循环中访存数组下标可以用仿射表达式表示的循环,针对这个限制设计一种基于动态分析的方法对多面体模型的表示范围进行扩展.该方法利用程序运行时的动态信息,将循环非仿射表达式中的循环全局参数用定值替换,推测生成非仿射循环的参数定值化版本,使之可以被多面体模型表示.该方法扩展了多面体模型的表示范围,使更多的代码区域可以被并行优化,提高了程序中SCoP的覆盖率,提高了程序运行的加速比.实验证明了该方法的有效性.     

一种利用非均质多面体模型确定小行星附近引力场的方法

从力学的角度出发,如何准确地建立小行星附近的引力场模型是小行星研究中最为基础、最为关键的部分。提出一种基于多面体模型的模拟小行星附近引力场的方法。该方法的准确性一方面取决于多面体模型的精细程度,即模型分辨率,另一方面取决于勒让德级数的截断误差。选取均质小行星模型,求取其引力场并与使用原有多面体方法求得的引力场进行对比,以此验证本方法的可行性。通过对形状参数相同的均质、非均质多面体模型附近的引力场进行对比来说明非均质小行星引力场建模的重要意义。     

基于433 Eros的多面体引力模型精度与运行时间研究

基于Planetary Data System(PDS)公布的433 Eros多面体模型,使用多面体模型法计算了433 Eros的表面引力加速度分布情况,并研究了该方法在不同精度的多面体模型下的计算时间和误差。实验结果表明:1)多面体模型法的时间复杂度为O(n);2)在以433 Eros为目标天体的着陆导航与制导控制相关仿真计算中,使用面数为22 540的多面体模型进行引力加速度计算,可以同时满足计算速度和精度的要求,并且由于计算速度接近实时,可用于半物理仿真实验中。     

一种非仿射高超声速飞行器的智能控制方法

针对非仿射高超声速飞行器控制问题,提出了一种基于强化学习的非线性反步控制方法。首先,基于高超声速飞行器的非仿射模型,设计了基于反步法的鲁棒跟踪控制器;其次,鉴于该控制器的性能和鲁棒性对参数比较敏感,借助深度确定性策略梯度的智能控制方法,对控制器进行了参数在线调整和控制指令补偿;最后,通过理论分析和仿真结果验证了当存在额外扰动和未建模动态时,所提出的智能控制器仍能保证攻角稳健跟踪期望目标。     

非仿射参数依赖LPV模型的变体飞行器H∞控制

变体飞行器可以在不同的飞行环境及飞行任务下自适应地进行结构变形,从而确保飞行过程中具有最优的气动性能。以一类翼展可变的飞行器模型为对象,研究了一种针对非仿射参数依赖结构的线性变参数(LPV)系统的控制问题。在Jacobian线性化基础上,将变体过程中的非线性模型精确拟合为以翼展变形率为时变参数的LPV系统。与大多数LPV控制不同的是,此系统为多项式参数依赖结构,不具有仿射参数依赖形式。利用线性分式表示(LFR)将具有非仿射参数依赖结构的LPV模型转换为等价的线性时不变(LTI)系统。为保证变体过程的稳定,针对此LFR形式的变体模型,在满足二次Lyapunov稳定的线性矩阵不等式(LMI)条件基础上,设计了一类基于状态反馈的H∞控制器。仿真结果表明,上述控制器在外部存在干扰的情况下,能够保证变体过程的全局稳定性。因此基于LFR转换的控制器设计方法不再局限于仿射参数依赖形式,对于广泛LPV系统具有普遍适用性。     

一种目标识别中基于关键点的仿射不变矩

针对常用仿射不变矩对轮廓边缘信息敏感的特点,提出了一种基于关键点的局部仿射不变矩,以分割出来的物体灰度图像为基础,首先计算出物体的质心,然后以质心为扩展点向周围引伸出多条射线,寻找每条射线方向上的最近灰度极值点,将所有灰度极值点当作关键点集合,并按照文中提出的计算仿射不变矩的方法提取出多阶不变矩,将其当作神经网络的输入向量,放入已经训练好的神经网络来达到识别物体的目的,将此方法应用在了飞机图像的识别上,实验结果证明此方法在物体轮廓分割不完整和有噪点污染的情况下能保持很好的稳健性,简单有效并具有较广的应用范围.     

基于模型迁移方法的高超声速飞行器建模

高超声速飞行器的研发是一个小批量多批次的过程。为了降低实验成本缩短建模周期,引入了模型迁移方法计算具有相似外形的高超声速飞行器的气动参数。首先研究了一种评价飞行器气动外形间仿射相似度的方法,当相似度满足要求时,可使用模型迁移方法计算新飞行器的气动参数。接着基于高超声速相似律,使用基飞行器的气动参数对新飞行器气动参数初次迁移。当初次迁移结果不能满足建模精度要求时,应用偏差校正的方法对迁移过程修正。最后为了消除飞行高度对高超声速流黏性的影响,引入高超声速边界层理论迁移飞行器不同高度上的气动参数。通过对仿真结果的分析,验证了模型迁移方法对具有相似外形的高超声速飞行器建模的有效性。      

基于云模型的自适应并行模拟退火遗传算法

针对遗传算法收敛速度慢,容易"早熟"等缺点,提出了一种改进的遗传算法,即基于云模型的自适应并行模拟退火遗传算法(PCASAGA,Adaptive Parallel Simulated Annealing Genetic Algorithms Based On Cloud Models).PCASAGA使用云模型实现交叉概率和变异概率的自适应调节;结合模拟退火避免遗传算法陷入局部最优;使用多种群优化机制实现算法的并行操作;使用英特尔推出的线程构造模块(TBB,Threading Building Blocks)并行技术,实现算法在多核计算机上的并行执行.理论分析和仿真结果表明:该算法比其他原有的或改进的遗传算法具有更快的收敛速度和更好的寻优结果,并且充分利用了当前计算机的多核资源.      

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

基于多面体模型的数据依赖分析方法

设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及向前替换等方法消去.对传统数据依赖分析进行改进,通过分析内存单元的生存周期,摒除不必要的伪依赖,从而可以对更多的循环体进行变换.通过实验表明了该方法的可行性和有效性.     

无轨道动力学模型的增强型GPS实时星间相对定位方法

虽然基于卫星轨道动力学模型的增强型GPS实时星间相对定位可获得厘米级精度,但通常在一般条件下难以获取高精度轨道动力学模型.本文提出了一种无轨道动力学模型条件下的高精度实时相对定位方法,即利用GPS三差观测方程获得状态矢量的时间转移矩阵,采用自适应UKF(Unsented Kalman Filter,无迹卡尔曼滤波器)实时估计星间相对位置.仿真结果表明,相比传统的序贯点估计方法分米级的相对定位精度,新方法在星间距离小于5 km时,其相对定位精度可达厘米量级.     

基于相关性模型的液浮陀螺可诊断性分析方法

为了从根本上提高液浮陀螺在轨故障检测与诊断能力,基于相关性模型从设计角度提出了液浮陀螺的可诊断性分析方法.该方法首先建立液浮陀螺各功能模块之间的信息流图,然后结合FMEA建立故障-测点之间的相关矩阵.基于相关性矩阵,建立了故障可检测性、可分离性分析方法,实现了对测点的优化设计.本文提出的相关性模型为定性模型,具有易于构建、计算简单的优点,不仅实现了对液浮陀螺可诊断性设计结果的评估,还可为测点优化配置提供设计依据.     

一种基于CAHVOR模型的导航相机标定方法

在月球车探测任务中,一般通过对相机采集到的图片进行三维重建分析获得路面情况信息,精确标定相机是这些工作的前提.相机标定要求算法简单且能满足高精度要求,CAHVOR相机标定方法经JPL实验验证并成功地应用于火星探测器（MER）任务中,该方法从矢量角度分析相机成像原理.分析该方法的标定原理和参数求解算法,对该方法进行数字仿真,验证算法精度.为了进一步分析标定精度和速度,通过试验对该算法与传统的摄影测量标定方法进行比较,结果显示CAHVOR方法可达到满意的标定精度要求,而且在标定算法速度方面具有快速的优点.     

一种多帧相关滤波的星敏感器像素非均匀性误差校正方法

为了进一步提升星敏感器的星点定位精度,分析星敏感器的像素误差来源和形成机理,提出一种多帧相关滤波的像素非均匀性误差校正方法.根据星图中星点的位置确定质心定位域和局部校正域,利用当前帧星图信息和前一帧的局部校正域信息预测当前帧的校正域,满足校正条件后采用差分法校正质心定位域.实验结果表明,本文方法能够较好地预测星图的非均匀性噪声,提升星点定位精度,具有较好的鲁棒性.     

航天器结构动力模型修正中的缩聚方法

利用试验数据修正航天器结构动力模型时，使用缩聚方法使有限元自由度与试验自由度匹配。在总结Guyan缩聚法、改进缩聚系统法(IRS,Improved Reduction System)和模态缩聚法的基础上，该文独立导出了一种基于IRS的迭代缩聚方法。算例表明，迭代缩聚收敛速度较慢，但分析精度很高。     

基于特征建模的空间非合作目标姿态智能测量方法

为实现空间非合作目标姿态的测量,基于特征建模的思想,提出了一种根据目标激光点云数据进行高效处理的智能测姿态方法.首先,针对空间目标姿态测量的需求,寻找并实现能够高效表征目标姿态的点云数据特征.接着,应用神经网络的方法对目标点云姿态特征进行学习,通过建立合理的神经网络模型和训练数据,实现目标点云特征与姿态间非线性映射关系的建立.最后,利用目标点云仿真数据集,对方法的测量精度和测量实时性进行了评估.实验结果表明：利用特征建模的思想,提出并建立目标点云姿态协方差矩阵特征,实现了点云数据在表征目标姿态方面的信息高度压缩,为神经网络模型的轻量化设计和计算资源严重受限的在轨应用,提供了可行的智能化工程实现方案.     

基于体积准则的网格模型简化方法

 模型简化在虚拟现实、CAD/CAM、动态模拟等领域有着广泛的应用,本文提出一种基于体积准则删去网格模型顶点的新方法,此方法以顶点删除后的体积变化量作为顶点是否删除的判据.通过该方法生成的简化模型可较好地逼近原模型.由于体积准则具有明显的几何和工程意义,故简化模型既可作为显示模型,也可用作设计模型.在局部网格重构时,为提高网形质量采用了基于交换对角线的优化构网方法.本文还给出了实例以说明该方法的有效性.     

基于回归分析的飞轮泄漏预测模型构建研究

为解决飞轮在交付前其壳体存在微漏这一难题,选取飞轮转速和跑合时间的相关关系作为回归分析对象,探索一种飞轮密封泄漏预测模型的构建方法,并针对该模型进行方差分析、统计检验和相关分析,以保证模型精确度和工程实用性.利用本模型构建方法,可以针对不同规格飞轮或者飞轮其他性能参数构建预测模型,确保交付后飞轮的密封可靠性.