基于矩阵秩的概念格生成算法

形式概念分析的核心是概念格,它在本质上描述了对象和属性之间的联系,表明了概念之间的泛化和例化关系。利用矩阵行秩的概念及概念格上的二元运算提出了一种基于矩阵秩的概念格生成算法,实例表明该算法行之有效。     

An Optimal Control Problem with a Small Parameter

A controlled object with small nonlinearity and two boundary conditions is considered. An integral performance criterion is established. The behavior of optimal value of such an extremal problem is studied as the small parameter tends to zero.     

化学动力学参数估值计算中Jacobi矩阵的快速计算

本文通过分析指出:采用 Marquardt 方法估计化学反应动力学参数时,Jacobi 矩阵不必记算得十分精确。并据此提出了一种既能保证一定精度、又能大大减少计算量的计算 Jacobi矩阵的方法。     

Matrix reduction in a combinatorial computation

The 5-flow conjecture of Tutte is that every bridgeless graph has a nowhere-zero 5-flow. Recently Kochol developed a method giving lower bounds for the girth of a smallest counterexample to the 5-flow conjecture. It consists in comparing rank of a matrix with rank of its submatrix. In this paper we present a reduction of the size of these matrices.     

一种借助邻接矩阵求任意图最大团的方法

最大团问题是图论中重要的NPC问题。文章以一种新的方法,通过矩阵运算选择图上可能存在最大团的分支,进而实现求解最大团的问题。算法的每一个步骤都可以用成熟的并行方法替代。     

Solution of a Matrix Problem on a Mathematical Safe for Locks of the Same Kind. I

A mathematical safe problem is first formulated in a general form. The case of a set of locks that are of the same kind and are arranged in the form of a rectangular matrix is considered. Locks are considered to be of the same kind if their states are specified by numbers from the class of residues to a definite modulus. In the case of a prime modulus, a complete solution is provided. All the results obtained are illustrated by examples.__________Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 155–167, March–April 2005.     

Certification of Numerical Computation of the Sign of the Determinant of a Matrix

Certified computation of the sign of the determinant of a matrix is a central problem in computational geometry. Certification by known methods is practically difficult because the magnitude of the determinant of an integer input matrix A may vary dramatically, from 1 to || A || ⁿ , and the round-off error bound of the determinant computation varies proportionally. Because of such a variation, high precision computation of \det A is required to ensure that the error bound is smaller than the magnitude of the determinant. We observe, however, that our certification task of determining only a single bit of \det A , that is, the bit carrying the sign, does not require us to estimate the latter round-off error. Instead, we solve a much simpler task of computing numerically the factorization of a matrix by Gaussian elimination with pivoting (which is a subroutine of LAPACK and LINPACK) and of estimating the minimum distance 1/||A ^-1 || from A to a singular matrix. Such an estimate gives us a desired range for the round-off error of the factorization such that the invariance of the sign of det A is ensured as long as the error varies in this range. Based on these simple but novel observations, we devise new effective arithmetic filters for the certification of the sign, compare them with the known filters, and confirm the efficiency of our techniques by some numerical tests. Received March 29, 1998; revised December 14, 1998.     

计算随机矩阵期望最大特征问题的自组织算法

设Ｎ为一随机变量矩阵,Ａ＝Ｅ（Ｎ）为Ｎ的数学期望,（Ａ（ｔ））为Ｎ为一系列观测。本文提出逐次基于Ｎ的观测而计算Ｎ的数学期望Ａ之最大特征向量的一个自组织算法。理论分析和数值实验表明：所提出的算法可行,有效,有很强的实用性。     

Determining the Upper Bound of the Spectral Norm of a Random Matrix and Its Application to Diagnosis of the Kalman Filter

An upper confidence bound for the spectral norm of a random matrix A(k) R ^n×m that consists of normally distributed random variables with zero mathematical expectation is found in the paper. Based on the theoretical results obtained, an approach is proposed to dynamic diagnosis of the Kalman filter via an innovation sequence.     

Estimating the Focus of Expansion in Analog VLSI

