快速构建量子稳定子码的最小网格图

量子网格图顶点集的大小影响译码算法的效率,减少网格图的顶点数可以提高译码算法的效率.本文基于标准化的稳定子群校验矩阵,给出了构造面向网格图的稳定子群生成元的方法,据此可以构造顶点集最小的量子网格图.此外,本文通过分析差错算子与稳定子群生成元各个量子位的对易关系对两算子之间对易关系的影响,给出了一种快速生成量子稳定子码网格图的方法.现有构造方法对各顶点集分别独立计算,没有利用已有的计算结果,所以运算量大,这限制了译码的规模和速度.本文方法是在已有顶点集的基础上,利用迭代法构造新顶点集,该方法计算复杂性更小、算法效率更高,从而能适应规模更大和对时间要求更高的应用.     

平面化问题的一种新型神经网络算法

文中针对在大规模集成电路中有重要应用的图的平面化问题，指出了可平面图的平面嵌入是有条件的，只有在特定的顶点顺序下才是可直线嵌入的，并通过给出既满足直线嵌入条件又实现正确布线的能量函数，进而用Hopfield神经网络实现了对可平面图的平面布线和不可平面图的最大可平面子图的寻找和平面布线，并引入模拟退火算法实现网络局部极小点的逃离．实验及与传统方法的比较结果验证了文中所提方法的有效性和可行性．     

ISAF重构算法密度函数快速计算模型

球坐标系下的ISAF算法是一种新的20面体分子三维重构方法,该方法精度优于传统柱坐标系下的Fourier-Beseel算法,但其执行速度远低于Fourier-Bessel算法,严重制约了ISAF算法的实际应用.分析发现,在ISAF算法中密度函数计算是影响重构速度的主要瓶颈之一.针对上述问题,文中提出一种密度函数快速计算模型,该模型包括三个组成部分:球坐标系网格点密度函数快速计算方法、"球坐标系—直角坐标系"网格点密度函数转换方法、基于两阶段映射法的快速对称映射方法.该模型可以将密度函数计算阶段的时间复杂度由O[(LM)8]降低到O[(LM)7].采用Psv-F病毒数据进行实验,结果表明,在保证精度的前提下,该模型可以将密度函数的计算速度提高2个数量级,将三维重构整体速度提高30倍左右,并且随着数据规模的增大、重构精度的提高,该模型带来的加速比将进一步增大.     

MC环境下设计维度纵深式模块化产品族设计方法研究

从探讨定制产品生产过程的机理出发,提出了包含生产时间维、定制层次维的“定制产品山峰制造模型”,提出了“设计维度纵深式模块化产品族设计方法”,建立了产品系列矩阵、基型模块矩阵、基型模块n级子模块矩阵,结合数据库建立了该设计方法的设计流程,给出了相应算法,最后通过实例验证了该方法的可行性与有效性。     

嫦娥三号月球车机械臂探测点定位方法

结合中国嫦娥三号月球车探测的科学应用目标,提出了一种基于投影变换的机械臂探测点定位方法.该方法在总结鱼眼镜头成像模型基础上,建立球面投影与透视投影间的转换关系,求得球面投影中像主点坐标和球半径,利用相关参数将球面投影图像转化为透视投影图像;结合月球车上鱼眼相机的安装位置相对固定,将转换后的透视投影图像重采样生成核线影像.利用相关系数和最小二乘匹配,在鱼眼相机核线影像上实现特征点的亚像素级匹配.通过前方交会计算探测点的三维坐标,并结合探测点邻域点坐标拟合最佳空间平面,获取平面的法向量,即机械臂探测点的定位.采用该方法对仿真图像进行了定位计算,并将计算值与仿真真值进行比较,总误差约为2 mm.实验结果表明,该方法完全能够满足嫦娥三号月球车机械臂探测的定位精度.     

面向装配的复杂模型几何及结构轻量化技术研究

复杂三维模型轻量化是节约存储空间、加快处理速度和实现信息隐藏的有效途径.为了快速有效地生成装配体的轻量化模型,提出了一套面向装配的复杂模型轻量化算法框架及处理流程,以零部件抑制、基于特征缝合的模型表面处理和模型整体抽壳等关键技术为手段,实现了复杂装配模型几何与结构的简化表示.该算法已顺利地运用到相关企业的装配设计,模型轻量化效率比较高,为复杂装配模型的网络协同设计和运动仿真等后续应用提供了一种有益的途径.     

