计算最终线性秩函数的新方法

程序的终止性分析作为程序验证中重要的一环,在软件正确性验证中极为重要。对于一个线性循环程序,若该程序没有传统定义的线性秩函数,则基于传统定义的秩函数终止性分析方法失效。2013年,Bagnara提出了最终线性秩函数(Eventual Linear Ranking Functions)的定义,并证明了若某个程序存在最终线性秩函数,则该程序终止。由此,提出了新的方法来计算最终线性秩函数,构造了存在线性增函数和最终线性秩函数的等价半代数系统,并使用Mathematica工具对半代数系统进行求解,对比分析了各种最终秩函数求解方法的实际计算时间,结果证实了所提方法的优越性。     

Linear Problems and Linear Algorithms

Using predicate logic, the concept of a linear problem is formalized. The class of linear problems is huge, diverse, complex, and important. Linear and randomized linear algorithms are formalized. For each linear problem, a linear algorithm is constructed that solves the problem and a randomized linear algorithm is constructed that completely solves it, that is, for any data of the problem, the output set of the randomized linear algorithm is identical to the solution set of the problem. We obtain a single machine, referred to as the Universal (Randomized) Linear Machine, which (completely) solves every instance of every linear problem. Conversely, for each randomized linear algorithm, a linear problem is constructed that the algorithm completely solves. These constructions establish a one-to-one and onto correspondence from equivalence classes of linear problems to equivalence classes of randomized linear algorithms.Our construction of (randomized) linear algorithms to (completely) solve linear problems as well as the algorithms themselves are based on Fourier Elimination and have superexponential complexity. However, there is no evidence that the inefficiency of our methods is unavoidable relative to the difficulty of the problem.     

严格线性散播网络编码

针对线性广播和线性散播网络编码在保证节点或节点集解码空间维数方面的不足,提出了一类新的线性网络编码——严格线性散播网络编码.给出了严格线性散播的定义,并设计了相应的构造算法,此种网络编码增强了对网络中任意非源节点集的输入链路上的全局编码核的限制,但其构造所需的有限域的阶并不大于普通的线性散播.此外,还提出了多种转换矩阵的概念,并证明了普通线性散播到严格线性散播的转换矩阵的存在性.结合特殊的数据打包策略,论证了严格线性散播在异构网络中的应用优势:一方面,它能够利用单一网络编码会话实现异构网络中的多速率信息传输;另一方面,它能够为异构网络拓扑结构的扩展提供便利.     

Linear versus nonlinear neural modeling for 2-D pattern recognition

This paper compares the classification performance of linear-system- and neural-network-based models in handwritten-digit classification and face recognition. In inputs to a linear classifier, nonlinear inputs are generated based on linear inputs, using different forms of generating products. Using a genetic algorithm, linear and nonlinear inputs to the linear classifier are selected to improve classification performance. Results show that an appropriate set of linear and nonlinear inputs to the linear classifier were selected, improving significantly its classification performance in both problems. It is also shown that the linear classifier reached a classification performance similar to or better than those obtained by nonlinear neural-network classifiers with linear inputs.     

一种SPN线性层的设计方法

提出了线性码理论用于SPN分组密码线性层（或称扩散层）设计,并给出了过线性码设计最优扩散线性层的方法,从而为密码结构中的线性变换的没计提供了理论基础。利用该方法进行了实例设计与分析,并对其扩散特性进行了仿真。     

Stabilizability of linear time-varying and uncertain linear systems

Feedback stabilization of linear time-varying and uncertain linear systems is considered. It is proved that given a stabilizing dynamic linear state-feedback controller, one can always construct a stabilizing nondynamic linear state-feedback controller. A similar result is shown for uncertain linear systems. A linear time-varying system can be stabilized by dynamic output feedback if and only if it admits a coprime factorization     

非线性模型下的摄像机自标定

