A review on some classes of algebraic systems

ABSTRACT

In this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory.     

Mean-square stability for discrete bilinear systems in Hilbert space

A discrete system is uniformly mean-square stable if uniform convergence is preserved between input and state correlation sequences, and if nuclearity is preserved between the input and state correlation limits. This paper supplies a contraction-free condition ensuring mean-square stability for infinite-dimensional bilinear systems evolving in a separable Hilbert space.     

Identification environment and robust forecasting for nonlinear time series

In this paper, the methods of time series for nonlinearity are briefly surveyed, with particular attention paid to a new test design based on a neural network specification. The proposed integrated expert system contains two main components: an identification environment and a robust forecasting design. The identification environment can be viewed as a integrated dynamic design in which cognitive capabilities arise as a direct consequence of their self-organizational properties. The integrated framework used for discussing the similarities and differences in the nonlinear time series behavior is presented. Moreover, its performance in prediction proves to be superior than the former work. For the investigation of robust forecasting, we perform a simulation study to demonstrate the applicability and the forecasting performance.     

基于身份的一次性盲公钥方案

在现有方案的基础上,通过分析超椭圆曲线双线性对和基于身份的特点,给出了一个改进的基于身份的一次性盲公钥方案。该方案由用户和可信中心共同完成用户密钥的生成,克服了密钥托管问题,避免了由可信中心进行密钥管理所产生的安全隐患。新构造的方案能够抵抗伪造性攻击,具有不可欺骗性,又保证了一次性盲公钥的独立性,是安全可靠的。而且方案中用户在通讯时可以使用不同的公钥,解决了Internet通信中的匿名认证问题,实现了用户隐私的有效保护。     

SPECTRAL RADIUS,KRONECKER PRODUCTS AND STATIONARITY

Abstract. We provide a stochastic proof of the inequality ρ(A?A+B?B) ≥ρ(A?A), where ρ(M) denotes the spectral radius of any square matrix M, i.e. max{|eigenvalues| of M}, and M?N denotes the Kronecker product of any two matrices M and N. The inequality is then used to show that stationarity of the bilinear model will imply stationarity of the linear part, i.e. the linear ARMA model for r= 1 and q= 1. Furthermore, it is shown that stationarity of the subdiagonal model, i.e. the bilinear model with b_ij=0 for i< j, again implies stationarity of its linear part, provided that the stationarity condition given by Bhaskara Rao and his colleagues is met. Interestingly, the conclusion that stationarity of the subdiagonal models, implies that the linear component models cannot be extended to the general non-subdiagonal bilinear models. The last observation is demonstrated via a simple example with p=m= 1, r= 0 and q= 2.     

A new calculation method of feedback controller gain for bilinear paper-making process with disturbance

This paper presents a new method to calculate the feedback control gain for a class of multivariable bilinear system, and also applied this method on the control of two sections of paper-making process with disturbance. The robust H∞ control problem is to design a state feedback controller such that the robust stability and a prescribed H∞ performance of the resulting closed-loop system are ensured. The controller turns out to be robust with respect to the disturbance in the plant. Utilizing the Schur complement and some variable transformations, the stability conditions of the multivariable bilinear systems are formulated in terms of Lyapunov function via the form of linear matrix inequality (LMI). The gain of controller will be calculated via LMI. Finally, the application examples of a headbox section and a dryer section of paper-making process are used to illustrate the applicability of the proposed method.     

一种无线传感器网络匿名安全路由协议*

为了能在有限资源的无线传感器网络上进行安全的匿名通信,使用双线性函数的双线性对和异或运算提出了一种匿名安全路由协议,与目前现有的无线网络匿名通信方案相比,协议不仅能提供身份的机密性、位置隐私性和路由的匿名性,而且还满足前向和后向安全性,并且大大提高了系统的计算复杂度和带宽消耗,更适合无线传感器网络。     

基于身份的强指定验证人签名方案*

在有些情况下, 需要将验证者限定为某一个人。 利用基于身份的密码体制, 提出了一种强指定验证人签名和一种强指定验证人多重代理签名, 并对其安全性进行了分析。 在签名代价和验证代价上, 提出的强指定验证人签名比Kang等人的方案要低。提出的强指定验证人多重代理签名可以同时授权给n个代理人, 可以有效防止代理签名人对签名权的滥用。     

Implementing optimized pairings with elliptic nets

In this paper,we use elliptic nets to implement the optimized Ate pairings and optimal pairings on the Barreto-Naehrig curves with embedding degree 12.In order to do the arithmetic of elliptic curves over finite fields with elliptic nets,we first give some basic properties of elliptic nets associated to elliptic curves over finite fields and the expression of Miller function in terms of elliptic nets.Then we give formulae to compute some optimized pairings with elliptic nets,which is a new method to implement pairings.This method with elliptic nets has time complexity comparable to Miller’s algorithm and it can be optimized.     

基于T-S模型的随机双线性系统的稳定问题

主要研究了基于T-S模型的随机双线性系统的稳定性问题。首先,利用并行分布补偿方法设计控制器,确保闭环系统是随机渐近稳定的。其次,基于It^o随机稳定性理论,利用Lyapunov函数方法、不等式变换技巧和Schur补引理,证明了定理所给的稳定条件下的结论是成立的。设计方法的有效性通过一个数值例子来验证。