For mitigating the libration angle fluctuation of the tethered satellite system,this paper discusses how to make the uniform velocity-deceleration separation scheme achieve the best ***,a judgment condition is establi...
详细信息
For mitigating the libration angle fluctuation of the tethered satellite system,this paper discusses how to make the uniform velocity-deceleration separation scheme achieve the best ***,a judgment condition is established to determine the tether state by comparing the tether length and the relative distance of the sub-satellite and the parent *** on the tethered satellite system dynamics equation and Clohessy-Wiltshire equation,dynamic models are given for four cases of tether ***,the influence of the uniform velocity-deceleration separation scheme on the libration angle is analyzed by taking the libration angle at the separation ending time and the mean absolute value of the libration angle as index ***,the optimality problem of the uniform velocity-deceleration separation scheme is formulated as an optimization problem with constraints,and an approximate solution algorithm is given by combining the back propagation neural network and Newton-Raphson method of multiple initial ***,the effectiveness of the proposed method is verified by a numerical simulation.
The modeling and control of networks over finite lattices are studied via the algebraic state space *** the semi-tensor product of matrices, we obtain the algebraic state space representation(ASSR) of the dynamics of(...
The modeling and control of networks over finite lattices are studied via the algebraic state space *** the semi-tensor product of matrices, we obtain the algebraic state space representation(ASSR) of the dynamics of(control) networks over finite lattices. Basic properties concerning networks over sublattices and product lattices are investigated, which shows the application of the analysis of lattice structure in the model reduction and control design of networks. Then, algorithms are developed to recover the lattice structure from the structure matrix of a network over a lattice, and to construct comparability graphs over a finite set to verify whether a multiple-valued logical network is defined over a lattice. Finally, numerical examples are presented to illustrate the results.
In ASIACCS 2015, Nu nez, et al. proposed a proxy re-encryption scheme, named NTRURe Encrypt, based on NTRU, which allows a proxy to translate ciphertext under the delegator’s public key into a re-encrypted ciphertext...
详细信息
In ASIACCS 2015, Nu nez, et al. proposed a proxy re-encryption scheme, named NTRURe Encrypt, based on NTRU, which allows a proxy to translate ciphertext under the delegator’s public key into a re-encrypted ciphertext that can be decrypted correctly by delegatee’s private key. Because of the potential resistance to quantum algorithm, high efficiency and various applications in real life,NTRURe Encrypt has drawn lots of attention and its security has been widely discussed and *** PQCrypto2019, Liu, et al. proposed two key recovery attacks against it. However, their first attack heavily relies on a weaken decryption oracle, and the second attack needs to collect about 260ciphertexts from the same message by theoretical analysis, which makes both of the attacks unrealistic. In this paper, inspired by the broadcast attack against NTRU, the authors find out that for NTRURe Encrypt the delegator and the delegatee can efficiently recover each other’s private key in polynomial time without any unrealistic assumptions. In addition, the authors also show how to fix NTRURe Encrypt to resist the proposed attacks. As a by-product, the authors also show how to commit broadcast attacks against NTRU 2001 with even dg, which was thought infeasible before.
This paper presents a novel finite-and-quantized output feedback asymptotic tracking control method for a general class of continuous-time linear time-invariant ***,we construct a finite quantizer with time-varying th...
详细信息
This paper presents a novel finite-and-quantized output feedback asymptotic tracking control method for a general class of continuous-time linear time-invariant ***,we construct a finite quantizer with time-varying thresholds and design a pole placement control law that exclusively utilizes the finite-and-quantized output signal and an external reference ***,we establish the boundedness of all closed-loop signals and prove the asymptotic convergence of the output tracking error to *** proposed method combines the advantages of classical pole placement control technique and finite quantization feedback *** not only reduces the requirement for feedback information compared with existing tracking control methods but also effectively handles unstable poles and zeros in controlled systems,thereby achieving asymptotic output ***,we provide a representative example to validate the effec-tiveness and new features of our proposed method.
The authors extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension. Both of the reductions are incorporated into one algorithm. As an applica...
详细信息
The authors extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension. Both of the reductions are incorporated into one algorithm. As an application, the authors present an additive decomposition in rationally hyperexponential towers. The decomposition yields an alternative algorithm for computing elementary integrals over such towers. The alternative can find some elementary integrals that are unevaluated by the integrators in the latest versions of MAPLE and MATHEMATICA.
This paper considers the system identification problem based on saturated precise or set-valued measurements, which is widely used in various fields and has essential difficulties. Since existing methodologies cannot ...
详细信息
This paper considers the system identification problem based on saturated precise or set-valued measurements, which is widely used in various fields and has essential difficulties. Since existing methodologies cannot make full use of the mixed data, this paper is aiming to fill the gap and build a unified framework in dealing with such problems rigorously and comprehensively. New algorithms are introduced and their properties are established. Most significantly, the Cramécr-Rao(CR) lower bound based on the measurements is established, which consists of two parts with respect to the precise data and set-valued data, respectively. This prompts the idea of designing an estimation algorithm by grouping and combining the estimations under two classifications of data. As a result, a CR lower bound-based algorithm(CRBA) is constructed. The convergence properties are theoretically analyzed in terms of consistency and asymptotic efficiency under periodic inputs. For general inputs, an algorithm based on the CRBA that combines the expectation maximization(EM) algorithm for set-valued subsystems and the gradient descent algorithm for precise subsystems is proposed. Numerical simulations validate the superiority of the proposed algorithms.
This paper is concerned with the parameter estimation of deterministic autoregressive moving average(DARMA)systems with quantization *** estimation algorithms adopted here are the least squares(LS)and the forgetting f...
详细信息
This paper is concerned with the parameter estimation of deterministic autoregressive moving average(DARMA)systems with quantization *** estimation algorithms adopted here are the least squares(LS)and the forgetting factor LS,and the signal quantizer is of uniform,that is,with uniform quantization *** authors analyse the properties of the LS and the forgetting factor LS,and establish the boundedness of the estimation errors and a relationship of the estimation errors with the size of quantization error,which implies that the smaller the quantization error is,the smaller the estimation error is.A numerical example is given to demonstrate theorems.
This paper studies the consensus problem of high-order multi-agent systems (MASs) with binary-valued communications and switching topologies. To tackle the challenge of unknown states caused by binary-valued communica...
详细信息
This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric *** the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)deriv...
详细信息
This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric *** the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)deriving from the opponents’best response(BR),is technically the optimal strategy for the ***,computing an SSE strategy may be difficult since it needs to solve a mixed-integer program and has exponential complexity in the number of *** this end,the authors propose an equalizer ZD strategy,which can unilaterally restrict the opponent’s expected *** authors first study the existence of an equalizer ZD strategy with one-to-one situations,and analyze an upper bound of its performance with the baseline SSE *** the authors turn to multi-player models,where there exists one player adopting an equalizer ZD *** authors give bounds of the weighted sum of opponents’s utilities,and compare it with the SSE ***,the authors give simulations on unmanned aerial vehicles(UAVs)and the moving target defense(MTD)to verify the effectiveness of the proposed approach.
This paper studies the distributed state estimation problem for a class of discrete-time linear time-varying systems over a bearingsonly sensor network.A novel fusion estimation algorithm of the distance between the t...
详细信息
This paper studies the distributed state estimation problem for a class of discrete-time linear time-varying systems over a bearingsonly sensor network.A novel fusion estimation algorithm of the distance between the target and each sensor is constructed with the mean square error matrix of corresponding estimation being timely ***,the refined estimation of distance is presented by minimizing the mean square error ***,the distributed Kalman filter based state estimation algorithm is proposed based on the refined distance *** is rigorously proven that the proposed method has the consistency and ***,numerical simulation results show the effectiveness of our methods.
暂无评论