应用复合加权偏微分方程求解的磁共振水脂分离成像算法

提出采用加权多网格方法来求基于相位矩阵的离散偏微分方程的展开解,由最大相位梯度矩阵和相位导数偏差矩阵生成复合标记矩阵,利用标记矩阵标记出相位矩阵中的不连续点和残差点,由此生成加权矩阵来抑制噪声和残差点在偏微分方程求解过程中的误差传播.通过求偏微分方程的加权最小二乘解,引导相位展开从相位质量高的点开始,有效避开低质量区域,不仅提高了相位展开的可靠性,而且能够正确地实现噪声条件下的相位展开.通过仿真数据和临床常见的头部磁共振成像,以及在0.3 T低场永磁型磁共振系统上的实验结果,证明了该算法的有效性.     

Riccati矩阵方程异类约束解的迭代算法

首先研究了Riccati矩阵方程中变量矩阵为对称矩阵和自反矩阵异类约束解问题,其次采用牛顿算法将Riccati矩阵方程异类约束解转化为线性矩阵方程的异类约束解,最后采用修正共轭梯度算法(MCG)解决了线性矩阵方程异类约束解或者是最小二乘解问题.     

子矩阵约束下的一类特征值反问题

研究了子矩阵约束下反自反矩阵的逆特征值问题.利用矩阵的分解,建立了子矩阵约束下反自反矩阵的逆特征值问题有解的充要条件,得到了解的一般表达式.     

机器人多指抓取的力封闭判别

在机器人多指操作过程中,需要判断抓取姿态是否满足力封闭条件．基于非线性摩擦锥约束转换为对称矩阵的正定线性约束,进一步将抓取力摩擦锥约束转换为线性矩阵不等式约束,使抓取力封闭判别问题转化为带线性矩阵不等式约束的可行解问题,给出了力封闭抓取的充要条件     

二次矩阵方程异类约束1-3-7解的迭代算法

讨论了控制理论中二次矩阵方程的约束解问题,结合牛顿算法以及修正共轭梯度算法(MCG),建立了多变量二次矩阵方程异类约束1-3-7解的牛顿-MCG算法.先用牛顿算法把非线性二次矩阵方程转化为关于校正矩阵的线性矩阵方程,再用MCG算法求线性矩阵方程异类约束解或最小二乘约束解,给出了算法性质和结论.最后,用数值算例验证了该算法是有效的.     

基于非负矩阵分解的1kbit/s波形内插语音编码算法

为了进一步降低编码速率,提出了一种基于非负矩阵分解的1kbit/s波形内插语音编码算法.该算法对特征波表面的幅度矩阵进行非负矩阵分解,以获得局部特征矩阵,并对该局部特征矩阵进行约束和改进,使优化后局部特征更加突出.对应的基矢量进一步稀疏,从而有利于对权矢量的量化,以实现对特征波表面的高效编码.该算法同时加入清浊音标志,对特征波表面的相位谱进行估计,以更好地提高合成语音质量.实验表明,该算法能够在1kbit/s的低编码速率条件下,获得与1.2kbit/s混合激励线性预测语音编码算法相近的合成语音质量,取得了较好的效果.     

连续相位调制中的代数结构

在介绍连续相位调制的有限自动机定义方法之后,讨论了连续相位调制状态序列生成马尔柯夫链状态转移矩阵的循环性质.在此基础上研究了循环矩阵作用于循环矢量上的特珠性质.作为这一理论的一个应用,本文用简单初等的代数运算给出了连续相位调制功率谱密度的简洁公式.     

主动关联马赫-曾德尔干涉仪中多参数相位估值的极限

基于量子费歇尔信息和量子费希尔信息矩阵理论,研究了三端口输入的主动关联马赫-曾德尔(Mach-Zehnder, MZ)干涉仪在两种不同输入态下的相位估值极限.研究结果得到,在单个端口输入任意光场的情况下,利用相位平均和量子费歇尔信息矩阵理论消除了输入光场的涨落对相位估值极限的影响;而在双端口输入相干态的情况下,无法消除光场涨落对估值极限的影响,且相位估值极限依赖于输入的双相干光的初始相位.     

散射项约束非负矩阵分解的高光谱图像解混

针对传统的约束非负矩阵分解方法对于解混的物理特性考虑较少,提出一种高光谱图像的解混方法:散射项约束非负矩阵分解(scattering-term constrained nonnegative matrix factorization,STC-NMF).与大多数约束非负矩阵分解算法将约束建立在数据的数学特性之上不同,ST...     

机器人多指爬取的力封闭判别

