判断可见性的一种新方法——直观判断法

通过对可见性的研究，提出了判断可见性的直观判断法，并对直观判断法的理论依据及方法进行了阐述。介绍了该判断方法的不同类型图例中的应用。     

Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

二进制分辨矩阵在连续属性约简中的研究

针对二进制分辨矩阵无法处理连续型数据,提出一种基于邻域的改进二进制分辨矩阵及其属性约简方法。实验结果表明,与先数据离散化,后属性约简的方法相比,利用文中方法提取出的特征属性的分类能力更高。     

SVPWM三相电压型逆变器的仿真研究

以三相电压型逆变器为基础,根据空间矢量脉宽调制（SVPWM）基本原理详细分析研究了电压矢量作用时间和扇区分配问题,以α-β坐标为基础,建立了互差π/3的x-y-z时间坐标系,提出了不同扇区矢量作用时间长短根据期望极值判断的原则。介绍了MATLAB中M文件编程的仿真方法,建立了MATLAB程序嵌入式主要功能模块,逆变器采用数字PID控制,利用Simulink对系统进行了综合仿真分析及试验,给出了仿真及实验波形,为实现SVPWM逆变器的数字控制提供参考。     

基于自适应共生矩阵选择的目标跟踪方法

针对单一固定特征无法适应目标及其背景变化的情况,提出了一种基于HSV颜色空间的共生矩阵的自适应特征选择的方法。首先将图像转换为HSV颜色空间,在每个颜色通道内对目标及其背景区域计算不同参数的共生矩阵,选择其中差异最大的前4个共生矩阵作为目标特征模型,通过比率对数矩阵计算的反向投影图,采样均值平移算法跟踪目标。仿真实验验证了该算法的有效性。     

使用矩阵实现LRU的页面置换算法

操作系统的内存管理一直是计算机领域研究的一个重要方向。文中分析了几种常用内存管理中的页面置换算法及其存在的问题,提出了LUR页面置换算法的操作系统内存管理中比较接近理想算法的一种页面置换算法,并阐述了使用矩阵方法实现该页面置换算法的原理。     

一种新的码片内多径时延估计方法

根据信道冲激响应的稀疏特性,提出了一种频域的时延估计压缩感知模型,将时延估计问题转化为基于欠采样数据的稀疏向量估计问题.利用离散傅里叶变换(Discrete Fourier transform,DFT)矩阵的子矩阵所满足的受限等距性(Restricted isometry property,RIP)以及信道冲激响应的稀疏特性充分降低了时延估计所需数据量的要求.分析了本文模型具有码片内多径分辨能力以及良好抗噪性能的原因,并与多信号分类(Multiple signal classification,MUSIC)和旋转不变技术的信号参数估计(Estimation of signal parameters via rotational invariance technique,ESPRIT)算法的时延估计性能进行仿真比较.仿真结果表明,本文提出的方法不需要预知多径的条数,对码片内多径时延具有较高的估计精度,其时延估计性能在特定条件下优于MUSIC和ESPRIT算法.     

紧扣内存变量关系巧解矩阵类问题

C语言学习过程中,不少初学者不能建立思维的模型,无法将形象可行的矩阵运算、旋转事件抽象化成算法语言。讲解了指导学生掌握矩阵操作算法的推导方法。     

弹性力学极坐标公式利用矩阵形式的对比教学

利用弹性力学平面问题中有很强规律性且容易记忆的基本方程的直角坐标矩阵形式,按极坐标系与直角坐标系之间物理量、微分算子的对应关系,考虑特殊情况,可列出基本方程及物理量的极坐标矩阵表达形式.两种坐标系下的公式具有一定的对应规律,得到的极坐标矩阵形式体现出很强的规律性和记忆特点,矩阵形式易化成一般表达式.教学中可利用这些规律进行对比讲授,从而使学生对较为复杂且采用通常方法不易记忆的基本方程或物理量的极坐标形式变得有规可循,容易记忆和掌握.