The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product, the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover, an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested canalizing functions.
<正>This paper studies the adaptive control for linear systems with set-valued observations to track periodic t...
ZHAO Yanlong,GUO Jin,ZHANG Ji-Feng Key Lab of Systems and Control,Academy of Mathematics and Systems Science,Chinese Academy of Sciences,Beijing 100190, P.R.China
Over the last ten years, the consensus of multi-agent systems (MAS) has received increasing attention from mechanics, mathematics, physics, engineering sciences, social sciences, and so on. It is well known that the robustness of consensus of MAS is usually determined by several key factors, including noise, time-delays, and packet drop. In this paper, we introduce a general time-delayed MAS model with noise and also further investigate its robust consensus. In particular, we prove that the proposed algorithm is robust against the bounded time-varying delays and bounded noises. The effectiveness and robustness of the proposed consensus algorithm has been validated in the classical Vicsek model with time-varying delays. And two simulation examples are also given to justify the above theoretical results. These results may have some potential applications in various fields, including mechanics, biology, and engineering sciences.
Decay of the energy for the Cauchy problem of the wave equation of variable coeffcients with a dissipation is considered.It is shown that whether a dissipation can be localized near infinity depends on the curvature properties of a Riemannian metric given by the variable coeffcients.In particular,some criteria on curvature of the Riemannian manifold for a dissipation to be localized are given.