角模块序列布图表示及基于角模块序列表示的边界约束布图规划算法

布图规划是VLSI布图设计中的关键环节, 通常采用随机优化算法, 而布图结构的编码表示(或称布图表示)是基于随机优化方法的布局算法的关键. 提出一种新的布图表示-角模块序列(CBL), 并从理论上证明它具有O(n)的布局评估算法计算复杂性和较小的解空间. 在布图设计中, 部分模块的位置需要满足一定的约束条件, 边界约束就是其中常见的一种. 通过边界约束可以将特定模块的位置限制在指定的边界上, 从而有利于模块与I/O端口的互连. 基于角模块表示, 推导出满足边界约束布局的充分必要条件, 并结合模拟退火过程, 通过修正中间解使受约束模块满足约束条件, 从而实现了基于CBL模型的边界约束布图规划算法. 将代价函数惩罚方法和启发式方法相结合, 设计了边界约束的惩罚项, 能够合理准确地衡量约束满足的情况, 从而有效地控制模拟退火的进度, 以保证最终布局满足所有约束. 对MCNC的标准例子的测试结果表明算法是十分有效的.     

窄带雷达自旋目标成像

在详细分析自旋目标窄带雷达回波特性的基础上,提出基于复数后向投影算法的自旋目标成像算法,由于该算法利用旋转散射点的相位进行匹配搜索成像,因此具有较高的分辨率以及成像效率.同时,本文分析了该算法的分辨率及其对雷达脉冲重复频率(PRF)的要求.若目标转速较高而系统PRF无法满足,则根据压缩感知理论以及自旋目标ISAR数据的稀疏性特点,建立了方位欠采样条件下的成像模型,并提出基于正交匹配追踪的自旋目标成像算法.不同条件下的仿真结果验证了算法的有效性.     

基于改进随机子空间法和稳定图技术的电力系统低频机电振荡特征识别

基于由WAMS量测得到的类噪声信号来识别系统的低频机电振荡模式及其对应模态在电力系统分析和控制中具有很好的应用前景.本文以随机子空间方法为基础,引入参考通道技术,在不影响识别准确度的情况下极大地提升了计算效率,形成了一种改进的随机子空间方法,能够方便快速地得到系统的模式及其对应模态.本文还引入稳定图的思路,通过设计了巧妙的稳定图自动识别算法,快速有效地辨别了系统的真伪模式.在IEEE-118节点测试系统上进行的算例分析表明本文提出的方法具有较高的识别准确性和计算效率,能够满足在线应用的需要.     

基于单形体几何的高光谱遥感图像解混算法

提出一种新的基于单形体几何的高光谱遥感图像混合像元丰度估计算法.该算法的目标是在已知端元矩阵的基础之上,估计高光谱图像中各个观测像素点中每个端元的丰度.根据凸几何理论,基于线性混合模型的高光谱解混问题可以看成一个凸几何问题,其中端元位于包含整个高光谱数据集的单形体的顶点,而它们对应的重心坐标则可以看作各个观测像素的丰度.提出的方法由3部分组成,分别为基于单形体体积的重心坐标计算方法、距离几何约束问题和基于内点的单形体子空间定位算法.与其他基于单形体几何的算法相比,该方法具有诸多优点.Cayley-Menger矩阵的引入使得欧式空间上的运算转化为距离空间上的运算,在降低运算复杂度的同时很好地兼顾到数据集的几何结构.而且,单形体重心的使用确立了一种快速而精确的判断方法来确定观测像素所属的子空间,进而利用递归的思想得到丰度值.此外,算法核心仅仅涉及观测点与端元之间的距离,而与波段数无关.因此,该算法无须对数据执行降维处理,从而可以避免因数据降维而造成的有用信息的丢失.仿真和实际高光谱数据的实验结果表明,所提出的算法与同类其他优秀的算法如FCLS和SPU相比,具有更高的运算精度,同时在端元数目较小时具有较快的运算速度.     

一种快速TMF的无监督SAR图像多类分割算法

