16＊16点阵显示汉字的分析与制作

本文利用AT89c51作为控制芯片,将广泛使用的88的点阵组合成16＊16的汉字显示屏和串并转换驱动芯片74HC595芯片来完成显示复杂图形,并能在通过按键加快、减慢汉字移动速度的目标,设计极大节省了控制芯片的I／O资源。     

证据理论合成准则的一种新算法及其验证

研究证据理论是一种处理不确定问题的重要方法,以往的改进方法大都只关注证据的冲突问题。针对证据合成准则在不确定的证据源较多和识别的框架较大时计算复杂,容易得到错误合成结果,根据出现的问题,提出了一种证据合成准则的简便计算公式,公式模块化程度高,易于编程实现,降低了计算难度。给出了公式的具体算法步骤,算法主要通过矩阵运算来完成。仿真实例表明相对于原始公式,计算简便,易于实现,同时仿真结果也验证了公式和算法的正确性与有效性。     

Rigidity of a simple extended lower triangular matrix

For the all-ones lower triangular matrices, the upper and lower bounds on rigidity are known to match [P. Pudlak, Z. Vavrin, Computation of rigidity of order n²/r for one simple matrix, Comment Math. Univ. Carolin. 32 (2) (1991) 213-218]. In this short note, we apply these techniques to the all-ones extended lower triangular matrices, to obtain upper and lower bounds with a small gap between the two; we show that the rigidity is .     

Computing the Maximum Degree of Minors in Matrix Pencils via Combinatorial Relaxation

   Abstract. This paper presents a new algorithm for computing the maximum degree δ _k (A) of a minor of order k in a matrix pencil A(s) . The problem is of practical significance in the field of numerical analysis and systems control. The algorithm adopts a general framework of ``combinatorial relaxation' due to Murota. It first solves the weighted bipartite matching problem to obtain an estimate

Matrix Interpretations for Proving Termination of Term Rewriting

We present a new method for automatically proving termination of term rewriting. It is based on the well-known idea of interpretation of terms where every rewrite step causes a decrease, but instead of the usual natural numbers we use vectors of natural numbers, ordered by a particular nontotal well-founded ordering. Function symbols are interpreted by linear mappings represented by matrices. This method allows us to prove termination and relative termination. A modification of the latter, in which strict steps are only allowed at the top, turns out to be helpful in combination with the dependency pair transformation. By bounding the dimension and the matrix coefficients, the search problem becomes finite. Our implementation transforms it to a Boolean satisfiability problem (SAT), to be solved by a state-of-the-art SAT solver.     

Improved Image Based Visual Servoing with Parallel Robot

The position regulation problem of an eye-in-hand type of parallel robot based pointing systems (PRBPS) is considered in this paper. A fuzzy logic system is first designed to compensate for the uncertainties of the parallel robot and the uncertainty of the image Jacobian, then a hybrid controller (HC) including the image-based nonlinear controller and the adaptive supervisory fuzzy logic controller (ASFLC) is derived by using the Lyapunov direct method to realize the position regulation (PR). The stability of the closed-loop system in the Lyapunov sense is proven theoretically. The fuzzy scaling matrix is combined with the HC to improve the performance of the control system. The simulation results demonstrate that the PRBPS realizes PR with very good robustness to the parameter uncertainties, and the control input torques and settling time are reduce greatly in the case of large initial feature errors.     

基于NMF图像重构的人脸识别

由传统的人脸识别方法产生的人脸特征子空间通常是由人脸库中所有训练样本产生的一个通用子空间,该空间更多地包含了所有人脸样本的共性特征,而忽略了个性特征。该文提出一种基于NMF图像重构的方法,以单个人的训练样本集获取其人脸特征子空间,将识别图像向每一个特征子空间中进行映射及重构,并以重构图像的误差作为判据实现人脸识别。在ORL标准人脸库进行的计算机仿真证实了该方法的有效性。     

多路矩阵开关信号采集系统设计研究

在传统矩阵信号采集和传输系统中,主要是对单个矩阵信号的采集和传输,但随着科技的发展,多路矩阵开关在工业和军事中的应用越来越广泛,对多路矩阵信号的有效采集和传输成为亟待解决的问题。本系统就是针对这个问题．在单个矩阵开关信号采集和传输的基础上,利用信号采集和传输的有关原理,采用串行通信技术和单片机控制技术实现了对多路矩阵信号的有效采集和传输。     

时滞系统方法的网络控制系统的研究

针对普遍存在的采样器和零阶保持器异步这一现象,研究了该类网络控制系统的状态反馈控制问题。首先,以事件驱动的零阶保持器的更新时刻为时间标识,并考虑到网络的诱导时延和数据丢包,建立网络控制系统的采样闭环模型,并转化为状态中连缀着两个时滞变量的时滞系统。然后,利用相应的时滞系统方法,对闭环网络控制系统进行了稳定性分析和控制器综合。最后,通过仿真实例验证了所得结果的正确性。