线性系统特征值的计算及其分布

提出了两种计算性系统特性值的方法，其一是由低阶到高阶用根轨迹法逐次递推同全部特征值，其二是利用Ｓｃｈｗａｒｔｚ阵的性质采用搜索方法确定系统特征多项式的所有因互。还给出确定在左右半复平面内各有多少个特征值的方法。     

一类基于B2（mod m）序列的准循环LDPC码

基于B2(modm)序列,提出一种构造二元低密度奇偶校验(LDPC)码的新方法.这类编码的校验矩阵列重为3、行重为任意整数,并且具有准循环(QC)结构.校验矩阵对应的Tanner图围长至少为8,对应的最小距离至少为12.当m为素数时,提出一种减少8环的方法,使得Tanner图中4类可能的8环中两类被完全消除.仿真结果表明,m为素数时新LDPC码的译码性能优于渐进边增长(PEG)算法随机产生的(准)规则LDPC码.此外,提出一种基于邻域扩展搜索的启发式算法,利用该算法可以获得长度接近或达到上界的B2(modm)序列.     

具有等式约束的滑动多项式建模方法

滑动多项式是广泛应用的动态系统建模方法,如何有效利用先验信息(也称为附加信息或约束信息)是改善多项式模型性能的有效途径.鉴于可转变成等式约束条件的附加信息的广泛应用,提出了带等式约束项的滑动多项式的两阶段建模方法.在理论分析的基础上,以空间目标跟踪为例,进行了算法的数值验证.该方法只需在原无约束模型的迭代格式上增加一个修正步骤,实现简单,且具有良好的可观测性、收敛性、估计精度和计算效率.文中的模型并未针对特定系统,稍加调整,可直接应用于一般非线性系统的状态建模.此外,这里的性能分析方法对其他建模方法的性能预测也同样具有参考价值.     

单目视频运动目标轨迹三维重建的平滑约束法

提出了利用单目视频重建运动目标三维轨迹的平滑约束方法.通过引入平滑约束,得到重建运动目标三维轨迹的无约束最优化模型,进而推导出其闭式最优解.提出的平滑约束是对运动目标三维轨迹的本质约束,更具一般性,可以反映目标运动的连续、渐变与平滑特性,与基于离散余弦变换基和多项式基等预先定义基约束相比具有更强的适应性,同时能够直接应用于部分观测数据缺失的情形.给出了单目视频轨迹重建问题的几何解释,并对轨迹重建问题中的唯一性进行分析.仿真和真实单目视频序列上的实验证明了提出方法的有效性和先进性.     

开放域静态电磁场问题数值解的渐近边界条件技术研究

基于电势的多极展开理论, 对开放域静态电磁场问题数值解的渐近边界条件(ABC)技术的近似实质给出了解释, 揭示了传统高阶ABC的缺陷, 提出了建立新型高阶ABC的概念和相应的表达式. 数值例题表明了新型高阶ABC的优点.     

均匀分块矩阵的分块TERM分解

为提高整数变换的效率并实现并行化, 在均匀分块方式下探讨分块矩阵的分块TERM分解. 从扩展行列式det定义着手, 定义了一个分块矩阵映射至矩阵的新函数——DET. 并证明, 它不仅具有一些可与det相类比的重要性质, 而且对det是完全兼容的. 利用这些定义和性质, 最终得出: 任意给定一有限维可逆线性变换矩阵和分块方式, 总可把它分解为不超过3个分块(单位)TERM之积(可能需要置换和Scaling预处理), 并由此得到了适于并行的分块单位SERM分解式. 该结论不仅能涵盖元素矩阵最优TERM分解的结果, 而且可提供灵活的分块方式, 从而为高效合理地并行实现整数映射奠定了基础.     

一种基于PIO改进强化学习的航天器复杂多约束姿态机动规划新方法

本文针对多个姿态约束条件下的航天器姿态机动规划问题进行了研究,提出了一种基于鸽群算法的改进的策略梯度强化学习算法(PIOPGRL).首先,针对强制指向约束和禁止指向约束,建立了基于角度的姿态约束模型,根据约束模型建立了强化学习的回报函数.然后,使用适应度函数替代策略评价函数,将鸽群算法与强化学习相融合.针对策略梯度强化学习算法计算量大、收敛速度慢的问题,使用鸽群算法求解策略梯度,极大减少了计算量.仿真结果表明,相比于策略梯度强化学习算法,基于自PIO改进强化学习的航天器姿态机动规划算法(PIOPGRL)在极大减少计算量的同时,有更优的规划结果,更小的机动代价,适用于微小航天器解决多个姿态约束条件下的姿态机动规划问题.     

