广义模糊矩阵的标准特征向量

讨论了广义模糊矩阵,即"取大-三角模"复合意义下模糊矩阵的标准特征向量的代数结构.给出了模糊矩阵存在标准特征向量的充分必要条件,建立了标准特征向量的代数表示.     

有限域上基于Grbner基的高级综合优化方法

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.     

A perturbation-incremental scheme for studying Hopf bifurcation in delayed differential systems

A new method, called perturbation-incremental scheme (PIS), is presented to investigate the periodic solution derived from Hopf bifurcation due to time delay in a system of first-order delayed differential equations. The method is summarized as three steps, namely linear analysis at critical value, perturba- tion and increment for continuation. The PIS can bypass and avoid the tedious calculation of the center manifold reduction (CMR) and normal form. Meanwhile, the PIS not only inherits the advantages of t...     

医院内抗生素耐药性传染的稳定性与Hopf分支

研究了医院内感染的带有非线性发生率的抗生素耐药性的时滞传染病模型的稳定性.确定了疾病暴发的阈值R0,运用Lasalle-Liapunov不变集原理和Routh-Hurwitz判据得到了,当R01时无病平衡点是全局稳定的;当R01时,地方病平衡点存在且唯一,对于任意的τ≠0,总能得到在地方病平衡点处的Hopf分支存在的条件.最后通过数值模拟验证了结论的正确性.     

三自旋1/2量子控制系统的伴随矩阵计算

将关于密度算子的Liouville-von Neumann方程表示成坐标微分方程,伴随矩阵具有重要作用。对于三自旋1/2量子系统需要64个64×64的伴随矩阵来描述其坐标动态。基于已建立的多自旋1/2量子系统的伴随矩阵和反伴随矩阵的计算公式,该文给出了三自旋1/2量子系统的几个伴随矩阵和反伴随矩阵的算例。计算结果表明,这些64维的伴随矩阵和反伴随矩阵均是稀疏矩阵。通过计算将这些矩阵的非零元列举在表格中并讨论了非零元的分布。     

级联H桥整流器的双调制轨迹控制研究

级联H桥多电平整流器的直流侧电容电压平衡问题是影响变换器整体性能的主要问题之一.从安全工作区和负载功率分配角度讨论了该问题产生的原因,并给出了级联H桥多电平整流器直流侧电容电压平衡的边界条件,在此基础上提出了双调制轨迹法,并给出了双调制轨迹法的逻辑代数描述及通用算法,使其可扩展到多H桥级联的场合.通过使用提出的控制策略,级联H桥变换器交流侧电压合成点可被强制落在边界条件上,从而可在更大的负载不平衡区间上实现直流侧电容电压的平衡.仿真结果验证了所提控制策略的有效性.     

加法幂等半环和坡代数在网络路径优化问题中的应用

对加法幂等半环上矩阵幂收敛的条件,以及加法幂等半环和坡代数赋权图路径优化问题与伴随矩阵幂的关系进行了研究,优化问题是在加法诱导的偏序≤下考虑的.特别,证明了对于选择的加法幂等半环E上的n阶赋权图G,如果其伴随矩阵A满足aij=e,且对G的任一基本回路p,权w（p）≤e,e是E的乘法幺元,则An-1的（i,j）分量表示从顶点i到j的所有路径的权在偏序≤下的最大元,且最大元一定在某一基本路径上取得.坡代数赋权图的结果作为特例得到.最后给出了几个应用的实例.说明加法幂等半环赋权图的这类广义路径优化问题仍可用矩阵幂的方法来解.     

具时滞物价瑞利方程的Neimark-Sacker分支

研究了以滞量为参数的具时滞物价瑞利方程的数值Hopf分支问题。首先利用欧拉方法将得到的时滞差分方程表示为映射,然后利用离散动力系统的分支理论,在瑞利方程具有Hopf分支的条件下,讨论了差分方程Hopf分支存在的条件及连续系统与其数值逼近间的关系,最后证明了当连续系统产生Hopf分支时,其Euler离散将产生Neimark-Sacker分支,进而得到结论：Euler离散使得方程的Hopf分支性质得以保持。     

Continuous-time orbit problems are decidable in polynomial-time

We place the continuous-time orbit problem in P$\mathsf{P}$, sharpening the decidability result shown by Hainry [7].