Ternary compound ontology matching for cognitive green computing

1.   Introduction

In recent years, the problems of resource shortage and fragile ecological environment have appeared frequently, threatening the survival and development of posterity to a large extent. Therefore, many people have a keen interest in studying biological systems. Considering the maximization of net economic income, a bio-economic model was proposed in ^[1] which was based on differential-algebraic equation. Biological and economic stability by adding a popular dynamic was studied in ^[2,3,4]. The problem of how to obtain best harvest in the bio-economic model was studied in ^[5,6], which provides a theoretical basis for the rational development of biological resources. The optimal cost control problem of Markov jump system was solved in ^[7,8]. For the purpose of protecting the environment and maintaining the economic development stably and rapidly, it is very urgent and necessary to research the analysis of the bio-economic system.

Singular systems have a larger application background in bio-economic systems ^[9]. The singular systems is different from the normal system in that its stability is more complex. It is well-known that a singular system can be stabilized only when it is regular and impulse-free ^[10,11]. Therefore, much effort was devoted to singular system and its applications. In the recent years, some singular bio-economic system models with stochastic and bifurcation properties are established, which shows that the research of the singular system is very broad and has good development prospects. A singular biological economy markov jump system is proposed in ^[12], which takes commodity price as markov chain. The bio-economic singular Markov jumping system was studied and the corresponding control design was proposed in ^[13].

In natural environment, environmental fluctuation is a very important part of bio-economic system in real life. To a large extent, there are limitations in the application of deterministic methods in mathematical modeling. Therefore, the future dynamics of the system are difficult to accurately predict. In the various dynamic analysis of the system, the stochastic differential equation model is a important part. The ecological population system model was established using randomness in ^[14]. Some problems of T-S fuzzy system was researched and the applicaton of this type of system in bio-economy was explored in ^[15,16]. According to the theory of fishery resource economics, a stochastic singular bio-economic system which based on the T-S fuzzy model was established in ^[17].

In practice, some systems can maintain asymptotic stability in an infinite time interval but they do not have good transient characteristics. Consequently, it is meaningful to study the transient behavior within a limited time interval. Several sufficient conditions for the continuous-time systems and discrete-time systems to maintain stability in a finite-time are given in ^[18,19]. In the singular system, the finite-time stability was redefined which have impulsive effects. Then at this time, sufficient conditions were derived in ^[20]. The conditions which linear stochastic systems can achieve finite-time stability was studied in ^[21]. The linear matrix inequality theory was used to obtain a series of properties of linear systems, nonlinear systems and stochastic systems in ^[22,23]. However, up to now, there are few studies on stochastic singular systems with parameter uncertainties and external disturbances. These problems are very important in practical application and also the main content of our research.

The purpose of this paper is to research stability in finite-time and achieve control of the singular bio-economic system with stochastic fluctuations. It is undoubtedly challenging to control the density of biological population within a certain range and eliminate the influence of some unfavorable factors. This is also the motivation of this paper. The knowledge of the singular stochastic bio-economic system combined with the application of T-S fuzzy control in ^[24,25]. Firstly, the T-S fuzzy control model which based on the T-S fuzzy control method is established. Then, it provides a new sufficient condition for the system to achieve stochastic stability in finite-time. On this basis, a state feedback controller which can control the biological populations in a limited range through open resource management is designed. Finally, the effectiveness of the method is verified through simulation in the feasible region.

Notations: The superscript $T$ of a matrix represents its matrix transpose. $A$ is a positive definite matrix if $A > 0$. $\deg \left(\cdot \right)$ represents the degree of the determinant. $\varepsilon \left(x \right)$ represents expectation of stochastic variable $x$. $diag\left(\cdot \right)$ denotes a diagonal matrix. ${\lambda _{\max }}\left(A \right)$ and ${\lambda _{\min}}\left(A \right)$ stand for the largest eigenvalue and the smallest eigenvalue of matrix $A$.

2.   Modeling and problem formulation

A single kind of dynamic model which has stage structure proposed by ^[26] is introduced as follows:

where $x_1(t)$ represents the population density of immature species at time $t$. $x_2(t)$ represents the population density of mature species at time $t$. $\alpha$ represents the inherent growth rate of the immature. $\beta$ denotes the transition rate which from the immature species grow into mature species. $r_1$ represents the death rate of immature species. $r_2$ represents the death rate of mature species. $- \eta x_1^2(t)$ reflects restriction on the growth of immature species density.

The economic profit is often affected by tax, season, market demand, capture costs and other factors. By the bio-economic theory, the sustainable economic profit should be the sustainable total revenue minus the sustainable total cost. If the population captured in the model (2.1) and the economic benefits of the young population captured are considered, and the economic profit $m(t)$ changes with time, then the singular bio-economic system model can be established as follows:

where $E_1$ represtents harvested effort of the immature species, $c$ denotes the cost coefficient so $cE_1$ represents the total cost, $p(t)$ and $m(t)$ represent the price coefficient and the economic benefits of each individual at time $t$, respectively.

We notice that there are many random factors in nature and many other random factors caused by human activities, affecting or interfering the changes of immature population density and mature population density in the real environment. It is assumed that the parameters involved in the deterministic model (2.2) are deterministic and have nothing to do with environmental fluctuations. By considering these factors, we can replace the parameters $r_1$ and $r_2$ to introduce randomness into the model. Firstly, it is supposed that the white noise can affects the mortality rate of biological species by $r_1 \to r_1 - \alpha_1 \xi(t)$ and $r_2 \to r_2 - \alpha_2 \xi (t)$. Secondly, it is assumed that the population density will also be directly affected through the external random parameter $\omega (t)$.

Therefore, the stochastic differential-algebraic equations is established as follows:

where $\alpha_1$, $\alpha_2$ are used to represent two different intensities of the white noises. It is assumed that $\xi(t)$ and $\omega(t)$ are independent of each other, the mean value is zero and the standard deviation is Gaussian white noises, that is $E[\omega(t)] = 0$, $E[\omega(t)\omega(t+\tau)] = \delta(\tau)$, $\delta(\tau)$ is the Dirac function. In the context of biological systems, all the coefficients in Eq (2.3) are non-negative.

3.   T-S fuzzy linearization and preliminaries

There is a positive equilibrium point and a non-positive equilibrium point in system (2.3). In other words, there are two equilibrium points in total, and only the positive balance point is considered in the context of biological. Therefore, this paper only considers the positive equilibrium point under some certain conditions.

For express more clearly, it is supposed that the equilibrium point is $p^* = ({x_1^*}\; {x_2^*}\; {m^*})$. In order to facilitate further study, the following transformations can be used:

The system (2.3) can be converted to:

The Eq (3.2) is obviously a nonlinear system. Since species density saturation exists, it can be assumed that $\varsigma_i(t)(i = 1, 2, 3)$ are bounded. Make the following changes to the system (3.2) to make expression more concise:

where

Let

so

$z(t)$ is expressed as follows by the max-min values

where $M_{11} + M_{12} = 1$ and $M_{11}$, $M_{12}$ denote the membership functions. Given the fuzzy rules as follows:

Model rule 1:

If $z(t)$ is $M_{11}(z_1(t))$, then $E\mathop \varsigma \limits^. (t) = A_1\varsigma(t)+B_1\varsigma(t)w(t)$

Model rule 2:

If $z(t)$ is $M_{12}(z_1(t))$, then $E\mathop \varsigma \limits^. (t) = A_2\varsigma(t)+B_2\varsigma(t)w(t)$

The system (3.3) can be changed into Eq (3.8) by using the fuzzy rules:

where $\begin{array}{*{20}{c}} {{A_h} = \sum\limits_{i = 1}^2 {{h_i}\left({z\left(t \right)} \right)} {A_i}} & {{h_i}\left({z\left(t \right)} \right) \ge 0} & {\sum\limits_{i = 1}^2 {{h_i}\left({z\left(t \right)} \right)} = 1} & {B = {B_1} = {B_2}} \end{array}$.

Definition 3.1. (ⅰ) If there is a constant $\lambda$ such that $\det(\lambda E - A_h) \ne 0$, then the system (3.4) is regular.

(ⅱ) If $rank(E) = \deg(\det(\lambda E -A_h))$, then the system (3.4) is impulse-free.

Definition 3.2. Given a positive definite matrix $R$, for any two positive numbers $l_1$, $l_2$ then satisfy $l_1 \le l_2$, the system (3.4) for $(l_1, l_2, T, R)$ is stochastic finite-time admissible if

Definition 3.3. ^[27] Given a stochastic Lyapunov function $V\left({x\left(t \right), t} \right)$, where $x\left(t \right)$ satisfies the following equation which is a stochastic differential equation in a stochastic system:

The definition of the weak infinitesimal operator $L$ in the random process is given as $\left\{ {x\left(t \right), t > 0} \right\}$:

Lemma 3.4. (^[28] Gronwalls inequality) Given a non-negative function $g\left(t \right)$, for any two constants $m, n$ and they satisfy $m, n \ge 0$

then

