矩阵方程AXB+CYD=E最佳逼近自反解的迭代算法

利用复合最速下降法的迭代算法能够求出矩阵方程[AXB+CYD=E]的最佳逼近自反解,但其收敛速度很慢。针对这一问题,提出一种利用共轭方向法的迭代算法。对于任给初始自反矩阵[X1]和[Y1],无论矩阵方程[AXB+CYD=E]是否相容,该算法都可以经过有限次迭代计算出其最佳逼近自反解。两个数值例子表明该算法是可行的,且收敛速度更快。     

一类时滞系统的函数观测器设计

针对一类状态变量中含有时滞的线性系统,提出了函数观测器设计的一种参数方法。给出了函数观测器存在的充要条件。基于Lyapunov稳定理论和广义Sylvester矩阵方程的完全参数化解,给出了时滞系统函数观测器设计算法。两个数值例子说明了提出算法的简单性、有效性。该方法提供了进一步满足其他性能要求的设计自由度。     

稀疏低秩双线性判别模型及其应用

"高维度小样本"问题是模式识别应用中的主要障碍之一。跨越这一障碍的有效方法之一是采用参数矩阵的低秩逼近,目的是控制模型复杂度。常用的低秩逼近方法需要预先指定目标矩阵秩的大小(如主成分分析)。提出了一种新的基于稀疏约束的低秩判别模型,此模型通过对目标参数进行矩阵分解,然后分别对子成分施加低秩(稀疏)约束,从而达到低秩逼近的目的。进一步将这一思想嵌入一个双边判别模型,并用坐标下降法对目标函数进行优化,使得算法在低秩逼近的同时还有效利用了输入数据的空间特性,从而得到更好的推广性能。其有效性在一个安全生物识别应用上得到了验证。     

线性时变大系统递阶控制的一种新方法

根据正交函数逼近理论，本文提出了解决时变大系统递阶控制的一种新型逼近算法。文中首先简单介绍了ＰＭＣＰ，同时给出了一些新的研究结果；研究了其在两点边值问题中的逼近解。动态大系统的逼近控制分为二级，第一级是子系统的优化问题，采用ＰＭＣＰ逼近技术解决；第二级为协调级，协调向量也通过ＰＭＣＰ逼近变换求解，这样使问题得到大为简化，不但算法简单，便于计算机运算，而且逼近精度高。数值仿真例子表明了本文提出的算法     

离散线性受限调节系统解的存在性分析

本文主要讨论了离散线性受受限调节问题（LCRP）解的存在问题，通过正不变性（PI），以及状态受限集与由控制限转化来的状态集的蕴含关系给出了代数性的充分必要条件，该条件借助于计算机简单易解，并且根据据此充要条件可以方便地检测并设计调节器。     

线性多级动态结构大系统的反馈镇定

本文研究一类由Ｎ个子系统组成的具有多级动态结构线性大系统的多级反馈镇定问题，这类系统的多级反馈可镇定性与相应地导出系统分散反馈可镇定性等价。利用这种等价性以及系统本身的结构特征，给出了这类大系统可多级反馈镇定的充分条件。对于给定系统，应用本文的结论判别其多级反馈可镇定性是比较容易的。     

基于.NET 架构的产品结构及物料管理系统

当前企业信息化建设过程中一个重要方面就是实现生产管理信息的高度集成,而这就要求各相关部门能够实现及时的信息传递和资源共享,以达到提高生产效率,降低生产成本的目的。根据某制造企业产品数据管理繁杂,各部门之间数据不统一,以及已有数据得不到重复利用等问题提出了基于B/S模式和微软.NET架构体系的产品结构及物料管理系统的解决方案,重点讨论了系统的体系结构、功能以及设计与实现方法。     

一类具有大线性复杂度的四值低相关序列集

对正整数n≡0mod4,该文构造出了首类周期为2n-1的四值低相关d-齐次序列集,并完全确定了它们的相关值分布.新构造的这类序列具有大线性复杂度,而且每一条序列的线性复杂度被精确地计算出.同已有的序列集相比,该文构造的序列的优点是在具有低相关性和较大的集合容量的同时,还具有很大的线性复杂度.这类新序列适用于密码系统和CDMA通信系统.     

近似空间的笛卡尔积粗集模型及其可分解性

为处理人工智能中不精确和不确定的数据和知识,Pawlak提出了粗集理论。之后粗集理论得到拓广,人们提出了许多新的粗集模型。拓展的方法主要有两种,一种是减弱对等价关系的依赖,另一种是把讨论问题的论域从一个拓展到两个。Y. Y. Yao提出了一种基于两个论域的粗集模型。现研究基于两个近似空间的笛卡尔积粗集模型,给出了积近似空间的概念,刻画了可分解集合的上(下)近似、近似精度和粗糙度。最后研究了笛卡尔积粗集模型的可分解问题,给出了一个近似空间积可分解的充分必要条件。     

Modeling,Reachability and Controllability of Bounded Petri Nets Based on Semi‐Tensor Product of Matrices

