An iterative approach for the discrete‐time dynamic control of Markov jump linear systems with partial information

The , and mixed dynamic output feedback control of Markov jump linear systems in a partial observation context is studied through an iterative approach. By partial information, we mean that neither the state variable x(k) nor the Markov chain θ(k) are available to the controller. Instead, we assume that the controller relies only on an output y(k) and a measured variable coming from a detector that provides the only information of the Markov chain θ(k). To solve the problem, we resort to an iterative method that starts with a state‐feedback controller and solves at each iteration a linear matrix inequality optimization problem. It is shown that this iterative algorithm yields to a nonincreasing sequence of upper bound costs so that it converges to a minimum value. The effectiveness of the iterative procedure is illustrated by means of two examples in which the conservatism between the upper bounds and actual costs is significantly reduced.     

重新找回人工智能的可解释性

针对深度神经网络AI研究的可解释性瓶颈，指出刚性逻辑（数理形式逻辑）和二值神经元等价，二值神经网络可转换成逻辑表达式，有强可解释性。深度神经网络一味增加中间层数来拟合大数据，没有适时通过抽象把最小粒度的数据（原子）变成粒度较大的知识（分子），再把较小粒度的知识变成较大粒度的知识，把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理，需把刚性逻辑扩张为柔性命题逻辑（命题级数理辩证逻辑），把二值神经元扩张为柔性神经元，才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果，最后介绍了它们在AI研究中的应用，这是重新找回AI研究强可解释性的最佳途径。     

Switching controller design for linear time invariant plant with a single I/O delay

ABSTRACT

To deal with the problem of conflicting requirements that cannot be satisfied by only a single LTI controller, this paper focuses on the design of a switching controller, which includes several stabilising linear time-invariant (LTI) controllers designed independently with different control performance criteria, for a specific LTI plant with a single I/O delay. The switching controller design procedure is divided into three steps. First, using simple loop shifting arguments, the design problem is reducible to an equivalent delay-free one. Second, traditional LTI controller synthesis methods could be considered independently for the delay-free plant. Third, based on a quadratically stable state space realisation method, a Youla parameter including a switching strategy with these controllers is designed to guarantee different requirements. Finally, a numerical example is provided to demonstrate the validity and efficiency of the approach.     

Homogeneous and Universal Detection of Various Targets with a Dual-Step Transduced Toehold Switch Sensor

Toehold switch sensors represent a class of new advances that allow specific targets to trigger in situ expression of a protein reporter. Although they offer unique advantages of a label-free nature and high portability, they generally require repeated sequence design, high expenditure, and laborious optimization of toehold switch sequences according to different targets. To simplify the sensing process further and to improve its practicability, we innovatively introduce a dual-step pre-transduction upon traditional toehold switch sensor. Through two successive toehold-mediated strand-displacement reactions that are initiated, respectively, by a linear and an associative trigger, different DNAs, RNAs, or ligands of functional nucleic acids can be generally transduced into the input of one high-performance toehold switch sensor. This advance greatly increases the target range. Furthermore, the whole process is signal-on, homogeneous, and free of any requirements for complicated operations such as probe labeling, separation, and reconstruction of the toehold switch, being promising and practical even in portable or point-of-care assays.     

Mixture ratio modeling of dynamic systems

Any knowledge extraction relies (possibly implicitly) on a hypothesis about the modelled-data dependence. The extracted knowledge ultimately serves to a decision-making (DM). DM always faces uncertainty and this makes probabilistic modelling adequate. The inspected black-box modeling deals with “universal” approximators of the relevant probabilistic model. Finite mixtures with components in the exponential family are often exploited. Their attractiveness stems from their flexibility, the cluster interpretability of components and the existence of algorithms for processing high-dimensional data streams. They are even used in dynamic cases with mutually dependent data records while regression and auto-regression mixture components serve to the dependence modeling. These dynamic models, however, mostly assume data-independent component weights, that is, memoryless transitions between dynamic mixture components. Such mixtures are not universal approximators of dynamic probabilistic models. Formally, this follows from the fact that the set of finite probabilistic mixtures is not closed with respect to the conditioning, which is the key estimation and predictive operation. The paper overcomes this drawback by using ratios of finite mixtures as universally approximating dynamic parametric models. The paper motivates them, elaborates their approximate Bayesian recursive estimation and reveals their application potential.     

一种精确测量ASTM标准圆形拉伸试样锥度的方法

介绍了ASTM标准中圆形拉伸试样主要部位的尺寸与要求。采用国产万能工具显微镜-投影法对试样在平行长度部位的锥度进行了测量。该方法简便易行,结果准确可靠,满足了标准要求,同时发挥了老设备的作用,保证了试样的加工精度。     

论万向节式托辊组的结构及性能缺陷

托辊是确保带式输送机平稳运行的关键部件 ,其结构虽然简单。但若干年来 ,人们对它的研究却从未间断过 ,其工作性能和可靠性得到不断提高。万向节式托辊是一种新型托辊 ,但作者从运动学、制造工艺学等角度分析了万向节式托辊的工作特性及其弊端 ,对正确选用带式输送机托辊具有启发性