Lemma 3.5. (Schur's complement) Exist any real matrix $A, B, C$, among them ${B^T} = B$ and ${C^T} = C > 0$, the following three conditions are equivalent:

Lemma 3.6. ^[29](i) For two orthogonal matrices $U$ and $V$, if $rank\left(E \right) = r$, then $E$ can be decomposed as follows

where ${\sum _r} = diag\left\{ {{\delta _1}, {\delta _2}, \cdots, {\delta _r}} \right\}, {\delta _k} > 0, k = 1, 2, \cdots, r$

Partition $U = \left[ {\begin{array}{*{20}{c}} {{U_1}} & {{U_2}} \end{array}} \right], V = \left[ {\begin{array}{*{20}{c}} {{V_1}} & {{V_2}} \end{array}} \right], v = \left[ {\begin{array}{*{20}{c}} {{V_1}{\sum _r}} & {{V_2}} \end{array}} \right]$ with $\sum {V_2} = 0, U_2^TE = 0$.

(ii)If $P$ satisfies

Then

We can have ${P_{11}} \ge 0$, $\det \left({{P_{22}}} \right) \ne 0$ if $P$ is nonsingular. Furthermore, $P$ that satisfied Eq (3.10) can be set as follows

where $Y = diag\left\{ {{P_{11}}, \Phi } \right\}, Z = {\left[ {\begin{array}{*{20}{c}} {P_{11}^T} & {P_{22}^T} \end{array}} \right]^T}$, among this $\Phi \in {\mathbb{R}^{\left({n - r} \right) \times \left({n - r} \right)}}$ is an arbitrary parameter matrix.

(iii) The following equation holds if $P$ is a nonsingular matrix, $C$ and $\Phi$ are two positive definite matrices, $Y$ is a diagonal matrix in Eq (3.12), $P$ and $E$ satisfy Eq (3.13)

Then the solution of Eq (3.13) can be expressed by $S = {C^{ - \frac{1}{2}}}U{Y^{ - 1}}{U^T}{C^{ - \frac{1}{2}}}$, where $S$ is a positive definite matrix.

4.   Main results

4.1.   Finite-time stability of the singular stochastic bioeconomic system

In this section, we discuss whether the model (3.4) can be stable in a finite-time.

Theorem 4.1. If there is a non-singular symmetric positive definite matrix $Q$ makes any given time constant $T > 0$ and scalar $\alpha > 0$ satisfy

and satisfy the following matrix inequalities:

where $\tilde Q = {R^{ - \frac{1}{2}}}{Q^{ - 1}}{R^{ - \frac{1}{2}}}$. Then the system (3.4) is tolerable in a stochastic finite-time for $\left({{l_1}, {l_2}, T, R} \right)$.

Proof. Introduce the following Lyapunov function

Let $L$ be the infinitesimal generator. We can get the following inequality:

In the following, we can prove that the three conditions Eqs (4.7), (4.4) and (4.5) are equivalent. Applying $It\hat o$ formula, we can get

then

Combining condition Eq (4.2) with $\tilde Q = {R^{ - \frac{1}{2}}}{Q^{ - 1}}{R^{ - \frac{1}{2}}}$, Eq (4.9) can be transformed as

Therefore, from Eq (4.10), Eq (4.7) is equivalent to

The left is multiplied by $P$ and on the right multiplied by ${P^T}$, we get

It can be obtained that Eq (4.12) is equivalent to Eqs (4.4) and (4.5) by using matrix factorization and Schur's complement lemma. Integrating the left and right sides of Eq (4.7) from 0 to $t$ at the same time and then taking the expected value, we can get

From Lemma 3.4, we have

from inequalities

and

then, we get

Considering condition Eq (4.3) and inequality (4.17), for the $t \in \left[ {0, T} \right]$, have

4.2.   Finite-time control of singular stochastic bioeconomic system

In practice, the bio-economic system is more or less disturbed by the external environment. For example, the growth of a population can be affected by environmental factors such as the intensity of sunlight and the temperature. This section considers this random environment that affects populations as a zero-mean Gauss white noise. In order to achieve effective planning of capture strategies and maintain the sustainable development of market economy, some measures must be taken to stabilize the biological population. Therefore, control is added to the singular stochastic bioeconomic system model (2.3):

where $u(t)$ represents the management degree of open resources and it is a control variable.

Through the method which is similar to the T-S fuzzy method mentioned in Section 3, we get

Consider the following state feedback controller:

By designing the state feedback gain ${G_i}$.

Thus, the corresponding closed-loop system can be expressed as

where $C = [1\; 0\; 0]^T$

Next, design parameters of the fuzzy state feedback controller Eq (4.21), a new sufficient condition for the closed-loop singular stochastic bio-economic system to be stable in a finite-time is given.

Theorem 4.2. The closed-loop system (4.22) is stochastic finite-time admissible for a state feedback controller Eq (4.21) relative to $\left({{l_1}, {l_2}, T, R} \right)$, if $P$ is a nonsingular matrix, $Q$ is a symmetric positive definite matrix and any matrix ${Y_j}, j = 1, 2$ which can make Eqs (4.1)–(4.3) hold, and the following matrix inequalities can be satisfied:

where ${\gamma _{ij}} = PA_i^T + Y_j^T{C^T} + {A_i}{P^T} + C{Y_j} - \alpha E{P^T}$ and $\tilde Q = {R^{ - \frac{1}{2}}}{Q^{ - 1}}{R^{ - \frac{1}{2}}}$, Next, we can choose the state feedback ${G_j} = {Y_j}{P^{ - T}}$ which we need.

Proof. First, regularity and impulse-free of the system can be proved. Without loss of generality, denoting

where $rank\left(E \right) = rank\left({{I_r}} \right) = r \le n$.

Suppose that there are two non-singular matrices $H$ and $K$, then

Now, if $\left({E, {A_i} + C{G_j}} \right)$ is impulse-free, we can prove the impulselessness of the system (4.22). The system (4.22) is impulse-free if

It can be computed from Eq (4.25) that

This shows Eq (4.26) is equivalent to $n = r+rank \left({A_{i22}}\right)$, then $\left({E, {A_i} + C{G_j}} \right)$ is regular and impulse-free if ${A_{i22}}$ is non-singular simultaneously.

Considering Theorem 4.1 and the system (4.22), the following matrix inequality can be obtained:

where

Let

Then

Obviously, Eq (4.29) is equivalent to

Using matrix decomposition and Lemma 3.5, the above inequality (4.30) is equivalent to inequalities (4.23) and (4.24). Next, by using Eqs (4.2)–(4.3) and similar proof of Theorem 4.1, the system (4.22) is stochastic finite-time admissible for $\left({{l_1}, {l_2}, T, R} \right)$.

Remark 1. By designing a fuzzy state feedback controller, the government's management of open resource development can be better expressded. The density of biological population can be controlled within a limited range and some unfavorable phenomena can be eliminated. In real life, managers should take some effective measures, such as adjusting taxes, introducing some preferential policies to stimulate the development of fisheries, reducing environmental pollution and so on. Thus, the population density can be strictly controlled and the economic benefits can be maintained steadily.

5.   Numerical examples

We use the following special circumstances to prove that the results obtained are true and effective. Selection of ecological parameters based on Nile tilapia data from Lake Tanganyika in Africa.

Consider the finite-time stability of bio-economic model with white noise, we choose the ecological parameters of the appropriate unit:

Then, the singular bioeconomic system can be obtained:

where

We can get the system (5.1) has an equilibrium point ${p^*}\left({5, 15, 1.225} \right)$ when $u\left(t \right) = 0$.

For achieveing the transition from the equilibrium point to origin, a following fuzzy models can be constructed by using linear transformation (3.1):

where

we have

By using the fuzzy rules mentioned above, we can execute the fuzzy model as:

where

Let

Then we get

Therefore, we can get that $\varepsilon \left\{ {{\zeta ^T}\left(t \right){E^T}RE\zeta(t)} \right\} < 10000000$, for all $t \in [0, 1000]$.

From Figure 1, we can see the trajectory of a stochastic singular bio-economic system which is open-loop and considers the white noise. It can be seen that the species density and average price are unstable within a limited time. The economic interests fluctuates randomly in Figure 1, on account of the economic interests is affected by the population unit price and the species density of biological economic model which proposed in this paper in a randomly disturbed environment.

From Figure 2, through the state feedback controller Eq (4.21), we can see the trajectory of a stochastic singular bio-economic system which is closed-loop and considers the white noise. It can be seen from Figure 2 that economic profits tend to be stabilize within a limited time.

6.   Conclusions

In this paper, the finite time stability and control of a kind of singular bio-economic system with stochastic fluctuations which based on T-S fuzzy model are studied. Through two theorems, we derived some new sufficient conditions to guarantee the stability of system in finite time. The corresponding controller design method is also given. Finally, the effectiveness of the method is verifies through a numerical simulation. The results are also applicable to other types of systems which is similar to the system of this paper.

From a biological point of view, the biological species density can be controlled within a certain range through the fuzzy state feedback controller which designed in this paper, eliminating influence of some unfavorable factors, It can better control the density of the population and keep the economic profit stable.

Acknowledgments

This work is supported by National Natural Science Foundation of China under Grant 61673099.

Conflict of interest

The authors declare there is no conflict of interest.