In this paper, we present a comprehensive modeling technique for bounded Petri net systems (BPNSs) in the framework of the semi‐tensor product (STP) of matrices. The two dynamic properties of BPNSs, namely, reachability and controllability, are investigated systematacially. First, the dynamics of a bounded Petri net system (BPNS), by resorting to the STP of matrices, are expressed in the form of a discrete‐time bilinear equation, which is called the marking evolution equation (MEE) of BPNSs. Second, controllability and transition‐marking adjacency matrix (TMAM) of BPNSs are defined, respectively. Further, several necessary and sufficient conditions for reachability and controllability of BPNSs are given in terms of the MEE and TMAM. Third, an efficient algorithm to verify reachability property of BPNSs, in this paper, is provided, as well as its computational complexity. Finally, an example is presented to illustrate the theoretical results in this paper. The main contribution of this paper is the presentation of a precise mathematical model for BPNSs. The main advantage of the proposed approach is that not only it can be applied to verify whether or not any given marking is reachable from the other in state space, but also it is very convenient to find all firing sequences between any two reachable markings.     

Existence and numerical simulation of solutions for nonlinear fractional pantograph equations

In this paper a method based on Sinc approximation is developed for the numerical solution of a nonlinear fractional pantograph equation. In order to use Sinc approximation, the problem needs to have an analytic solution. So we investigated the existence and uniqueness of analytic solutions in the proposed domain. Single and double exponential transformations are used to approximate the solution. Some test problems are given to demonstrate the efficiency and applicability of the methods. The results are compared with some other existing numerical methods to show the performance and good accuracy of the methods. The numerical orders of convergence show that the method has exponential rate of convergence.     

随机多变量系统的结构与参数不变量辨识

引入多变量系统Markov参数矩阵相关分析下的最优输入设计向量,得到Markov参数矩阵估汁.在此基础上,推导出有色噪声干扰下多变量线性系统Kronecker结构不变量与参数不变量的递推辨识算法.     

低噪声电容式超声传感器的结构与电路设计

本文提出了一种紧凑的可动浮栅型电容式超声传感器(Capacitive Micromachined Ultrasonic Transducer,CMUT)器件结构和低噪声高频电路。该结构包含通常CMUT上下电极和MOS晶体管。建模对浮栅型CMUT器件进行了直流分析和时变电容的瞬态分析,模拟结果表明该传感器结构比传统CMUT具有更低的寄生电容和输出阻抗。在1.5Pa超声声压下进行Cadence和ANSYS仿真,输出信号为40.1mV,在1MHz等效输出噪声为16.59nV/Hz1/2,直流增益为74.73dB,单位增益带宽为488MHz。指标优于传统的CMUT结构,具有医学三维成像的应用前景。     

一类时滞线性系统的变结构控制

研究一类状态变量具有时滞的线性系统的变结构控制问题,指出传统的切换函数在时滞系统中应当是一个切换泛函,给出了在系统谱能控条件下具有稳定滑动模态的切换泛函的设计方法.并利用趋近律设计了相应的变结构控制器.得到了一般时滞系统能够变换为所需要的时滞系统的条件.     

Existence and Stability of Choleski Q.I.F. for Symmetric Linear Systems

Recently, Evans [1] has given a variant of the classical Choleski factorization, called Choleski Q.I.F., for the solution of symmetric linear systems. In the present paper we address the questions of existence and stability of the factorization. We show that Evans' Choleski Q.I.F. exists if the coefficient matrix is symmetric positive definite. Our proof of existence of the factorization is via obtaining the diagonal elements of the factor matrices in a closed-form in terms of certain principal minors of the coefficient matrix. By interpreting the Choleski Q.I.F. as an elimination procedure in which eliminations are carried out, alternately, in columns from the left and the right, we show that the Choleski Q.I.F. is also (numerically) strongly stable if the coefficient matrix is symmetric positive definite. We include arithmetical operations counts for the Choleski Q.I.F.; these agree with the counts for the classical Choleski factorization.     

不确定线性系统输出反馈鲁棒镇定的充要条件

研究不确定性线性系统的输出反馈鲁棒镇定问题，给出了具有范数有界参数不确定线性系统静态输出反馈鲁棒镇定的充要条件。所给方法的设计过程只需解一个特殊的代数Ｒｉｃｃａｔｉ不等式或代数Ｒｉｃｃａｔｉ方程算法实现简便。最后通过实例验证了本方法的有效性。     

复杂产品制造信息集成规划内容与方法

分析了复杂产品制造业信息化的历程、面临的信息孤岛问题和企业信息集成规划需求的迫切性．结合企业的实际,提出了基于两化融合的复杂产品制造企业信息集成规划与实施的总体思路,并重点论述了其中数据管理规划、基于BOM的业务信息数据关联模型、系统集成的数据关联定义和规范化“就源取数”管理关键技术内容和示例．     

异构环境中基于特征关系的产品建模方法研究

基于特征的产品数据交换的完整性、一致性是异构集成环境下亟待解决的一个关键问题。该文在给出异构集成交换平台模型的基础上,提出了一种建立在平台上的基于特征关系的产品建模方法。该文试图从较高的层面上解决异构环境下基于特征的产品信息交换问题,以避免异构系统间的数据差异。该文在给出产品的交换平台模型的基础上,研究了基于特征关系的产品数据模型。最后分析了该模型的优点与尚需改进的地方。     

Krylov子空间方法解线性方程组的并行性能分析及应用

许多并行计算问题,在结合并行机的特有体系结构时,要对算法的并行性能及其可扩展性进行分析。它决定了该算法解决有关问题是否有效,并进一步判断所用的并行计算系统是否符合求解问题的要求。文章通过对Ｋｒｙｌｏｖ子空间中两种有效算法－ＰＣＧ算法和ＧＭＲＥＳ（ｍ）算法在一类并行系统中形成的并行算法的性能进行了分析,给出了其求解问题规模与处理机数与加速比的关系结果表明。ＧＭＲＥＳ（ｍ）算法比ＰＣＧ算法更适合于并行。