三重Markov随机场(TMF)模型非常适合处理非平稳、非高斯图像的分割问题.为了降低模型和算法的复杂性,以满足对实测SAR图像处理的实时、稳健和高效的需求,文中提出了一种快速TMF的无监督SAR图像多类分割算法.该算法首先针对SAR图像的乘性斑点噪声,研究了SAR图像四叉树分解的数字特征、阈值选取及分解规则,使得在图像平滑区进行粗分解,而在图像边缘区进行细分解,将图像快速映射成一种新的基于边缘信息的pixon描述,然后再将TMF算法进行扩展,导出了基于边缘信息pixon描述的TMF新的势能函数,最后完成Bayes最大后验模型(MPM)分割.测试数据和实测SAR图像的仿真实验验证了快速TMF算法的有效性.     

斯金纳自动机：形成操作性条件反射理论的心理学模型

操作性条件反射是动物学习的一种基本的机制,它表示所有的动物,从微生物到人类都是通过操作性条件反射来指导学习的．介绍了一种新的概率自动机,称作斯金纳自动机,它是形成操作性条件反射的一种心理学模型．通过热力学过程来模仿动物的学习过程,并且从蒙特卡罗方法以及Metropolis算法,和模拟退火算法中提出了斯金纳算法．在特定条件下,证明了斯金纳自动机是便利的、ε-最优的、最优的以及操作概率会以概率1收缩到一个稳定的根．斯金纳自动机使机器可以像动物一样自主地学习．     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

底部加热长方体腔内空气自然对流的稳定结构及三维特性的研究

采用具有QUICK差分格式的SIMPLE算法对底部加热长方体腔内空气的自然对流进行了实验研究和数值计算.1）当四周壁面绝热时,腔内流体形成平行于短轴方向的多个长条状涡卷,而平行于长轴方向没有形成涡卷.当Rayleigh数较小时,腔内流动表现出明显的二维特性,沿短轴各个截面的涡卷流动基本一致,三维模型平行于短轴的各截面平均Nusselt数除了边壁处差别较大,中间大部分区域均与二维模型平均Nusselt数比较接近,腔内的空气流动在长轴方向除了边壁附近差别较大,中间大部分区域均呈现明显的二维特性,二维与三维模型计算结果一致,且与实验结果吻合.随着Rayleigh数的增加,涡卷数量与形状都会发生改变,在腔内出现多边形的涡卷,腔内的流动表现出明显的三维特性,此时采用三维模型才能取得与实验一致的计算结果.2）侧壁绝热或者传热量较小时,长高比为16时,三维模型计算得到与实验一致的结果,形成平行于短轴的10个长条状涡卷.当侧壁面有传热时,方腔内流动形成了平行于长轴方向的涡卷,并且热流方向相反时涡卷的旋转方向也相反.3）底部加热长方体腔内空气的自然对流换热,低Rayleigh数时流动和换热处于稳态,当Rayleigh数超过某一临界值时,流动和换热就会发生非线性振荡.随着Rayleigh数的增加,流动的情况基本分成四个区域：稳定区域、单倍周期区域、多倍周期区域和混沌区域.     

低维特征空间中基于旋转图像的三维环境模型配准方法

近年来,异类机器人之间(如飞行机器人和地面机器人)的协作成为机器人学研究发展的一个新的领域.异类机器人协作的难点之一是协作环境建模,而由于所获得的环境模型具有不同的观测视角和尺度,其环境建模中的模型配准是一个难点和关键.目前,能够适用于大视角差、大尺度差场景配准的方法并不多,基于旋转图像的配准方法被认为是一种可行方案,但其中存在的计算负担大和在野外环境中的鲁棒性差使得其也很难在实际系统中应用.基于此,面向三维点云环境模型,以旋转图像为基础,提出了一种新的基于低维特征空间的模型配准方法.首先,通过引入模型曲率、旋转图像熵值和激光反射强度3个特征构建了一个三维特征空间,得到候选对应点集合.然后,在候选对应点集合中利用旋转图像的方法查找正确的对应关系,实现模型配准.由于低维特征空间的引入,基于旋转图像特征的对应点搜索区域大大减小,因此算法计算效率得到了极大改善.同时由于引入的新特征与场景旋转图像特征的互补性,算法的鲁棒性和精确性也得到了提升.这些性能改进最后通过实验得到了验证.     