多项式的完全判别系统

符号（文字）系数多项式的１个完全判别系统是由这些系数构成的１组显式表达式，这些表达式足够判定该项式的实根和虚根的数目及相应的重数，这样１个关于多项式根的分类的显式判准，对于五次及五次以上多项式迄今无人给出，这方面有效工具的缺乏，严重地妨碍了Ｔａｒｓｋｉ的判定算法及近期的一些机器证明方法的计算机实现，为了弥补这一缺陷，提出了对任意次数的多项式建立完全判别系统的１个通用算法，这一结果在各个不同的领域会     

非球头刀宽行五轴数控加工自由曲面的三阶切触法(Ⅱ):刀位规划算法

基于单个刀位下刀具包络曲面的三阶近似模型,提出了非球头刀宽行五轴数控加工自由曲面的刀位规划新方法.该方法通过优化刀具的前倾角和侧倾角使得在刀触点处刀具包络曲面与设计曲面达到三阶切触,适用于任意的回转刀具,并且可以自然地处理无干涉约束、机床工作空间约束以及刀具路径光顺性约束.圆环刀加工螺旋面的仿真实例表明该方法可以显著增大加工带宽,提高加工效率.     

均匀线阵互耦条件下的鲁棒DOA估计及互耦自校正

阵元互耦的存在会使大多数高分辨DOA(direction-of-arrival)估计算法的性能恶化. 利用均匀线阵互耦矩阵的对称Toeplitz性和带状特性, 基于子空间原理, 提出了一种互耦条件下的鲁棒DOA估计及互耦校正算法. 算法的方位估计不需要阵列互耦的任何信息, 估计精度高、分辨力强; 另外, 算法在方位估计的同时, 还可以精确地估计出均匀线阵的互耦系数, 从而实现阵列互耦的自校正. 算法的运算量小, 方位与互耦系数的估计均不涉及高维的非线性优化搜索, 只需一维搜索或多项式求根. 对算法参数估计的统计一致性、统计有效性和模糊性进行了分析讨论, 并用Monte Carlo仿真实验验证了该理论分析的正确性和算法的有效性.     

结构包含密集模态时主动振动控制中作动器/传感器的优化配置

分析了已有的作动器/传感器配置方法的不足,针对包含密集模态的挠性结构,分析其可控/可观度的特殊性,提出了针对密频系统的作动器/传感器优化配置准则.通过可控性Gram阵的分块解析形式,避免了求解高阶Lyapunov矩阵方程,并利用了轻阻尼疏频系统自然平衡的条件,降低了求解可控度,即可控性矩阵奇异值的计算量.在此基础上用遗传算法寻优,得到元件的优化配置方式.最后通过算例与另外两种基于可控度的优化配置方法对比,证明依本文方法配置密频系统的作动器/传感器,振动控制效果最优.     

采用加权选通信号的扫描自测试方法

提出了一种采用扫描选通信号基于扫描的自测试方法.各扫描链所对应的权值可通过该算法计算出.在这种测试模式下,测试响应的收集可能在任意时钟进行.该方法力求最大限度地提高数字系统内部节点的可控度和可观测度,从而在几乎不带来额外硬件开销的情况下获得尽可能高的故障覆盖率.实验证明,此方法取得了很好的效果.     

严格正实域的完整刻画和鲁棒严格正实综合方法

引入弱严格正实域的概念,讨论了弱严格正实域的性质,利用多项式完全判别系统,给出系数空间中传递函数严格正实域和弱严格正实域的完整刻画,提出一种新的切实可行的系统鲁棒严格正实综合设计方法。该方法对低阶稳定的区间多项式集或低阶稳定的多项式线段集来说,所得条件是充分必要的,对于高阶的情形也是十分有效的,并用实例说明该方法的有效性。     

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

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

零维三角型系统带重数的实解隔离

现有的隔离零维多项式系统实解的算法都不计算解的重数.文中用一种自然的方式定义了零维三角型多项式系统解的重数并证明了该定义与经典的局部(相交)重数的定义等价.使用该定义,给出了一个完备有效的算法计算零维三角型多项式系统的实解隔离及实解重数.文中的算法基于代数数系数多项式的无平方因子分解和区间算术.文中还给出了一些算例.     

POLSAR图像杂波L分布建模及其参数估计