摄像机标定是从二维图像获取三维信息必不可少的步骤，线性（小孔）模型摄像机自标定，目前已成为计算机视觉领域的研究热点之一，对于非线性模型下摄像机的自标定，目前还未见到相关的研究报道，用于线性模型一般不能准确地描述真实像机的几何成像关系，因此对非线性模型摄像机自标定的研究具有十分重要的实际意义，该文主要探索非线性模型摄像机的自标定方法，基本原理是将非线性模型视为线性模型和畸变项的叠加，然后利用线性模型的基本矩阵或单应矩阵，给出非线性模型参数的约束方程，从而实现非线性模型摄像机的自标定，模拟和真实图像实验均表明该文所给的方法是可行的，具有一定的实用价值。     

各向同性线性系统理论研究综述

各向同性线性系统作为一类特殊的线性系统,不仅具有广泛的应用背景,还具备许多一般线性系统不具有的特殊性质.鉴于此,系统地归纳总结各向同性线性系统的特点,特别是这类系统与其对应的复系数线性系统之间的关联;此外,讨论对各向同性线性系统设计各向同性反馈的必要性,并以航天器姿态控制系统为例介绍各向同性线性系统的具体应用实例;结合几类常见的可用各向同性线性系统描述的工程控制系统,对现有的相关结果进行归纳和介绍;最后对各向同性线性系统进一步的研究方向进行简单的展望.     

基于定常线性迭代法的PSO算法收敛性分析

PSO算法本身是线性时变离散系统,现有的PSO算法收敛性条件的研究都是通过一定的假设将其转化为线性定常离散系统,线性定常离散系统的数学模型与求解线性方程组的单步定常线性迭代法的数学模型完全一致,这样对线性定常离散系统的稳定性分析就转化为对单步定常线性迭代格式的收敛性分析,为PSO算法的收敛性研究提供了一种新的思路和方法。     

若干二元周期序列的紧错线性复杂度

综合线性复杂度、k错线性复杂度、k错线性复杂度曲线和最小错误minerror（S）的概念,提出m紧错线性复杂度的概念。 序列S的m紧错线性复杂度是一个二元组（km,LCm）。序列S的k错线性复杂度曲线的第m个跃变点对应的km值和对应km错线性复杂度LCm,称为序列S的m紧错线性复杂度。通过使用简洁的cost二维结构,给出了周期为2n的二元序列的紧错线性复杂度算法,并证明具有Stamp-Martin模式的线性复杂度算法均可以简单地推广为求紧错线性复杂度的算法。与现有k错线性复杂度算法不同,该算法中省去了原来序列元素的运算。在王-张-肖算法基础上,通过使用cost二维结构,给出了周期为pn的二元序列的紧错线性复杂度算法,其中p是一个素数,2是一个模p2的本原根。     

A parametric analysis of linear integer programming problems

Parametric programming may be utilized to obtain restrictions to linear programming relaxations to linear integer programming problems. The purpose of such approaches is to reduce the size of the subproblems that appear subsequent to solving the relaxed linear programming problem. The optimal dual variables to the linear programming problem provide information regarding the difference between the continuous linear programming optimal objective function value and that of the integer linear programming objective function value.     

线性序约束的规范表达

文中研究了约束数据库中线性序约束关系的规范表达。提出一种线性序约束元组的表结构规约形式,增加了线性冗余和变量可约减两条新的规约原则,并给线性序元组规约算法ＬＣＴＲＡ,探讨了绝对点语义和复杂对象语言下线性序约束关系的规范型。     

GF(pm)上周期为pn序列的m紧错线性复杂度*

综合线性复杂度、k错线性复杂度、k错线性复杂度曲线和最小错误minerror(S)的概念,提出紧错线性复杂度的概念。在GF(pm)上周期为pn序列的k错线性复杂度快速算法的基础上,给出m紧错线性复杂度的快速算法。其中p是素数。 编程实现了该算法, 并给出实验结果。     

分片线性规划及应用

提出通过分片线性逼近和分片线性规划,将非线性优化问题转化为一系列的线性规划进行求解的方法。讨论了分片线性规划的性质,证明了分片线性规划问题可以通过有限次线性规划得到求解,同时,给出了分片线性规划问题局部最优解的充要条件,并基于此构造了求解分片线性规划问题的下降算法。该算法与自适应链接超平面模型相结合,成功地对离心式冷水机组的工作点进行了优化。通过优化,机组的能耗比之当前工作点有了明显的下降,表明通过分片线性规划求解非线性优化问题的有效性。     