基于压缩感知的多角度合成孔径雷达成像

多角度合成孔径雷达（syntheticapertureradar,SAR）成像是实现多SAR信息融合的重要方式．对提高成像分辨率．重构目标轮廓进而提高雷达目标检测或分类性能具有基础性价值．由于各传感器发射信号和测量位置的多样性,实现多角度SAR成像具有挑战性．如何在噪声干扰情况下快速实现多角度SAR成像是一个新问题．本文建立了基于压缩感知的多角度SAR测量模型．通过对测量矩阵的分析,证明多角度SAR测量角度范围、发射信号载频和空间采样位置是影响成像性能的关键因素,研究了目标空间离散间隔对成像质量和分辨率的影响．以上述分析为基础,本文对多角度SAR发射信号载频和测量位置进行设计,构建满足约束等距性的测量矩阵．针对测量矩阵阶次较高的问题,文章提出用分段正交匹配追踪（stagewiseorthogonalmatchingpursuit,STOMP）进行模型求解,在测量矩阵欠定严重的情况下,该算法可以迅速求得模型最优稀疏解．在实验环节．通过分析多角度SAR参数对成像性能的影响,进一步验证了本文结论．实验验证了模型和相应求解算法的有效性和鲁棒性．     

空间站长期运营在轨事件与飞船访问统筹规划

空间站总体运营任务规划是一类对象规模庞大且约束关系复杂的问题,其主要包括飞船访问序列规划、在轨事件分配规划和需求物资补给规划.为简化问题,过去的研究仅对飞船规划、事件规划和物资规划中的某一类子问题单独进行建模和求解.本文提出了一种考虑多元要素间耦合关系的统筹规划方法,可同时求解综合规划方案.首先,构建了空间站总体规划领域概念模型,以描述规划对象属性及其间的内在联系.其次,为处理各子问题间的复杂约束关系,提出了基于分解的单个可行方案求解方法.最后,基于进化算法优化方案,提出了应用于多变量规模复合问题的进化策略,从而克服了不同子问题规模差异对优化的影响.应用算例分析表明,所提出的规划模型与方法可有效化解统筹规划中的复杂约束,所提出的复合问题进化策略可显著提高优化效率.     

灰色及其改进模型在人口预测中的应用

在灰色GM（1,1）模型和优化的等维递补GM（1,1）模型的基础上,构建了灰色＋BP神经网络组合模型。对2001～2005年我国人口的变化分析后,建立人口总量模型进行预测,利用原始教据建立的灰色＋BP神经网络组合模型预测我国2008年以后五年的人口总量为13．39亿、13．49亿、13．60亿、13．7亿、13．79亿,有逐年上升的趋势。经综合误差分析和后验差检验均为“优秀”,说明该模型具有一定的应用价值。     

基于POD-Observer技术的非定常气动力建模方法

基于本征正交分解（POD）结合观测器（Observer）技术,发展了一种新的适合于气动弹性分析的非定常气动力降阶方法.通过全阶系统行为的样本采用POD方法导出一组流体模态.将POD训练的全阶响应投影到流体模态上,得到模态幅值的响应时间历程.经由deadbeat观测器处理,这些训练数据用于识别模态幅值动态系统的Markov参数.采用特征实现算法基于上述的Markov参数构建系统的状态空间模型.算例选取了亚声速流场中的二维翼型系统.结果表明降阶模型复现了全阶系统的主要动态特性,极大缩减了原系统的自由度数量并且显著提高了计算效率.     

一种基于SPIHT编码过程的图像选择加密算法

在深入研究多级树集合分裂编码（SPIHT）的基础上提出了一种安全高效的图像加密算法。首先,重点分析了SPIHT的码流结构以及各部分数据对解码的影响,确定了重要数据并对其进行加密。其次,改变加密层数K控制加密强度,从而进一步提高了加密效率。最后,在对LIS扫描过程中引入了混乱机制,降低了码流相关性,使得算法更加安全。实验表明：该算法安全性高,加密速度快,仅需加密原图数据量的2．3％左右便可以达到很好的加密效果,满足格式兼容性要求并且能够适应网络实时传输。