基于乘积模型的杂波统计建模是进行高分辨极化合成孔径雷达(POLSAR)图像非均匀区域杂波统计特性分析的有效方法,其核心在于纹理分量随机分布的类型选择.广义伽马分布(GΓD)是一种普适性很强的分布类型,Weibull分布、伽马分布、逆伽马分布等都是GΓD分布的特例,因此基于GΓD分布的图像乘性杂波建模既满足杂波建模的高精度要求,同时成为各种雷达杂波辨识的有效工具.本文首先推导了服从GΓD分布的随机变量的高阶矩特征及其对数累积量(MLC),利用纹理分量服从GΓD分布情形构建了乘积相干斑模型,得到了适用于POLSAR图像处理的L分布杂波多视处理的协方差矩阵的概率分布函数,同时推导了其高阶矩特征及其对数累积量,提出了基于对数累积量的L分布参数估计新方法.针对样本数较少的情况下对数累积量参数估计失效问题提出了基于混合矩(MME)的参数估计方法来解决.然后给出了不同分布的高阶矩和对数累积量,通过二三阶对数累积量关系图辨析了常用分布与L分布的内在关系,得到了L分布是目前乘积模型中适用范围较为广泛的统计分布的结论.最后用仿真数据验证了理论推导的正确性,并将基于对数累积量的参数估计方法与已有方法进行了比较,结果证明新参数估计方法具有更高的估计精度和运算效率;另外,还用实测数据进行了统计模型检验,其结果验证了理论推导的正确性.极化SAR中多视图像L分布杂波的统计建模及其参数估计方法为极化SAR目标检测和识别等领域的新技术研究提供了新手段.     

考虑夹具-托盘组合优化的多资源约束柔性作业车间智能调度

针对多产品混合加工车间中有限夹具-托盘资源引发的生产力制约问题,提出了考虑夹具-托盘组合优化的多资源约束柔性作业车间智能调度方法.首先,以最小化最大完工时间为目标建立了基于设备-夹具-托盘三资源约束的混合整数规划模型.其次,设计了基于可行性修复和自学习型变邻域搜索的改良遗传算法并进行求解,提出了种群染色体初始化、交叉、变异过程中的可行性修复策略,在算法迭代中后期引入三种变邻域搜索方法并构建搜索策略知识库,自学习地求得最优解.最后,基于工业大数据生成算例,并通过数值实验证明了该算法具备求解精度和求解时间上的双重优越性,可有效解决设备-夹具-托盘约束下的柔性作业车间调度问题,为加工车间的生产排产智能化转型提供有力支持.     

密码协议的代数模型及其安全性

引入了一个新的代数系统——称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型. 模型中, 用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程, 并用类似于代数中的正合序列概念描述了密码协议的攻击过程, 从而为密码协议的安全性分析建立了一种数学方法. 基于这个模型, 利用代数的技巧证明了对于具有一定对称性的协议, 任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析. 研究了密码协议安全的一致性问题, 给出了两个协议合成保持安全性的一个充分条件, 并提供两个安全的密码协议的合成安全的例子, 推广了相关工作.     

频率相关的电力系统网络等值新方法

针对实际大电力系统电磁暂态仿真耗时长问,本文出了一种频率关外部系统等值新方法,以加快电磁暂态仿真速度.该方法从外部系统端口纳混合矩阵出发,设计有效算法把端口纳混合矩阵函数行列式直接转成端口纳多项式;进而出了分步求解措施,实现对实际大系统端口纳多项式函数求解.在此基础上,对二端口网络纳函数重根特点进行了研究,了应命;基于此命及留数定理,把由端口纳函数行列式转化而纳多项式函数进一步化成纳有理函数式,基于此有理函数式而简化系统,作为外部系统等值系统.本文算法计算复杂性与外部系统节点数具有近似性关系,对于其他方法而言,具有比较快计算速度.因外部系统混合矩阵包含了外部系统所有信息,故本文方法所端口纳有理函数式,能够反应外部系统全频域特性,而具有很高等值精度.此外,由于本文方法求有理函数式即为稳定无源网络传递函数,因而不会出现不稳定极点情况.文中多个算例及与其他方法比较证实了本文方法有效性.     

求解几何约束问题的几何变换法

提出两种基于图表示求解几何约束问题的方法. 第1种方法能线性地处理无循环约束的几何约束问题. 第2种方法可以解决含循环约束问题. 这一算法的复杂度与Owen, Hoffmann的三角分解法一样是二次，但解题范围有所扩大. 实际上这一算法可以解决所有关于简单多边形的约束问题. 这一算法的核心是将几何变换引入基于关系图的约束求解算法.