In the course of designing an integrated system for locating the focus of expansion (FOE) from a sequence of images taken while a camera is translating, a variety of direct motion vision algorithms based on image brightness gradients have been studied (McQuirk, 1991, 1996b). The location of the FOE is the intersection of the translation vector of the camera with the image plane, and hence gives the direction of camera motion. This paper describes two approaches that appeared promising for analog very large scale integrated (VLSI) circuit implementation. In particular, two algorithms based on these approaches are compared with respect to bias, robustness to noise, and suitability for realization in analog VLSI. From these results, one algorithm was chosen for implementation. This paper also briefly discuss the real-time analog CMOS/CCD VLSI architecture realized in the FOE chip.     

物联网时代的小数据传输方案研究和对运营商网络的影响评估

首先介绍了用于M2M通信的网络架构以及应对小数据传输可行的解决方案,然后对小数据传输的各种方案给予了详细的描述、分析和对比,最后总结了M2M通信模式下的小数据传输方案对运营商现有网络可能带来的影响。     

A graph-theoretic characterization for the rank of the transfer matrix of a structured system

In this paper structured systems are considered and the generic rank of the transfer matrix of such systems is introduced. It is shown that this rank equals the maximum number of vertex disjoint paths from the input vertices to the output vertices in the graph that can be associated to the structured system. This maximum number of disjoint paths can be calculated using techniques from combinatorics. As an application a structural version of the well-known almost disturbance decoupling problem is proposed. The results in this paper were obtained while the author was affiliated with the Centre for Mathematics and Computer Science in Amsterdam, The Netherlands.     

模糊自整定PID参数控制器在火电厂水处理中的应用

设计了一种Fuzzy自整定PID参数控制器来改善目前火电厂中化学除氧和加氨调节给水pH值控制系统，并成功地用Visual Basic将其模块化。     

Estimation Accuracy of Linear Regression Parameters with Regard for Inequalitiy Constraints Based on a Truncated Matrix of Mean Square Errors of Parameter Estimates

Estimation accuracy of regression parameters with regard for inequality constraints and a forecast using the model obtained are compared with the least square estimation method. It is shown that the introduced constraints allows us to increase the estimation and forecasting accuracy.     

全厂负荷分配系统在火电厂的成功运用

全厂负荷分配系统采用了梯级控制方式,并基于节能降耗的原则,根据单元机组煤耗量自动对各台机组负荷进行优化分配,或在比例分配模式下,由值长根据实际情况对机组负荷进行分配。本文主要介绍了这套全厂负荷分配系统的结构、功能、可靠性、运行方式及在贵州黔西发电厂应用效果等。     

Joint decomposition of Boolean functions on the basis of a solution of logic equations

It is proposed that the apparatus of logic equations be used to achieve an exact solution of the problem of joint decomposition of a system of Boolean functions with respect to a two-block partitioning of the set of arguments.     

Prediction of Parameter Values of Dynamic Systems by the Kalman Adaptive Filter

Models of dynamic systems whose parameters are a priori undefined are considered in their state spaces. Making decisions on the choice of the covariance matrix of errors for the initial estimate of parameters of dynamic systems is substantiated. A solution for the general form of the transitive matrix of the Kalman filter is obtained.     

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

Excel不重复型随机数在考试考场分配中的应用

为独立高效解决社会考生考场公平分配问题,在只使用常用办公软件Excel的前提下,提出一种有效的操作方法。通过随机因子控制平均分配的随机性的思路完成功能需求。充分利用Excel函数库资源,借助RAND函数可以构造出相邻重复、间隔重复、完全不重复的随机数,由于每个考生的考场号和座位号具有唯一性,避免重复便成为关键问题。然而随机数的构造方法多样,产生完全不重复型随机数亦需技巧。[1]利用Excel函数方法构造不重复型随机数,针对随机数的产生结果是否重复的问题利用数组公式法加以检测验证,最终将其应用到社会考试考场分配中。该操作方法不但能节省编制功能软件的开支,而且能够提高工作效率。     

双因素等重复试验方差分析的矩阵求解方法

矩阵是对对应成组的多数据问题进行处理的有利工具,统计分析是对多数据问题进行分析的重要方法,两者结合,为统计分析提供了新的工具,为矩阵拓展了应用范围.本文给出了双因素等重复试验的方差分析的矩阵求解方法.