S4PR网的极小信标计算方法

为了解决S4PR网的信标求解问题,提出了一种计算网中全部极小信标的方法.该方法通过分析资源库所内工作环与资源库所集合之间的关系构建有向图（C-R图）,获取强连通的C-R子图集合,而每个C-R子图对应着一个信标,由此得到包含2个及2个以上资源库所的信标集合,将该集合与含有单个资源库所的极小信标集合进行并集运算,形成备选信标集合,通过算法对备选集合进行筛选,删除其中非极小的信标,进而得到网中全部的极小信标.该方法为获取S4PR网中全部的极小信标提供了有效、可行的方案,为下一步设计最优活性控制器奠定了基础.一个可用S4PR网建模的柔性制造系统实例验证了该极小信标计算方法的正确性.     

模糊Petri网模型的反向推理算法

提出了一种建立在模糊Petri网的基本结构上的反向推理算法．通过建立模糊Petri网模型的关联矩阵、库所向量和变迁向量，运用矩阵运算的基本方法实现．通过该算法的运行，可以在模糊Petri网模型中抽取出一个子模型，从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理．采用数学运算的方法实现的反向推理算法简单，具有通用性，它适用于各种类型的模糊Petri网结构．对于其它的大系统生成子系统的问题，这种矩阵运算的方法也可以借鉴．同时对该算法中的矩阵运算和模型中的图形结构之间的关系进行了分析，讨论了算法的复杂性．     

一种改进的RootMUSIC快速算法

MUSIC算法是一种基于特征结构的子空间类超分辨算法,该算法性能优良,但需要估计协方差矩阵并进行特征分解和谱峰搜索,运算量较大。研究了波达方向估计问题并提出了一种改进的快速算法,该算法利用协方差矩阵的子矩阵得到信号子空间,无需特征分解,只需估计该子矩阵,然后用多项式求根的方法代替谱峰搜索,故该快速算法运算复杂度远低于MU-SIC算法,同时性能损失并不太大。理论分析和计算机仿真结果表明此算法是有效的。     

最优基本信标在柔性制造系统死锁控制中的应用

基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优．在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法．实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为．     

基于nested阵列的高分辨DOA估计

针对nested阵列对邻近信号的分辨力受信噪比和快拍数等因素限制的问题,提出了基于nested阵列的加权子空间平滑M USIC算法.该算法对协方差矩阵向量化以提高整个阵列的自由度,使用空间平滑恢复新接收数据矢量阵的秩,采用校正的噪声特征值对噪声子空间进行加权,并对信号子空间进行空间谱合成,得到新算法的空间谱函数.通过搜索空间谱函数极大值实现DOA估计.结果表明,该算法在低信噪比及小快拍数条件下,对间隔较近的信号具有高分辨力.     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．     

特殊分块矩阵的秩

矩阵的秩是矩阵的一个重要不变量。本文利用分块矩阵的特性，研究了几个特殊分块矩阵的秩，得到能写成[A B]和[0 B^A C]的矩阵的秩与子块的秩的不等式以及等式成立的条件，同时得到能写成[AB A]和[B A^A B]的矩阵的秩与子块的秩的等式。     

Stiefel流形上沿测地线搜索的自适应主(子)分量分析对偶学习算法

神经网络在线提取子分量并不成功。基于Oja-Brockett-Xu并行神经网络拓扑结构,通过紧致Stiefel流形上加权Rayleigh商目标函数的优化框架,提出一个通过改变搜索方向并行提取主分量和子分量的自适应对偶学习算法。在正交矩阵群上采用基于右平移不变的Killing度量,通过在单位元处基于指数映射的测地线搜索,得到Stiefel流形上主(子)分量分析的对偶学习算法,提出的算法通过简单的变换步长参数符号,从主分量分析切换至子分量分析,权值矩阵在任意迭代时刻保持正交归一性。数值仿真验证了该算法的有效性。     

一种酉空时调制的快速搜索译码算法

针对系统产生的酉空时星座,提出一种快速的搜索译码算法．接收机产生一个星座点,与接收信号对应维相乘后,将各维乘积分量按照不同的累加方式累加,得到4个星座点与该接收信号的相关系数．新算法通过几次加减法与三次内积运算,可以节省产生另外3个星座点所需的计算旋转矩阵的乘法、旋转矩阵与基本矩阵的乘法以及这3个星座点与接收信号的相关运算．理论上证明了新算法完全没有损失性能,可以将最大似然算法的搜索范围降低75％左右．     

一种利用基本信标的柔性制造系统死锁控制器设计方法

对于一类网系统ES³PR提出了一种有效的死锁控制策略．严格极小信标分为基本信标和从属信标,对每个基本信标通过添加控制库所,保证其能够被标识,同时不产生新的可被清空的信标．从属信标的控制通过调整基本信标的控制深度变量来实现．通过对添加的控制库所冗余性的分析,去除了冗余的控制库所,得到了许可状态更多、结构更为简单的Petri网控制器．     

考虑FMS资源故障的一种死锁预防策略

提出了利用Petri网对设备发生故障的柔性制造系统建模和死锁控制的一种方法．用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程．在此基础上,研究了一种死锁控制策略：仅对基本信标添加控制库所,通过调整基本信标的控制深度来保证从属信标的可控性．由于基本信标个数远少于可清空信标个数,这种控制方法可大大简化Petri网控制器的结构．     

矩阵行标准形定理的一个证明

利用矩阵的行初等变换与向量方程，运用反证法给出了矩阵行标准形定理的1个新的证明方法．本文结果为线性方程组的系统理论的教学可在行列式、逆矩阵、向量线性相关与秩的理论之前进行奠定了理论基础，可作为文献[1一tO]在处理矩阵行标准形定理时的1个补充．     

初等行变换在简化线性矩阵方程求解中的应用

文章给出了线性矩阵方程中的一种新的解法。此方法利用初等行变换法化简常见的线性矩阵方程对应的特定矩阵,依据化简结果可同时得到非齐次线性矩阵方程的一个特解和对应的基础解系,从而可直接写出通解,并通过算例检验了初等行变换法的可行性、简便性和有效性。     

基于机构位移模态子矩阵法的 铰接杆系机构奇异与运动分岔分析

提出通过追踪机构位移模态子矩阵行满秩与否来判断机构运动分岔点的新方法--机构位移模态子矩阵法.该方法将铰接杆系机构的自由节点分为驱动节点和从动节点,对应描述机构构型的变量分别为控制变量和状态变量.建立铰接杆系机构平衡矩阵,由奇异值分解得到整体机构位移模态,定义驱动节点对应的机构位移模态矩阵和从动节点对应的机构位移模态矩阵为机构位移模态子矩阵,当机构位移模态子矩阵出现非行满秩现象时,驱动节点或从动节点获得自由度,机构运动发生奇异.通过单自由度和两自由度机构算例分析证明了此方法的正确性与有效性.     

再谈求矩阵A+的初等变换法

通过初等变换法，给出把矩阵A作满秩分解A＝F、G中求万、G的一般方法，是求出A的广义逆。     

一类离散事件系统的非阻塞监督控制器设计

提出一种新的死锁控制策略，对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控，通过线性规划求取所有从属信标满足可控性的条件，印获得基本信标的控制深度变量，这种控制策略能保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性，印在控制下，受控系统从任意可达状态都可到达理想状态，和现有方法相比，该策略只需加入更少的控制库所，且可避免不必要的迭代过程。