在机器人多指操作过程中,需要判断抓取姿态是否满足力封闭条件,基于非线性摩擦锥约束转换为对称矩阵的正定线性约束,进一步将抓取摩擦锥约束转换为线性矩阵不等式约束,使抓取力判别问题转化为带线性矩阵不等式约束的可行解问题,给出了力封闭以的充要条件。     

单面完整约束系统在相空间中的形式不变性

对单面完整约束系统在相空间中的形式不变性进行了分析研究。给出了单面完整约束系统在相空间中形式不变性的定义和判据 ,得到了形式不变性的结构方程和守恒量 ,并用实际算例验证了研究结果的有效性。     

时序分析中时序约束条件的确立和检验算法

针对同步多相时序电路在满足建立时间约束时却忽视保持时间约束的情况，提出了一个基于锁存器多相时序电路的建立时间约束和保持时间约束的检验算法。该算法考虑了时钟偏斜对建立时间和保持时间的影响。经具体时序电路验证，本文检验算法是可行的。     

相空间中非完整力学系统的对称性与非Noether守恒量

在增广相空间中研究非完整约束力学系统的对称性与守恒量。建立了系统的运动微分方程；给出了系统的Noether对称性、Lie对称性和Mei对称性的判据；研究了三种对称性之间的关系；得到了相空间中非完整约束力学系统的两类非Noether守恒量——Hojman守恒量和Mei守恒量，研究了对称性和守恒量之间的内在关系。文末，举例说明结果的应用。     

积分二阶线性非完整力学系统的最终乘子方法

研究二阶线性非完整力学系统的积分方法。建立了相空间中二阶线性非完整力学系统的运动微分方程,给出了系统的Jacobi最终乘子的定义,研究了系统的第一积分与Jacobi最终乘子的关系。研究表明：由n个广义坐标确定的受有g个二阶非完整约束的力学系统,如果已知系统（2n-1）个第一积分,则可利用Jacobi最终乘子给出系统的解。文末举例说明结果的应用。     

非最小相位系统预测控制算法的频域设计

在Z域和离散时域研究了非最小相位系统的控制问题,从系统内稳定和渐进跟踪要求出发,提出了一类非最小相位系统预测控制的新算法,该算法通过求取满足闭环系统最基本要求的参考轨迹来实现,设计例子表明了提出方法的有效性。     

三维连续体结构优化程序系统

叙述了三维连续体结构形状化程序ＳＰ的实现原理,其中包括映射法自动生成网,用二级控制实现设计变量控制网络变动,约束及目标函数的敏度解析式推导、一维搜索。     

一类带性能约束的二维几何布局优化

提出一类带性能约束的二维几何布局优化问题模型及其求解算法．该算法分三个 阶段处理，即嵌入阶段、可行初始布局阶段和优化布局阶段，并给出每个阶段相应的几 何布局质量的评价标准函数、算法和结束准则。在具体的求解过程中；综合运用了拟 物原理、广义力矢量松弛法原理、有向树搜索原理来构造布局优化的算法．给出一种 在可行布局范围内不断压缩几何体布局的范围同时进行迭代改善布局过程的方法来寻 找最聚集的优化几何布局．用Ｆｏｒｔｒａｎ语言编制了相应算法及图形显示的程序，文 后给出了算例的验证结果。     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

考虑优化调度的微电网频率恢复分布式预测控制策略

为了解决快速频率恢复和缓慢实际功率调度之间的时间尺度分离问题,提出一种考虑优化调度的微电网频率恢复分布式预测控制策略。引入的一致性策略能够在同一时间尺度上处理优化调度和频率恢复,另外提出的实际功率调度方案分布式模型预测控制解决了通信延迟、通信中断和即插即用情景,并且将下垂、实际功率传输和相位角方程作为等式约束,从而预测每个微电网的行为。此外,终端值和不等式约束有助于确定可行解空间的界,从而减少优化时间。在4种测试情景下对控制器的动态性能进行实验评估,结果证明该控制器对负载变化和通信问题具有较强的鲁棒性,并且保证了频率快速回复与高效功率调度。     

时间尺度上约束Hamilton系统的Noether对称性和守恒量

研究时间尺度上相空间中非保守奇异系统的Noether对称性和守恒量. 首先, 将奇异性导致的内在约束按外在非完整约束等效处理, 利用时间尺度上Δ导数下的Hamilton原理得到约束Hamilton系统的正则方程; 其次, 引进时间不变的特殊无限小变换, 得到系统Hamilton作用量在该变换下的Noether对称性的判据和定理; 最后, 举例说明该方法和结果的有效性. 结果表明, 时间尺度上约束Hamilton系统的正则方程结构属性依旧保持, 系统的奇异性使Noether对称性不再直接导致Noether类型的守恒量, 还需构造一定的规范函数使Noether对称性满足结构方程.