线性有限自动机的同步序列及其生成算法

文章主要讨论了线性有限自动机的同步序列,得到了线性有限自动机有同步序列的充要条件,还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限自动机的同步序列。最后给出了判断线性有限自动机有无同步序列以及求线性有限自动机(最短)同步序列的一些算法。     

Linear control of nonlinear systems based on nonlinearity measures

In reality, virtually every process is a nonlinear system. Nevertheless, linear controller design methods have proved to be adequate in many applications. In practice, the linear controller design is usually done disregarding a possible nonlinear plant/linear model mismatch. In this work we introduce a general framework for the development of linear controllers for nonlinear systems based on nonlinearity measures. Nonlinearity measures are tools to assess the extent of a system’s inherent nonlinearity instead of just recognizing a system as being linear or nonlinear. Recent work shows that nonlinearity measures characterize the magnitude of the modeling error when an optimal linear model is used for the nonlinear system. The best linear model can then be used to design a linear controller that robustly stabilizes the linear system in presence of the nonlinear modeling error. A crucial point is that both, the best linear model and the modeling error, are determined for a specified region of operation, thus significantly increasing the class of applicable nonlinear systems. Examples demonstrate the (necessity and) effectiveness of the proposed approach.     

直线电机的发展及应用概况

介绍了直线电机的分类及特点,直线电机是一种将电能直接转换成直线运动,而不需要通过任何中间转换机构的新颖电机.阐述了直线电机理论分析和优化设计的研究手段和最新研究成果,分析了直线电机核心控制部件、外围输出通道、控制理论和控制技术发展状况,简要叙述了直线电机在工业、办公设备、交通、家庭自动化、军事装备等领域的的应用现状和动态.根据直线电机应用研究的发展趋势,指出在利用计算机提高直线电机的控制精度和依据新原理研制新型直线电机的新技术推动下,直线电机具有广阔的应用和发展前景.     

线形三维模型加载方法研究

分析了线状地物建模和三维平台软件加载线形三维模型中存在的问题,提出了一种以小单元组合的方式参数化定制线状地物,加载线形三维模型的方法。该方法以线状地物的空间坐标作为参数,根据需要构建每种线状地物的三维模型小单元,将其作为基元,以基元的空间位置、姿态和缩放比例为关键参数,给出关键参数的计算方法,按照关键参数将基元组合生成线形三维模型加载到三维平台软件中。该方法参数化定制线状地物,简化了三维线状地物建模的工作量,灵活简便地生成三维场景。     

Saturation-based switching anti-windup design for linear systems with nested input saturation

This paper proposes a saturation-based switching anti-windup design for the enlargement of the domain of attraction of a linear system subject to nested saturation. A nestedly saturated linear feedback is expressed as a linear combination of a set of auxiliary linear feedbacks, which form a convex hull where the nestedly saturated linear feedback resides. This set of auxiliary linear feedbacks is then partitioned into several subsets. The auxiliary linear feedbacks in each of these subsets form a convex sub-hull of the original convex hull. When the value of the nestedly saturated linear feedback falls into a convex sub-hull, it can be expressed as a linear combination of the subset of all the auxiliary feedbacks that form the convex sub-hull. A separate anti-windup gain is designed for each convex sub-hull by using a common quadratic Lyapunov function and is implemented when the value of the nestedly saturated linear feedback falls into this convex sub-hull. Simulation results indicate that such a saturation-based switching anti-windup design has the ability to significantly enlarge the domain of attraction of the closed-loop system.     

广义系统的时滞依赖静态输出反馈控制

针对一类不确定线性广义时滞系统,给出了静态输出反馈控制器的设计方法.首先基于标称广义时滞系统的稳定条件,以受限线性矩阵不等式形式,给出闭环广义时滞系统正则、无脉冲且渐近稳定的充分条件,同时利用受限矩阵不等式的可行解给出静态输出反馈控制律的一个参数化表示;其次,利用矩阵的正交补,把求受限线性矩阵不等式的可行解问题转化为求严格线性矩阵不等式(LMIs)的可行解;最后应用数值实例说明了所给方法的有效性和正确性.